Quality improvement of requirements specification using model checking technique

Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems
ページ401-406
ページ数6
SAIC/-
出版ステータスPublished - 2012 9 10
イベント14th International Conference on Enterprise Information Systems, ICEIS 2012 - Wroclaw, Poland
継続期間: 2012 6 282012 7 1

出版物シリーズ

名前ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems
番号SAIC/-
2 ISAS

Conference

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

ASJC Scopus subject areas

  • Information Systems and Management

フィンガープリント 「Quality improvement of requirements specification using model checking technique」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル