特許
J-GLOBAL ID：200903058591726700
プログラム生成装置、プログラム検証装置および検証プログラム
発明者：
出願人/特許権者：
代理人 (3件)：
西教 圭一郎
, 杉山 毅至
, 廣瀬 峰太郎
公報種別：公開公報
出願番号（国際出願番号）：特願2005-224601
公開番号（公開出願番号）：特開2007-041804
出願日： 2005年08月02日
公開日（公表日）： 2007年02月15日
要約：
【課題】 入力値に対する出力値の変更がされていないかを漏れなく検証することを支援するプログラム生成装置およびプログラム検証装置1を提供する。【解決手段】 入力値演算手段16は、ソースコードに含まれる条件式が真になる入力値および偽になる入力値を演算する。プログラム生成手段は、演算された真および偽入力値に基づく出力値を出力させるテストプログラムを生成する。【選択図】 図1
請求項（抜粋）：
入力される入力値に基づいて出力値を出力させる検証対象プログラムのソースコードに含まれる条件式であって、その条件式の真偽によって処理が分岐する条件式が真および偽になる入力値を演算する入力値演算手段と、
検証対象プログラムを用いて、入力値演算手段によって演算される入力値に基づく出力値を出力させるテストプログラムを生成するプログラム生成手段とを含むことを特徴とするプログラム生成装置。
IPC (1件)：
FI (1件)：
Fターム (6件)：
5B042HH12
, 5B042HH17
, 5B042HH38
, 5B042NN04
, 5B042NN05
, 5B042NN22
