JPH0363838A - ソフトウェアプログラムの検査方法 - Google Patents
ソフトウェアプログラムの検査方法Info
- Publication number
- JPH0363838A JPH0363838A JP1201654A JP20165489A JPH0363838A JP H0363838 A JPH0363838 A JP H0363838A JP 1201654 A JP1201654 A JP 1201654A JP 20165489 A JP20165489 A JP 20165489A JP H0363838 A JPH0363838 A JP H0363838A
- Authority
- JP
- Japan
- Prior art keywords
- program
- mask
- value
- software program
- expected value
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000012360 testing method Methods 0.000 claims description 26
- 238000000034 method Methods 0.000 claims description 7
- 230000000873 masking effect Effects 0.000 claims description 4
- 238000012545 processing Methods 0.000 abstract description 13
- 238000007689 inspection Methods 0.000 abstract description 7
- 238000012790 confirmation Methods 0.000 abstract description 3
- 229910001387 inorganic aluminate Inorganic materials 0.000 description 5
- 230000000694 effects Effects 0.000 description 3
- 238000011161 development Methods 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 235000012976 tarts Nutrition 0.000 description 2
- 230000001174 ascending effect Effects 0.000 description 1
- 238000007796 conventional method Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 238000004904 shortening Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明はソフトウェアプログラムの検査方法に関する。
一般に検査プログラムの機能を検証するのに、被検査プ
ログラムの出力する値の期待値と被検査プログラムが動
作して出力する動作出力値とを比較する方法が行なわれ
ている。
ログラムの出力する値の期待値と被検査プログラムが動
作して出力する動作出力値とを比較する方法が行なわれ
ている。
第４図を用いて従来の検査プログラムおよび、従来の検
査プログラムを用いたソフトウェアプログラムの検査の
流れを説明する。第４図に示すように被検査プログラム
１０２は検査データ１０１を入力し、動作出力値ＡｌＯ
３を出力する。従来の検査プログラム２０１は比較処理
部１０８から構成される。前記比較処理部１０８は、あ
らかじめ作成された期待値ＡｌＯ４と動作出力値ＡｌＯ
３を入力すると、これら期待値ＡｌＯ４と出力値ＡｌＯ
３を比較し、比較した結果を比較結果情報１０９として
出力する。
査プログラムを用いたソフトウェアプログラムの検査の
流れを説明する。第４図に示すように被検査プログラム
１０２は検査データ１０１を入力し、動作出力値ＡｌＯ
３を出力する。従来の検査プログラム２０１は比較処理
部１０８から構成される。前記比較処理部１０８は、あ
らかじめ作成された期待値ＡｌＯ４と動作出力値ＡｌＯ
３を入力すると、これら期待値ＡｌＯ４と出力値ＡｌＯ
３を比較し、比較した結果を比較結果情報１０９として
出力する。
第５図は、従来のソフトウェアプログラムの開発または
検査のフロー図である。第５図に示すように、まずはじ
めにソフトウェアプログラム３０１を作成し、次に前記
作成したソフトウェアプログラムの検査３０２を行なう
。ソフトウェアプログラムの検査３０２を詳しく示した
ものが、前述の第４図のソフトウェアプログラムの検査
の流れ図である。
検査のフロー図である。第５図に示すように、まずはじ
めにソフトウェアプログラム３０１を作成し、次に前記
作成したソフトウェアプログラムの検査３０２を行なう
。ソフトウェアプログラムの検査３０２を詳しく示した
ものが、前述の第４図のソフトウェアプログラムの検査
の流れ図である。
ソフトウェアプログラムの検査３０２の結果得られる比
較結果情報１０９には、相違がでてよい項目と相違がで
てはいけない項目の２種類がある。
較結果情報１０９には、相違がでてよい項目と相違がで
てはいけない項目の２種類がある。
例えば前記被検査プログラムの出力値ＡｌＯ３が出力さ
れた時点の日付や時刻、または、被検査プログラム１０
２のバージョン番号などは相違がでてよいものである。
れた時点の日付や時刻、または、被検査プログラム１０
２のバージョン番号などは相違がでてよいものである。
従って比較結果情報確認の際、まず、相違がでてよい比
較結果情報の除去３０５を行う。なお、これら相違がで
てもよい部分は、あらかじめ予想できるので、この予想
に基づいて、期待値をあらかじめ変更しておけば、相違
がでてよい比較結果情報な生皮させないこともできる。
較結果情報の除去３０５を行う。なお、これら相違がで
てもよい部分は、あらかじめ予想できるので、この予想
に基づいて、期待値をあらかじめ変更しておけば、相違
がでてよい比較結果情報な生皮させないこともできる。
しかし、期待値が大量である場合、この方法は効率的で
はない。
はない。
この第４図の比較結果情報１０９から相違がでてよい比
較結果情報を除去する３０５は、第５図を用いて説明す
るような手順により、従来ソフトウェアプログラムの検
査を行う検査者が目視で確認していた。
較結果情報を除去する３０５は、第５図を用いて説明す
るような手順により、従来ソフトウェアプログラムの検
査を行う検査者が目視で確認していた。
手順としては、まず第４図の比較結果情報１０９から相
違がでてよい比較結果情報の除去３０５を行った後、相
違がでてはいけない比較結果情報が存在するか否か３０
３を調べる。相違が存在しなかった３０３の−Ｎｏ場合
は、ソフトウェアプログラムの開発または検査は終了す
る。相違が存在した３０３が−ＹＥＳ場合は、ソフトウ
ェアプログラムの修正３０４を行い、再度、ソフトウェ
アプログラムの検査を行う。こうして出力値Ａと期待値
Ａとを比較した結果、相違がでてはいけない項目が存在
しなくなるまで、ソフトウェアプログラムの修正、検査
、比較結果の確認を繰り返す。
違がでてよい比較結果情報の除去３０５を行った後、相
違がでてはいけない比較結果情報が存在するか否か３０
３を調べる。相違が存在しなかった３０３の−Ｎｏ場合
は、ソフトウェアプログラムの開発または検査は終了す
る。相違が存在した３０３が−ＹＥＳ場合は、ソフトウ
ェアプログラムの修正３０４を行い、再度、ソフトウェ
アプログラムの検査を行う。こうして出力値Ａと期待値
Ａとを比較した結果、相違がでてはいけない項目が存在
しなくなるまで、ソフトウェアプログラムの修正、検査
、比較結果の確認を繰り返す。
通常、ソフトウェアプログラムにとって不具合である相
違がまったく存在しない、または、−口のソフトウェア
プログラムの修正で存在しなくなることはほとんどなく
、ソフトウェアプログラムの修正、検査、比較結果の確
認を何度か繰り返す。
違がまったく存在しない、または、−口のソフトウェア
プログラムの修正で存在しなくなることはほとんどなく
、ソフトウェアプログラムの修正、検査、比較結果の確
認を何度か繰り返す。
上述したように、従来のソフトウェアプログラムの検査
方法は、第４図の比較結果情報１０９から相違がでてよ
い比較結果情報の除去３０５を検査者が目視で行わなけ
ればならないため、（１）ソフトウェアプログラムの検
査を行う検査者が、常に検査プログラムを実行させてい
る計算機に付ききりにならなければならない。
方法は、第４図の比較結果情報１０９から相違がでてよ
い比較結果情報の除去３０５を検査者が目視で行わなけ
ればならないため、（１）ソフトウェアプログラムの検
査を行う検査者が、常に検査プログラムを実行させてい
る計算機に付ききりにならなければならない。
（２） 目視で行うため時間がかかる。
（３） 目視で行うため正格性に書ける。
などの欠点があった。
本発明のソフトウェアプログラムの検査方法は、被検査
プログラムが出力する値の期待値と、前記被検査プログ
ラムの動作出力値とを比較することにより前記被検査プ
ログラムの動作を検証するソフトウェアプログラムの検
査方法において、前記被検査プログラムが出力する値の
期待値と前記被検査プログラムの動作出力値の一部分と
をマスクする手段と、前記マスクするマスク部分の範囲
を指定する手段を備え、前記被検査プログラムの期待値
と前記被検査プログラムの動作出力値とを比較するとき
に、マスク指定した前記マスク部分を無視して比較する
手段を有している。
プログラムが出力する値の期待値と、前記被検査プログ
ラムの動作出力値とを比較することにより前記被検査プ
ログラムの動作を検証するソフトウェアプログラムの検
査方法において、前記被検査プログラムが出力する値の
期待値と前記被検査プログラムの動作出力値の一部分と
をマスクする手段と、前記マスクするマスク部分の範囲
を指定する手段を備え、前記被検査プログラムの期待値
と前記被検査プログラムの動作出力値とを比較するとき
に、マスク指定した前記マスク部分を無視して比較する
手段を有している。
以下、本発明の実施例の詳細を図面を参照して説明する
。
。
第１図は本発明の一実施例の検査プログラム用いたソフ
トウェアプログラムの検査の流れ図である。
トウェアプログラムの検査の流れ図である。
第４図の従来の方法の流れ図と異なるところは、検査プ
ログラム１１１にマスク範囲情報解析部１１０とマスク
処理部１０５を有することである。
ログラム１１１にマスク範囲情報解析部１１０とマスク
処理部１０５を有することである。
検査プログラム１１１では、まず、マスク範囲情報解析
部１１０において、指定されたマスク範囲情報１１２を
入力し、マスク範囲情報１１３を出力する。次に本例の
マスク処理部１０５は、前記マスク範囲情報を入力し、
このマスク範囲情報に基づいて、あらかじめ作成された
期待値ＡｌＯ４と動作出力値ＡｌＯ３の一部分をマスク
し、マスクした期待値Ｂ１０７と動作出力値Ｂ１０６を
出力する。
部１１０において、指定されたマスク範囲情報１１２を
入力し、マスク範囲情報１１３を出力する。次に本例の
マスク処理部１０５は、前記マスク範囲情報を入力し、
このマスク範囲情報に基づいて、あらかじめ作成された
期待値ＡｌＯ４と動作出力値ＡｌＯ３の一部分をマスク
し、マスクした期待値Ｂ１０７と動作出力値Ｂ１０６を
出力する。
第２図を用いて実施例のマスク処理の流れを具体的に示
す。
す。
ここで第２図の１０３から１１３までは、それぞれ、第
１図の１０３から１１３までに対応している。
１図の１０３から１１３までに対応している。
ｘ４０１は、出力値ＡｌＯ３の先頭を指すポインタであ
る。ポインタＸの内容はａ１ポインタＸ＋１バイト目の
内容はｂ１ポインタｘ＋２バイト目の内容はＣ１ポイン
タｘ＋３バイト目の内容はｄ、ポインタＸ＋４バイト目
の内容はｅであるとする。
る。ポインタＸの内容はａ１ポインタＸ＋１バイト目の
内容はｂ１ポインタｘ＋２バイト目の内容はＣ１ポイン
タｘ＋３バイト目の内容はｄ、ポインタＸ＋４バイト目
の内容はｅであるとする。
ｙ４０２は、期待値ＡｌＯ４の先頭を指すポインタであ
る。ポインタｙの内容はａ１ポインタｙ千１バイト目の
内容はＢ１ポインタｙ千２ノくイト目の内容はＣ１ポイ
ンタｙ＋３バイト目の内容はり、ポインタｙ＋４バイト
目の内容はｅであるとする。
る。ポインタｙの内容はａ１ポインタｙ千１バイト目の
内容はＢ１ポインタｙ千２ノくイト目の内容はＣ１ポイ
ンタｙ＋３バイト目の内容はり、ポインタｙ＋４バイト
目の内容はｅであるとする。
マスク範囲情報解析部１１０は、指定されたマスク範囲
情報１１２から入力された５ｔａｒｔの値とＥｎｄの値
を昇順に並び変えてマスク範囲情報１１３を出力する。
情報１１２から入力された５ｔａｒｔの値とＥｎｄの値
を昇順に並び変えてマスク範囲情報１１３を出力する。
ここで、このマスク範囲情報解析部１１０は、５ｔａｒ
ｔとＥｎｄが複数指定され重なった範囲があれば１つに
まとめてマスク範囲情報１１３を出力する。例えば、５
ｔａｒｔ＝ １と４、Ｅｎｄ＝３と６であった場合、５
ｔａｒｔ＝ １、Ｅｎｄ＝６とする。
ｔとＥｎｄが複数指定され重なった範囲があれば１つに
まとめてマスク範囲情報１１３を出力する。例えば、５
ｔａｒｔ＝ １と４、Ｅｎｄ＝３と６であった場合、５
ｔａｒｔ＝ １、Ｅｎｄ＝６とする。
本実施例では第２図に示すＳ＝１とＥ＝３を出力する。
このマスク範囲情報１１３により、マスク処理部１０５
は、マスクする部分を、出力値ＡｌＯ３と期待値Ａ１０
４０１バイト目から３バイト目としてマスク処理を行う
。マスク処理部１０５は、出力値ＡｌＯ３と期待値Ａｌ
Ｏ４を入力する。出力値ＡｌＯ３と期待値ＡｌＯ４の１
バイト目から３バイト目は、それぞれ、第３図のポイン
タＸ＋１からポインタＸ＋３までとポインタグ＋１から
ポインタ７＋３までであるマスク処理部１０５は、ポイ
ンタＸの指す内容ａを出力値Ｂ１０６に出力し、ポイン
タＸ＋１バイト目からポインタＸ＋３バイト目までを読
みとばし、ポインタＸ＋４バイト目の指す内容ｅを出力
値Ｂ１０６に出力する。
は、マスクする部分を、出力値ＡｌＯ３と期待値Ａ１０
４０１バイト目から３バイト目としてマスク処理を行う
。マスク処理部１０５は、出力値ＡｌＯ３と期待値Ａｌ
Ｏ４を入力する。出力値ＡｌＯ３と期待値ＡｌＯ４の１
バイト目から３バイト目は、それぞれ、第３図のポイン
タＸ＋１からポインタＸ＋３までとポインタグ＋１から
ポインタ７＋３までであるマスク処理部１０５は、ポイ
ンタＸの指す内容ａを出力値Ｂ１０６に出力し、ポイン
タＸ＋１バイト目からポインタＸ＋３バイト目までを読
みとばし、ポインタＸ＋４バイト目の指す内容ｅを出力
値Ｂ１０６に出力する。
次に、マスク処理部１０５はポインタグ４０２の指す内
容ａを期待値Ｂ１０７に出力し、ポインタｙ＋１バイト
目からポインタｙ＋３バイト目までを読みとばし、ポイ
ンタｙ＋４バイト目の指す内容ｅを期待値Ｂ１０７に出
力する。
容ａを期待値Ｂ１０７に出力し、ポインタｙ＋１バイト
目からポインタｙ＋３バイト目までを読みとばし、ポイ
ンタｙ＋４バイト目の指す内容ｅを期待値Ｂ１０７に出
力する。
この結果、動作出力値Ｂ１０６と期待値Ｂ１０７の内容
は、両方ともａｅとなる。
は、両方ともａｅとなる。
次に比較処理部１０８は動作出力値Ｂ１０６と期待値Ｂ
１０７とを入力し、比較を行う。この場合動作出力値Ｂ
１０６と期待値Ｂ１０７の内容は、両方ともａｅである
ので、第１図と第２図の比較結果情報１０９は、相違な
しとなる。
１０７とを入力し、比較を行う。この場合動作出力値Ｂ
１０６と期待値Ｂ１０７の内容は、両方ともａｅである
ので、第１図と第２図の比較結果情報１０９は、相違な
しとなる。
すなわち本実施例では、被検査プログラムの出力する期
待値と、被検査プログラムの出力する値との一部分を除
いて比較することにより、第３図に示すソフトウェアプ
ログラムの開発又は検査において、第５図の従来の比較
結果から相違がでてよい比較結果情報の除去３０５の作
業を検査者が目視で行う作業を削除することができ、１
回あたりのソフトウェアプログラムの検査後の確認の時
間を短縮するという効果と、検査の正確性を向上させる
という効果がある。
待値と、被検査プログラムの出力する値との一部分を除
いて比較することにより、第３図に示すソフトウェアプ
ログラムの開発又は検査において、第５図の従来の比較
結果から相違がでてよい比較結果情報の除去３０５の作
業を検査者が目視で行う作業を削除することができ、１
回あたりのソフトウェアプログラムの検査後の確認の時
間を短縮するという効果と、検査の正確性を向上させる
という効果がある。
上述したように本発明は、比較すべき期待値と被検査プ
ログラムの出力値の一部分とをマスクする手段と、前記
マスクする部分の範囲を指定する手段を有することによ
り、比較結果から相違がでてよい比較結果情報の除去を
行う必要がなくなる。
ログラムの出力値の一部分とをマスクする手段と、前記
マスクする部分の範囲を指定する手段を有することによ
り、比較結果から相違がでてよい比較結果情報の除去を
行う必要がなくなる。
また、通常、ソフトウェアプログラムの修正、検査、比
較結果の確認を何度か繰り返すため、本発明によりソフ
トウェアプログラムの開発または検査効率を大幅に向上
できるという効果がある。
較結果の確認を何度か繰り返すため、本発明によりソフ
トウェアプログラムの開発または検査効率を大幅に向上
できるという効果がある。
第１図は本発明の一実施例の検査プログラムを用いたソ
フトウェアプログラムの検査の流れ図、・検査フロー図
、第４図は従来の検査プログラムの一例のソフトウェア
プログラムの検査の流れ図、第５図は第４図のソフトウ
ェアプログラムの開発・検査フロー図である。 １０１・・・・・・検査データ、１０２・・・・・・被
検査プμグラム、１０３・・・・・・出力値Ａ、１０４
・・・・・・期待値Ａ、１０５・・・・・・マスク処理
部、１０６・・・・・・出力値Ｂ、、１０７・・・・・
・期待値Ｂ、１０８・・・・・・比較処理部、１０９・
・・・・・比較結果情報、１１０・・・・・・マスク範
囲情報解析部、１１１・・・・・・検査プログラム、１
１２・・・・・・指定されたマスク範囲情報、１１３・
・・・・・マスク範囲情報、２０１・・・・・・検査プ
ログラム、３０１・・・・・・ンフトウェアプログラム
作成、３０２・・・・・・ソフトウェアプログラムの検
査、３０３・・・・・・相違がでてはいけない比較結果
情報が存在するか？、３０４・・・・・・ソフトウェア
プログラムの修正、３０５・・・・・・比較結果情報か
ら相違がでてよい比較結果情報の除去、４０１・・・・
・・出力値Ａの先頭を指すポインタ、４０２・・・・・
・期待値への先頭を指すポインタ。
フトウェアプログラムの検査の流れ図、・検査フロー図
、第４図は従来の検査プログラムの一例のソフトウェア
プログラムの検査の流れ図、第５図は第４図のソフトウ
ェアプログラムの開発・検査フロー図である。 １０１・・・・・・検査データ、１０２・・・・・・被
検査プμグラム、１０３・・・・・・出力値Ａ、１０４
・・・・・・期待値Ａ、１０５・・・・・・マスク処理
部、１０６・・・・・・出力値Ｂ、、１０７・・・・・
・期待値Ｂ、１０８・・・・・・比較処理部、１０９・
・・・・・比較結果情報、１１０・・・・・・マスク範
囲情報解析部、１１１・・・・・・検査プログラム、１
１２・・・・・・指定されたマスク範囲情報、１１３・
・・・・・マスク範囲情報、２０１・・・・・・検査プ
ログラム、３０１・・・・・・ンフトウェアプログラム
作成、３０２・・・・・・ソフトウェアプログラムの検
査、３０３・・・・・・相違がでてはいけない比較結果
情報が存在するか？、３０４・・・・・・ソフトウェア
プログラムの修正、３０５・・・・・・比較結果情報か
ら相違がでてよい比較結果情報の除去、４０１・・・・
・・出力値Ａの先頭を指すポインタ、４０２・・・・・
・期待値への先頭を指すポインタ。
Claims (1)
- 被検査プログラムが出力する値の期待値と、前記被検査
プログラムの動作出力値とを比較することにより前記被
検査プログラムの動作を検証するソフトウェアプログラ
ムの検査方法において、前記被検査プログラムが出力す
る値の期待値と前記被検査プログラムの動作出力値の一
部分とをマスクする手段と、前記マスクするマスク部分
の範囲を指定する手段を備え、前記被検査プログラムの
期待値と前記被検査プログラムの動作出力値とを比較す
るときに、マスク指定した前記マスク部分を無視して比
較することを特徴とするソフトウェアプログラムの検査
方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1201654A JPH0363838A (ja) | 1989-08-02 | 1989-08-02 | ソフトウェアプログラムの検査方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1201654A JPH0363838A (ja) | 1989-08-02 | 1989-08-02 | ソフトウェアプログラムの検査方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0363838A true JPH0363838A (ja) | 1991-03-19 |
Family
ID=16444680
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1201654A Pending JPH0363838A (ja) | 1989-08-02 | 1989-08-02 | ソフトウェアプログラムの検査方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0363838A (ja) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0635754A (ja) * | 1992-07-13 | 1994-02-10 | Hitachi Ltd | 再テスト方法およびそのための装置 |
| WO2013108381A1 (ja) * | 2012-01-18 | 2013-07-25 | トヨタ自動車 株式会社 | 情報処理装置及び情報処理方法 |
| JP2013196702A (ja) * | 2012-03-16 | 2013-09-30 | Samsung Electronics Co Ltd | 再構成可能プロセッサの検証支援装置及び方法 |
Citations (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS51123230A (en) * | 1975-04-22 | 1976-10-27 | Kansai Paint Co Ltd | Inorganic composition for use in forming surface coating film |
| JPS5975957A (ja) * | 1982-10-22 | 1984-04-28 | Yoshiyuki Ogushi | 表面塗装剤 |
| JPH1088060A (ja) * | 1996-09-10 | 1998-04-07 | Yoshiyuki Ogushi | 表面塗装剤、及び、同塗装剤を用いたコンクリート構造体の表面補強工法 |
| JP2004527649A (ja) * | 2001-06-04 | 2004-09-09 | ピグメンタン・アンチコローシヴ・ピグメンツ・フォー・ペインツ・リミテッド | 錆び止め顔料およびその製造方法 |
| US20050164169A1 (en) * | 2004-01-27 | 2005-07-28 | Henryk Malak | Method of plasmon-enhanced properties of materials and applications thereof |
| JP2007169360A (ja) * | 2005-12-20 | 2007-07-05 | Tokuyama Corp | 被覆組成物用原液 |
| WO2007086383A1 (ja) * | 2006-01-24 | 2007-08-02 | Nihon Parkerizing Co., Ltd. | 結晶性層状無機化合物がナノシート分散した表面処理剤 |
| JP2011068868A (ja) * | 2009-08-24 | 2011-04-07 | Kikusui Chemical Industries Co Ltd | 防錆塗料 |
| JP2013133340A (ja) * | 2011-12-22 | 2013-07-08 | Basf Japan Ltd | クロムフリー塗料組成物及びこれを塗装して得られる塗膜 |
-
1989
- 1989-08-02 JP JP1201654A patent/JPH0363838A/ja active Pending
Patent Citations (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS51123230A (en) * | 1975-04-22 | 1976-10-27 | Kansai Paint Co Ltd | Inorganic composition for use in forming surface coating film |
| JPS5975957A (ja) * | 1982-10-22 | 1984-04-28 | Yoshiyuki Ogushi | 表面塗装剤 |
| JPH1088060A (ja) * | 1996-09-10 | 1998-04-07 | Yoshiyuki Ogushi | 表面塗装剤、及び、同塗装剤を用いたコンクリート構造体の表面補強工法 |
| JP2004527649A (ja) * | 2001-06-04 | 2004-09-09 | ピグメンタン・アンチコローシヴ・ピグメンツ・フォー・ペインツ・リミテッド | 錆び止め顔料およびその製造方法 |
| US20050164169A1 (en) * | 2004-01-27 | 2005-07-28 | Henryk Malak | Method of plasmon-enhanced properties of materials and applications thereof |
| JP2007169360A (ja) * | 2005-12-20 | 2007-07-05 | Tokuyama Corp | 被覆組成物用原液 |
| WO2007086383A1 (ja) * | 2006-01-24 | 2007-08-02 | Nihon Parkerizing Co., Ltd. | 結晶性層状無機化合物がナノシート分散した表面処理剤 |
| JP2011068868A (ja) * | 2009-08-24 | 2011-04-07 | Kikusui Chemical Industries Co Ltd | 防錆塗料 |
| JP2013133340A (ja) * | 2011-12-22 | 2013-07-08 | Basf Japan Ltd | クロムフリー塗料組成物及びこれを塗装して得られる塗膜 |
| US20140349121A1 (en) * | 2011-12-22 | 2014-11-27 | BASF Coating GmbH | Chromium-Free Paint Composition And Paint Films Obtained By Coating Same |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0635754A (ja) * | 1992-07-13 | 1994-02-10 | Hitachi Ltd | 再テスト方法およびそのための装置 |
| WO2013108381A1 (ja) * | 2012-01-18 | 2013-07-25 | トヨタ自動車 株式会社 | 情報処理装置及び情報処理方法 |
| US10157241B2 (en) | 2012-01-18 | 2018-12-18 | Toyota Jidosha Kabushiki Kaisha | Information processing device and information processing method |
| JP2013196702A (ja) * | 2012-03-16 | 2013-09-30 | Samsung Electronics Co Ltd | 再構成可能プロセッサの検証支援装置及び方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH0363838A (ja) | ソフトウェアプログラムの検査方法 | |
| US20010056571A1 (en) | Difference engine method and apparatus | |
| JPH10240575A (ja) | 大量データファイル一括更新処理プログラムの検査方法 | |
| JPH0895826A (ja) | プログラムテスト方法 | |
| JPH01177165A (ja) | 配列の定義／引用関係検査方式 | |
| JPS63174130A (ja) | 値が未設定の変数名の検出方式 | |
| KR102610914B1 (ko) | 히스테리시스 곡선으로부터 테스트 시나리오 자동 생성 방법 | |
| JPH0363837A (ja) | ソフトウェアプログラムの検査方式 | |
| JP2560545B2 (ja) | インタフェース検査処理装置 | |
| JPH01154256A (ja) | プログラムのエラー位置検出方法 | |
| JP2815178B2 (ja) | コンパイラ装置 | |
| JP2795332B2 (ja) | ループ処理誤り検出装置 | |
| JPH01261737A (ja) | 言語プロセッサの検査自動管理方式 | |
| JPH04236636A (ja) | 対話型システムの検査方法 | |
| JPH04160648A (ja) | 自動システム検査装置 | |
| JPH06195242A (ja) | プログラムの走行ステップ確認方法 | |
| JPH01155438A (ja) | コンパイラ試験方式 | |
| JPS63131239A (ja) | プログラムの品質判定方法 | |
| JPH03257637A (ja) | チェック項目自動抽出機構 | |
| JPH04115331A (ja) | 対話型アプリケーションシステムの検査方式 | |
| JPH0350640A (ja) | 実行用プログラムのトレース情報編集方式 | |
| JPH02224136A (ja) | コンパイルユニットの検査方式 | |
| JPH0355633A (ja) | モジュール間インタフェイス検査装置 | |
| JPH03278140A (ja) | ソフトウェアプログラムの検査方式 | |
| JPH04312130A (ja) | 言語処理プログラム |