Probabilistic Assessment of Effectiveness of Software Testing for Safety-Critical Systems
This paper provides the results of experimental evaluation of effectiveness of pair-wise testing. This paper considers a non-traditional area of pair-wise testing application, namely using pair-wise approach for testing logical expressions. A tool has been developed for experimental numerical investigation. This tool generates faults of various specific types and applies the previously derived test sets to determine if the testing method detected those faults. The user can see how effective a particular test case was at discovering a particular fault type. This paper investigates fault detection for five various types of faults in 20 different logical expressions which contain from 5 to 14 logical variables each.