DocumentCode
2746736
Title
Condition testing for software quality assurance
Author
Tai, K.-C.
Author_Institution
Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
fYear
1989
fDate
19-23 Jun 1989
Firstpage
31
Lastpage
35
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPASS.1989.76035
Filename
76035
Link To Document