USE CASE BASED REQUIREMENTS VERIFICATION - Verifying the Consistency between Use Cases and Assertions

Stéphane S. Somé, Divya K. Nair

2007

Abstract

Use cases and operations are complementary requirements artefacts. A use case refers to operations and imposes their sequencing. Use cases templates usually include assertions such as preconditions, postconditions and invariants. Similarly operations are specified using contracts consisting in preconditions and postconditions. In this paper, we present an approach aiming at checking the consistency of each description against the other. We attempt to answer questions such as the following. Is the use case postcondition guaranteed by the operations ? Are all operations possible according to their preconditions ? We provide answers to these questions by deriving state predicates corresponding to each step in a use case, and by showing the satisfaction of assertions according to these predicates.

References

  1. Boehm, B. and Basili, V. R. (2001). Software Defect Reduction Top 10 List. Computer, 34(1):135-137.
  2. Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., and Jeremaes, P. (1994). ObjectOriented Development the Fusion Method. Prentice Hall.
  3. Duffy, D. A. (1991). Principles of Automated Theorem Proving. John Wiley & Sons.
  4. Giese, M. and Heldal, R. (2004). From Informal to Formal Specifications in UML. In UML 2004 - The Unified Modelling Language: Modelling Languages and Applications, pages 197-211.
  5. Hoare, C. A. R. (1969). An Axiomatic Basis for Computer Programming. Communication of the ACM, 12(10).
  6. Jacobson, I., Christerson, M., Jonsson, P., and O vergaard, G. (1993). Object-Oriented Software Engineering, A Use Case Driven Approach. Addison-Wesley, ACM Press, 2 edition.
  7. Johnson, J. (2006). My Life is Failure. The Standish Group International, Inc.
  8. Larman, C. (2004). Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice Hall PTR.
  9. Meyer, B. (2000). Object-Oriented Software Construction. Prentice Hall, 2 edition.
  10. OMG (2003). UML 2.0 Superstructure. Object Management Group.
  11. Somé, S. (2006). Supporting Use Cases based Requirements Engineering. Information and Software Technology, 48(1):43-58.
  12. Toyama, T. and Ohnishi, A. (2005). Rule-based Verification of Scenarios with Pre-conditions and Post-conditions. In 13th IEEE International Conference on Requirements Engineering (RE 2005), pages 319-328.
Download


Paper Citation


in Harvard Style

S. Somé S. and K. Nair D. (2007). USE CASE BASED REQUIREMENTS VERIFICATION - Verifying the Consistency between Use Cases and Assertions . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-90-0, pages 190-195. DOI: 10.5220/0002371301900195


in Bibtex Style

@conference{iceis07,
author={Stéphane S. Somé and Divya K. Nair},
title={USE CASE BASED REQUIREMENTS VERIFICATION - Verifying the Consistency between Use Cases and Assertions},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2007},
pages={190-195},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002371301900195},
isbn={978-972-8865-90-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - USE CASE BASED REQUIREMENTS VERIFICATION - Verifying the Consistency between Use Cases and Assertions
SN - 978-972-8865-90-0
AU - S. Somé S.
AU - K. Nair D.
PY - 2007
SP - 190
EP - 195
DO - 10.5220/0002371301900195