类级测试论文

面向对象类级的一种变异体及其相应的测试充分性
论文摘要本文旨在根据陈火炎教授提出的具有形式化基础的通过属性变换与方法变换生成面向对象类级变异体的概念和思想,将变异分析与变异测试方法运用到面向对象的类级测试中。本文首先介绍变...