Issuu on Google+

QATestLab 21, Garmatna str., Kiev, Ukraine ph.: +38(044)277-66-61 http://qatestlab.com/ contact@qa-testlab.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 finite­state 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 finite­state machines and transitions. For usage­based 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 sub­domains and  focuses on testing related boundary conditions, and control flow and data flow testing that enlarges  finite­state machines to conduct testing of entire implementation paths or conduct testing of data  dependencies in implementation and interactions.

(c) QATestLab, 2011  

http://qatestlab.com/                     


Principal Models Used In a Software Testing Technique