Model transformations to satisfy all-configurations-transitions on statecharts

@inproceedings{Haschemi2009ModelTT,
  title={Model transformations to satisfy all-configurations-transitions on statecharts},
  author={Siamak Haschemi},
  booktitle={MoDeVVa '09},
  year={2009}
}
Existing applicable coverage criteria in model-based testing for statecharts do not require test suites to include all transitions between state configurations. This excludes potentially important test cases, reduces the quality of the generated test suite, and leaves parts of the system-under-test untested. We propose a new coverage criterion called All-Configurations-Transitions, which includes these missing test cases and propose test model transformation to enable existing test generators… CONTINUE READING