唐江峻
- 作品数：2 被引量：15H指数：1
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：中国科学院知识创新工程国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 关于蜕变测试和特殊用例测试的实例研究(英文)被引量：15
- 2005年
- 提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutationscore和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.
- 吴鹏施小纯唐江峻林惠民陈宗岳
- 关键词：软件测试
- 基于STGA的并发程序测试
- 该文提出一种基于带赋值符号迁移系统STGA选取测试同步序列的方法.与传统的基于标号迁移系统LTS的方法相比,STGA中保留了对测试同步序列的选取有重要影响的结构信息,因此有利于高效率同步序列的选取.实例研究证实了这一优越...
- 唐江峻
- 关键词：软件测试并发程序传值进程标号迁移系统
- 文献传递
