Requirements for information systems model-based testing

In order to develop systems with a high level of quality and low costs it is necessary to have adequate testing tools and methods. We believe that the definition of a requirements catalog is one of the steps in such direction. This work presents a requirements catalog for information systems model-based testing that can be used as a basis for improving methods as well as a guide for the development of new methods and tools. The catalog was prepared based on the literature of the area and on the experience of several information systems developers.

[1]  Philippe Krutchen,et al.  Architectural blueprints--the '4+1' view model of software architecture , 1995 .

[2]  A. Jefferson Offutt,et al.  Generating Tests from UML Specifications , 1999, UML.

[3]  Pedro de Alcântara dos Santos Neto,et al.  A Method for Information Systems Testing Automation , 2005, CAiSE.

[4]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[5]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[6]  Jane Wood,et al.  Joint application development (2. ed.) , 1995 .

[7]  B GoodenoughJohn,et al.  Toward a theory of test data selection , 1975 .

[8]  Denise Silver,et al.  Joint Application Development , 1995 .

[9]  A. Jefferson Offutt,et al.  Using UML Collaboration Diagrams for Static Checking and Test Generation , 2000, UML.

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

[11]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.

[12]  John B. Goodenough,et al.  Correction to "toward a theory of test data selection" , 1975, IEEE Transactions on Software Engineering.

[13]  Robert B. France,et al.  Test adequacy criteria for UML design models , 2003, Softw. Test. Verification Reliab..

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

[15]  Matthias Weber,et al.  Requirements for requirements management tools , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..