Quality improvement of requirements specification using model checking technique

Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems
Pages401-406
Number of pages6
EditionSAIC/-
Publication statusPublished - 2012 Sept 10
Event14th International Conference on Enterprise Information Systems, ICEIS 2012 - Wroclaw, Poland
Duration: 2012 Jun 282012 Jul 1

Publication series

NameICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems
NumberSAIC/-
Volume2 ISAS

Conference

Conference14th International Conference on Enterprise Information Systems, ICEIS 2012
Country/TerritoryPoland
CityWroclaw
Period12/6/2812/7/1

Keywords

  • Model checking
  • Model driven development
  • Quality improvement
  • Requirements analysis

ASJC Scopus subject areas

  • Information Systems and Management

Fingerprint

Dive into the research topics of 'Quality improvement of requirements specification using model checking technique'. Together they form a unique fingerprint.

Cite this