Title :
Condition testing for software quality assurance
Author_Institution :
Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
Abstract :
The notion of condition constraints is defined and it is shown that it can be used for the definition and implementation of condition testing strategies. A condition testing strategy that is based on the detection of Boolean and relational operator errors in a condition is described. Several conjectures in support of the condition testing approach and the condition testing strategy are given. The Boolean and relational operator testing strategy is believed to be cost-effective for software quality assurance
Keywords :
program testing; quality control; software reliability; Boolean operator errors; condition constraints; condition testing; detection; relational operator; relational operator errors; software quality assurance; Arithmetic; Computer errors; Computer science; Software quality; Software testing;
Conference_Titel :
Computer Assurance, 1989. COMPASS '89, 'Systems Integrity, Software Safety and Process Security', Proceedings of the Fourth Annual Conference on
Conference_Location :
Gaithersburg, MD
DOI :
10.1109/CMPASS.1989.76035
