矛盾する要求の解釈支援手法  [in Japanese] A Supporting Method of Interpreting Inconsistent Software Requirements  [in Japanese]

要求仕様中で矛盾する複数の文を検出し、もっともらしさをDempster & Shaferの理論に基づいて定量化して解釈する手法について述べる。最初に本稿で扱う矛盾する要求とはどういうものかを要求フレームモデルを用いて定義し、次にその検出手法を示す。さらに矛盾する要求のもっともらしさを定量化する手法と定量化された結果を解釈する手法を説明する。最後に具体例を用いた矛盾する要求の解釈について述べる。

We propose a supporting method of detecting and interpreting the inconsistency of a software requirements specification (SRS). First, we define the inconsistency of an SRS. We use Requirements Frame Model to detect the inconsistency of the SRS. To interpret the inconsistency of SRSs, we apply the Dempster & Shafer's theory and calculate the certainty of the inconsistent SRS. Our method will be illustrated with a small example.