徐攀登
- 作品数：3 被引量：10H指数：1
- 供职机构：重庆大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UML模型的软件测试线索生成的研究
- 随着软件系统的复杂程度增加，需要在软件开发的各个阶段保证软件质量。基于UML模型测试的最大优越性在于，测试过程能和程序实现实现同步，因而成为软件测试的研究热点之一。面对复杂的软件系统，为了节约成本，缩短测试时间，自动化测...
- 徐攀登
- 关键词：软件测试UML模型XML文件
- 文献传递
- 在带OCL约束的状态图下测试线索的自动生成
- 2011年
- 提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。
- 曾一徐攀登柴艳欣邹明丁娜
- 关键词：对象约束语言可扩展标记语言类图状态图
- 基于UML活动图的多态性测试用例生成被引量：10
- 2010年
- 目前对于活动图的研究没有考虑到面向对象软件的多态性特点,无法在活动图中对多态消息进行测试。基于此,结合面向对象多态性的特点,根据UML类图对活动图中含有多态信息的节点进行加权扩展,利用所提出的优化算法对其进行遍历并得出数量少但覆盖率高的测试用例序列。通过实例说明该方法的实现过程,证明该方法的有效性。
- 覃钊璇曾一柴艳欣徐攀登
- 关键词：多态性活动图类图测试用例
