Automated Test Case Generation for Programs Specified by Relational Algebra Queries
IEEE Transactions on Software Engineering
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
Semi-Automatic Program Construction from Specifications Using Library Modules
IEEE Transactions on Software Engineering
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Software engineerng applied to discrete event simulations
WSC '86 Proceedings of the 18th conference on Winter simulation
A Codesign Approach to Real-time High Precision Control
Real-Time Systems
Verifying Consistency and Validity of Formal Specifications by Testing
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Config: a case study in combining software engineering techniques
Scientific Programming
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Formal methods and hybrid real-time systems
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
| Hi-index | 0.00 |
If a program is developed from a specification in a mathematically rigorous manner, work done in the development can be utilized in the testing of the program. We can apply the better understanding afforded by these methods to provide a more thorough check on the correct operation of the program under test. This should lead to earlier detection of faults (making it easier to determine their causes), more useful debugging information, and a greater confidence in the correctness of the final product. Overall, a more systematic approach should expedite the task of the program tester, and improve software reliability. The testing techniques described in this paper apply to the testing of abstract data types (modules, packages). The techniques utilize information generated during refinement of a data type, such as the data type invariant and the relationship between the specification and implementation states; this information is used to specify parts of the code to be written for testing. The techniques are illustrated by application to the implementation of a symbol table as an ordered list and as a height balanced tree.