Model based test case generation for distributed embedded systems

As test case creation activities consume an increasing amount of resources allocated to software development projects, the need to automate this task as much as possible becomes more and more stringent. In this article we report on the application of academic test case generation tools in an industrial context. We present an approach to generate test cases from reactive distributed systems specified as asynchronously communicating UML statecharts. We employ two approaches for the generation process. The first one is fully automated and generates test cases aimed at transition coverage. The second one requires the intervention of the tester in order to annotate states and/or transitions partially describing a test scenario. It is the job of the tool to compute test cases pertaining to the specified test scenario.