基于扩展有限状态机的类测试用例生成方法

为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,利用扩展的有限状态机模型(EF-SM)和数据流分析方法,对类、类的消息传递和类状态变化进行了分析和研究,提出了一种基于扩展有限状态机模型的类测试用例集的生成算法.此算法能自动生成满足All_use路径覆盖标准的测试用例集,并能保证测试用例的路径长度最短.     

基于UML的软件测试用例自动生成技术的研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型的测试用例自动生成技术日益受到关注。本文实现了基于UML State Diagram规格说明的自动测试用例生成技术,定义了相应的测试覆盖准则,分析了测试数据的生成。     

基于构造类别代数的数据流和控制流相结合的协议测试

如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题, 本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法, 给出了在其上的测试用例生成算法, 有限状态机模型到构造类别代数模型的转换算法, 并且给出了在一个实际的路由协议RIP 的测试中的应用例子.     

模型检测与定理证明相结合开发并验证高可信嵌入式软件

首先将软件的UML状态机模型转换为模型检测工具MOCHA的输入语言REACTIVEMODULES,在MOCHA中进行正确性验证,利用模型检测工具针对错误情况给出的反例路径,尽早修改软件的UML设计模型;然后将已验证过的UML模型转换为定理证明工具B方法的抽象规约,利用B方法的精化、验证及代码生成功能,直接生成正确的C代码。并给出了从UML状态机到REACTIVE MODULES建模语言及B AMN抽象规约的转换规则。实验结果表明,该方法可在软件工程中有效地提高高可信嵌入式软件开发和验证的效率。     

基于集合覆盖的Wp方法测试集约简方法

为了提高测试效率,提出一种基于集合覆盖的测试集约简方法.该方法对有限状态机(finite state machine,FSM)模型中经典的测试生成算法Wp方法(部分W方法)所生成的测试集进行冗余约简.通过分析Wp方法的特点,找出测试序列之间包含关系的规律,删除冗余的测试用例.理论分析和实验结果表明:该方法能够有效约简测试集,并且不改变故障检测能力.     

基于CSM面向对象程序测试用例的自动生成

为了保证程序测试的质量和降低测试费用 ,基于规格的测试方法越来越受到重视。在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法 ,同时引入动态域归约原理实现测试用例的自动生成     

基于CSM面向对象程序测试用例的自动生成

为了保证程序测试的质量和降低测试费用,基于规格的测试方法越来越受到重视,在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法,同时引入动态域归约原理实现测试用例的自动生成。     

利用框架设计模式开发嵌入式网络协议

为了规范地开发嵌入式网络协议，设计了一个软件框架，它将UML状态机的事件、定时器、状态、状态机等核心数据结构整合为一体，提供了实现UML状态的各种接口。项目开发结果表明，该软件框架清晰地反映了状态机各个状态之间的嵌套层次关系，能够将嵌入式网络协议的UML状态图高效地转化为该网络协议的实现代码，成功地生成特定的嵌入式网络协议。     

基于ECO模型驱动的数据库开发

ECO(enterprise core objects)是基于UML模型驱动的面向对象的数据库开发框架,它提供了一种快速模型驱动开发的方法。ECO能实现数据库的自动生成、自动演化以及模型的高可复用性等,大大提高了软件开发的效率。介绍了ECO的相关技术,并举例说明了如何基于ECO进行模型驱动的数据库开发,用UML类图设计静态模型,用状态机设计动态模型,并把设计的对象模型映射为关系数据库模型。     

基于图论和FSM的UML模型与代码一致性检测

提出了一种基于图论和有限状态机（FSM）的统一建模语言（UML）模型与代码一致性检测方法.给出了该方法的基本思路;分别讨论了UML模型与代码静态一致性检测和动态一致性检测算法;实现了该检测方法的支撑工具,并使用该工具对C++项目UMLChecker 1.0进行了检测.实验结果表明,所提方法可对UML模型与代码的一致性进行检测,且具有较高的检测精度.通过对静态行为和动态行为的一致性检测可知,检测精度明显提升.     

基于场景和UML图的CBSD软件集成测试方法研究

基于构件的软件开发（Component_Based Software Development,CBSD）是软件设计的新趋势,软件测试是软件质量的保证。构件化软件的测试核心是构件间的交互。介绍了一种基于场景和,UML图的CBSD软件的集成测试方法,它以扩展的UML图为主要的测试模型,分析构件间的交互,并利用场景的思想生成测试用例。最后提出了一个构件化软件集成测试框架。     

一种结合UML和B的软件需求获取方法

精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型.然而UML缺乏形式化方法的准确语义,很难产生准确无歧义的软件规约.使用B和UML结合的方法,借助形式化方法的精确语义和规约级证明义务来产生准确一致的系统规约,并结合家庭智能控制系统说明了结合使用B和UML规约的过程.     

基于UML状态图的自动化测试系统研究与实现

以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。     

运用UML建模机制构建图书管理系统

运用UML建模机制对一个简单的图书管理系统进行分析，利用用例图、类图、活动图建立、图书管理系统需求分析模型，通过建立静态模型(用例图、包图、配置图)和动态模型．(状态图、顺序图、合作图)，展示UML建模机制应用实例，说明应用UML建模机制，在对系统进行分析、设计到实现的不同阶段，建立起灵活的系统模型的过程和机制。     

复杂分布式系统的面向智能agent建模

为了有效管理复杂分布式系统建造过程中的复杂性,提出了一种面向智能多agent系统的工程化软件建模技术.该方法使用扩展的UML用况图和顺序图来认定角色并建立角色模型,通过对agent的心智状态建模,使用扩展的UML状态图和Petri网图来发展agent自治行为和交互行为的动态模型.给出了一个覆盖了从问题域分析到生成agent类模型和agent交互模型全部过程的网络资源管理系统应用实例,并验证了建模方法抽象和管理系统复杂性的有效性.     

基于MSC测试目的的协议互操作性测试生成

提出了一种基于MSC(消息序列图)测试目的的互操作性测试生成方法.采用通信多端口有限状态机作为被测系统的描述模型,MSC作为互操作性测试目的的描述模型,使用全局状态跟踪和逆向查找等技术从系统规范中生成包含该测试目的的测试序列.该方法由于只需遍历系统的部分状态空间,因此在一定程度上减少了发生状态爆炸问题的可能.在移动IPv6协议系统中的应用表明,该方法具备一定的可行性.