Static- and dynamic consistency analysis of UML state chart models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Abstracting timing information in UML state charts via temporal ordering and LOTOS
Proceedings of the 6th International Workshop on Automation of Software Test
Compositional random testing using extended symbolic transition systems
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Hi-index | 0.00 |
Today's multimedia solutions in the automotive industry are complex and distributed hardware/software systems that interact with a multitude of different environments. Assuring the functional correctness of such software-enabled systems is a major issue to maintain and improve overall product quality. In this article we report on a test case generation approach, that allows engineers to employ well-known UML state chart models to deduce test cases fully automatically. Our approach is based on symbolic transition systems (STSs) and overcomes the intricacies resulting from straightforward application of enumerative test models (e.g. state space explosion). The derivation of the test sequences is performed by searching paths through the STS models with respect to their communication structure. By calculating the weakest preconditions of these paths the validity of the paths (and their related parameters) is ensured. Notably, our first empirical results on an industry showcase - a flashing indicator model developed with our industry partner - indicate that our model composition approach is applicable for both - systematic as well as randomized test case generation.