基于随机图的面向对象软件可测试性计算模型的研究

结合随机图理论以及扩展PIE模型,提出了一种新的面向对象软件可测试性计算模型．分析了对象粒度的PIE扩展模型,并将传播感染免疫理论应用于表征软件系统的随机图,最终给出了面向对象软件可测试性的计算方法．     

面向对象Petri网技术在系统建模中的应用

面向对象Petri网将面向对象技术与Petri网相结合,利用对象的封装及继承等特性,降低了所建立系统模型的结构复杂性,增强了其可重用性和可剪裁性.系统的面向对象Petri网模型(OOPN)由对象模型(OPN)及对象联系模型(OCN)组成,前者描述对象内部的状态变化细节及与外部联系的接口,后者描述系统中各对象间的联系.分析了面向对象Petri网技术在各种复杂系统建模问题中的应用,并以电梯群控系统的建模为例,从电梯群控调度的角度,详细给出了OOPN模型的构建.     

基于性能分析的一种OOPN关联矩阵建立方法

目的从性能分析角度建立面向对象Petri网(OOPN,Object-Oriented Petri Nets)关联矩阵。方法通过建立OOPN中可量化的基本元素包括:资源、弧的权重等的数量化模型以及双向弧、同步通道等的性能等价模型,从而得到OOPN的数量化模型。结果基于数量化模型完成了OOPN关联矩阵的建立,以公路施工中的土方装载、运输、平整为例演示了该方法。结论利用该方法建立的OOPN关联矩阵能够对资源均衡配置等性能指标进行优化计算,对生产实践具有指导意义。     

蓝牙链路管理的系统级SOC设计方法

提出了事务级面向对象的设计流程TLOOF（Transaction Level Object Oriented Framework），强调高层次的设计和验证，并使用面向对象的Petri网和实时UML相结合的方法，用System C对系统的行为建模．将TLOOF应用于蓝牙芯片的设计中，蓝牙行为模型由链路管理器和链路控制组成，映射为CPU、内存、片上总线、链路控制等体系结构模块．建立了蓝牙链路连接的OOPN模型并描述了事务级模型的类图，完成了系统的仿真．仿真结果表明，该片上系统（SOC）设计方法可以很好地对蓝牙系统建模．     

多品种混合装配流水线规划的仿真方法

对多品种混合装配流水线的构成进行了分析，提出一种基于面向对象Petri网(OOPN)技术的布局规划仿真建模方法，并结合企业的实际应用需求开发了该系统的仿真软件。     

面向对象类的自动测试方法研究

本文通过与传统软件测试方法的对比,重点讲述了软件自动测试方法的根本目的,概括的讲述了现代自动测试的方法以及它的实现机制。针对现在流行的面向对象的软件提出了自己的测试模型。给出了面向对象分析的测试、面向对象设计的测试、面向对象编程的测试、面向对象单元测试、面向对象集成测试、面向对象系统测试的测试策略。     

一种基于UML和CP-net集成描述的面向对象软件的交互测试方法

面向对象技术在软件工程中的推广使用，使得传统的测试技术和方法受到了极大的冲击．对面向对象技术所引入的消息传递、数据抽象、封装、继承、多态等新特点，传统的测试技术已经无法有效的进行测试．对面向对象软件的测试，测试策略或方法都需要出现相应的变革或更新．本文给出一种基于UML和CP-net集成描述的面向对象软件的类集成测试方法，重点在于测试不同的类方法之间的交互行为．这种方法首先用UML和CP-net集成描述用户需求，然后基于这个描述模型，按照基本路径覆盖的标准自动产生测试例．     

面向对象软件测试的方法研究

结合传统软件测试与面向对象软件测试的方法和技术,针对现代管理信息系统软件面向对象的特点,以连锁配送管理信息系统为例,讨论了基于面向对象软件的测试模型.提出了一种新的层次划分方法:将系统划分为5个层次,即类和对象层、结构层、主题层、服务层、系统层,并给出了相应层次的测试方案.     

基于语义的对象建模与动态建模

讨论了在面向对象方法中从分析模型向软件模型的平滑过渡中存在的问题，确认语义特性问题是造成两种模型间“鸿沟”的一个关键问题．提出基于语义的对象建模与动态建模，是对迄今为止的面向对象分析方法的一种补充和改进，在许多应用领域和场合中，它可以成为面向对象方法的一个新的、有意义的发展．     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

面向对象Petri网及其在告警服务代理软件中的应用

首先介绍面向对象Petri网(OOPN)的定义和图形表示法,接着以告警服务代理软件设计为例,对其OOPN进行了详细分析,最后给出该系统实现的主体代码结构。     

多Agent的计算机支持协同设计异常处理模型分析

