Diagram illustrating the states that a component or system can have, and showing the situation or the events leading to the transition from one state to another.
A table showing the resulting transitions for each state together with each possible event for both valid and invalid transitions.
It is development of tests by black-box method in which test cases are built on the basis of correct and incorrect state transitions.
Percentage rating of statements performed by a set of tests to their total amount.
Test development based on the use the white box testing method where the sets of tests are made for the purpose of execution of operators.
Analysis of software artifacts such as requirements or code, carried out without execution of these software artifacts.