2018 年 35 巻 3 号 p. 3_109-3_127
要求仕様の品質特性である「一貫性」に着目し,ベテラン技術者が経験的に得た検証知識を形式知化し,それら知識に基づき,要求仕様の一貫性検証支援ツールを実現した.設計要素である,アクター,データ,画面,振る舞いに対して,仕様書内で設計要素の用語名が一貫しない状態を,省略パターン,修飾パターン,表記ゆれに分類し,それらを検証するための知識を用語不一致検証ルールとしてツールに組み込んだ.実システムの要求仕様書を用いて本ツールの適用評価を行い,本ツールは技術者の効率的な仕様検証を支援する点において一定の効果があることを明らかにした.