MaramaAIC: tool support for consistency management and validation of requirements

Kamalrudin, Massila, Hosking, John and Grundy, John 2017, MaramaAIC: tool support for consistency management and validation of requirements, Automated software engineering, vol. 24, no. 1, pp. 1-45, doi: 10.1007/s10515-016-0192-z.

Attached Files
Name Description MIMEType Size Downloads

Title MaramaAIC: tool support for consistency management and validation of requirements
Author(s) Kamalrudin, Massila
Hosking, John
Grundy, JohnORCID iD for Grundy, John
Journal name Automated software engineering
Volume number 24
Issue number 1
Start page 1
End page 45
Total pages 45
Publisher Springer
Place of publication New York, N.Y.
Publication date 2017-03
ISSN 0928-8910
Keyword(s) consistency management
requirements validation
essential use cases
essential user interface
Science & Technology
Computer Science, Software Engineering
Computer Science
Summary Requirements captured by requirements engineers (REs) are commonly inconsistent with their client’s intended requirements and are often error prone. There is limited tool support providing end-to-end support between the REs and their client for the validation and improvement of these requirements. We have developed an automated tool called MaramaAIC (Automated Inconsistency Checker) to address these problems. MaramaAIC provides automated requirements traceability and visual support to identify and highlight inconsistency, incorrectness and incompleteness in captured requirements. MaramaAIC provides an end-to-end rapid prototyping approach together with a patterns library that helps to capture requirements and check the consistency of requirements that have been expressed in textual natural language requirements and then extracted to semi-formal abstract interactions, essential use cases (EUCs) and user interface prototype models. It helps engineers to validate the correctness and completeness of the EUCs modelled requirements by comparing them to “best-practice” templates and generates an abstract prototype in the form of essential user interface prototype models and concrete User Interface views in the form of HTML. We describe its design and implementation together with results of evaluating our tool’s efficacy and performance, and user perception of the tool’s usability and its strengths and weaknesses via a substantial usability study. We also present a qualitative study on the effectiveness of the tool’s end-to-end rapid prototyping approach in improving dialogue between the RE and the client as well as improving the quality of the requirements.
Language eng
DOI 10.1007/s10515-016-0192-z
Field of Research 080309 Software Engineering
Socio Economic Objective 890202 Application Tools and System Utilities
HERDC Research category C1 Refereed article in a scholarly journal
ERA Research output type C Journal article
Copyright notice ©2016, Springer
Persistent URL

Connect to link resolver
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 2 times in TR Web of Science
Scopus Citation Count Cited 4 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 134 Abstract Views, 1 File Downloads  -  Detailed Statistics
Created: Tue, 23 Aug 2016, 10:43:44 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact