ホーム > 特許ランキング > 株式会社ｏｐｔｉｍａ
知財求人 - 知財ポータルサイト「IP Force」
特開2025-145713プログラムの仕様書検証方法、そのシステム及びそのプログラム
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2025145713
(43)【公開日】2025-10-03
(54)【発明の名称】プログラムの仕様書検証方法、そのシステム及びそのプログラム
(51)【国際特許分類】
G06F 11/36 20060101AFI20250926BHJP
G06F 8/20 20180101ALI20250926BHJP
【ＦＩ】
G06F11/36 108
G06F8/20
【審査請求】有
【請求項の数】12
【出願形態】ＯＬ
(21)【出願番号】P 2024046035
(22)【出願日】2024-03-22
(11)【特許番号】
(45)【特許公報発行日】2024-07-16
(71)【出願人】
【識別番号】524110609
【氏名又は名称】株式会社ｏｐｔｉｍａ
(74)【代理人】
【識別番号】100108006
【弁理士】
【氏名又は名称】松下 昌弘
(72)【発明者】
【氏名】宮川 健
【テーマコード（参考）】
5B042
5B376
【Ｆターム（参考）】
5B042HH10
5B042HH14
5B042HH19
5B042HH49
5B376BB11
5B376BC02
5B376BC61
(57)【要約】
【課題】 プログラムの検証を少ない負荷で高精度に行え、且つ不要な警告を抑制できる仕様書検証方法を提供する。
【解決手段】 仕様書データを構文解析し、前記仕様書データのうち変換工程で扱えないデータであり、且つ設計チェック工程の検証処理で使用するヒントデータと、前記変換工程で扱える半構造化テキスト群データとを生成する構文解析工程と、前記半構造化テキスト群データを抽象構文木群データに変換する前記変換工程と、前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う設計チェック工程と をコンピュータが実行する。
【選択図】図１
【解決手段】 仕様書データを構文解析し、前記仕様書データのうち変換工程で扱えないデータであり、且つ設計チェック工程の検証処理で使用するヒントデータと、前記変換工程で扱える半構造化テキスト群データとを生成する構文解析工程と、前記半構造化テキスト群データを抽象構文木群データに変換する前記変換工程と、前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う設計チェック工程と をコンピュータが実行する。
【選択図】図１
【特許請求の範囲】
【請求項1】
仕様書データを構文解析し、前記仕様書データのうち変換工程で扱えないデータであり、且つ設計チェック工程の検証処理で使用するヒントデータと、前記変換工程で扱える半構造化テキスト群データとを生成する構文解析工程と、
前記半構造化テキスト群データを抽象構文木群データに変換する前記変換工程と、
前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う前記設計チェック工程と、
をコンピュータが実行する、
仕様書検証方法。
前記半構造化テキスト群データを抽象構文木群データに変換する前記変換工程と、
前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う前記設計チェック工程と、
をコンピュータが実行する、
仕様書検証方法。
【請求項2】
前記設計チェック工程は、
前記抽象構文木群データ内に所定のルール違反の記述があるか否かを判定し、当該判定の結果を含む検証レポートを生成する
請求項１に記載の仕様書検証方法。
前記抽象構文木群データ内に所定のルール違反の記述があるか否かを判定し、当該判定の結果を含む検証レポートを生成する
請求項１に記載の仕様書検証方法。
【請求項3】
前記ルール違反は、
テーブル名又はカラム名のスペルミス又は命名規則違反、テーブル構造の正規化違反、カラムの型指定違反、主キーの定義違反、アンチパターン違反のいずれかである
請求項２に記載の仕様書検証方法。
テーブル名又はカラム名のスペルミス又は命名規則違反、テーブル構造の正規化違反、カラムの型指定違反、主キーの定義違反、アンチパターン違反のいずれかである
請求項２に記載の仕様書検証方法。
【請求項4】
前記設計チェック工程は、
前記ルール違反の記述があっても、前記ヒントデータに当該ルール違反が意図的なものであることを示すメモ情報がある場合には、前記ルール違反がない、あるいはルール違反の記述は意図的である旨を示す前記検証レポートを生成する
請求項３に記載の仕様書検証方法。
前記ルール違反の記述があっても、前記ヒントデータに当該ルール違反が意図的なものであることを示すメモ情報がある場合には、前記ルール違反がない、あるいはルール違反の記述は意図的である旨を示す前記検証レポートを生成する
請求項３に記載の仕様書検証方法。
【請求項5】
前記設計チェック工程は、
前記抽象構文木群データ内のテーブル群全体としての関係や整合性を評価する
請求項４に記載の仕様書検証方法。
前記抽象構文木群データ内のテーブル群全体としての関係や整合性を評価する
請求項４に記載の仕様書検証方法。
【請求項6】
前記設計チェック工程は、
前記抽象構文木群データのテーブルの関係構造をメモリ上に展開し、
特定のテーブル又はカラムに関係する前記ヒントデータを当該テーブル又はカラムに付与し、
テーブル名又はカラム名を評価して命名規則を推定し、前記命名規則に反するテーブル名又はカラム名に対して、命名規則違反を示す情報を付与して
前記検証レポートを生成する
請求項５に記載の仕様書検証方法。
前記抽象構文木群データのテーブルの関係構造をメモリ上に展開し、
特定のテーブル又はカラムに関係する前記ヒントデータを当該テーブル又はカラムに付与し、
テーブル名又はカラム名を評価して命名規則を推定し、前記命名規則に反するテーブル名又はカラム名に対して、命名規則違反を示す情報を付与して
前記検証レポートを生成する
請求項５に記載の仕様書検証方法。
【請求項7】
前記構文解析工程は、学習モデルにより、前記ヒントデータと、前記半構造化テキスト群データとを生成する
請求項５に記載の仕様書検証方法。
請求項５に記載の仕様書検証方法。
【請求項8】
前記設計チェック工程は、前記抽象構文木群データが検証項目の第１の条件を満たしているか否かを判断し、第１の条件を満たしていないと判断した前記検証項目について、当該検証項目に関係する前記ヒントデータを基に第２の条件を満たしているか否か判断し、第２の条件を満たしていると場合には、当該検証項目の条件は満たしていると判断する
請求項６記載の仕様書検証方法。
請求項６記載の仕様書検証方法。
【請求項9】
前記ヒントデータは、前記仕様書データの備考欄、又は前記仕様書データ以外の部分に記載されている情報である
請求項７に記載の仕様書検証方法。
請求項７に記載の仕様書検証方法。
【請求項10】
前記仕様書データは、人間が読めるアプリケーションプログラムのデータである
請求項８に記載の仕様書検証方法。
請求項８に記載の仕様書検証方法。
【請求項11】
仕様書データを構文解析し、前記仕様書データのうち変換工程で扱えないデータであり、且つ設計チェック工程の検証処理で使用するヒントデータと、前記変換工程で扱える半構造化テキスト群データとを生成する構文解析工程と、
前記半構造化テキスト群データを抽象構文木群データに変換する前記変換工程と、
前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う設計チェック工程と、
をコンピュータに実行させる、
仕様書検証プログラム。
前記半構造化テキスト群データを抽象構文木群データに変換する前記変換工程と、
前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う設計チェック工程と、
をコンピュータに実行させる、
仕様書検証プログラム。
【請求項12】
仕様書データを構文解析し、前記仕様書データのうち変換手段で扱えないデータであり、且つ設計チェック工程の検証処理で使用するヒントデータと、前記変換手段で扱える半構造化テキスト群データとを生成する構文解析手段と、
前記半構造化テキスト群データを抽象構文木群データに変換する前記変換手段と、
前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う設計チェック手段と、
を有する仕様書検証システム。
前記半構造化テキスト群データを抽象構文木群データに変換する前記変換手段と、
前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う設計チェック手段と、
を有する仕様書検証システム。
【発明の詳細な説明】
【技術分野】
【0001】
本発明は、プログラムの仕様書検証方法、そのシステム及びそのプログラムに関するものである。
【背景技術】
【0002】
プログラムの仕様書は非常に複雑であり、多くの場合、さまざまな規則、条件、および要件が含まれている。そのため、これらの多様な要素を人的にミスなく適切に検証することは困難であり、膨大な時間を要する。またことは人的には困難である。
また、仕様書データには、意図的に本来使うべきコードにしていない場合があり、そのコードに警告が出てしまうことがある。
また、仕様書データには、意図的に本来使うべきコードにしていない場合があり、そのコードに警告が出てしまうことがある。
【先行技術文献】
【特許文献】
【0003】
【特許文献1】特開２０２３－１１５９２６号公報
【発明の概要】
【発明が解決しようとする課題】
【0004】
プログラムの仕様書の検証は、プログラムの品質や信頼性を確保する上で重要であり、効果的な検証方法の開発が求められている。
また、不要な警告発生を抑制することが望まれている。
また、不要な警告発生を抑制することが望まれている。
【0005】
本発明はかかる事情に鑑みてなされたものであり、その目的は、プログラムの検証を少ない負荷で高精度に行え、且つ不要な警告を抑制できるプログラムの仕様書検証方法、そのシステム及びそのプログラムを提供することにある。
【課題を解決するための手段】
【0006】
本発明は、仕様書データを構文解析し、前記仕様書データのうち変換工程で扱えないデータであり、且つ設計チェック工程の検証処理で使用するヒントデータと、前記変換工程で扱える半構造化テキスト群データとを生成する構文解析工程と、前記半構造化テキスト群データを抽象構文木群データに変換する前記変換工程と、前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う設計チェック工程と、をコンピュータが実行する、仕様書検証方法である。
【0007】
好適には、前記設計チェック工程は、前記抽象構文木群データ内に所定のルール違反の記述があるか否かを判定し、当該判定の結果を含む検証レポートを生成する。
【0008】
好適には、前記ルール違反は、テーブル名又はカラム名のスペルミス又は命名規則違反、テーブル構造の正規化違反、カラムの型指定違反、主キーの定義違反、アンチパターン違反のいずれかである。
【0009】
好適には、前記設計チェック工程は、前記ルール違反の記述があっても、前記ヒントデータに当該ルール違反が意図的なものであることを示すメモ情報がある場合には、前記ルール違反がない、あるいはルール違反の記述は意図的である旨を示す前記検証レポートを生成する。
【0010】
好適には、前記設計チェック工程は、前記抽象構文木群データ内のテーブル群全体としての関係や整合性を評価する。
【0011】
また、好適には、前記設計チェック工程は、前記抽象構文木群データのテーブルの関係構造をメモリ上に展開し、特定のテーブル又はカラムに関係する前記ヒントデータを当該テーブル又はカラムに付与し、テーブル名又はカラム名を評価して命名規則を推定し、前記命名規則に反するテーブル名又はカラム名に対して、命名規則違反を示す情報を付与して前記検証レポートを生成する。
【0012】
好適には、前記構文解析工程は、学習モデルにより、前記ヒントデータと、前記半構造化テキスト群データとを生成する。
【0013】
好適には、前記設計チェック工程は、前記抽象構文木群データが検証項目の第１の条件を満たしているか否かを判断し、第１の条件を満たしていないと判断した前記検証項目について、当該検証項目に関係する前記ヒントデータを基に第２の条件を満たしているか否か判断し、第２の条件を満たしていると場合には、当該検証項目の条件は満たしていると判断する。
【0014】
好適には、前記ヒントデータは、前記仕様書データの備考欄、又は前記仕様書データ以外の部分に記載されている情報である。
【0015】
好適には、前記仕様書データは、人間が読めるアプリケーションプログラムのデータである。
【0016】
本発明は、仕様書データを構文解析し、前記仕様書データのうち変換工程で扱えないデータであり、且つ設計チェック工程の検証処理で使用するヒントデータと、前記変換工程で扱える半構造化テキスト群データとを生成する構文解析工程と、前記半構造化テキスト群データを抽象構文木群データに変換する前記変換工程と、前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う設計チェック工程と、をコンピュータに実行させる、仕様書検証プログラムである。
【0017】
本発明は、仕様書データを構文解析し、前記仕様書データのうち変換手段で扱えないデータであり、且つ設計チェック工程の検証処理で使用するヒントデータと、前記変換手段で扱える半構造化テキスト群データとを生成する構文解析手段と、前記半構造化テキスト群データを抽象構文木群データに変換する前記変換手段と、前記抽象構文木群データと、前記ヒントデータとを基に、前記仕様書データの前記検証処理を行う設計チェック手段と、を有する仕様書検証システムである。
【発明の効果】
【0018】
本発明によれば、プログラムの検証を少ない負荷で高精度に行え、且つ不要な警告を抑制できるプログラムの仕様書検証方法、そのシステム及びそのプログラムを提供することができる。
【図面の簡単な説明】
【0019】
【発明を実施するための形態】
【0020】
以下、本発明の実施形態に係る仕様書検証方法、そのシステム及びプログラムについて説明する。
図１は、本発明の実施形態に係る仕様書検証システムを説明するための図である。
図１に示すように、仕様書検証システム１１は、例えば、構文解析部１５，トランスパイラ２１，設計チェック部２５を有する。
図１は、本発明の実施形態に係る仕様書検証システムを説明するための図である。
図１に示すように、仕様書検証システム１１は、例えば、構文解析部１５，トランスパイラ２１，設計チェック部２５を有する。
【0021】
構文解析部１５は、仕様書データ１３を入力し、当該仕様書データ１３を構文解析処理して、ヒントデータ１９と、半構造化テキスト群データ１７とを生成する。
仕様書データ１３は、ワードやエクセル等のアプリケーションデータでもよい。
仕様書データ１３は、さまざまな型式のhuman readableな設計書群（よって、さまざまな型式のドキュメントから設計に関係する情報を読み取り、その中から必要な情報を抽出することに主眼がある）。読取能力が最大の要点である。
仕様書データ１３は、ワードやエクセル等のアプリケーションデータでもよい。
仕様書データ１３は、さまざまな型式のhuman readableな設計書群（よって、さまざまな型式のドキュメントから設計に関係する情報を読み取り、その中から必要な情報を抽出することに主眼がある）。読取能力が最大の要点である。
【0022】
構文解析処理では、例えば、第一段階として字句（トークン）を生成する字句解析を行い、入力文字列は正規表現などによる定義に従い、意味のあるシンボルに分割される。次に、トークンの並びが構文規則に照らして正しい表現となっているかを判定する狭義の構文解析を行う。このため、構文規則を参照して再帰的に規則を適用していく。前述したように、構文規則で表現するのは現実的ではない言語上のルール、たとえば関数定義における仮引数名の重複などがあるので、そういったものへの対処を行う。
【0023】
構文解析部１５は、例えば、学習モデルにより、ヒントデータ１９と半構造化テキスト群データ１７とを生成する。
【0024】
構文解析部１５は、ルール違反が意図的なものであることを示すメモ情報がある場合には、当該メモ情報に関する情報をヒントデータ１９に含める。当該メモは、仕様書データ１３内にあってもよいし、仕様書データ１３と関連付けられた部分にあってもよい。
【0025】
ヒントデータ１９は、仕様書データのうち変換工程で扱えないデータであり、且つ設計チェック部２５の検証処理で使用するデータである。
ヒントデータ１９は、例えば、構文解析部１５においてカラムの型の記載がない場合にカラム名からその型を推論し、ドメイン（定義域情報）の型がない場合にはドメイン名からその型を推論したことを示す情報である。
ヒントデータ１９は、例えば、構文解析部１５においてカラムの型の記載がない場合にカラム名からその型を推論し、ドメイン（定義域情報）の型がない場合にはドメイン名からその型を推論したことを示す情報である。
【0026】
定義域は、データ管理およびデータモデリング、データベース設計の文脈では、あるデータ要素が値としてとる可能性のある一意な値すべてから構成される、名前付きの有限集合である。 データ型と同じ意味である。単に型と略されることもある。
【0027】
例えば、構文解析部１５は、「birthday」のようなカラム名がある場合、型は日付型と推定できるが、さらにドメイン情報として過去日付であることを推定する。また、「firstname」のようなカラム名がある場合、型は可変長文字列であると推定できるが、さらにドメイン情報として日本人の姓としての文字列であることを推定する。
構文解析部１５は、例えば、表形式その他のテーブル定義をＳＱＬ文に翻訳し、半構造テキスト群データ１７に出力する。その際、ＳＱＬ文に含めることのできないメタ情報や、任意の設計書に記述された設計方針や例外事項をヒントデータ１９に出力する。基本的には逐次処理であり、1パスで処理される。
構文解析部１５は、例えば、表形式その他のテーブル定義をＳＱＬ文に翻訳し、半構造テキスト群データ１７に出力する。その際、ＳＱＬ文に含めることのできないメタ情報や、任意の設計書に記述された設計方針や例外事項をヒントデータ１９に出力する。基本的には逐次処理であり、1パスで処理される。
【0028】
半構造化テキスト群データ１７は、トランスパイラ２１で扱えるデータである。
半構造化テキスト群データ１７は、テーブル定義およびインデックス定義を示している。
半構造化テキスト群データ１７は、テーブル定義およびインデックス定義を示している。
【0029】
構文解析部１５は、学習モデルにより、不特定の書式の設計書から、テーブル／カラム／インデックスの定義を読み取り、抽出して半構造化テキスト群データ１７に出力し、また、半構造化テキスト群データ１７には出力できないメタ情報（設計書上に明記はされていない事項を「推定して」半構造化テキスト群データ１７に出力に出力した場合の、その事実等）や例外情報（特定の単語のスペルミスをあえて許容する等）をヒントデータ１９に出力する。
（１）テーブル名、カラム名のスペルミス検出については、スペルミスであることは既知の問題であるが、あえてこのスペルミスは修正しないという決断をしている場合がある。その決断が仕様書データ１３のどこか（例えば、備考欄、仕様書データ１３以外の別紙等）にメモ情報として記載があった場合、当該テーブル名、カラム名についてスペルミスを指摘しない旨のヒントデータ１９を出力する。
（１）テーブル名、カラム名のスペルミス検出については、スペルミスであることは既知の問題であるが、あえてこのスペルミスは修正しないという決断をしている場合がある。その決断が仕様書データ１３のどこか（例えば、備考欄、仕様書データ１３以外の別紙等）にメモ情報として記載があった場合、当該テーブル名、カラム名についてスペルミスを指摘しない旨のヒントデータ１９を出力する。
【0030】
（２）テーブル名、カラム名の命名規則については、意図的に命名規則を違反するケースがあり、この意図について設計書のどこかにメモ情報として記載があった場合、当該テーブル名、カラム名について命名規則違反を指摘しない旨のヒントデータ１９を出力する。
（３）テーブル構造の正規化については、意図的に正規化を崩すケースがあり、この意図について設計書のどこかにメモ情報として記載があった場合、当該テーブルについて正規化違反を指摘しない旨のヒントデータ１９を出力する。
（３）テーブル構造の正規化については、意図的に正規化を崩すケースがあり、この意図について設計書のどこかにメモ情報として記載があった場合、当該テーブルについて正規化違反を指摘しない旨のヒントデータ１９を出力する。
【0031】
（４）型指定については、通常とは異なる型指定を意図的に選択するケースがあり、この意図について設計書のどこかにメモ情報として記載があった場合、当該カラムについて型指定違反を指摘しない旨のヒントデータ１９を出力する
（５）主キーについては、意図的に主キーを定義しないケースがあり、この意図について設計書のどこかにメモ情報として記載があった場合、当該テーブルについて主キー定義なしを指摘しない旨のヒントデータ１９を出力する。
（５）主キーについては、意図的に主キーを定義しないケースがあり、この意図について設計書のどこかにメモ情報として記載があった場合、当該テーブルについて主キー定義なしを指摘しない旨のヒントデータ１９を出力する。
【0032】
（６－１）ファントムファイルアンチパターンについて、バックアップ／リストア方式を別途定めている等、考慮すべき点を考慮していることが設計書のどこかにメモ情報として記載があった場合、当該カラムについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－２）サーティワンフレーバーアンチパターンについて、意図してenumを使用していることが設計書のどこかにメモ情報として記載があった場合、当該カラムについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－２）サーティワンフレーバーアンチパターンについて、意図してenumを使用していることが設計書のどこかにメモ情報として記載があった場合、当該カラムについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
【0033】
（６－３）ラウンディングエラーアンチパターンについて、意図してFLOATを使用していることが設計書のどこかにメモ情報として記載があった場合、当該カラムについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－４）メタデータトリブルアンチパターンについて、意図して年度別等でテーブル分割していることが設計書のどこかにメモ情報として記載があった場合、当該カラムについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－４）メタデータトリブルアンチパターンについて、意図して年度別等でテーブル分割していることが設計書のどこかにメモ情報として記載があった場合、当該カラムについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
【0034】
（６－５）マルチカラムアトリビュートアンチパターンについて、意図して同一名称のカラムのn個同一テーブル内に定義していることが設計書のどこかにメモ情報として記載があった場合、当該カラムについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－６）ポリモーフィック関連アンチパターンについて、意図してポリモーフィック関連を定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－６）ポリモーフィック関連アンチパターンについて、意図してポリモーフィック関連を定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
【0035】
（６－７）Entity Attribute Value アンチパターンについて、意図して Entity Attribute Value を定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。（ただし、このヒントデータ１９は、特別に出力するように設定した場合のみとし、デフォルトでは出力しないものとする。EAVはRDBMSのコンセプトに反するものであり、必要ならばNoSQLを用いることが自然である...RDBMS製品の範疇でも、JSON型等を使う方法がある。）
【0036】
（６－８） Keyless Entry アンチパターンについて、意図して Keyless Entry を定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。（ただし、このヒントデータ１９は、特別に出力するように設定した場合のみとし、デフォルトでは出力しないものとする。 Keyless Entry はRDBMSのコンセプトに反するものであるので、あえてKeyless Entryを選択している場合には現場で問題が発生している可能性が高い。）
【0037】
（６―９）Id Requiredアンチパターンについて、意図してId Requiredを定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－１０）ナイーブツリーアンチパターンについて、意図してナイーブツリーを定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－１０）ナイーブツリーアンチパターンについて、意図してナイーブツリーを定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
【0038】
（６－１１）ジェイウォークアンチパターンについて、意図してジェイウォークを定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－１２）安易な論理削除フラグアンチパターンについて、意図して論理削除フラグを定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
（６－１２）安易な論理削除フラグアンチパターンについて、意図して論理削除フラグを定義していることが設計書のどこかにメモ情報として記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
【0039】
（６－１３）交差テーブルの安易な命名アンチパターンについて、意図して交差テーブルの安易な命名を定義していることが設計書のどこかに記載があった場合、当該テーブルについてアンチパターン違反を指摘しない旨のヒントデータ１９を出力する。
【0040】
トランスパイラ２１は、構文解析部１５から入力した半構造化テキスト群データ２３を抽象構文木群データに変換する。
抽象構文木群データ２３は、通常の構文木（具象構文木あるいは解析木とも言う）から、言語の意味に関係ない情報を取り除き、意味に関係ある情報のみを取り出した（抽象した）木構造の木である。
理論的には、有限なラベル付き有向木である。また、演算子と変数や定数といったオペランドから成る数式などのようなものに対する抽象構文木を例にすると、分枝点は演算子、葉はオペランド（変数や定数）である。
抽象構文木群データ２３は、通常の構文木（具象構文木あるいは解析木とも言う）から、言語の意味に関係ない情報を取り除き、意味に関係ある情報のみを取り出した（抽象した）木構造の木である。
理論的には、有限なラベル付き有向木である。また、演算子と変数や定数といったオペランドから成る数式などのようなものに対する抽象構文木を例にすると、分枝点は演算子、葉はオペランド（変数や定数）である。
【0041】
設計チェック部２５は、トランスパイラ２１から入力した抽象構文木群データと、構文解析部１５から入力したヒントデータとを基に、仕様書データの検証処理を行う。
【0042】
設計チェック部２５は、トランスパイラ２１が生成した抽象構文木群データ２３が検証項目の第１の条件（ルール違反がないという条件）を満たしているか否かを判断する。
次に、設計チェック部２５は、第１の条件を満たしていないと判断した検証項目について、当該検証項目に関係するヒントデータ１９を基に第２の条件を満たしているか否か判断する。そして、設計チェック部２５は、第２の条件を満たしていると場合には、当該検証項目の条件は満たしていると判断する。
次に、設計チェック部２５は、第１の条件を満たしていないと判断した検証項目について、当該検証項目に関係するヒントデータ１９を基に第２の条件を満たしているか否か判断する。そして、設計チェック部２５は、第２の条件を満たしていると場合には、当該検証項目の条件は満たしていると判断する。
【0043】
設計チェック部２５は、ヒントデータ１９の全部又は一部を含めて検証レポート２７を生成する。
設計チェック部２５は、上述したように、抽象構文木群データ２３内に所定のルール違反の記述があるか否かを判定し、当該判定の結果を含む検証レポート２７を生成する。
設計チェック部２５は、上述したように、抽象構文木群データ２３内に所定のルール違反の記述があるか否かを判定し、当該判定の結果を含む検証レポート２７を生成する。
【0044】
当該ルール違反は、テーブル名又はカラム名のスペルミス又は命名規則違反、テーブル構造の正規化違反、カラムの型指定違反、主キーの定義違反、アンチパターン違反のいずれかである。
【0045】
設計チェック部２５は、上記ルール違反の記述があっても、ヒントデータ１９に当該ルール違反が意図的なものであることを示すメモ情報がある場合には、前記ルール違反がない、あるいはルール違反の記述は意図的である旨を示す検証レポート２７を生成する。
【0046】
設計チェック部２５は、抽象構文木群データ２３内のテーブル群全体としての関係や整合性を評価する。
具体的には、設計チェック部２５は、抽象構文木群データ２３のテーブルの関係構造をメモリ上に展開する。そして、特定のテーブル又はカラムに関係する前記ヒントデータを当該テーブル又はカラムに付与した検証レポート２７を生成する。
また、設計チェック部２５は、テーブル名又はカラム名を評価して命名規則を推定し、命名規則に反するテーブル名又はカラム名に対して、命名規則違反を示す情報を付与した検証レポート２７を生成する。
具体的には、設計チェック部２５は、抽象構文木群データ２３のテーブルの関係構造をメモリ上に展開する。そして、特定のテーブル又はカラムに関係する前記ヒントデータを当該テーブル又はカラムに付与した検証レポート２７を生成する。
また、設計チェック部２５は、テーブル名又はカラム名を評価して命名規則を推定し、命名規則に反するテーブル名又はカラム名に対して、命名規則違反を示す情報を付与した検証レポート２７を生成する。
【0047】
設計チェック部２５は、抽象構文木群データ２３とヒントデータ１９を基に、検証レポート２７を生成する。よってリジッドに型式が定められたmachine readableなデータであり、これらを解釈して適切な警告メッセージを出力することができる。より有益な警告メッセージを出力し、ノイズとなるような無益な警告メッセージを抑止するところを継続的に向上させる機能を持つ。
【0048】
設計チェック部２５の具体的処理は、以下である。
（１） 抽象構文木(AST)群23に含まれるテーブル名、カラム名についてスペルミスを検出する。検出したスペルミスについて、ヒントデータ１９に警告を抑止する指定がないなら、スペルミスをレポートする。
（２）抽象構文木群データ２３に含まれるテーブル名、カラム名について命名規則を推定する。（例: UserName=CamelCase, user_name=snake_case, user-name=kebab-case）検出した命名規則に反するテーブル名、カラム名について、ヒントデータ１９に警告を抑止する指定がないなら、命名規則違反をレポートする。
（１） 抽象構文木(AST)群23に含まれるテーブル名、カラム名についてスペルミスを検出する。検出したスペルミスについて、ヒントデータ１９に警告を抑止する指定がないなら、スペルミスをレポートする。
（２）抽象構文木群データ２３に含まれるテーブル名、カラム名について命名規則を推定する。（例: UserName=CamelCase, user_name=snake_case, user-name=kebab-case）検出した命名規則に反するテーブル名、カラム名について、ヒントデータ１９に警告を抑止する指定がないなら、命名規則違反をレポートする。
【0049】
（３）抽象構文木群データ２３に含まれる各テーブルのカラム定義について正規化違反を検出する。検出した正規化違反について、ヒントデータ１９に警告を抑止する指定がないなら、正規化違反をレポートする。
（４）抽象構文木群データ２３に含まれる各テーブルのカラム定義について型指定を検出する。検出した型指定違反について、ヒントデータ１９に警告を抑止する指定がないなら、型指定違反をレポートする。
（５）抽象構文木群データ２３に含まれる各テーブルに主キーが未定義のとき、ヒントデータ１９に警告を抑止する指定がないなら、主キー定義漏れをレポートする。
（４）抽象構文木群データ２３に含まれる各テーブルのカラム定義について型指定を検出する。検出した型指定違反について、ヒントデータ１９に警告を抑止する指定がないなら、型指定違反をレポートする。
（５）抽象構文木群データ２３に含まれる各テーブルに主キーが未定義のとき、ヒントデータ１９に警告を抑止する指定がないなら、主キー定義漏れをレポートする。
【0050】
以下、アンチパターンについて：
（６－１）抽象構文木群データ２３に含まれるテーブル名、カラム名から、当該カラムがファントムファイルアンチパターンに該当すると推定できるとき、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－２）抽象構文木群データ２３に含まれるカラム定義の中にenumが使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－３）抽象構文木群データ２３に含まれるカラム定義の中に浮動小数点型が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－１）抽象構文木群データ２３に含まれるテーブル名、カラム名から、当該カラムがファントムファイルアンチパターンに該当すると推定できるとき、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－２）抽象構文木群データ２３に含まれるカラム定義の中にenumが使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－３）抽象構文木群データ２３に含まれるカラム定義の中に浮動小数点型が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
【0051】
（６－４）抽象構文木群データ２３に含まれるテーブル定義の中に年度違い等の同一構造のテーブルが定義されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－５）抽象構文木群データ２３に含まれるテーブル定義の中に、同一定義のカラムが連続的に使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－５）抽象構文木群データ２３に含まれるテーブル定義の中に、同一定義のカラムが連続的に使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
【0052】
（６－６）抽象構文木群データ２３に含まれるテーブル群の関係の中に、ポリモーフィック関連が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－７）抽象構文木群データ２３に含まれるテーブルの中に、 Entity Attribute Value が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－７）抽象構文木群データ２３に含まれるテーブルの中に、 Entity Attribute Value が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
【0053】
（６－８）抽象構文木群データ２３に含まれるテーブル群の関係の中に、外部キーがあるべき個所に外部キーが定義されていない場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－９）抽象構文木群データ２３に含まれるテーブルの中に、 主キーとしてidというカラム名が盲目的に使用されていると推定できる場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－１０）抽象構文木群データ２３に含まれるテーブルの中に、 ナイーブツリーが使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－９）抽象構文木群データ２３に含まれるテーブルの中に、 主キーとしてidというカラム名が盲目的に使用されていると推定できる場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－１０）抽象構文木群データ２３に含まれるテーブルの中に、 ナイーブツリーが使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
【0054】
（６－１１）抽象構文木群データ２３に含まれるカラム定義の中に、複数形のカラム名が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－１２）抽象構文木群データ２３に含まれるカラム定義の中に、is_deletedなど、安易な論理削除を思わせるカラム名が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－１３）抽象構文木群データ２３に含まれるテーブルの中に、 安易な交差テーブル名が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－１２）抽象構文木群データ２３に含まれるカラム定義の中に、is_deletedなど、安易な論理削除を思わせるカラム名が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
（６－１３）抽象構文木群データ２３に含まれるテーブルの中に、 安易な交差テーブル名が使用されている場合、ヒントデータ１９に警告を抑止する指定がないなら、アンチパターンの疑いを検証レポート２７に含ませる。
【0055】
仕様書検証システム１１では、図１に示すように、構文解析部１５とトランスパイラ２１とを分離しているので、ExcelやWord以外の型式に対応するときは、構文解析部１５を拡張すれば良く、トランスパイラ２１は影響を受けない。
【0056】
仕様書検証システム１１では、仕様書に実際に文字としてあった情報と、ＡＩで推論した情報を区別し、その区別をヒントデータ１９として出力する。
半構造化テキスト群データ１７は、仕様書に実際に文字としてあった情報と、ＡＩで推論した情報を区別しないで出力する。（トランスパイラの出力となる抽象構文木にはあいまいさを含められないため。）
また、構文解析部１５及びトランスパイラ２１のそれぞれを人間の手による教師データを渡して、より精緻な推論ができるようにモデルを構築する。
半構造化テキスト群データ１７は、仕様書に実際に文字としてあった情報と、ＡＩで推論した情報を区別しないで出力する。（トランスパイラの出力となる抽象構文木にはあいまいさを含められないため。）
また、構文解析部１５及びトランスパイラ２１のそれぞれを人間の手による教師データを渡して、より精緻な推論ができるようにモデルを構築する。
【0057】
図２は、図１に示す仕様書検証システム１１のハードウェア構成図である。
図２に示すように、仕様書検証システム１１は、例えば、ディスプレイ５１，操作部５３，通信部５５、メモリ５９及び処理部６１を有する。
図１に示す機能は、図２に示すハードウェアを用いて実現される。
図２に示すように、仕様書検証システム１１は、例えば、ディスプレイ５１，操作部５３，通信部５５、メモリ５９及び処理部６１を有する。
図１に示す機能は、図２に示すハードウェアを用いて実現される。
【0058】
ディスプレイ５１は、処理部６１からの信号に基づいた画像を表示する。
操作部５３は、タッチパネル、キーボードやマウス等の操作手段である。
通信部５５は、外部装置と通信を行う。
入力部５７は、外部からデータを入力する端子等である。
メモリ５９は、処理部６１が実行するプログラムを記憶する。
処理部６１は、メモリ５９に記憶されたプログラムＰＲ１を実行して、本実施形態で規定する仕様書検証システム１１の処理を行う。
すなわち、処理部６１は、プログラムを実行して図１に示す仕様書検証システム１１の機能を実現する。
操作部５３は、タッチパネル、キーボードやマウス等の操作手段である。
通信部５５は、外部装置と通信を行う。
入力部５７は、外部からデータを入力する端子等である。
メモリ５９は、処理部６１が実行するプログラムを記憶する。
処理部６１は、メモリ５９に記憶されたプログラムＰＲ１を実行して、本実施形態で規定する仕様書検証システム１１の処理を行う。
すなわち、処理部６１は、プログラムを実行して図１に示す仕様書検証システム１１の機能を実現する。
【0059】
以下、図１及び図２に示す仕様書検証システム１１が実行する処理の流れを説明する。
図３は、図１及び図２に示す仕様書検証システム１１が実行する処理の流れを説明するためのフローチャート図である。
各ステップについて説明する。
ステップＳＴ１１：
仕様書検証システム１１は、仕様書データを入力する。
図３は、図１及び図２に示す仕様書検証システム１１が実行する処理の流れを説明するためのフローチャート図である。
各ステップについて説明する。
ステップＳＴ１１：
仕様書検証システム１１は、仕様書データを入力する。
【0060】
ステップＳＴ１２：
仕様書検証システム１１は、ステップＳＴ１１で入力した仕様書データ１３を構文解析処理して、ヒントデータ１９と、半構造化テキスト群データ１７とを生成する。
仕様書検証システム１１は、ステップＳＴ１１で入力した仕様書データ１３を構文解析処理して、ヒントデータ１９と、半構造化テキスト群データ１７とを生成する。
【0061】
ステップＳＴ１３：
仕様書検証システム１１は、ステップＳＴ１２で生成した半構造化テキスト群データ２３を抽象構文木群データに変換する。
仕様書検証システム１１は、ステップＳＴ１２で生成した半構造化テキスト群データ２３を抽象構文木群データに変換する。
【0062】
ステップＳＴ１４：
仕様書検証システム１１は、ステップＳＴ１３で生成した抽象構文木群データと、ステップＳＴ１２で生成したヒントデータ１３とを基に、仕様書データの検証処理を行う。
仕様書検証システム１１は、ステップＳＴ１３で生成した抽象構文木群データと、ステップＳＴ１２で生成したヒントデータ１３とを基に、仕様書データの検証処理を行う。
【0063】
ステップＳＴ１５：
仕様書検証システム１１は、ステップＳＴ１４の検証結果を示す検証レポート２７を出力する。
仕様書検証システム１１は、ステップＳＴ１４の検証結果を示す検証レポート２７を出力する。
【0064】
以下、図３に示すステップＳＴ１４の検証処理について詳細に説明する。
図４は、図３に示すステップＳＴ１４の検証処理を説明するためのフローチャート図である。
ステップＳＴ２１：
仕様書検証システム１１は、抽象構文木群データ２３が検証項目の第１の条件を満たしているか否かを判断する。
図４は、図３に示すステップＳＴ１４の検証処理を説明するためのフローチャート図である。
ステップＳＴ２１：
仕様書検証システム１１は、抽象構文木群データ２３が検証項目の第１の条件を満たしているか否かを判断する。
【0065】
ステップＳＴ２２：
仕様書検証システム１１は、ステップＳＴ２１で第１の条件を満たしていないと判断した検証項目について、当該検証項目に関係するヒントデータ１９を基に第２の条件を満たしているか否か判断する。
仕様書検証システム１１は、ステップＳＴ２１で第１の条件を満たしていないと判断した検証項目について、当該検証項目に関係するヒントデータ１９を基に第２の条件を満たしているか否か判断する。
【0066】
ステップＳＴ２３：
仕様書検証システム１１は、ステップＳＴ２２で第２の条件を満たさないと判断した場合に、その検証項目に問題ありとする検証レポート２７を生成する。
仕様書検証システム１１は、ステップＳＴ２２で第２の条件を満たさないと判断した場合に、その検証項目に問題ありとする検証レポート２７を生成する。
【0067】
ステップＳＴ２４：
仕様書検証システム１１は、ステップＳＴ２１，ＳＴ２２で肯定判定の場合に、その検証項目に問題なしとする検証レポート２７を生成する。
仕様書検証システム１１は、ステップＳＴ２１，ＳＴ２２で肯定判定の場合に、その検証項目に問題なしとする検証レポート２７を生成する。
【0068】
本実施形態によれば、構文解析と検証処理を自動化し、検証プロセスの効率化と正確性向上を図ることで、検証負荷の軽減と不要な警告の抑制が可能になる。
【0069】
本発明は上述した実施形態には限定されない。
すなわち、当業者は、本発明の技術的範囲またはその均等の範囲内において、上述した実施形態の構成要素に関し、様々な変更、コンビネーション、サブコンビネーション、並びに代替を行ってもよい。
すなわち、当業者は、本発明の技術的範囲またはその均等の範囲内において、上述した実施形態の構成要素に関し、様々な変更、コンビネーション、サブコンビネーション、並びに代替を行ってもよい。
【産業上の利用可能性】
【0070】
本発明は、プログラム検証システムに適用可能である。
【符号の説明】
【0071】
１１…仕様書検証システム
１３…仕様書データ
１５…構文解析部
１７…半構造化テキスト群データ
１９…ヒントデータ
２１…トランスパイラ
２３…抽象構文木群データ
２５…設計チェック部
２７…検証レポート
１３…仕様書データ
１５…構文解析部
１７…半構造化テキスト群データ
１９…ヒントデータ
２１…トランスパイラ
２３…抽象構文木群データ
２５…設計チェック部
２７…検証レポート
【図1】
【図2】
【図3】
【図4】
