適用製品
情報システムの仕様を検証するための検証装置、方法、及びプログラム
目的
仕様書におけるシナリオについて、同一文脈でシナリオに出現すべき設計要素の網羅性を精度よく検証できる検証装置、方法、及びプログラムを提供する。
効果
仕様書のシナリオに含まれる各センテンスに含まれる各設計要素の種類とを識別し、種類ごとに、同一文脈でシナリオに出現すべき設計要素の集合からなる分類を格納した同一分類用語辞書を参照してセンテンスごとに含まれる設計要素の各々が属する分類を付与し、センテンスごとに含まれる各設計要素の種類、付与された分類に基づいて、仕様書について、同一文脈でシナリオに出現すべき設計要素の集合の網羅性を検証することにより、仕様書におけるシナリオについて、同一文脈で出現すべき設計要素の網羅性を精度よく検証できる、という効果が得られる。
技術概要
情報システムを用いた業務に関するシナリオを含む前記情報システムの仕様書の網羅性を検証する検証装置であって、
前記仕様書の前記シナリオに含まれる各センテンスと、各センテンスに含まれる各設計要素の、設計要素の種類とを識別するセンテンス識別部と、
前記設計要素の種類ごとに、前記設計要素の種類について同一文脈でシナリオに出現すべき設計要素の集合からなる分類を格納した同一分類用語辞書を参照して前記センテンスごとに、前記センテンスに含まれる前記設計要素の各々が属する分類を付与する分類部と、
前記センテンスごとの、前記センテンスに含まれる各設計要素、設計要素の種類、前記付与された分類に基づいて、前記仕様書について、同一文脈でシナリオに出現すべき設計要素の集合の網羅性を検証する検証部と、
を含む検証装置。