Abstract
The goal of this research is the study of a methodology to convert design-level specifications of complex embedded systems to system-level functional tests for direct instrumentation; the general context is industrial end-of-production environment (EOP) and the approach uses official and de facto industrial standards (e.g., Unified Modeling Language, UML) and advanced techniques from academic research. The research suggests process guidelines, exploring the generation of the timed test sequences from a UML model, the translation phases, and addressing the problem of timing and environment creation. A case study of a significantly complex application is provided directly from the industrial world thanks to an agreement between Politecnico’s Testgroup and Magneti Marelli Electronic Systems, research and development site of Venaria Reale, an international leader in automotive applications.
Similar content being viewed by others
References
IEEE Standard Glossary of Software Engineering Terminology (1990) IEEE/STD610.12-1990, Institute of Electrical and Electronic Engineering
Baldini A, Benso A, Prinetto P, Mo S, Taddei A (2001) Towards a Unified test process: from UML to end-of-line functional test. In: Proceedings of the IEEE International Test Conference 2001 (ITC’01), October 2001, pp 600–608
Baldini A, Benso A, Mo S, Taddei A, Prinetto P (2002) A UML process for system level functional test: an industrial perspective. In: Proceedings of Integrated Design and Process Tech (IDPT’02), Pasadena, CA, June 2002, p 48 + CD
Baldini A, Benso A, Prinetto P, Mo S, Taddei A (2002) Efficient design of system test: a layered architecture. In: Proceedings of IEEE International Test Conference 2002 (ITC’02), October 2002, pp 930–939
Gomaa H (2000) Designing concurrent, distributed, and real-time applications with UML. Addison-Wesley, Reading, MA
Gomaa H (1986) Sofware development of real time systems. Commun ACM 29(7):657–668
Selic B (1998) Using the object paradigm for distributed real-time systems. In: Proceedings of the 1st IEEE international symposium on object-oriented real-time distributed computing (ISORC 98), April 1998, pp 478–480
Fernandes JM, Machado RJ, Santos HD (2000) Modeling industrial embedded systems with UML. In: Proceedings of the 8th international workshop on hardware/software codesign (CODES 2000), May 2000, pp 18–22
Sinha V, Doucet F, Siska C, Gupta R, Liao S, Ghosh A (2000) YAML: a tool for hardware design visualization and capture. In: Proceedings of the 13th international symposium on system synthesis, September 2000, pp 9–14
Harel D, Gery E (1997) Executable object modeling with statecharts. IEEE Comput 30(7)
Croll P, Duval P-Y, Jones R, Kolos S, Sari RF, Wheeler S (1998) Use of statecharts in the modeling of dynamic behaviour in the ATLAS DAQ prototype-1. IEEE Trans Nuclear Sci 45(4):19831988
Fowler M, Scott K (1999) UML distilled. Addison-Wesley, Reading, MA
Kruchten P (2000) The rational unified process: an introduction, 2nd edn. Addison-Wesley Object Technology Series. Addison-Wesley, Reading, MA
Selic B, Gullekson G, McGee J, Engelberg I (1992) ROOM: an object-oriented methodology for developing real-time systems. In: Proceedings of the 5th international workshop on computer-aided software engineering, July 1992, pp 230–240
Mendelbaum BHG, Gallant R, Brette J-F, Ducateau, CF (2000) Java-prototyping of hardware/software CBS using a behavioral OO model. In: Proceedings of the 7th international conference and workshop on engineering of computer based systems (ECBS 2000), April 2000, pp 73–81
Niemegeers A, de Jong G (2000) An incremental specification flow for real time embedded systems [VDSL modems]. In: Proceedings of Design, Automation and Test in Europe Conference and Exhibition, March 2000, p 761
Khatri A (1999) Validation of a patient headache care education system (PHCES) developed from a unified modeling language (UML) domain model. In: Proceedings of the 23rd annual international computer software and applications conference (COMPSAC ’99), October 1999, pp 296–298
Aleman JLF, Alvarez AT (2000) Can intuition become rigorous? Foundations for UML model verification tools. In: Proceedings of the 11th international symposium on software reliability engineering (ISSRE 2000), October 2000, pp 344–355
Graw G, Herrmann P, Krumm H (2000) Verification of UML-based real-time system designs by means of cTLA. In: Proceedings of the 3rd IEEE international symposium on object-oriented real-time distributed computing (ISORC 2000), March 2000, pp 86–95
Gnesi S, Latella D, Massink M (1999) Model checking UML Statechart diagrams using JACK. In: Proceedings of the 4th IEEE international symposium on high-assurance systems engineering, November 1999, pp 46–55
Lilius J, Paltor IP (1999) vUML: a tool for verifying UML models. In: Proceedings of the 14th IEEE international conference on automated software engineering, October 1999, pp 255–258
Bose P (1999) Automated translation of UML models of architectures for verification and simulation using SPIN. In: Proceedings of the 14th IEEE international conference on automated software engineering, October 1999, pp 102–109
Koch B, Grabowski J, Hogrefe D, Schmitt M (1998) Autolink – a tool for automatic test generation from SDL specifications. In: Proceedings of the 2nd IEEE workshop on industrial strength formal specification techniques, October 1998, pp 114–125
Kim YG, Hong HS, Bae DH, Cha SD (1999) Test case generation from UML state diagrams. IEE Proc Softw 146(4):187192
Briand L, Labiche Y (2002) A UML-based approach to system testing. Int J Softw Sys Model 1(1):10–42
Jin Z, Offutt J, Abdurazik A, White EL (2000) Analyzing software architecture descriptions to generate system-level tests. In: Proceedings of the workshop on evaluating software architectural solutions 2000 (WESAS), May 2000
Abdurazik A, Offutt J (2000) Using UML collaboration diagrams for static checking and test generation. In: Proceedings of the 3rd international conference on the Unified Modeling Language (UML’00), York, UK, October 2000, pp 383–395
Offutt J, Abdurazik A (1999) Generating test cases from UML specifications. In: Proceedings of the 2nd international conference on the Unified Modeling Language (UML99), October 1999
U2TP Consortium, Object Management Group (2003) UML testing profile. Final adopted specification. www.omg.org
Smith MJ (1997) Simulations. In: Application-specific integrated circuits (ASICs... the book), Chap. 13.4. Addison-Wesley, VLSI Design Series, Reading, MA
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Baldini, A., Benso, A. & Prinetto, P. System-level functional testing from UML specifications in end-of-production industrial environments. Int J Softw Tools Technol Transfer 7, 326–340 (2005). https://doi.org/10.1007/s10009-004-0147-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-004-0147-8