Model Based Testing using Spec Explorer
Model Based Testing or simply MBT relies on Behavioral Model of an implementation names SUT or System Under Test. This is why a model needs to be more abstract than the SUT itself and this can be achieved by encapsulation or by overlooking the details. The behavioral pattern can be achieved by monitoring the SUT’s runtime behavior. Let us illustrate the Model Based Testing in Detail using the Spec Explorer for Visual Studio 2010. Model Program is the testing model based on the behavioral pattern of SUT. The model program consists of a Cord Script, where the configurations and machines defining the exploration are being defined. Then, we need a model program where the system behavior is being defined. In the following Cord Script, we can see that, we have two implementations Add and ReadAndReset and so we have declared two actions into config Main. ParameterCombination has been used to test the implementations with given parameter range or constraint. We have to create the ...