QATestLab 21, Garmatna str., Kiev, Ukraine ph.: +38(044)277-66-61 http://qatestlab.com/ email@example.com
Nowadays the majority of the systematic techniques for software testing are based on specific formalized models. That is why it is necessary to inspect the kinds and features of such models to improve the comprehension of the related techniques.
Actually, the coverage of main testing techniques is organized by the various testing models used, as follows: There are 2 principal kinds of models: 1. those based on finitestate machines 2. those based on simple structures such as checklists and partitions These models can be directly used for testing basic coverage defined accordingly, such as coverage of checklists and partitions and coverage of finitestate machines and transitions. For usagebased testing, minor modifications to these models are made to associate usage probabilities to partition items and to make state transitions probabilistic. Some specialized extensions to the 2 principal models may be used to support several generally used testing techniques, such as input domain testing that enlarges partition ideas to input subdomains and focuses on testing related boundary conditions, and control flow and data flow testing that enlarges finitestate machines to conduct testing of entire implementation paths or conduct testing of data dependencies in implementation and interactions.
(c) QATestLab, 2011