Skip to main content
SpringerLink
Log in

Experiences using Tedeso: an extensible and interoperable model-based testing platform

  • Published:
Automated Software Engineering Aims and scope Submit manuscript

Abstract

The integration of novel software quality assurance tools into existing development environments must be performed in ways that leverage the benefits of the tools while minimizing their impact on existing software processes. This supports the adoption of new methodologies with minimal interference into core business practices. This paper discusses the design of Tedeso, an extensible and interoperable model-based testing platform developed to facilitate the automatic generation of tests, while supporting the needs of different stakeholders in a diverse and broad organization. We discuss Tedeso key design characteristics, in particular its extensibility and interoperability, provided through the use of a workflow-driven service-oriented architecture, and show how it has enabled and facilitated the adoption of model-based testing techniques in different business units in different sectors within SIEMENS. We also discuss some issues that come from the adoption of service-oriented architectures, showing how they have been managed in our platform.

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21
Fig. 22
Fig. 23
Fig. 24
Fig. 25

Similar content being viewed by others

References

  • Birsan, D.: On plug-ins and extensible architectures. ACM Queue 3, 41–46 (2005)

    Article  Google Scholar 

  • Budnik, C.J., Subramanyan, R., Vieira, M.: Peer-to-peer comparison of model-based test tools. In: Hegering, H.-G., Lehmann, A., Ohlbach, H.J., Scheideler, C. (eds.) GI Jahrestagung (1), LNI, pp. 223–226 (2008), GI

    Google Scholar 

  • Crelier, O., Silva Filho, R.S., Hasling, W.M., Budnik, C.J.: Design principles for integration of model-driven quality assurance tools. In: Fifth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS’2011), pp. 100–109. IEEE, São Paulo (2011)

    Chapter  Google Scholar 

  • Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering, ICSE’99, pp. 285–294. ACM, New York (1999)

    Chapter  Google Scholar 

  • Ekman, T., Hedin, G.: The jastadd extensible Java compiler. SIGPLAN Not. 42, 1–18 (2007)

    Article  Google Scholar 

  • Haines, M.N., Rothenberger, M.A.: How a service-oriented architecture may change the software development process. Commun. ACM 53, 135–140 (2010)

    Article  Google Scholar 

  • Hartman, A., Nagin, K.: The AGEDIS tools for model based testing. In: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA’04, pp. 129–132. ACM, New York (2004)

    Chapter  Google Scholar 

  • Hasling, B., Goetz, H., Beetz, K.: Model Based Testing of System Requirements using UML Use Case Models, pp. 367–376. IEEE Press, New York (2008)

    Google Scholar 

  • Hein, C., Ritter, T., Wagner, M.: Model-driven tool integration with ModelBus. In: The 1st Workshop on Future Trends of Model-Driven Development, Milan, Italy (2006)

    Google Scholar 

  • Masticola, S.P., Subramanyan, R.: Experience with developing a high-productivity test framework for scalable embedded and mechatronic systems. In: ASME Conference Proceedings 2009, pp. 175–184 (2009)

    Google Scholar 

  • Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating functional tests. Commun. ACM 31, 676–686 (1988)

    Article  Google Scholar 

  • Parnas, D.L.: Software aging. In: Proceedings of the 16th International Conference on Software Engineering, ICSE’94, pp. 279–287. IEEE Comput. Soc., Los Alamitos (1994)

    Chapter  Google Scholar 

  • Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes 17, 40–52 (1992)

    Article  Google Scholar 

  • Piccinelli, G., Finkelstein, A., Williams, S.L.: Service-Oriented Workflow: The DySCo Framework, pp. 291–297. IEEE Press, New York (2003)

    Google Scholar 

  • Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Proceedings of the 17th International Conference on Conceptual Modeling, ER’98, pp. 449–464. Springer, London (1998)

    Google Scholar 

  • Silva Filho, R.S., Bronsard, F., Hasling, W.M.: Experiences documenting and preserving software constraints using aspects. In: Proceedings of the Tenth International Conference on Aspect-Oriented Software Development Companion, AOSD’11, pp. 7–18. ACM, New York (2011)

    Chapter  Google Scholar 

  • Silva Filho, R.S., Budnik, C.J.: An integrated model-driven approach for mechatronic systems testing. In: Fifth IEEE International Conference on Software Testing, Verification and Validation (2012, to appear)

  • Silva Filho, R.S., Budnik, C.J., Hasling, W.M., McKenna, M., Subramanyan, R.: Supporting concern-based regression testing and prioritization in a model-driven environment. In: 2010 IEEE 34th Annual Conference on Computer Software and Applications Conference Workshops (COMPSACW), pp. 323–328. IEEE, Seoul (2010)

    Chapter  Google Scholar 

  • Silva Filho, R.S., de Souza, C.R.B., Redmiles, D.F.: The design of a configurable, extensible and dynamic notification service. In: Proceedings of the 2nd International Workshop on Distributed Event-Based Systems, DEBS’03, pp. 1–8. ACM, New York (2003)

    Chapter  Google Scholar 

  • Silva Filho, R.S., Redmiles, D.F.: Managing feature interaction by documenting and enforcing dependencies in software product lines. In: 9th International Conference on Feature Interactions in Software and Communication Systems (ICFI’07), Grenoble, France, pp. 33–48 (2007)

    Google Scholar 

  • Teitelman, W., Masinter, L.: The interlisp programming environment. Computer 14, 25–33 (1981)

    Article  Google Scholar 

  • Thomas, I.: Modellbasiertes Testen. J. OBJEKTspektrum, SIGS DATACOM 3, 39–45 (2007)

    Google Scholar 

  • Thomas, I., Nejmeh, B.A.: Definitions of tool integration for environments. IEEE Softw. 9, 29–35 (1992)

    Article  Google Scholar 

  • Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2007)

    Google Scholar 

  • Vieira, M., Song, X., Matos, G., Storck, S., Tanikella, R., Hasling, B.: Applying model-based testing to healthcare products: preliminary experiences. In: Proceedings of the 30th International Conference on Software Engineering, ICSE’08, pp. 669–672. ACM, New York (2008)

    Google Scholar 

  • Yongyi, Z., Youjie, F., Hui, L.: Research on Service-Oriented Workflow Management System Architecture, pp. 369–372. IEEE Press, New York (2009)

    Google Scholar 

Download references

Acknowledgements

We would like to thank the many developers and researchers that contributed to this project.

Author information

Authors and Affiliations

  1. Corporate Technology, Software Architecture Design, Siemens Corporation, 755 College Road East, Princeton, NJ, 08540, USA

    Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik & Monica McKenna

Authors
  1. Roberto Silveira Silva Filho
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. William M. Hasling
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christof J. Budnik
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Monica McKenna
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roberto Silveira Silva Filho.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Silva Filho, R.S., Hasling, W.M., Budnik, C.J. et al. Experiences using Tedeso: an extensible and interoperable model-based testing platform. Autom Softw Eng 20, 299–337 (2013). https://doi.org/10.1007/s10515-012-0118-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10515-012-0118-3

Keywords

Search

Navigation