Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Software and Systems Modeling
Erschienen in: Software and Systems Modeling 1/2015

01.02.2015 | Regular Paper

Environment modeling and simulation for automated testing of soft real-time embedded software

verfasst von: Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand

Erschienen in: Software and Systems Modeling | Ausgabe 1/2015

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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—and such considerations are crucial for industrial adoption—environment modeling should be based on modeling standards (1) that are at an adequate 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 propose a precise environment modeling methodology fitting these requirements and discuss how these models can be used to generate environment simulators. The environment models are expressed using 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.
Vorheriger Artikel Resolving model inconsistencies using automated regression planning

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
2
http://​www.​papyrusuml.​org/​, accessed on 05/02/2012.
 
4
http://​www.​systemc.​org/​, accessed on 04/01/2012.
 
5
Notice that in [1] we considered the entire sorting machine case study. In this paper, we only discuss the subset of the case study that we used for testing and simulator generation. Therefore, the data presented in this paper is not exactly the same as in [1].
 
Literatur
1.
Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling with UML/MARTE to support Black-Box system testing for real-time embedded systems: methodology and industrial case studies. In: Model Driven Engineering Languages and Systems, pp. 286–300. Springer, Berlin (2010)
2.
3.
Broekman, B.M., Notenboom, E.: Testing Embedded Software. Addison-Wesley, Boston (2003)
4.
5.
6.
7.
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software (1995)
8.
9.
Wainer, G.A.: Discrete-Event Modeling and Simulation: A Practitioner’s Approach: CRC, Boca Raton (2009)
10.
Fritzson, P., Engelson, V.: Modelica–a unified object-oriented language for system modeling and simulation. In: ECOOP’98–Object-Oriented Programming, p. 67. Springer, Berlin (1998)
11.
Schamai, W., Fritzson, P., Paredis, C., Pop, A.: Towards unified system modeling and simulation with ModelicaML: modeling of executable behavior using graphical notations. Presented at the 7th International Modelica Conference. Como, Italy (2009)
12.
Mooney, J., Sarjoughian, H.: A framework for executable UML models. Presented at the Proceedings of the 2009 Spring Simulation Multiconference. San Diego, California (2009)
13.
Kruse, P.M., Wegener, J., Wappler, S.: A highly configurable test system for evolutionary black-box testing of embedded systems. Presented at the Proceedings of the 11th Annual conference on Genetic and evolutionary computation. Montreal, Canada (2009)
14.
Lindlar, F., Windisch, A., Wegener, J.: Integrating Model-Based Testing with Evolutionary Functional Testing. Presented at the Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops (2010)
15.
Lindlar, F., Windisch, A.: A search-based approach to functional hardware-in-the-loop testing. Presented at the Proceedings of the 2nd International Symposium on Search Based, Software Engineering (2010)
16.
Short, M., Pont, M.J.: Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation. J. Syst. Softw. 81, 1163–1183 (2008)CrossRef
17.
Francis, G., Burgos, R., Rodriguez, P., Wang, F., Boroyevich, D., Liu, R. Monti, A.: Virtual Prototyping of Universal Control Architecture Systems by means of Processor in the Loop Technology. Presented at the Twenty Second Annual IEEE Applied Power Electronics Conference, APEC 2007 (2007)
18.
19.
20.
21.
Kishi, T., Noda, N.: Aspect-oriented context modeling for embedded systems. Aspect-Oriented Requirements Engineering and Architecture Design, Presented at the Workshop on Early Aspects (2004)
22.
Karsai, G., Neema, S., Sharp, D.: Model-driven architecture for embedded software: a synopsis and an example. Sci. Comput. Progr. 73, 26–38 (2008)CrossRefMATHMathSciNet
23.
Choi, K.S., Jung, S.C., Kim, H.J., Bae, D.H., Lee, D.H.: UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development. Presented at the IASTED International Conference Proceedings (2006)
24.
Kreiner, C., Steger, C., Weiss, R.: Improvement of control software for automatic logistic systems using executable environment models. Presented at the EUROMICRO ’98: Proceedings of the 24th Conference on EUROMICRO, 1998
25.
Burmeister, C.: Real-time environment modeling. In: IEEE (ed.) IEEE Workshop on Real-Time Applications, pp. 142–146. New York (1993)
26.
Ubayashi, N., Seto, T., Kanagawa, H., Taniguchi, S., Yoshida, J., Sumi, T., Hirayama, M.: A context analysis method for constructing reliable embedded systems. In: Proceedings of the International Workshop on Models in Software Engineering, Leipzig, pp. 57–62 (2008)
27.
Pettit IV, R.G., Street, J.A.: Lessons learned applying UML in the design of mission critical software. In: UML: satellite activities. Lecture Notes in Computer Science. Springer, Berlin, pp. 129–137 (2004)
28.
Axelsson, J.: Unified modeling of real-time control systems and their physical environments using UML. Presented at the Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS ’01) (2001)
29.
Gomaa, H.: Designing Concurrent. Distributed and Real-Time Applications with UML. Addison-Wesley Educational Publishers Inc, Boston (2000)
30.
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Elsevier, Amsterdam (2008)
31.
Auguston, M., Michael, J.B., Shing, M.: Environment behavior models for automation of testing and assessment of system safety. Inf. Softw. Technol. 48, 971–980 (2006)CrossRef
32.
Heisel, M., Hatebur, D., Santen, T., Seifert, D.: Testing against requirements using UML environment models. In: Fachgruppentreffen Requirements Engineering und Test, Analyse & Verifikation, pp. 28–31 (2008)
33.
Adjir, N., Saqui-Sannes, P., Rahmouni, K.M.: Testing real-time systems using TINA. In: Testing of software and communication systems. Lecture Notes in Computer Science. Springer, Berlin (2009)
34.
Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Formal Approaches to Software Testing. Lecture Notes in Computer Science, Springer, Berlin (2005)
35.
Hessel, A., Larsen, K., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using uppaal. In: Formal Methods and Testing, pp. 77–117 (2008)
36.
Larsen, K.G., Mikucionis, M., Nielsen, B., Skou, A.: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. In: Proceedings of the 5th ACM International Conference on Embedded Software, pp. 299–306 (2005)
37.
Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Formal Methods Syst. Design 34, 238–304 (2009)CrossRefMATH
38.
Du Bousquet, L., Ouabdesselam, F., Richier, J.L., Zuanon, N.: Lutess: a specification-driven testing environment for synchronous software. Presented at the ICSE ’99: Proceedings of the 21st International Conference on Software Engineering, Los Angeles (1999)
39.
Peleska, J., Lapschies, F., Vorobev, E., Loeding, H., Smuda, P., Schmid, H., Zahlten, C.: A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In: Testing Software and Systems. Springer, Berlin, pp. 146–161 (2011)
40.
Peleska, J., Vorobev, E., Lapschies, F., Zahlten, C.: Automated Model-Based Testing with RT-Tester, University of Bremen (2011)
41.
David, A., Larsen, K.G., Li, S., Nielsen, B.: Timed testing under partial observability. In: International Conference on Software Testing Verification and Validation, ICST’09, pp. 61–70 (2009)
42.
43.
Iqbal, M.Z., Arcuri, A., Briand, L.: Empirical investigation of search algorithms for environment model-based testing of real-time embedded software. In: International Symposium on Software Testing and Analysis (ISSTA) (2012)
44.
Arcuri, A., Iqbal, M., Briand, L.: Black-Box system testing of real-time embedded systems using random and search-based testing. In: Testing Software and Systems, pp. 95–110. Springer, Berlin (2010)
45.
Iqbal, M.Z., Arcuri, A., Briand, L.: Combining search-based and adaptive random testing strategies for environment model-based testing of real-time embedded systems. In: Symposium on Search-based, Software Engineering (2012)
46.
Pilitowski, R., Dereziñska, A.: Code generation and execution framework for UML 2.0 classes and state machines. In: Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pp. 421–427. Springer, Netherlands (2007)
47.
Chauvel, F., Jézéquel, J.-M.: Code generation from UML models with semantic variation points. In: Model Driven Engineering Languages and Systems, pp. 54–68. Springer, Berlin (2005)
48.
49.
50.
Samek, M.: Practical UML statecharts in C/C++: event-driven programming for embedded systems: Newnes (2009)
51.
Ferreira, L., Rubira, C.: The reflective state pattern. Presented at the Proceedings of the Pattern Languages of Program Design, Monticello, IL, USA (1998)
52.
Chin, B., Millstein, T.: An extensible state machine pattern for interactive applications. In: ECOOP–Object-Oriented Programming, pp. 566–591. Springer, Berlin (2008)
53.
Holt, N., Anda, B., Asskildt, K., Briand, L., Endresen, J., Frøystein, S.: Experiences with precise state modeling in an industrial safety critical system. Presented at the Critical Systems Development Using Modeling Lanuguages, CSDUML’06 (2006)
54.
Palfinger, G.: State Action Mapper. Presented at the 4th Pattern Languages of Programming. PLoP), USA (1997)
55.
Niaz, I.A., Tanaka, J.: An object-oriented approach to generate Java code from UML Statecharts. Int. J. Comput. Inf. Sci. 6, 83–98 (2005)
56.
Quadri, I.R., Meftali, S., Dekeyser, J.L.: Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation. In: Conference on design and architectures for signal and image processing (DASIP), pp. 68–75 (2010)
57.
Rodrigues, W., Guyomarc’h, F., Dekeyser, J.L.: An MDE approach for automatic code generation from UML/MARTE to OpenCL. Comput. Sci. Eng. (2012)
58.
Piel É., Atitallah R.B., Marquet P., Meftali S., Niar S., Etien A., Dekeyser J.L., Boulet P., Europe I.L.N.: Gaspard2: from MARTE to SystemC simulation. In: Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile DATE, vol. 8, p. 65 (2008)
59.
Peñil, P., Medina, J., Posadas, H., Villar, E.: Generating heterogeneous executable specifications in SystemC from UML/MARTE models. Innov. Syst. Softw. Eng. 6, 65–71 (2010)CrossRef
60.
Vidal, J., De Lamotte, F., Gogniat, G., Soulard, P., Diguet, J. P.: A co-design approach for embedded system modeling and code generation with UML and MARTE. In: Design, Automation and Test in Europe Conference and Exhibition (DATE ’09), pp. 226–231 (2009)
61.
Mraidha, C., Tanguy, Y., Jouvray, C., Terrier, F., Gérard, S.: An execution framework for MARTE-based models. In: 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 222–227 (2008)
62.
Yu, H., Talpin, J.P., Besnard, L., Gautier, T., Marchand, H., Le Guernic, P.: Polychronous controller synthesis from MARTE CCSL timing specifications. In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 21–30 (2011)
63.
Selic, B.: A systematic approach to domain-specific language design using UML. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time, Distributed Computing, 2007. ISORC’07, pp. 2–9 (2007)
64.
Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall PTR, Upper Saddle River (2001)
65.
66.
67.
Musa, J.D.: The operational profile in software reliability engineering: an overview. Presented at the Third International Symposium on Software, Reliability Engineering (1992)
68.
Oldevik, J.: MOFScript user guide. Version 0.6 (MOFScript v 1.1. 11) (2006)
69.
Bruegge, B., Dutoit, A.: Object-Oriented Software Engineering Using UML, Patterns, and Java. Prentice Hall, Upper Saddle River (2009)
70.
71.
72.
McMinn, P.: Search based software test data generation: a survey. Softw. Test. Verif. Reliab. 14, 105–156 (2004)CrossRef
73.
Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.: A Search-based OCL constraint solver for model-based test data generation. Presented at the 11th International Conference on Quality Software (2011)
74.
Runeson, P., Rainer, A., Höst, M., Regnell, B.: Case Study Research in Software Engineering: Guidelines and Examples. Wiley, New York (2012)CrossRef
75.
Runeson, P., Höst, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14(2), 131–164 (2009)CrossRef
76.
Zheng, M., Alagar, V., Ormandjieva, O.: Automated generation of test suites from formal specifications of real-time reactive systems. J. Syst. Softw. 81, 286–304 (2008)CrossRef
77.
Iqbal, M., Ali, S., Yue, T., Briand, L.: Experiences of applying UML/MARTE on three industrial projects. In: Model driven engineering languages and systems, pp. 642–658 (2012)
78.
Fiorentini, C., Momigliano, A., Ornaghi, M., Poernomo, I.: A constructive approach to testing model transformations. In: Theory and Practice of Model Transformations, pp. 77–92 (2010)
79.
Andrews, J., Briand, L., Labiche, Y., Namin, A.: Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Trans. Softw. Eng. 32, 608–624 (2006)CrossRef
Metadaten
Titel
Environment modeling and simulation for automated testing of soft real-time embedded software
verfasst von
Muhammad Zohaib Iqbal
Andrea Arcuri
Lionel Briand
Publikationsdatum
01.02.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 1/2015
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-013-0328-6

Weitere Artikel der Ausgabe 1/2015

Software and Systems Modeling 1/2015 Zur Ausgabe

Special Section Paper

Translating between Alloy specifications and UML class diagrams annotated with OCL

Special Section Paper

Resolving model inconsistencies using automated regression planning

Special Section Paper

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods

Editorial

The 2014 “State of the Journal” report

Special Section Paper

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Special Section Paper

TacoFlow: optimizing SAT program verification using dataflow analysis