Principles of Program Design
A Requirements Engineering Methodology for Real-Time Processing Requirements
IEEE Transactions on Software Engineering
Toward a theory of test data selection
IEEE Transactions on Software Engineering
Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Completeness criteria for testing elementary program functions
ICSE '81 Proceedings of the 5th international conference on Software engineering
Contemporary software development environments
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
An approach to functional testing is described in which the design of a program is used to generate functional test data. The approach depends on the use of design methods that model the abstract functional structure of a program as well as the abstract structure of the data on which the program operates. An example of the use of the method is given and a discussion of its effectiveness is included.