代数式规格论文

论文摘要软件测试是软件工程中保证产品质量的重要技术手段。变异测试是一种衡量测试用例集完备性的测试策略,也被用于生成完备的测试用例集。传统的变异测试作用在程序的源代码上。本文提出...