邹明
- 作品数：4 被引量：5H指数：2
- 供职机构：重庆大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 在带OCL约束的状态图下测试线索的自动生成
- 2011年
- 提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。
- 曾一徐攀登柴艳欣邹明丁娜
- 关键词：对象约束语言可扩展标记语言类图状态图
- 组合测试用例生成技术研究
- 软件测试贯穿于整个软件开发生命周期，是保证软件质量的重要手段。测试过程中，穷举测试是不可能的，但是我们又希望达到测试的完备性，同时使测试不会出现冗余。虽然等价类划分法、边界值分析法等方法能够在设计测试用例的时候，减少最终...
- 邹明
- 关键词：软件测试贡献度
- 文献传递
- 带OCL的活动图多态性测试用例生成方法被引量：3
- 2012年
- 研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。
- 曾一丁娜邹明
- 关键词：统一建模语言对象约束语言测试用例
- 基于贡献度的两两组合测试用例生成算法
- 2012年
- 为在两两组合测试中获得近似最小的测试用例集,提出一种基于贡献度的两两组合测试用例自动生成算法。生成满足覆盖要求的有序配对集,根据有序配对集生成初始用例集,对初始用例集进行简约,获得测试用例集。实验结果表明,该算法生成的测试用例数目较少,算法效率较高。
- 曾一邹明丁娜刘青香
- 关键词：软件测试测试用例集两两组合测试贡献度
