Skip to main content
SpringerLink
Log in

System-level functional testing from UML specifications in end-of-production industrial environments

  • Special section on high-level test of complex systems
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. IEEE Standard Glossary of Software Engineering Terminology (1990) IEEE/STD610.12-1990, Institute of Electrical and Electronic Engineering

  2. 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

  3. 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

  4. 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

  5. Gomaa H (2000) Designing concurrent, distributed, and real-time applications with UML. Addison-Wesley, Reading, MA

  6. Gomaa H (1986) Sofware development of real time systems. Commun ACM 29(7):657–668

    Article  Google Scholar 

  7. 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

  8. 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

  9. 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

  10. Harel D, Gery E (1997) Executable object modeling with statecharts. IEEE Comput 30(7)

  11. 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

    Article  Google Scholar 

  12. Fowler M, Scott K (1999) UML distilled. Addison-Wesley, Reading, MA

  13. Kruchten P (2000) The rational unified process: an introduction, 2nd edn. Addison-Wesley Object Technology Series. Addison-Wesley, Reading, MA

    Google Scholar 

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. 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

  22. 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

  23. 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

  24. Kim YG, Hong HS, Bae DH, Cha SD (1999) Test case generation from UML state diagrams. IEE Proc Softw 146(4):187192

    Article  Google Scholar 

  25. Briand L, Labiche Y (2002) A UML-based approach to system testing. Int J Softw Sys Model 1(1):10–42

    Article  Google Scholar 

  26. 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

  27. 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

  28. 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

  29. U2TP Consortium, Object Management Group (2003) UML testing profile. Final adopted specification. www.omg.org

  30. Smith MJ (1997) Simulations. In: Application-specific integrated circuits (ASICs... the book), Chap. 13.4. Addison-Wesley, VLSI Design Series, Reading, MA

Download references

Author information

Authors and Affiliations

  1. Dip. Aut. e Informatica, Politecnico di Torino, C.so Duca degli Abruzzi 24, 10129, Italy

    Andrea Baldini, Alfredo Benso & Paolo Prinetto

Authors
  1. Andrea Baldini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alfredo Benso
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paolo Prinetto
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andrea Baldini.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-004-0147-8

Keywords

Search

Navigation