The capability of model-based testing is primarily due to the abeyant for automation it offers. If the archetypal is machine-readable and academic to the admeasurement that it has a categorical behavioral interpretation, analysis cases can in assumption be acquired mechanically.
Often the archetypal is translated to or interpreted as a bound accompaniment apparatus or a accompaniment alteration system. This apparatus represents the accessible configurations of the arrangement beneath test. To acquisition analysis cases, the apparatus is searched for executable paths. A accessible beheading aisle can serve as a analysis case. This adjustment works if the archetypal is deterministic or can be adapted into a deterministic one. Valuable off-nominal analysis cases may be acquired by leveraging un-specified transitions in these models.
Depending on the complication of the arrangement beneath analysis and the agnate archetypal the bulk of paths can be actual large, because of the huge bulk of accessible configurations of the system. For award adapted analysis cases, i.e. paths that accredit to a assertive claim to proof, the seek of the paths has to be guided. For analysis case generation, assorted techniques accept been activated and are surveyed in.2The capability of model-based testing is primarily due to the abeyant for automation it offers. If the archetypal is machine-readable and academic to the admeasurement that it has a categorical behavioral interpretation, analysis cases can in assumption be acquired mechanically.
Often the archetypal is translated to or interpreted as a bound accompaniment apparatus or a accompaniment alteration system. This apparatus represents the accessible configurations of the arrangement beneath test. To acquisition analysis cases, the apparatus is searched for executable paths. A accessible beheading aisle can serve as a analysis case. This adjustment works if the archetypal is deterministic or can be adapted into a deterministic one. Valuable off-nominal analysis cases may be acquired by leveraging un-specified transitions in these models.
Depending on the complication of the arrangement beneath analysis and the agnate archetypal the bulk of paths can be actual large, because of the huge bulk of accessible configurations of the system. For award adapted analysis cases, i.e. paths that accredit to a assertive claim to proof, the seek of the paths has to be guided. For analysis case generation, assorted techniques accept been activated and are surveyed in.2
No comments:
Post a Comment