结合工作流和多Agent技术,提出一种基于多Agent的计算机支持协同设计(CSCD)异常处理框架．在通信层,超时策略根据当前Agent自身状态和网络状态自适应地使用面向连接和无连接消息服务,以便为可靠的通信提供保障,减少通信故障对异常处理的影响．结合多Agent协调理论,扩展了通信原语,并利用面向对象Petri网(OOPN)建立了多Agent的状态变迁模型,验证了该原语的有效性．在应用层,按照Agent的信息处理流程,结合工作流和客户／服务器技术,利用OOPN对多Agent的CSCD系统的客户端和服务器内部模型进行定义,验证了多Agent系统的动态行为,所建立模型的多实例、多线程访问控制处理能力,以及在线和离线异常处理机制．     

三维湍流流动计算方法在中小型混流式转轮增容改造中的应用

针对新疆某电站水轮机转轮增容改造 ,基于 k-ε模型的全三维湍流计算技术在流动计算中的应用 ,给出了混流式转轮在贴体坐标系下的湍流计算的基本方程组 .应用该方法编制的程序对该电站水轮机转轮进行了优化后的主要流动计算 ,并设计制造出了新转轮 .经实际运行验证 ,达到了预期性能 ,效果很好 .     

面向对象的Petri网方法及其在甲骨文编码中的应用

介绍了面向对象的Ｐｅｔｒｉ网方法,给出了ＯＯＰＮ的基本定义,图形和语言表示;并运用面向对象Ｐｅｔｒｉ网方法研究甲骨文象形码的编码原理,将每个甲骨文字做为一个对象实例,运用面向对象Ｐｅｔｒｉ网方法,对甲文字根对象进行聚类,形成凶,从而得到每个甲骨文字的编码。     

核电工程现金流预测模型

现金流预测对核电工程项目业主和承包商安排资金计划和降低资金成本具有重要意义。以承包商现金流预测为基础 ,分析了与工程项目现金流预测相关的各种因素 ,提出了适用于承包商和项目业主的现金流预测数学模型。利用工程投资与进度数据集成方案 ,有效地求解了该模型。基于该模型开发了工程项目现金流预测管理信息系统 ,并用实例对该系统进行了验证 ,结果表明该模型和求解方案是合理有效的     

一种改进的程序流程图--层次流程图HFG

程序流程图是刻划程序控制结构的一种重要的表示方式，层次流程图（HierarchicalFlowGraph,HFG）是一种真正基于块、节点、段三层程序划分机制的完全图形化的新型程序流程图，将程序由二维空间拓展到了三维空间，HFG有效利用了块结构的构型特征和对象封装性，具有较高的可重用性和可扩展性，此外，HFG还提供了极为灵活的程序收缩和延展机制，可提供多级别的程序框架，在很大程度上改善了程序理解和测试工作。     

智能随机TBFL方法

测试集测试结果对程序错误定位算法（testing-basedfaultlocalization,TBFL）没有考虑到程序和测试用例集本身的信息,而智能随机TBFL方法,则是利用随机理论将测试员、程序员关于测试用例和程序的先验知识和测试结果信息结合起来,去定位程序的错误语句．智能TBFL算法主要从人类处理信息的通常过程着眼,把测试员交给开发人员的测试结果（主要是用例是否失败和用例覆盖语句情况）分两个层次处理,首先构造执行矩阵曰,利用程序先验分布计算测试集捕获错误的能力等级分布,它相当于人类处理信息首先考察信息的正确性和重要性这一事实;其次构造功效矩阵F,利用前述的测试集能力分布计算程序语句出错可能性的等级分布,它相当于人类处理信息时挖掘信息内涵并对信息加以综合从而做出正确判断这一事实．因此文中提出的算法称之为智能算法,它在理论上是可信的．根据文中所提出的两个有关不同TBFL算法比较标准,并在一些实例上把智能算法与其他一些传统错误定位方法进行对比,发现智能算法的功效比较满意．     

复杂并流多效蒸发系统的模拟

建立了复杂并流蒸发系统的数学模型,提出了一种采用常规迭代法求解的计算方法,采用面向对象的Pascal语言编制了该算法的计算程序,可对二效至七效常规和复杂并流蒸发系统进行模拟计算。以碱液为例,对三效并流的5种流程进行了计算和比较,结果表明模型准确、高效,是一种很好的工程算法。     

一种基于层次模型的面向对象类型分析框架

建立了一种用于静态类型面向对象程序的类型分析框架,该框架集成了目前最为实用的４种类型分析方法,即唯一名分析、类层分析、快速类型分析以及指针别名分析。首先在这４种方法的基础上提出了类型分析的层次模型,然后以此模型为核心,结合程序预处理器和信息加工器等建立了一种类型分析框架,该框架适合分析静态类型的面向对象程序,如Ｃ＋＋／Ｊａｖａ程序等。