Technical Meeting

構文と文章構造に基づく要求仕様書の問題点発見支援

Supporting the Detection of Problems in Requirements Specification Documents Based on Syntactical Structure

有賀 顕, 林 晋平, 佐伯 元司

Ken Aruga, Shinpei Hayash, Motoshi Saeki

情報処理学会研究報告, vol. 2013-SE-179, no. 4, pp. 1–8, 化学会館, 東京, March 2013.

Abstract

要求仕様書は主に自然言語で記述されているため文意のあいまい性などの問題がある.要求分析者がこれらの問題点を認識し発見することが重要である.本論文ではIEEE 830で定義された品質特性をもとに,要求仕様書の文章構造と要求文の構文構造を用いて要求仕様書の問題点を検出する手法を提案する.提案手法では,要求仕様書全体と要求文の解析,さらに要求文間の関係解析を行い要求仕様書中の問題点を検出する.提案手法を自動化した問題点のチェッカーでは非あいまい性など6つの品質特性に関する問題点を提案手法により検出しマーキングを行うことで,使用者に対して問題点の発見を支援する.例題への適用および被験者実験によりチェッカーの有用性を評価した.評価の結果,チェッカーは低くない検出精度を持ち,また特に非あいまい性,検証可能性,追跡可能性について支援効果を持つことが示唆された.

Abstract (English)

Some requirements specification documents have several problems such as the ambiguity of sentences because they are mainly written in natural language.It is important for requirements analysts to find and analyze these problems.In this paper, we propose a technique for detecting problems in a requirements specification documents based on the quality characteristics defined in IEEE 830, using the syntactical structure of the specification.Our technique analyzes the structure and relationships of the sentences and the whole of the given specification.A specification checker that automates our technique can support to find the problems over the six quality characteristics.The evaluation results show that the checker has acceptable detection accuracy and the high supporting effects for especially checking unambiguity, verifiability, and traceability.

Related papers

Continued in

BibTeX

@article{aruga-sigse201303,
    author = {有賀 顕 and 林 晋平 and 佐伯 元司},
    title = {構文と文章構造に基づく要求仕様書の問題点発見支援},
    journal = {情報処理学会研究報告},
    volume = {2013-SE-179},
    number = 4,
    pages = {1--8},
    year = 2013,
}
Type
Technical Meeting
Location
化学会館, 東京
Presented
March 11, 2013
Volume / Pages
vol. 2013-SE-179, no. 4, pp. 1–8