検証装置、方法、及びプログラム

開放特許情報番号

L2024000830

開放特許情報登録日

2024/4/17

最新更新日

2024/4/17

基本情報

出願番号	特願2018-088630
出願日	2018/5/2
出願人	学校法人　工学院大学
公開番号	特開2019-194789
公開日	2019/11/7
登録番号	特許第7074330号
特許権者	学校法人　工学院大学
発明の名称	検証装置、方法、及びプログラム
技術分野	情報・通信
機能	機械・部品の製造、制御・ソフトウェア
適用製品	情報システムの仕様を検証するための検証装置、方法、及びプログラム
目的	仕様書におけるシナリオについて、同一文脈でシナリオに出現すべき設計要素の網羅性を精度よく検証できる検証装置、方法、及びプログラムを提供する。
効果	仕様書のシナリオに含まれる各センテンスに含まれる各設計要素の種類とを識別し、種類ごとに、同一文脈でシナリオに出現すべき設計要素の集合からなる分類を格納した同一分類用語辞書を参照してセンテンスごとに含まれる設計要素の各々が属する分類を付与し、センテンスごとに含まれる各設計要素の種類、付与された分類に基づいて、仕様書について、同一文脈でシナリオに出現すべき設計要素の集合の網羅性を検証することにより、仕様書におけるシナリオについて、同一文脈で出現すべき設計要素の網羅性を精度よく検証できる、という効果が得られる。
技術概要	情報システムを用いた業務に関するシナリオを含む前記情報システムの仕様書の網羅性を検証する検証装置であって、 前記仕様書の前記シナリオに含まれる各センテンスと、各センテンスに含まれる各設計要素の、設計要素の種類とを識別するセンテンス識別部と、 前記設計要素の種類ごとに、前記設計要素の種類について同一文脈でシナリオに出現すべき設計要素の集合からなる分類を格納した同一分類用語辞書を参照して前記センテンスごとに、前記センテンスに含まれる前記設計要素の各々が属する分類を付与する分類部と、 前記センテンスごとの、前記センテンスに含まれる各設計要素、設計要素の種類、前記付与された分類に基づいて、前記仕様書について、同一文脈でシナリオに出現すべき設計要素の集合の網羅性を検証する検証部と、 を含む検証装置。
実施実績	【無】
許諾実績	【無】
特許権譲渡	【否】
特許権実施許諾	【可】

アピール情報

アピール内容	工学院大学研究シーズ集（全体） https://www.kogakuin.ac.jp/research/seeds/index.html 研究活動報告書 https://www.kogakuin.ac.jp/research/r_insutitute/report_list.html 研究室一覧（全体） https://www.kogakuin.ac.jp/faculty/lab/index.html

登録者情報

登録者名称	学校法人　工学院大学

その他の情報

関連特許	国内 【無】 国外 【無】