论文部分内容阅读
自动或半自动实现面向对象形式规格说明的测试不但要求相应的规格说明语言具有严格的形式语义，而且要求使用人员具有较深的数学基础，从而最终影响了面向对象规格说明测试的研究。本文提出了一种测试方法，该方法通过构造测试用例对面向对象形式规格说明的各种特性进行检验，可以较容易地发现形式规格说明中的不一致、不完整之处。