Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications

In many applications, especially from the business domain, the requirements specification mainly deals with use cases and class models. Unfortunately, these models are based on different modelling techniques and aim at different levels of abstraction, such that serious consistency and completeness problems are induced. To overcome these deficiencies, we refine activity graphs to meet the needs for a suitable modelling element for use case behaviour. The refinement in particular supports the proper coupling of use cases via activity graphs and the class model. The granularity and semantics of our approach allow for a seamless, traceable transition of use cases to the class model and for the verification of the class model against the use case model. The validation of the use case model and parts of the class model is supported as well. Experience from several applications has shown that the investment in specification, validation and verification not only pays off during system and acceptance testing but also significantly improves the quality of the final product.

[1]  Georg Kösters,et al.  Coupling Use Cases and Class Models , 1997 .

[2]  Kenji Takahashi,et al.  Inquiry-based requirements analysis , 1994, IEEE Software.

[3]  Neil A. M. Maiden,et al.  CREWS Validation Frames: Patterns for Validating Systems Requirements , 1998, REFSQ.

[4]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[5]  Björn Regnell,et al.  A hierarchical use case model with graphical representation , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

[6]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[7]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[8]  Rebecca Wirfs-Brock,et al.  Designing objects and their interactions: a brief look at responsibility-driven design , 1995 .

[9]  Barry W. Boehm,et al.  Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.

[10]  Georg Kösters,et al.  Animated Requirements Walkthroughs based on Business Scenarios , 1997 .

[11]  Georg Kösters,et al.  The GEOOOA-Tool and Its Interface to Open GIS-Software Development Environments , 1996 .

[12]  David Chenho Kung,et al.  Formal approach to scenario analysis , 1994, IEEE Software.

[13]  Georg Kösters,et al.  GeoOOA: object-oriented analysis for geographic information systems , 1996, Proceedings of the Second International Conference on Requirements Engineering.

[14]  Axel van Lamsweerde,et al.  Inferring Declarative Requirements Specifications from Operational Scenarios , 1998, IEEE Trans. Software Eng..

[15]  Klaus Pohl,et al.  Modelling Contextual Information about Scenarios , 1999 .

[16]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[17]  Martin Glinz,et al.  An Integrated Formal Model of Scenarios Based on Statecharts , 1995, ESEC.

[18]  Georg Kösters,et al.  Combined analysis of user interface and domain requirements , 1996, Proceedings of the Second International Conference on Requirements Engineering.

[19]  John M. Carroll,et al.  Scenario-based design: envisioning work and technology in system development: john wiley & sons , 1995 .

[20]  Bertrand Meyer,et al.  Object-oriented software construction (2nd ed.) , 1997 .

[21]  Boris Beizer,et al.  Software testing techniques (2. ed.) , 1990 .

[22]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[23]  T.M. Duffy,et al.  Scenario-Based Design: Envisioning Work and Technology in System Development [Book Review] , 1996, IEEE Transactions on Professional Communication.

[24]  Annie I. Antón,et al.  A Representational Framework for Scenarios of System Use , 1998, Requirements Engineering.

[25]  Matthias Jarke,et al.  Scenario Management: An Interdisciplinary Approach , 1998, Requirements Engineering.

[26]  Josef Voss,et al.  Assignments in a Virtual University - The WebAssign-System. , 1999 .

[27]  Bernhard Rumpe,et al.  Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..

[28]  Björn Regnell,et al.  Improving the use case driven approach to requirements engineering , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[29]  Per Runeson,et al.  Derivation of an integrated operational profile and use case model , 1998, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257).

[30]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[31]  Matthias Jarke,et al.  Scenarios in System Development: Current Practice , 1998, IEEE Softw..

[32]  Ivar Jacobson,et al.  The use-case construct in object-oriented software engineering , 1995 .