University of Twente Student Theses


Inter-level consistency checking between requirements and design artefacts

Looise, M.J. (2008) Inter-level consistency checking between requirements and design artefacts.

[img] PDF
Abstract:In software development we can identify a number of phases in which a software product is constructed. These phases guide the development from its first conception to realization and maintenance. During these phases, a number of artefacts are created. The artefacts clearly have relations to each other. These relations are bidirectional: a change in, for example, a requirement will impact the architectural design, but also the other way around, changing the architectural design can impact the fulfilment of certain requirements. It is very important to keep the artefacts consistent. When due to changing circumstances the system needs to be adapted, the requirements of the system will change. Also visa versa, when the architecture is changed, some of the requirements may not be fulfilled any more. In practice, keeping these artefacts in sync with each other is a manual process of reviewing. This is a labour intensive and error prone activity. As a result, the different artefacts can become inconsistent. In order to improve this situation, support for maintaining consistency between requirements and lower level design artefacts in a software development project should be available. This case study checks the conformance of an existing requirement document to the requirements metamodel, and an existing high level design to the architectural metamodel. Using the concepts offered in the metamodels, we can establish trace relations between them.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page