施凤鸣
- 作品数:4 被引量:54H指数:3
- 供职机构:西安理工大学计算机科学与工程学院更多>>
- 发文基金:陕西省教育厅科研计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 从Rose的规约文件自动生成测试用例被引量:9
- 2003年
- 对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从RationalRose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时对算法进行优化,减少消息序列的冗余,从而缩短消息序列的路径长度。
- 张毅坤施凤鸣
- 关键词:测试用例UML状态图有限状态机
- 基于状态的EJB构件集成测试
- 2007年
- 针对构件源代码的不可知性问题,该文提出了从构件规格说明、接口中提取两类测试信息,生成构件状态测试用例,通过测试这两类“测试信息”进行构件属性分析和状态判定,通过“属性-状态”依赖关系,划分属性关联关系中理想状态空间,并构造测试树,利用不同的覆盖准则生成测试用例。
- 张毅坤夏辉施凤鸣
- 关键词:EJB构件测试用例
- 基于UML状态图的类测试用例自动生成方法研究
- 目前虽然面向对象的程序设计方法在全世界范围内得到广泛应用,但相对而言对面向对象软件测试方面的研究却是严重滞后的。随着人们发现传统的软件测试技术和方法在测试面向对象软件时效果很差,这方面的研究也越来越得到重视。类的基于状态...
- 施凤鸣
- 关键词:类测试状态图软件测试
- 文献传递
- 基于UML状态图的类测试用例自动生成方法被引量:43
- 2003年
- UML作为面向对象软件开发的事实上的标准建模语言,近年来得到了广泛的应用 ,基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合,提出了一种基于UML 状态图的类的测试用例自动生成方法。
- 张毅坤施凤鸣姚全珠刘军付长龙
- 关键词:统一建模语言状态图测试用例生成