结构化面向对象形式规格说明语言OOZS——规格说明测试

The Completeness and Consistence Testing Method of OOZS Specification

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

The difficulties in checking object-oriented formal specifications include two aspects. One is that the semantics of object-oriented specification language is still improving, and the other is that the use of formal reasoning supporting tools usually requires a very high level of mathematics skill for software developers. This paper proposes an object-oriented formal specification testing method which can detect those inconsistence and incompleteness errors in specifications. The main task involved in our approach is to construct a minimal set of such testing cases that has the maximum coverage of all possible situations and check whether the property of specification is satisfied.