特許

J-GLOBAL ID：200903035477945205

プログラム生成装置

発明者： 小川 一 ,  高山 秀一 ,  瓶子 岳人 ,  ツァオ チェン
出願人/特許権者： 松下電器産業株式会社
代理人 (1件)： 新居 広守
公報種別：公開公報
出願番号（国際出願番号）：特願2003-388660
公開番号（公開出願番号）：特開2005-032213
出願日： 2003年11月19日
公開日（公表日）： 2005年02月03日
要約：

【課題】 すべてのパスを通過するプログラムを短時間に生成できるプログラム生成装置を提供する。【解決手段】 プログラムの制御構造を入力として受け、当該制御構造におけるすべてのパスを通過させることができる、当該制御構造の条件式挿入部分に挿入される複数の条件式を線形計画法を用いて生成する条件式生成部22と、制御構造におけるすべてのパスについて、パスごとに当該パスを通過させるための上記複数の条件式に含まれる変数の初期値を線形計画法を用いて生成し、上記制御構造、上記条件式および上記初期値に基づいてテストプログラムを生成する初期値生成部24とを備える。【選択図】 図2

請求項（抜粋）：

プログラムの制御構造を入力として受け、当該制御構造におけるすべてのパスを通過させることができる、当該制御構造の条件式挿入部分に挿入される複数の条件式を線形計画法を用いて生成する条件式生成手段と、 前記制御構造におけるすべてのパスについて、パスごとに当該パスを通過させるための前記複数の条件式に含まれる変数の初期値を生成する初期値生成手段と、 前記制御構造、前記複数の条件式および前記初期値に基づいてテストプログラムを生成するプログラム生成手段とを備える ことを特徴とするプログラム生成装置。

IPC (1件)：

G06F11/28

FI (1件)：

G06F11/28 340A

Fターム (6件)：

5B042GA02 ,  5B042HH10 ,  5B042HH17 ,  5B042HH19 ,  5B042HH32 ,  5B042HH38

引用特許：

出願人引用 (1件)

• 言語処理プロセッサのテスト方式
  公報種別：公開公報   出願番号：特願平4-145239   出願人：株式会社日立製作所, 日立東北ソフトウェア株式会社