Software testing using model programs

Software - Practice and Experience

Volumn 31, Issue 13, 2001, Pages 1211-1236

  Manolache, L I ^a   Kourie, D G ^a  

^a UNIVERSITY OF PRETORIA   (South Africa)

Author keywords

Back to back testing; Comparison testing; M mp testing; N version programming; Test oracle

Indexed keywords

ALGORITHMS; COMPUTER PROGRAM LISTINGS; COMPUTER SIMULATION; PROGRAM DOCUMENTATION; SOFTWARE PROTOTYPING;

SOFTWARE TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035841501     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.409     Document Type: Article

References (30)

1. Predicting dependability by testing
2. Software unit test coverage and adequacy
3. Specification-based test oracles for reactive systems
4. Generating a test oracle from program documentation: Work in progress
5. Using test oracles generated from program documentation
6. A framework for specification-based testing
7. Investigating the influence of formal methods
8. On testing non-testable programs
9. A theoretical basis for the analysis of multiversion software subject to coincident errors
10. An experimental evaluation of the assumption of independence in multiversion programming
11. Analysis of faults in an N-version software experiment
12. The consistent comparison problem in N-version software
13. N-version design versus one good version
14. How accurate is scientific software?
15. An approach to defining abstractions, refinements and enrichments
16. PODS - A project on diverse software
17. The AETG system, an approach to testing based on combinatorial design
18. Rapid prototyping: Lessons learned
19. Reusing software: Issues and research directions
20. Commonality and variability in software engineering
21. The Black Box Vampire or testing out of the box
22. A software-development risk-mitigation technique for algorithmically complicated software