QATestLab 154a, Borschagivska str., Kiev, Ukraine ph.: +38(044)501-55-38 http://qatestlab.com/ contact@qa-testlab.com
The majority of generally accepted testing techniques, it doesn’t matter if it is functional testing (blackbox testing) or structural testing (whitebox testing), use different ways of test coverage as the criteria for stopping testing.
The easiest way is completing different checklists, such as a checklist of main functions based on product specifications when blackbox testing is used, or a checklist of all the product elements or all the statements when whitebox testing is used. Software testing may be conducted till the moment when all the points on the respective checklist have been examined. Several formal models beyond simple checklists are used for the majority of systematic testing techniques. These models and related coverage comprise: 1. Formally determined partitions may be used as the foundation for different testing techniques, which are equal to checklists but assure: o
mutual exception of checklist points to elude needless reiteration,
o entire coverage determined correspondingly. 2. Different programming or functional states may be determined and linked together to form finite state machines to model the system as the foundation for different testing techniques to assure state coverage and coverage of related state transitions and implementation sequences. 3. Such finitestate machines may be extended to analyze and cover implementation paths and data dependencies through different software testing techniques. 4. A specialized kind of partitions, input domain partitions into subdomains, may be used to test these subdomains and related boundary conditions as well.
(c) QATestLab, 2012
http://qatestlab.com/