CSUN COMP 595VAV - Software Testing Using Model Programs (26 pages)

Previewing pages 1, 2, 3, 24, 25, 26 of 26 page document View the full content.
View Full Document

Software Testing Using Model Programs



Previewing pages 1, 2, 3, 24, 25, 26 of actual document.

View the full content.
View Full Document
View Full Document

Software Testing Using Model Programs

109 views

Problems/Exams


Pages:
26
School:
California State University, Northridge
Course:
Comp 595vav -

Unformatted text preview:

SOFTWARE PRACTICE AND EXPERIENCE Softw Pract Exper 2001 31 1211 1236 DOI 10 1002 spe 409 Software testing using model programs L I Manolache and D G Kourie Department of Computer Science University of Pretoria Pretoria 0002 South Africa SUMMARY A strategy described as testing using M model programs abbreviated to M mp testing is investigated as a practical alternative to software testing based on manual outcome prediction A model program implements suitably selected parts of the functional specification of the software to be tested The M mp testing strategy requires that M M 1 model programs as well as the program under test P should be independently developed P and the M model programs are then subjected to the same test data Difference analysis is conducted on the outputs and appropriate corrective action is taken P and the M model programs jointly constitute an approximate test oracle Both M mp testing and manual outcome prediction are subject to the possibility of correlated failure In general the suitability of M mp testing in a given context will depend on whether building and maintaining model programs is likely to be more cost effective than manually pre calculating P s expected outcomes for given test data In many contexts M mp testing could also facilitate the attainment of higher test adequacy levels than would be possible with manual outcome prediction A rigorous experiment in an industrial context is described in which M mp testing with M 1 was used to test algorithmically complex scheduling software In this case M mp testing turned out to be significantly more cost effective than testing based on manual outcome prediction Copyright 2001 John Wiley Sons Ltd KEY WORDS test oracle N version programming back to back testing comparison testing M mp testing INTRODUCTION One of the most difficult tasks in software testing is to assess the correctness of the outcomes of a program that is subjected to particular test inputs The problem of establishing an



View Full Document

Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Software Testing Using Model Programs and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Software Testing Using Model Programs and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?