要求仕様と再利用可能な実現構造の振る舞いの差分検出に基づく要求分析

• Link

Abstract

ソフトウェア開発の要求分析工程において，要求の欠落を補填する支援法が望まれている．本稿では，パッケージソフトウェアをはじめとする，再利用可能な実現構造を知識資源として用いて，ユースケース記述における事前条件や動作系列の欠落を補填する手法を提案する．提案手法では，ユースケース記述と実現構造をラベル付き状態遷移システムに基づいてモデル化する．両モデルを合成し，実現構造の機能が実行される条件を満たしていないユースケース記述の箇所を特定することにより，条件を満たすようにユースケース記述の補填を行う．新規にSNSを開発する事例に対し，SNSパッケージOpenPNEから構築した知識資源を用いて本手法を適用した結果，1つのユースケース記述から，欠落が妥当に補填された8通りのユースケース記述を得ることができた．

Abstract (English)

In a requirements analysis process, supporting requirements elicitation is important. In this paper, we propose a technique to derive preconditions and events to be added to use case descriptions by using reusable implementation structures as knowledge resources. The descriptions and the implementation structures are modeled by labeled transition systems (LTS). The two models are composed, and then, the composed model is examined whether preconditions of the functions in the implementation structure do not hold. If such situation exists, the ways for completing the descriptions are identified based on the differences between two models. As a case study, we have applied the proposed technique to a use case of an SNS site with OpenPNE as knowledge resources. As a result, we have obtained eight appropriate use case descriptions from one use case description including missing requirements.

BibTeX

@article{akemine-sigse200903,
    author = {朱峰 錦司 and 善明 晃由 and 林 晋平 and 佐伯 元司},
    title = {要求仕様と再利用可能な実現構造の振る舞いの差分検出に基づく要求分析},
    journal = {情報処理学会研究報告},
    volume = 2009,
    number = 31,
    pages = {33--40},
    year = 2009,
}