Condition testing for software quality assurance
Kuo‐Chung Tai · 2003
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.>