Design Principles for Integration of Model-Driven Quality Assurance Tools

The engineering of software systems is supported by tools in different phases of the software development. The integration of these tools is crucial to assure the trace ability of existing models and artifacts, and to support the automation of critical software development phases such as software testing and validation. In particular, the integration of novel software quality assurance tools into existing environments must be performed in a way that minimizes its impact on existing software process, while the benefits of the tool are leveraged. This guarantees the adoption of new methodologies with minimal interference in existing production workflow. In this paper we discuss our experience in integrating a model-driven software testing tool developed within SIEMENS with a widely-adopted model-driven design tool. In particular, we establish a set of design principles from the lessons learned in this integration. We conclude showing a design that prioritizes data integration over control and presentation that achieves a high degree of tool integration while minimizing the integration development effort.

[1]  Anthony L Wasserman.  Tool Integration in Software Engineering Environments , 1989, SEE.

[2]  Michi Henning,et al.  The Rise and Fall of CORBA , 2006, ACM Queue.

[3]  George Reese,et al.  Database Programming with JDBC and Java , 1997 .

[4]  George Reese,et al.  Database Programming with JDBC and Java, Second Edition , 2000 .

[5]  Eric S. Raymond,et al.  The Art of Unix Programming , 2003 .

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

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

[8]  Rajesh Subramanyan,et al.  Automation of GUI testing using a model-driven approach , 2006, AST '06.

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

[10]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[11]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

[13]  Herbert A. Simon,et al.  The Sciences of the Artificial - 3rd Edition , 1981 .

[14]  Larry Apfelbaum,et al.  Model Based Testing , 1997 .

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

[16]  David B. Leblang,et al.  Computer-Aided Software Engineering in a distributed workstation environment , 1984 .