论文部分内容阅读
面向对象软件测试与传统的软件测试区别不大，只有类和类簇的测试才体现了面向对象软件测试的特点，而两者之间又以类的测试最为关键。本文通过对状态机模型生成类的测试序列的方法和代码实现以及基于状态测试法的测试数据生成的问题的探讨，认为基于状态的测试方法和基于代数规约的测试方法（ASTOOT方法）将是类测试的主要的发展方向，其余方法大多只能以辅助的面貌出现。