Relationship between specifications and testing

Information and Software Technology

Volumn 33, Issue 1, 1991, Pages 47-52

  Hall, PAV ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

software testing; specifications; test case construction

Indexed keywords

MATHEMATICAL TECHNIQUES--APPROXIMATION THEORY;

COMPUTER SOFTWARE TESTING; TEST CASE CONSTRUCTION; UK NATIONAL AUTHORITY FOR THE CERTIFICATION OF TEST LABORATORIES (NATLAS);

COMPUTER SOFTWARE;

EID: 0025889635     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(91)90023-5     Document Type: Article

References (33)

1. Approaches to specification-based testing
2. Notes on structured programming
3. Toward a theory of test data selection
4. Towards testing with respect to formal specifications
5. Automated test case generation for programs specified by relational algebra queries
6. Towards the automatic generation of executable programs to test a Pascal compiler
7. Automatic generation of random self-checking test cases
8. An Evaluation of Random Testing
9. Partition testing does not inspire confidence
10. Some observations on partition testing
11. Modelling growth in software reliability
12. The design of a prototype mutation system for program testing
13. Programming is an engineering profession
14. The methodology of scientific research programmes
15. Introduction to special section on software testing
16. Program verification: the very idea
17. A Recursion Theoretic Approach to Program Testing
18. The logic of induction
19. Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing
20. A mathematical theory of imitative systems and pattern recognition
21. A knowledge-based system to synthesize FP programs from examples