情報処理装置及び情報処理方法及びプログラム

発明者：
出願人/特許権者：
代理人 (2件)：溝井章司 , 山地博人
公報種別：特許公報
出願番号（国際出願番号）：特願2012-246410
公開番号（公開出願番号）：特開2014-095993
特許番号：特許第6012414号
出願日： 2012年11月08日
公開日（公表日）： 2014年05月22日
請求項（抜粋）：

【請求項1】オートマトンによる検査に用いられる、状態遷移パスが表される状態遷移情報を1つ以上記憶する状態遷移情報記憶部と、正規表現で記述され、いずれかの状態遷移情報の識別子が選択識別子として含まれている検査条件を取得する検査条件取得部と、前記選択識別子に対応する状態遷移情報である選択状態遷移情報を前記状態遷移情報記憶部から読み出すとともに、前記検査条件内の記述のうち前記選択識別子以外の記述に対応する状態遷移パスを生成し、生成した状態遷移パスを前記選択状態遷移情報の状態遷移パスに追加して、前記選択状態遷移情報から新たな状態遷移情報を生成する状態遷移情報更新部とを有することを特徴とする情報処理装置。

IPC (1件)：