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

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.

[1]  Marc J. Balcer,et al.  The category-partition method for specifying and generating fuctional tests , 1988, CACM.

[2]  David Lorge Parnas,et al.  Software aging , 1994, Proceedings of 16th International Conference on Software Engineering.

[3]  Klaus Beetz,et al.  Model Based Testing of System Requirements using UML Use Case Models , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[4]  Siddhartha R. Dalal,et al.  Model-based testing in practice , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[5]  Lois M. L. Delcambre,et al.  Proceedings of the 30th international conference on Conceptual modeling , 1998 .

[6]  Anthony Finkelstein,et al.  Service-oriented workflow: the DySCo framework , 2003, 2003 Proceedings 29th Euromicro Conference.

[7]  Marc N. Haines,et al.  How a service-oriented architecture may change the software development process , 2010, Commun. ACM.

[8]  Larry Masinter,et al.  The Interlisp Programming Environment , 1981, Computer.

[9]  David F. Redmiles,et al.  The design of a configurable, extensible and dynamic notification service , 2003, DEBS '03.

[10]  David F. Redmiles,et al.  Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines , 2007, ICFI.

[11]  Hui Liu,et al.  Research on Service-Oriented Workflow Management System Architecture , 2009, 2009 Ninth International Conference on Hybrid Intelligent Systems.

[12]  William M. Hasling,et al.  Experiences documenting and preserving software constraints using aspects , 2011, AOSD '11.

[13]  Rajesh Subramanyan,et al.  Peer-to-Peer Comparison of Model-Based Test Tools , 2008, GI Jahrestagung.

[14]  Gregg Rothermel,et al.  Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis , 2004 .

[15]  Ian Thomas,et al.  Definitions of Tool Integration for Environments , 1992, IEEE Softw..

[16]  Rajesh Subramanyan,et al.  Supporting Concern-Based Regression Testing and Prioritization in a Model-Driven Environment , 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops.

[17]  Alexander Pretschner.  Modellbasiertes Testen , 2004, Modellierung.

[18]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[19]  Matthew B. Dwyer,et al.  Proceedings of the 30th international conference on Software engineering , 2008, ICSE 2008.

[20]  Martin Gogolla,et al.  On Formalizing the UML Object Constraint Language OCL , 1998, ER.

[21]  Alan Hartman,et al.  The AGEDIS tools for model based testing , 2004, ISSTA '04.

[22]  Christof J. Budnik,et al.  An Integrated Model-Driven Approach for Mechatronic Systems Testing , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[23]  Rajesh Subramanyan,et al.  Experience With Developing a High-Productivity Test Framework for Scalable Embedded and Mechatronic Systems , 2009 .

[24]  Torbjörn Ekman,et al.  The jastadd extensible java compiler , 2007, OOPSLA.

[25]  Dorian Birsan,et al.  On Plug-ins and Extensible Architectures , 2005, ACM Queue.

[26]  Leon J. Osterweil,et al.  Proceedings of the 16th international conference on Software engineering , 1994, ICSE 1994.

[27]  Christof J. Budnik,et al.  Design Principles for Integration of Model-Driven Quality Assurance Tools , 2011, 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse.

[28]  Marlon Vieira,et al.  Applying model-based testing to healthcare products , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[29]  Liu Hui,et al.  Research on Service-Oriented Workflow Management System Architecture , 2009 .