湖南省教育厅科研基金(05C263)
- 作品数:6 被引量:10H指数:2
- 相关作者:龚红仿李军义童小娇高捷柳湘华更多>>
- 相关机构:长沙理工大学湖南大学更多>>
- 发文基金:湖南省教育厅科研基金国家自然科学基金湖南省科技计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 面向对象的类的状态测试技术研究被引量:7
- 2005年
- 从类的状态模式、状态转移图以及UML状态图等三方面讨论了类的状态测试问题,提出了基于UML类图的类的状态模式测试用例生成方法,介绍了基于状态转移图的类测试方法及其对象状态测试模式在类的状态测试中的运用,讨论了基于UML状态图的测试模型———EFSM模型的类测试方法。
- 龚红仿李军义高捷童小娇
- 关键词:状态转移图EFSMUML
- 一种GUI测试的EDPN测试树生成模型
- 2008年
- 设计了一种EDPN测试图,提出了基于EDPN测试图的测试树构造算法.在给出基于EDPN测试树覆盖准则的基础上,得出了测试用例生成方法.实践表明,给出的测试方法简单、实用,能对GUI的测试达到较高的测试覆盖率.
- 龚红仿李脉李军义
- 关键词:测试覆盖准则
- 基于有向同步交互图的类族测试用例生成算法
- 2007年
- 根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法。同时,提出了同步交互序列测试充分性准则,并从基本交互路径序列和基本交互消息序列的测试覆盖率两方面阐述了测试的可行性。
- 龚红仿李军义
- 关键词:测试用例生成算法
- 基于状态模式的面向对象的类测试技术研究被引量:2
- 2007年
- 类的状态测试是面向对象软件测试的重要内容,类的单元测试归结为测试类的数据成员和成员函数。该文提出了基于类的状态模式测试用例生成方法,从类的状态常量、状态变量以及成员函数等方面测试类的一致性与完整性,指出只有满足类的状态常量的约束条件与状态变量的前置条件和后置条件的测试数据,才能充分检验类的状态模式中存在的不一致、不完整性错误。
- 龚红仿童小娇
- 关键词:类测试测试用例生成
- 基于带权EDPN迭代的面向对象系统测试技术被引量:1
- 2007年
- 面向对象的系统测试需要寻找系统级的测试线索——原子系统功能,其粒度直接影响到测试结果。提出了一种基于带权EDPN迭代的面向对象系统的分割算法,以迭代的方法将面向对象系统分割成不同粒度而功能独立的测试子系统——基原子系统功能,并给出了基原子系统功能的度量标准。在迭代过程中,每次迭代得到的基原子系统功能将被抽象为下一次迭代的带权EDPN子图中的一个数据地点。
- 龚红仿高捷李军义
- 关键词:面向对象
- 面向对象的类测试方法研究被引量:2
- 2006年
- 主要讨论从基于服务的类测试、基于层次增量的类测试以及基于数据流的类测试等三方面测试相同的类,从基于基本路径测试的结构测试的视角、面向对象的继承映射的视角、类的成员函数与数据成员之间交互作用的视角来检查类中的错误,得出了从不同的视角测试相同的类可以检查出类的不同错误的结论,通过实例阐述这些测试方法的优点和不足之处.
- 龚红仿孙乐仝青山柳湘华
- 关键词:类测试测试用例生成