AuthorsM. Z. Iqbal, A. Arcuri and L. C. Briand
TitleCode Generation From UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software
AfilliationSoftware Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeTechnical reports
Year of Publication2011
Number2011-04, Version 2
PublisherSimula Research Laboratory
Abstract

Given the challenges of testing at the system level, only a fully automated approach can really scale up to industrial real-time embedded systems (RTES). Our goal is to provide a practical approach to the model-based testing of RTES by allowing system testers, who are often not familiar with the system's design but are application domain experts, to model the system environment in such a way as to enable its black-box test automation. Environment models can support the automation of three tasks: the code generation of an environment simulator to enable testing on the development platform or without involving actual hardware, the selection of test cases, and the evaluation of their expected results (oracles). From a practical standpoint, such environment modeling should be based on modeling standards (1) that are at the right level of abstraction, (2) that software engineers are familiar with, and (3) that are well supported by commercial or open source tools. In this paper, we augment our previous works on environment modeling and test case selection by describing in detail our solution for the code generation of environment simulators from environment models expressed with UML/MARTE and OCL, which are international standards for real-time systems and constraint modeling. The presented techniques are evaluated on a set of three artificial problems and on two industrial RTES.

Citation KeySimula.simula.368