Test sets generation from algebraic specifications using logic programming
Journal of Systems and Software
Synthesizing implementations of abstract data types from axiomatic specifications
Software—Practice & Experience
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
A procedure and tools for transition engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Automated test plan generator for database application systems
SIGSMALL '91 Proceedings of the 1991 ACM SIGSMALL/PC symposium on Small systems
Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
Automated test plan generator for database applications systems
ACM SIGSMALL/PC Notes
An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements-driven software test: a process-oriented approach
ACM SIGSOFT Software Engineering Notes
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Hi-index | 0.00 |
A system is described that tests for the completeness of axiomatic specifications of abstract data types. 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.