19 September 2013 It is development of tests by black-box method in which test cases are built on the basis of correct and incorrect state transitions.