Specifications are means to define formally the behavior of a system or a system component. Completeness is a desirable property for specifications. In this paper, we describe a system that tests for the completeness ...
详细信息
Specifications are means to define formally the behavior of a system or a system component. Completeness is a desirable property for specifications. In this paper, we describe a system that tests for the completeness of axiomatic specifications of abstractdatatypes. For testing, the system generates a set of test cases and an implementation of the data type from the specifications. The generated implementation is such that if the specifications are not complete, the implementation is not complete, and the behavior of all of the sequences of valid operations on the data type is not defined. This implementation is tested with the generated test cases to detect the incompleteness of specifications. The system is implemented on a VAX system running Unix. [abstract FROM AUTHOR]
The propensity to make programming errors and the rates of error detection and correction are dependent on program complexity. Knowledge of these relationships can be used to avoid error-prone structures in software d...
详细信息
暂无评论