Partition-Oriented Test Generation

Abstract: In this paper, wedeal with input partition-oriented, model-based test suite generation. We extend existing control-flow-based coverage criteria, describe corresponding tool support, and present an exemplary evaluation based on mutation analysis. All explanations are substantiated by an example of afreight elevator.