Quality Improvement of Requirements Specification using Model Checking Technique

Yoshitaka Aoki, Shinpei Ogata, Saeko Matsuura, Hirotaka Okuda

2012

Abstract

A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.

Paper Citation

in Harvard Style

Aoki Y., Ogata S., Okuda H. and Matsuura S. (2012). Quality Improvement of Requirements Specification using Model Checking Technique . In Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 2: MDDIS, (ICEIS 2012) ISBN 978-989-8565-11-2, pages 401-406. DOI: 10.5220/0004156104010406

in Bibtex Style

@conference{mddis12,
author={Yoshitaka Aoki and Shinpei Ogata and Hirotaka Okuda and Saeko Matsuura},
title={Quality Improvement of Requirements Specification using Model Checking Technique},
booktitle={Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 2: MDDIS, (ICEIS 2012)},
year={2012},
pages={401-406},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004156104010406},
isbn={978-989-8565-11-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 2: MDDIS, (ICEIS 2012)
TI - Quality Improvement of Requirements Specification using Model Checking Technique
SN - 978-989-8565-11-2
AU - Aoki Y.
AU - Ogata S.
AU - Okuda H.
AU - Matsuura S.
PY - 2012
SP - 401
EP - 406
DO - 10.5220/0004156104010406