Automatically generating test data from a Boolean specification

Weyuker, Elaine J.; Goradia, Tarak; Singh, Amanpreet

doi:10.1109/32.286420

Cited by 235 publications

(236 citation statements)

References 9 publications

Supporting

Mentioning

229

Contrasting

Unclassified

Order By: Relevance

“…Previous empirical studies [20,21,30,33] of this nature had the following limitations: (a) they used a relatively small number of Boolean decisions; (b) test-sets were selected at random from the large sample space.…”

Section: Research Objectivesmentioning

confidence: 99%

“…In the past, various types of faults have been defined and used to study effectiveness of test criteria; see for example [16,22,25,30,33]. An analysis of various fault classes and the hierarchy among them is presented in [15,27].…”

Section: Types Of Faultsmentioning

confidence: 99%

“…The empirical evaluation of testing techniques for Boolean specification has been studied in [20,21,30,33]. Harman et.…”

Section: Related Workmentioning

confidence: 99%

“…The subject Boolean decisions were taken from research paper [33] and also generated using a random generator. The Boolean specifications used in [33] were taken from an aircraft collision avoidance system.…”

Section: Subject Boolean Specification and Implementationmentioning

confidence: 99%

“…The Boolean specifications used in [33] were taken from an aircraft collision avoidance system. We also analysed 500 decisions that were generated randomly.…”

Section: Subject Boolean Specification and Implementationmentioning

confidence: 99%

See 4 more Smart Citations

Experimental evaluation of the tolerance for control‐flow test criteria

Kapoor

Bowen

2004

Software Testing Verif & Rel

View full text Add to dashboard Cite

For a given test criterion, the number of test-sets satisfying the criterion may be very large, with varying fault detection effectiveness. In recent work [29], the measure of variation in effectiveness of test criterion was defined as 'tolerance'. This paper presents an experimental evaluation of tolerance for control-flow test criteria. The experimental analysis is done by exhaustive test-set generation, wherever possible, for a given criteria which improves on earlier empirical studies that adopted analysis of some test-sets using random selection techniques. Four industrially used control-flow testing criteria, Condition Coverage (CC), Decision Condition Coverage (DCC), Full Predicate Coverage (FPC) and Modified Condition/Decision Coverage (MC/DC) have been analysed against four types of faults. A new test criteria, Reinforced Condition/Decision Coverage (RC/DC) [28], is also analysed and compared. The Boolean specifications considered were taken from a past research paper and also generated randomly. To ensure that it is the test-set property that influences the effectiveness and not the test-set size, the average test-set size was kept same for all the test criteria except RC/DC. A further analysis of variation in average effectiveness with respect to number of conditions in the decision was also undertaken. The empirical results show that the MC/DC criterion is more reliable and stable when compared to the other considered criteria. Though the number of test-cases is large in RC/DC testsets, no significant improvement in effectiveness and tolerance was observed over MC/DC.

show abstract

Section: Research Objectivesmentioning

confidence: 99%

Section: Types Of Faultsmentioning

confidence: 99%

“…The empirical evaluation of testing techniques for Boolean specification has been studied in [20,21,30,33]. Harman et.…”

Section: Related Workmentioning

confidence: 99%

Section: Subject Boolean Specification and Implementationmentioning

confidence: 99%

“…The Boolean specifications used in [33] were taken from an aircraft collision avoidance system. We also analysed 500 decisions that were generated randomly.…”

Section: Subject Boolean Specification and Implementationmentioning

confidence: 99%

See 3 more Smart Citations