【手続補正書】
【提出日】令和1年11月15日(2019.11.15)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記ＰＬＣプログラムにおけるコメントに含まれる記述のうち所定の条件を満たす記述を、前記汎用言語プログラムで実行対象となる記述に変換する変換部と、
前記汎用言語プログラムに対する試験を行う試験実行部と、
を備えるソフトウェア試験装置。
【請求項２】
前記変換部は、前記ＰＬＣプログラムにおけるコメントに含まれる記述のうち所定の条件を満たす記述を、前記汎用言語プログラムで試験時に実行される記述に変換する、
請求項１に記載のソフトウェア試験装置。
【請求項３】
前記変換部は、前記ＰＬＣプログラムにおけるコメントに含まれる第１文字列を、前記汎用言語プログラムを実行する前提条件を示す記述に変換し、前記ＰＬＣプログラムにおけるコメントに含まれる第２文字列を前記汎用言語プログラムの実行後に満たされるべき条件を示す記述に変換し、
前記試験実行部は、前記汎用言語プログラムへの入力が前記入力の条件を満たし、かつ、前記汎用言語プログラムの出力が前記出力の条件を満たさない場合をエラーとして検出する、
請求項１または請求項２に記載のソフトウェア試験装置。
【請求項４】
前記ＰＬＣプログラムに含まれるグローバル変数の値の想定範囲を示す範囲情報を取得する範囲情報取得部を備え、
前記試験実行部は、前記グローバル変数の値が前記想定範囲外となる場合をエラーとして検出する、
請求項１から３のいずれか一項に記載のソフトウェア試験装置。
【請求項５】
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換する変換部と、
前記ＰＬＣプログラムに含まれるグローバル変数の値の想定範囲を示す範囲情報を取得する範囲情報取得部と、
前記汎用言語プログラムに対する試験を行い、前記グローバル変数の値が前記想定範囲外となる場合をエラーとして検出する試験実行部と、
を備えるソフトウェア試験装置。
【請求項６】
前記試験実行部は、記号実行法を用いて前記試験を行う、
請求項１から５のいずれか一項に記載のソフトウェア試験装置。
【請求項７】
前記試験実行部は、前記ＰＬＣプログラムにおけるパスのうち指定されたステップ数以下のパスの各々について、当該パスを実行した場合の変数値を前記汎用言語プログラムを用いて算出し、いずれかのパスにおける変数値が前記ＰＬＣプログラムで示された条件を満たさない場合をエラーとして検出する、
請求項１から５のいずれか一項に記載のソフトウェア試験装置。
【請求項８】
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換する変換部と、
前記汎用言語プログラムに対する試験を行い、前記ＰＬＣプログラムにおけるパスのうち指定されたステップ数以下のパスの各々について、当該パスを実行した場合の変数値を前記汎用言語プログラムを用いて算出し、いずれかのパスにおける変数値が前記ＰＬＣプログラムで示された条件を満たさない場合をエラーとして検出する試験実行部と、
を備えるソフトウェア試験装置。
【請求項９】
前記ＰＬＣプログラムを表示し、前記汎用言語プログラムにおける実行箇所を前記ＰＬＣプログラムの表示上に示す表示部を備える
請求項１から８のいずれか一項に記載のソフトウェア試験装置。
【請求項１０】
前記変換部は、前記ＰＬＣプログラムにおけるサブルーチンコールを前記汎用言語プログラムにおける記述に変換する場合、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている入口条件を、前記サブルーチンコール時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている出口条件を、前記サブルーチンコールからの復帰時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、
前記試験実行部は、前記サブルーチンコール時の条件及び前記サブルーチンコールからの復帰時の条件を用いて前記サブルーチン呼出側の汎用言語プログラムを単体試験する、
請求項１から９のいずれか一項に記載のソフトウェア試験装置。
【請求項１１】
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記ＰＬＣプログラムにおけるサブルーチンコールを前記汎用言語プログラムにおける記述に変換する場合、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている入口条件を、前記サブルーチンコール時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている出口条件を、前記サブルーチンコールからの復帰時の条件としてサブルーチン呼出側の汎用言語プログラムに含める変換部と、
前記汎用言語プログラムに対する試験を行い、前記サブルーチンコール時の条件及び前記サブルーチンコールからの復帰時の条件を用いて前記サブルーチン呼出側の汎用言語プログラムを単体試験する試験実行部と、
を備えるソフトウェア試験装置。
【請求項１２】
前記試験実行部が試験を実行した際に、試験で通らなかったパスを切り出し、切り出したパスに対する試験を行う、
請求項１から１１のいずれか一項に記載のソフトウェア試験装置。
【請求項１３】
請求項１から１２のいずれか一項に記載のソフトウェア試験装置と、
前記ソフトウェア試験装置が前記ＰＬＣプログラムから変換した汎用言語プログラムを実行するＰＬＣ模擬部と、
ＰＬＣによる制御対象を模擬する制御対象模擬部と、
を備えるソフトウェア試験システム。
【請求項１４】
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記ＰＬＣプログラムにおけるコメントに含まれる記述のうち所定の条件を満たす記述を、前記汎用言語プログラムで実行対象となる記述に変換し、
前記汎用言語プログラムに対する試験を行う、
ソフトウェア試験方法。
【請求項１５】
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、
前記ＰＬＣプログラムに含まれるグローバル変数の値の想定範囲を示す範囲情報を取得し、
前記汎用言語プログラムに対する試験を行い、前記グローバル変数の値が前記想定範囲外となる場合をエラーとして検出する、
ソフトウェア試験方法。
【請求項１６】
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、
前記汎用言語プログラムに対する試験を行い、前記ＰＬＣプログラムにおけるパスのうち指定されたステップ数以下のパスの各々について、当該パスを実行した場合の変数値を前記汎用言語プログラムを用いて算出し、いずれかのパスにおける変数値が前記ＰＬＣプログラムで示された条件を満たさない場合をエラーとして検出する、
ソフトウェア試験方法。
【請求項１７】
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記ＰＬＣプログラムにおけるサブルーチンコールを前記汎用言語プログラムにおける記述に変換する場合、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている入口条件を、前記サブルーチンコール時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている出口条件を、前記サブルーチンコールからの復帰時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、
前記汎用言語プログラムに対する試験を行い、前記サブルーチンコール時の条件及び前記サブルーチンコールからの復帰時の条件を用いて前記サブルーチン呼出側の汎用言語プログラムを単体試験する、
ソフトウェア試験方法。
【請求項１８】
コンピュータに、
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換させ、前記ＰＬＣプログラムにおけるコメントに含まれる記述のうち所定の条件を満たす記述を、前記汎用言語プログラムで実行対象となる記述に変換させ、
前記汎用言語プログラムに対する試験を行わせる、
ためのプログラム。
【請求項１９】
コンピュータに、
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換させ、
前記ＰＬＣプログラムに含まれるグローバル変数の値の想定範囲を示す範囲情報を取得させ、
前記汎用言語プログラムに対する試験を行い、前記グローバル変数の値が前記想定範囲外となる場合をエラーとして検出させる、
ためのプログラム。
【請求項２０】
コンピュータに、
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換させ、
前記汎用言語プログラムに対する試験を行わせ、前記ＰＬＣプログラムにおけるパスのうち指定されたステップ数以下のパスの各々について、当該パスを実行した場合の変数値を前記汎用言語プログラムを用いて算出させ、いずれかのパスにおける変数値が前記ＰＬＣプログラムで示された条件を満たさない場合をエラーとして検出させる、
ためのプログラム。
【請求項２１】
コンピュータに、
プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換させ、前記ＰＬＣプログラムにおけるサブルーチンコールを前記汎用言語プログラムにおける記述に変換する場合、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている入口条件を、前記サブルーチンコール時の条件としてサブルーチン呼出側の汎用言語プログラムに含めさせ、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている出口条件を、前記サブルーチンコールからの復帰時の条件としてサブルーチン呼出側の汎用言語プログラムに含めさせ、
前記汎用言語プログラムに対する試験を行わせ、前記サブルーチンコール時の条件及び前記サブルーチンコールからの復帰時の条件を用いて前記サブルーチン呼出側の汎用言語プログラムを単体試験させる、
ためのプログラム。
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】０００６
【補正方法】変更
【補正の内容】
【０００６】
本発明の第１の態様によれば、ソフトウェア試験装置は、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記ＰＬＣプログラムにおけるコメントに含まれる記述のうち所定の条件を満たす記述を、前記汎用言語プログラムで実行対象となる記述に変換する変換部と、前記汎用言語プログラムに対する試験を行う試験実行部と、を備える。
【手続補正３】
【補正対象書類名】明細書
【補正対象項目名】０００７
【補正方法】削除
【補正の内容】
【手続補正４】
【補正対象書類名】明細書
【補正対象項目名】００１０
【補正方法】変更
【補正の内容】
【００１０】
前記ＰＬＣプログラムに含まれるグローバル変数の値の想定範囲を示す範囲情報を取得する範囲情報取得部を備え、前記試験実行部は、前記グローバル変数の値が前記想定範囲外となる場合をエラーとして検出するようにしてもよい。
本発明の第２の態様によれば、ソフトウェア試験装置は、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換する変換部と、前記ＰＬＣプログラムに含まれるグローバル変数の値の想定範囲を示す範囲情報を取得する範囲情報取得部と、前記汎用言語プログラムに対する試験を行い、前記グローバル変数の値が前記想定範囲外となる場合をエラーとして検出する試験実行部と、を備える。
【手続補正５】
【補正対象書類名】明細書
【補正対象項目名】００１２
【補正方法】変更
【補正の内容】
【００１２】
前記試験実行部は、前記ＰＬＣプログラムにおけるパスのうち指定されたステップ数以下のパスの各々について、当該パスを実行した場合の変数値を前記汎用言語プログラムを用いて算出し、いずれかのパスにおける変数値が前記ＰＬＣプログラムで示された条件を満たさない場合をエラーとして検出するようにしてもよい。
本発明の第３の態様によれば、ソフトウェア試験装置は、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換する変換部と、前記汎用言語プログラムに対する試験を行い、前記ＰＬＣプログラムにおけるパスのうち指定されたステップ数以下のパスの各々について、当該パスを実行した場合の変数値を前記汎用言語プログラムを用いて算出し、いずれかのパスにおける変数値が前記ＰＬＣプログラムで示された条件を満たさない場合をエラーとして検出する試験実行部と、を備える。
【手続補正６】
【補正対象書類名】明細書
【補正対象項目名】００１４
【補正方法】変更
【補正の内容】
【００１４】
前記変換部は、前記ＰＬＣプログラムにおけるサブルーチンコールを前記汎用言語プログラムにおける記述に変換する場合、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている入口条件を、前記サブルーチンコール時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている出口条件を、前記サブルーチンコールからの復帰時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、前記試験実行部は、前記サブルーチンコール時の条件及び前記サブルーチンコールからの復帰時の条件を用いて前記サブルーチン呼出側の汎用言語プログラムを単体試験するようにしてもよい。
本発明の第４の態様によれば、ソフトウェア試験装置は、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記ＰＬＣプログラムにおけるサブルーチンコールを前記汎用言語プログラムにおける記述に変換する場合、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている入口条件を、前記サブルーチンコール時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている出口条件を、前記サブルーチンコールからの復帰時の条件としてサブルーチン呼出側の汎用言語プログラムに含める変換部と、前記汎用言語プログラムに対する試験を行い、前記サブルーチンコール時の条件及び前記サブルーチンコールからの復帰時の条件を用いて前記サブルーチン呼出側の汎用言語プログラムを単体試験する試験実行部と、を備える。
【手続補正７】
【補正対象書類名】明細書
【補正対象項目名】００１６
【補正方法】変更
【補正の内容】
【００１６】
本発明の第５の態様によれば、ソフトウェア試験システムは、上記したいずれかのソフトウェア試験装置と、前記ソフトウェア試験装置が前記ＰＬＣプログラムから変換した汎用言語プログラムを実行するＰＬＣ模擬部と、ＰＬＣによる制御対象を模擬する制御対象模擬部と、を備える。
【手続補正８】
【補正対象書類名】明細書
【補正対象項目名】００１７
【補正方法】変更
【補正の内容】
【００１７】
本発明の第６の態様によれば、ソフトウェア試験方法は、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記ＰＬＣプログラムにおけるコメントに含まれる記述のうち所定の条件を満たす記述を、前記汎用言語プログラムで実行対象となる記述に変換し、前記汎用言語プログラムに対する試験を行う。
本発明の第７の態様によれば、ソフトウェア試験方法は、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記ＰＬＣプログラムに含まれるグローバル変数の値の想定範囲を示す範囲情報を取得し、前記汎用言語プログラムに対する試験を行い、前記グローバル変数の値が前記想定範囲外となる場合をエラーとして検出する。
本発明の第８の態様によれば、ソフトウェア試験方法は、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記汎用言語プログラムに対する試験を行い、前記ＰＬＣプログラムにおけるパスのうち指定されたステップ数以下のパスの各々について、当該パスを実行した場合の変数値を前記汎用言語プログラムを用いて算出し、いずれかのパスにおける変数値が前記ＰＬＣプログラムで示された条件を満たさない場合をエラーとして検出する。
本発明の第９の態様によれば、ソフトウェア試験方法は、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換し、前記ＰＬＣプログラムにおけるサブルーチンコールを前記汎用言語プログラムにおける記述に変換する場合、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている入口条件を、前記サブルーチンコール時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている出口条件を、前記サブルーチンコールからの復帰時の条件としてサブルーチン呼出側の汎用言語プログラムに含め、前記汎用言語プログラムに対する試験を行い、前記サブルーチンコール時の条件及び前記サブルーチンコールからの復帰時の条件を用いて前記サブルーチン呼出側の汎用言語プログラムを単体試験する。
【手続補正９】
【補正対象書類名】明細書
【補正対象項目名】００１８
【補正方法】変更
【補正の内容】
【００１８】
本発明の第１０の態様によれば、プログラムは、コンピュータに、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換させ、前記ＰＬＣプログラムにおけるコメントに含まれる記述のうち所定の条件を満たす記述を、前記汎用言語プログラムで実行対象となる記述に変換させ、前記汎用言語プログラムに対する試験を行わせる、ためのプログラムである。
本発明の第１１の態様によれば、プログラムは、コンピュータに、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換させ、前記ＰＬＣプログラムに含まれるグローバル変数の値の想定範囲を示す範囲情報を取得させ、前記汎用言語プログラムに対する試験を行い、前記グローバル変数の値が前記想定範囲外となる場合をエラーとして検出させる、ためのプログラムである。
本発明の第１２の態様によれば、プログラムは、コンピュータに、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換させ、前記汎用言語プログラムに対する試験を行わせ、前記ＰＬＣプログラムにおけるパスのうち指定されたステップ数以下のパスの各々について、当該パスを実行した場合の変数値を前記汎用言語プログラムを用いて算出させ、いずれかのパスにおける変数値が前記ＰＬＣプログラムで示された条件を満たさない場合をエラーとして検出させる、ためのプログラムである。
本発明の第１３の態様によれば、プログラムは、コンピュータに、プログラマブルロジックコントローラを動作させるＰＬＣプログラムを汎用プログラミング言語で記述された汎用言語プログラムに変換させ、前記ＰＬＣプログラムにおけるサブルーチンコールを前記汎用言語プログラムにおける記述に変換する場合、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている入口条件を、前記サブルーチンコール時の条件としてサブルーチン呼出側の汎用言語プログラムに含めさせ、前記ＰＬＣプログラムで呼び出されるサブルーチンに示されている出口条件を、前記サブルーチンコールからの復帰時の条件としてサブルーチン呼出側の汎用言語プログラムに含めさせ、前記汎用言語プログラムに対する試験を行わせ、前記サブルーチンコール時の条件及び前記サブルーチンコールからの復帰時の条件を用いて前記サブルーチン呼出側の汎用言語プログラムを単体試験させる、ためのプログラムである。