对象状态测试

阐述了面向对象软件测试中对象状态测试的重要性，提出了对象状态测试模型（ＯＳＤ），介绍了从Ｃ＋＋源程序构造ＯＳＤ模型的方法，最后给出了基于ＯＳＤ的面向对象状态测试的测试策略。

基于对象状态的工作流系统访问控制机制的研究

针对访问控制机制中仅考虑对象层次的不足,在基于任务和角色的访问控制模型中加入对象层次的访问控制,并考虑对象状态对使用者访问权限变化的影响,使访问控制的粒度精确到以个别对象状态为单位。在设计访问控制机制时,将不同状态下的访问规则从权限管理的架构中分离,通过这种方式可以使访问控制机制运用在不同工作流程中。系统实现时采用面向对象的设计模式,将此访问控制机制应用在具有多种素材的在线数字化博物馆内容审核流程上,通过内容管理以及访问控制机制的引入,确保数字化内容的正确性与适用性。

一种使用动态分析的对象状态机自动提取方法

对象行为协议对于辅助其他开发者理解并正确使用对象所提供的外部行为具有十分重要的意义.然而相关文档却常常缺失或存在不一致,需要通过逆向分析的方法进行恢复.针对这一问题,本文提出了一种基于驱动执行和动态分析的对象状态机(Object State Machine,OSM)提取方法.该方法从源代码中提取包含类属性的条件表达式,以其在运行时刻的取值情况及程序异常信息作为状态标识,并通过驱动执行的方式获取运行时的状态转换信息,然后分析运行时信息逐步构造对象状态机.该方法已实现为相应的原型系统,初步实验结果表明通过该方法可以高效、准确地恢复对象行为协议.

一种基于对象状态的软件测试方法

面向对象的软件测试是面向对象软件开发的重要阶段,基于对象状态的软件测试方法是面向对象软件测试中类测试的常用方法。文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。根据状态集和状态转换集构造出状态图。

基于对象状态的软件测试方法分析

软件测试是软件开发的重要步骤,需要注重测试环境的构建,基于对象状态进行分析,确保软件测试的准确性。基于此,本文将从识别状态、测试准则、状态响应等方面对基于对象状态的软件测试方法进行分析,深入研究测试过程,注重测试对象状态的把控,同时构建完善的测试用例,将测试状态与测试结果进行对比,提高对象状态测试结果的可靠性。

基于论域和量值二类错误逻辑变量求解的识别对象状态转化及其决策应用研究

研究了空间事物特征为确定常量的条件下,论域和量值参数为变量且未知时,错误识别对象状态的转化.研究发现,当对象识别状态的论域和量值都为Ⅱ类时,可以采用错误矩阵一类4集合方程A_s∨X_(qg)■B_g构建二元置换变换错误矩阵集合方程,将错误的对象识别状态转化为应该状态.最后,通过生产决策的实例说明其实际决策应用价值.

基于特征错误逻辑变量的错误矩阵集合方程求解与对象状态转化研究

文中研究了论域,空间、事物、量值为确定常量的条件下,特征为变量且未知时,错误识别对象真实状态与目标状态之间的转化。研究了特征置换变换的错误矩阵集合方程,并采用错误矩阵一类4集合方程A∨Xqm■Bm进行求解,实现对象状态的转化。最后,采用生产决策实例进行说明。

基于特征和量值为变量时错误识别对象状态转化及其决策应用研究

文中研究了空间,论域,事物为确定常量的条件下,特征和量值参数为变量且未知时,错误识别对象状态的转化。研究发现,当对象识别状态的特征和量值为Ⅱ类时,可以采用错误矩阵一类4集合方程A_s∨X_(qg)?B_g构建二元置换变换错误矩阵集合方程,将错误的对象识别状态转化为应该状态。最后,通过实例说明其实际决策应用价值。

无状态对象及应用

介绍了基于 MIDAS的多层分布式系统结构 ,分析了无状态对象和可重复使用远程数据模块的关键技术 ,给出了在客户端数据集与应用服务器端的数据代理间进行状态信息通信的方法 .

状态分布对象模型研究与改进

虚拟试验验证支撑框架是快速集成各个靶场任务,快速构造逻辑靶场的重要支撑平台,状态分布对象是实现基于分布式对象的新一代虚拟实验验证支撑框架的核心。通过给出虚拟实验验证支撑框架的分布式对象元模型,详细描述了状态分布对象的运行机制,重点研究了状态分布对象的订阅/发布机制,并提出了一种新的多实时事件通道单兴趣通道多缓冲队列的传输策略。该传输策略既充分利用多实时事件通道的传输效率,又有效规避了对其管理、调度和订阅匹配的开销问题,保障了大数据量传输时的服务质量。

校园级元计算系统的一种多级对象命名方法研究

为了促进元计算系统的实现效率 ,提高扩展性 ,提出了分布式对象的一种多级层次命名方法 .阐述了基于Internet的元计算系统的分布式对象模型 (WOM )的组织结构 ,提出了WOM的 4级对象命名方法 ,并给出了WOM的各级对象标识符的定义 .4级层次对象命名方法是广域分布式环境 (WADE)系统的核心技术之一 ,它有利于元计算系统的扩展和伸缩 ,促进WADE系统的灵活实现 .实验表明 ,WOM支持的对象通信效率可以提高 2 5 %左右 .

一种基于面向对象的企业建模技术

将一种面向对象的思想应用于企业建模中 ,利用面向对象的技术实现功能模型和信息模型的集成。对象的独立性和封装性增强了系统的鲁棒性 ,能适应企业功能和结构的动态重组。提出了对象状态图、对象状态矩阵和对象属性矩阵 ,容易贯彻“自顶向下”的系统分析策略 ,使系统的外部视图(用户视图 )与内部视图 (计算机视图 )统一 ,达到清晰的、完整的描述系统的目的。

基于对象的高可用性系统控制实现机制

高可用性是电信系统的重要特征。文章分析高可用性系统控制的一般特征,并探讨其开发设计过程,进而提出一种基于对象的高可用性系统控制模型的实现机制。

多工作状态环形光网络的可靠性评估

提出对具有故障恢复和生存能力的大型网络系统的可靠性研究应分多工作状态进行的思想,定义了多工作状态复杂对象的可靠性参数和表征其工作态的性能参数“系统功能值”,并在此基础上给出了多工作状态对象的可靠性评估模型,用于对双环形光纤工业专用网进行了可靠性分析.仿真结果表明:网元服从指数故障分布时,网络规模越大可靠性随环境的恶化降低越快,90节点网络的可用度环境因子为100时比环境因子为1时降低了91%,而30节点时只降低了3%;网元服从威布尔故障分布时网络可靠性随工作时间延长而降低,使用寿命随工作状态要求降低而提高,30节点网络使用寿命在“好”和“一般”要求下,分别比“很好”要求下延长了38%和46%,说明对网络的可靠性研究应分工作状态进行.

面向对象的分析、设计及其工具

引言 由于面向对象系统的结构清晰、通用性好,移植性强,代码重用率高,使面向对象方法(OOM)越来越引起人们的广泛关注。OOM以更接近人类思维的方式,前后一贯地描述问题,能够有效地提高软件产品的质量和产量,为软件开发拓宽了道路。 面向对象系统的生命周期 为了更好地分析面向对象系统的生命周期,我们把它与结构化开发的生命周期作一个比较(见图1),面向对象系统生命周期各阶段相互重叠,每一阶段处理相同的对象;

一个基于面向对象模型的并行系统

为了开发分布式系统中的计算资源，我们设计了一个基于面向对象大粒度数据流模型的并行Ｃ＋＋系统ＯＯＣＰＣＳ．该系统的底层计算模型是面向对象范式和数据流模型的结合体。它将状态对象引入到数据流模型中，并且支持面向对象的特性。本文讨论了此模型在ＯＯＣＰＣＳ系统中的实现；并行化编译器；ＰＯＣ程序设计语言；

多层分布式应用系统中对象重用技术的研究

在分析了基于MIDAS中间件的多层分布式系统结构的基础上,讨论了利用对象池和无状态对象技术实现应用服务器中的远程数据模块对象重用的原理与方法,并给出了应用示例。

一种基于类数据流的软件测试技术

提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误 ,并且弥补了传统数据流测试技术的不足 ,减少了重复测试 ,提高了测试效率 .

错误逻辑变量论域未知的对象识别状态与应该状态之间的转化

研究空间p、事物S(t)、特征T(t)、量值L(t)参数为确定常量的条件下,论域参数为变量且未知时,错误识别对象的识别状态与应该状态的转化,提出消除系统对象错误的方程和路径,以便减少或消除由系统错误带来的损失或灾难。研究发现,当对象识别状态的论域包含应该状态的论域时,可以采用错误矩阵一类5集合方程构建错误矩阵集合方程;当对象识别状态的论域包含于应该状态的论域时,可以采用错误矩阵一类4集合方程构建一元置换变换错误矩阵集合方程。

基于Internet动力设备集中监控通讯子系统中的设计模式

动力设备集中监控系统是电信部门一个重要应用领域 ,但因网元设备接口缺乏统一标准 ,给系统维护带来了很大困难 .给出了通信协议的主要结构 ,以面向对象为基础 ,对通信子系统中对象合作和对象状态迁移模型进行了形式化定义 ,并结合具体实例 ,详细阐述其应用方法 .