JP6542148B2 - 情報処理装置、情報処理方法およびプログラム - Google Patents

情報処理装置、情報処理方法およびプログラム Download PDF

Info

Publication number
JP6542148B2
JP6542148B2 JP2016056209A JP2016056209A JP6542148B2 JP 6542148 B2 JP6542148 B2 JP 6542148B2 JP 2016056209 A JP2016056209 A JP 2016056209A JP 2016056209 A JP2016056209 A JP 2016056209A JP 6542148 B2 JP6542148 B2 JP 6542148B2
Authority
JP
Japan
Prior art keywords
correction
data
factors
factor
rewriting
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.)
Active
Application number
JP2016056209A
Other languages
English (en)
Other versions
JP2017173916A (ja
Inventor
洋美 春木
洋美 春木
福友 中西
福友 中西
方明 趙
方明 趙
慧 青木
慧 青木
達之 松下
達之 松下
俊成 高橋
俊成 高橋
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Toshiba Corp
Original Assignee
Toshiba Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Toshiba Corp filed Critical Toshiba Corp
Priority to JP2016056209A priority Critical patent/JP6542148B2/ja
Priority to US15/390,984 priority patent/US10521320B2/en
Publication of JP2017173916A publication Critical patent/JP2017173916A/ja
Application granted granted Critical
Publication of JP6542148B2 publication Critical patent/JP6542148B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing
    • G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences ; with adaptation of the tested hardware for testability with external testers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing
    • G06F11/273—Tester hardware, i.e. output processing circuits
    • G06F11/2733—Test interface between tester and unit under test
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing
    • G06F11/27—Built-in tests
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/12—Transmitting and receiving encryption devices synchronised or initially set up in a particular manner

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Debugging And Monitoring (AREA)

Description

本発明の実施形態は、情報処理装置、情報処理方法およびプログラムに関する。
近年、重要インフラに対する攻撃事例の増加に伴い、システム内の脆弱性をできる限り排除することが求められている。脆弱性の有無を確認する手法の１つとして、ファジング検査と呼ばれる検査手法が利用されている。ファジング検査は、検査対象の機器を正常に動作させるための正常データをベースに、正常データの各因子（パラメータ）を書き換えたテストデータを用いて検査を行う手法である。また、ファジング検査を行うためには、因子の書き換えに加え、テストデータ（最終的なパケット）として正しいデータとなるように補正する場合があることが知られている。たとえば、検査に用いるテストデータにＣＲＣ３２のデータが含まれる場合、書き換えられたデータに対してＣＲＣ３２の計算を行い、その計算結果を反映させる必要がある。
米国特許出願公開第２００７／０２０３９７３号明細書 特開２００９−１１６８４７号公報
しかしながら、ファジング検査を行うための書き換え処理と補正処理の組み合わせによっては、適切に検査できない場合がある。例えばＣＲＣ３２を含むテストデータを用いた検査において、書き換え処理によってＣＲＣ３２のデータを書き換えた後に、補正処理によって書き換え後のＣＲＣ３２のデータを補正すると、書き換え処理の効果が失われてしまい、適切に検査できないといった問題がある。
実施形態の情報処理装置は、書き換え部と補正部と決定部とを備える。書き換え部は、対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する。補正部は、対象装置の検査に用いるテストデータを生成する過程で行う補正処理を実行する。決定部は、書き換え処理の対象となる因子を示す書き換え部分と、補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する。
第１の実施形態の情報処理システムの構成を示す図。 第１の実施形態のテストデータ生成装置のハードウェア構成を示す図。 第１の実施形態のテストデータ生成装置が有する機能を示す図。 第１の実施形態のテストデータ生成装置の動作例を示す図。 第１の実施形態で用いられるデータの具体例を示す図。 第２の実施形態の情報処理システムの構成を示す図。 第２の実施形態の検査対象装置が有する機能を示す図。 第２の実施形態の検査対象装置が処理するデータを示す図。 第２の実施形態のテストデータ生成装置が有する機能を示す図。 第２の実施形態のテストデータ生成装置の動作例を示す図。 第２の実施形態で用いられるデータの具体例を示す図。 第３の実施形態の情報処理システムの構成を示す図。 第３の実施形態の検査対象装置が有する機能を示す図。 第３の実施形態の検査対象装置が処理するデータを示す図。 第３の実施形態のテストデータ生成装置が有する機能を示す図。 第３の実施形態のテストデータ生成装置の動作例を示す図。 第３の実施形態で用いられるデータの具体例を示す図。 第３の実施形態の検査対象装置が処理するデータを示す図。 変形例のテストデータ生成装置が有する機能を示す図。 変形例の雛形データの生成方法を説明するための図。 第４の実施形態の情報処理システムの構成の一例を示す図。 第４の実施形態のテストデータ生成装置が有する機能を示す図。 第４の実施形態の演算依存関係を示す図。 第４の実施形態の正規データを示す図。 第４の実施形態のテストデータ生成装置の動作例を示す図。 第４の実施形態のデータ補正処理を説明するための図。
以下、添付図面を参照しながら、実施形態に係る情報処理装置、情報処理方法およびプログラムの実施形態を詳細に説明する。
（第１の実施形態）
図１は、本実施形態の情報処理システム１０の概略構成の一例を示す図である。図１に示すように、情報処理システム１０は、テストデータ生成装置１００と、検査対象装置９００とを含む。テストデータ生成装置１００は、「情報処理装置」の一例であり、検査対象装置９００を検査するためのテストデータを生成し、生成したテストデータを検査対象装置９００へ送信する。検査対象装置９００は、「対象装置」の一例であり、製品としてリリースされる装置を想定している。検査対象装置９００は、テストデータ生成装置１００からテストデータを受信すると、その受信したテストデータに基づいて動作し、その動作結果を示す動作結果情報をテストデータ生成装置１００へ返信する。テストデータ生成装置１００は、検査対象装置９００から受け取った動作結果情報を解析することで、不具合を引き起こす原因等を推定することができる。
図２は、テストデータ生成装置１００のハードウェア構成の一例を示す図である。図２に示すように、テストデータ生成装置１００は、ＣＰＵ１１と、ＲＯＭ１２と、ＲＡＭ１３と、表示装置１４と、入力装置１５と、Ｉ／Ｆ部１６とを備え、これらはバス１７を介して相互に接続される。
ＣＰＵ１１は、テストデータ生成装置１００の動作を統括的に制御する。ＲＯＭ１２は、プログラムや各種のデータを記憶する不揮発性のメモリである。ＲＡＭ１３は、ＣＰＵ１１が実行する各種の演算の処理の作業領域（ワークエリア）として機能する揮発性のメモリである。表示装置１４は、各種の情報を表示するディスプレイ装置であり、例えば液晶型ディスプレイ装置で構成される。入力装置１５は、各種の操作に用いられる装置であり、例えばマウスやキーボード等で構成される。Ｉ／Ｆ部１６は、検査対象装置９００等の外部機器と接続するためのインタフェースである。例えばインターネットなどのネットワークを介して検査対象装置９００と接続される形態であってもよい。
図３は、テストデータ生成装置１００が有する機能の一例を示す図である。図３に示すように、テストデータ生成装置１００は、正規データ記憶部１０１０、書き換え部分決定部１０２０、書き換え部１０３０、決定部１０４０、補正部１０５０、テストデータ記憶部１０６０を有する。
正規データ記憶部１０１０は、検査対象装置９００を正常に動作させるための正規データ（「データ」の一例）を記憶する。テストデータ生成装置１００は、この正規データに基づいてテストデータを生成する。
書き換え部分決定部１０２０は、正規データのうち書き換える部分である書き換え部分を決定する。例えば書き換え部分決定部１０２０は、正規データに含まれる複数の因子（パラメータ）の中から、書き換え対象の因子をランダムに選択してもよい。このように選択された１以上の因子（書き換え対象の因子）が書き換え部分となる。
書き換え部１０３０は、正規データに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する。この例では、書き換え部１０３０は、正規データのうち、書き換え部分決定部１０２０により決定された書き換え部分に対して書き換え処理を実行する。以下では、書き換え部１０３０による書き換え処理が行われた正規データを「書き換え済みデータ」と称する場合がある。
決定部１０４０は、書き換え処理の対象となる因子を示す書き換え部分（書き換え部分決定部１０２０により決定された書き換え部分）と、後述の補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する。ここでは、正規データに含まれる複数の因子のうち、後述の補正処理の対象となる因子は予め定められている。本実施形態では、決定部１０４０は、書き換え部分であり、かつ、補正部分でもある因子については後述の補正処理を実行しないことを決定する。そして、その決定結果を示す決定情報を、補正部１０５０へ送信する。
補正部１０５０は、検査対象装置９００の検査に用いるテストデータ（検査対象装置９０に与えて該検査対象装置９００を動作させるためのテストデータ）を生成する過程で行う補正処理を実行する。この例では、補正部１０５０は、決定部１０４０からの決定情報に基づいて、上述の書き換え済みデータに対して補正処理を実行する。補正部１０５０は、書き換え済みデータに含まれる複数の因子のうち、予め定められた補正部分であっても、決定情報により補正処理を実行しないことが示されている因子については補正処理を実行しない。すなわち、補正部１０５０は、書き換え済みデータに含まれる複数の因子のうち、決定情報により補正処理を実行しないことが示されている因子以外の因子であって、かつ、予め定められた補正部分の因子についてのみ補正処理を実行することになる。
補正処理は、典型的には、検査対象装置９０との通信に関する補正である。例えば補正処理としては、検査対象装置９００との通信に用いる通信情報（シーケンス番号やＩＰアドレス等の識別子を含む）を修正する処理などが挙げられるが、これに限らず、例えば暗号化や圧縮などを含む可逆変換処理であってもよい。
以上の補正処理が施された書き換え済みデータがテストデータとなり、テストデータ記憶部１０６０に記憶される。テストデータ生成装置１００は、テストデータ記憶部１０６０に保存されたテストデータを検査対象装置９００に送信し、検査を実行する。
以上に説明したテストデータ生成装置１００が有する機能（書き換え部分決定部１０２０、書き換え部１０３０、決定部１０４０、補正部１０５０）は、ＣＰＵ１１がＲＯＭ１２等に格納されたプログラムを実行することにより実現されるが、これに限らず、例えば上述した機能のうちの少なくとも一部が専用のハードウェア回路（半導体集積回路等）で実現される形態であってもよい。また、上述の正規データ記憶部１０１０やテストデータ記憶部１０６０は、例えばＲＯＭ１２で実現されてもよいし、例えばＨＤＤなどの補助記憶装置で実現されてもよい。
図４は、テストデータを生成する場合のテストデータ生成装置１００の動作例を示すフローチャートである。図４に示すように、書き換え部分決定部１０２０は、正規データのうち書き換える部分である書換え部分を決定する（ステップＳ１５００）。そして、書き換え部１０３０と決定部１０４０に対して、決定した書き換え部分を通知する。
次に、書き換え部１０３０は、正規データ記憶部１０１０から正規データを読み出し（ステップＳ１５１０）、書き換え部分決定部１０２０から通知された書き換え部分に基づいて、正規データを書き換える書き換え処理を実行する（ステップＳ１５２０）。これにより得られた書き換え済みデータを補正部１０５０へ渡す。
次に、決定部１０４０は、書き換え部分決定部１０２０から通知された書き換え部分と、予め定められた上述の補正部分とに基づいて、各因子に対する補正処理の実行の可否を決定する（ステップＳ１５３０）。上述したように、書き換え部分であり、かつ、補正部分でもある因子については補正処理を実行しないことを決定する。そして、その決定結果を示す決定情報を補正部１０５０へ送信する。
補正部１０５０は、決定部１０４０から受信した決定情報に基づいて、書き換え部１０３０から渡された書き換え済みデータに対して補正処理を実行する（ステップＳ１５４０）。上述したように、補正部１０５０は、書き換え済みデータに含まれる複数の因子のうち、決定部１０４０から受信した決定情報により補正処理を実行しないことが示されている因子以外の因子であって、かつ、予め定められた補正部分の因子についてのみ補正処理を実行することになる。
そして、補正部１０５０は、ステップＳ１５４０の結果で得られたテストデータをテストデータ記憶部１０６０に保存する（ステップＳ１５５０）。
図５は、正規データ１９００、書き換え済みデータ（１９１０，１９３０）、テストデータ（１９２０，１９４０）の一例を示す図である。図５の例では、各データは、４つの因子（パラメータ）を含み、正規データ１９００に含まれる４つの因子と、書き換え済みデータ（１９１０，１９３０）に含まれる４つの因子と、テストデータ（１９２０，１９４０）に含まれる４つの因子とは、互いに対応している。例えば図５の（Ａ）において、正規データ１９００に含まれる第１番目の因子１９０１は、書き換え済みデータ１９１０に含まれる第１番目の因子１９０１、および、テストデータ１９２０に含まれる第１番目の因子１９２１に対応（それぞれの値は異なるもののパラメータとしては共通）している。他の因子についても同様である。
ここでは、図５の（Ａ）および（Ｂ）の何れにおいても、第１番目の因子である第１因子が補正部分である場合を想定している。図５の（Ａ）では、書き換え部分決定部１０２０は、第２番目の因子である第２因子を書き換え部分として決定し、図５の（Ｂ）では、書き換え部分決定部１０２０は、第１因子を書き換え部分として決定している場合を想定している。
図５の（Ａ）の場合、４つの因子のうち、書き換え部分であり、かつ、補正部分でもある因子は存在しないので、書き換え部１０３０は、正規データ１９００に含まれる４つの因子のうち第２因子である因子１９０２を因子１９１２に書き換えて（パラメータの値を書き換えて）書き換え済みデータ１９１０を生成する。そして、補正部１０５０は、書き換え済みデータ１９１０に含まれる４つの因子のうち第１因子である因子１９０１を因子１９２１に補正して（パラメータの値を補正して）テストデータ１９２０を生成する。
また、図５の（Ｂ）の場合、４つの因子のうち、第１因子は、書き換え部分であり、かつ、補正部分でもあるので、まず書き換え部１０３０は、正規データ１９００に含まれる４つの因子のうち第１因子である因子１９０１を因子１９３１に書き換えて（パラメータの値を書き換えて）書き換え済みデータ１９３０を生成する。そして、補正部１０５０は、書き換え済みデータ１９３０に含まれる４つの因子のうち第１因子である因子１９３１に対する補正処理を行わずに、書き換え済みデータ１９３０をそのままテストデータ１９４０とする。
以上に説明したように、本実施形態のテストデータ生成装置１００は、書き換え処理の対象となる因子を示す書き換え部分と、補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する。より具体的には、書き換え部分であり、かつ、補正部分でもある因子については補正処理を実行しない。これにより、補正処理によって書き換え処理の効果が失われてしまうことを回避できるので、検査対象装置９００の検査を適切に行うことができるという利点がある。
（第１の実施形態の変形例）
上述の第１の実施形態では、正規データの書き換え処理を実行した後に、書き換え済みデータに含まれる因子の中に、書き換え部分であり、かつ、補正部分である因子が存在するか否かを判定しているが、この順は逆であってもよい。つまり、書き換え部分を決定して、正規データに含まれる因子の中に、書き換え部分であり、かつ、補正部分である因子が存在するか否かを判定した後に、書き換え処理、及び、補正処理を実行する形態であってもよい。
（第２の実施形態）
本実施形態では、上述の補正処理として、暗号化などの可逆変換を行う場合を例に挙げて説明する。なお、上述の第１の実施形態と共通する部分については、同一の符号を付して適宜説明を省略する。
図６は、本実施形態の情報処理システム２０の概略構成の一例を示す図である。図６に示すように、情報処理システム２０は、テストデータ生成装置２００と、検査対象装置９２０とを含む。テストデータ生成装置２００は、「情報処理装置」の一例であり、検査対象装置９００を検査するためのテストデータを生成し、生成したテストデータを検査対象装置９００へ送信する。検査対象装置９２０は、「対象装置」の一例であり、製品としてリリースされる装置を想定している。検査対象装置９２０は、テストデータ生成装置２００からテストデータを受信すると、その受信したテストデータに基づいて動作し、その動作結果を示す動作結果情報をテストデータ生成装置２００へ返信する。テストデータ生成装置２００は、検査対象装置９２０から受け取った動作結果情報を解析することで、不具合を引き起こす原因等を推定することができる。
図７は、検査対象装置９２０が有する機能の一例を示す図である。説明の便宜上、ここでは、検査対象装置９２０のハードウェア構成は、図２と同様の構成であり、検査対象装置９２０が有する機能は、ＣＰＵ１１がＲＯＭ１２等に格納されたプログラムを実行することにより実現されてもよいし、専用のハードウェア回路（半導体集積回路等）で実現されてもよい。
図７に示すように、検査対象装置９２０は、逆変換処理部９２１０と因子読み出し部９２２０とを有する。逆変換処理部９２１０は、テストデータ生成装置２００から送られてきたテストデータに対して逆変換処理を行い、逆変換処理により得られたデータを示す逆変換済みデータを因子読み出し部９２２０へ渡す。因子読み出し部９２２０は、逆変換処理部９２１０から受け取った逆変換済みデータに含まれる各因子の値を読み出し、処理を行う。
図８は、テストデータ生成装置２００から送られてきたテストデータ、つまり、逆変換処理部９２１０に入力される入力データ２９１、および、逆変換処理部９２１０による逆変換で得られた逆変換済みデータ２９０の一例を示す図である。図８の例では、入力データ２９１は、因子２９０１、因子２９１２、因子２９１３、因子２９１４を含む。因子２９１２、因子２９１３、および、因子２９１４の各々の値は、逆変換に対応する何らかの変換（例えば暗号化等）が施された値である。
一方、逆変換済みデータ２９０は、因子２９０１、因子２９０２、因子２９０３、因子２９０４を含む。因子２９０２、因子２９０３、および、因子２９０４の各々の値は、逆変換処理部９２１０によって逆演算された値であり、たとえば、因子２９０２の値は、因子２９１２の値から逆変換された値である。ここで、検査対象装置９２０の検査という観点からすると、逆変換処理部９２１０に対する検査を行うためには、因子２９１２などに対して検査用のデータを与える必要がある一方、因子読み出し部９２２０に対する検査を行うためには、因子２９０２などに対して検査用のデータを与える必要がある。つまり、検査対象装置９２０の各部を検査するためにはそれにあわせた検査が必要となる。特に、検査対象装置９２０が可逆変換処理を含む場合には、逆変換処理と因子読み出し処理を検査するための因子（パラメータ）が同一の項目（値は異なる）であることから、それぞれを検査するためのテストデータが必要となる。
図９は、テストデータ生成装置２００が有する機能の一例を示す図である。図９に示すように、テストデータ生成装置２００は、正規データ記憶部１０１０、書き換え部分決定部１０２０、決定部２０４０、データ処理部２１００、テストデータ記憶部１０６０を有する。また、データ処理部２１００は、書き換え部１０３０、補正部２０５０を有する。
正規データ記憶部１０１０、書き換え部分決定部１０２０の機能は上述の第１の実施形態と同様であるので、詳細な説明は省略する。決定部２０４０は、上述の書き換え部分であり、かつ、上述の補正部分でもある因子が存在する場合、２種類のテストデータを生成することを決定する。より具体的には、決定部２０４０は、正規データに対して書き換え処理を行った後に補正処理を行って得られる第１のテストデータと、正規データに対して補正処理を行った後に書き換え処理を行って得られる第２のテストデータと、を生成することを決定する。本実施形態の補正処理は、可逆変換を行う処理であり、この例では可逆変換は暗号化であるが、これに限らず例えば圧縮であってもよい。決定部２０４０は、上述の決定の結果を示す決定情報をデータ処理部２１００へ渡す。
データ処理部２１００は、決定部２０４０から受け取った決定情報に基づいて、正規データからテストデータを生成する。データ処理部２１００は、書き換え部１０３０および補正部２０５０を利用してテストデータを生成する。書き換え部１０３０の機能は上述の第１の実施形態で説明した内容と同様である。また、ここでは、補正部２０５０が実行する補正処理は、補正部分（補正対象の因子）に対して可逆変換を行う処理である。
図１０は、テストデータを生成する場合のテストデータ生成装置２００の動作例を示すフローチャートである。図１０に示すように、書き換え部分決定部１０２０は、正規データのうち書き換える部分である書換え部分を決定する（ステップＳ２５００）。そして、書き換え部分決定部１０２０は、決定部２０４０に対して、決定した書き換え部分を通知する。
決定部２０４０は、書き換え部分決定部１０２０から通知された書換え部分であり、かつ、予め定められた補正部分でもある因子が存在するか否かを判断する（ステップＳ２５１０）。この例では、決定部２０４０は、正規データに含まれる複数の因子の中に、上述の書き換え部分であり、かつ、上述の補正部分でもある因子が存在するか否かを判断する。
ステップＳ２５１０の判断結果が肯定の場合（ステップＳ２５１０：Ｙｅｓ）、決定部２０４０は、上述の第１のテストデータおよび上述の第２のテストデータを生成することを決定し（ステップＳ２５２０）、その決定結果を示す決定情報をデータ処理部２１００へ渡す。この決定情報を受け取ったデータ処理部２１００は、決定情報に基づいて、第１のテストデータおよび第２のテストデータを生成する（ステップＳ２５３０）。
第１のテストデータを生成する場合の手順は以下のとおりである。データ処理部２１００は、正規データ記憶部１０１０から正規データを読み出し、その読み出した正規データのうち、上述の書き換え部分を書き換える書き換え処理を書き換え部１０３０に実行させて、書き換え済みデータを得る。なお、データ処理部２１００が書き換え部分を把握する方法は任意である。例えば決定部２０４０から通知される決定情報の中に、書き換え部分を示す情報が含まれていてもよいし、例えば書き換え部分決定部１０２０から、書き換え部分の通知を受ける形態であってもよい。そして、データ処理部２１００は、書き換え済みデータのうち、予め定められた補正部分を補正する補正処理を補正部２０５０に実行させて、第１のテストデータを得る。
また、第２のテストデータを生成する場合の手順は以下のとおりである。データ処理部２１００は、正規データ記憶部１０１０から正規データを読み出し、その読み出した正規データのうち、予め定められた補正部分を補正する補正処理を補正部２０５０に実行させて、補正済みデータを得る。そして、データ処理部２１００は、補正済みデータのうち、上述の書き換え部分を書き換える書き換え処理を書き換え部１０３０に実行させて、第２のテストデータを得る。
一方、上述のステップＳ２５１０の結果が否定の場合（ステップＳ２５１０：Ｎｏ）、決定部２０４０は、上述の第１のテストデータのみを生成することを決定し（ステップＳ２５４０）、その決定結果を示す決定情報をデータ処理部２１００へ渡す。この決定情報を受け取ったデータ処理部２１００は、決定情報に基づいて、第１のテストデータを生成する（ステップＳ２５５０）。第１のテストデータを生成する手順は、上述したとおりである。
そして、データ処理部２１００は、上述のステップＳ２５３０または上述のステップＳ２５５０で得たテストデータをテストデータ記憶部１０６０に保存する（ステップＳ２５６０）。
図１１は、正規データ（２９００）、書換え済みデータ（２９１０，２９５０）、補正済みデータ（２９３０）、テストデータ（２９２０，２９４０，２９６０）の一例を示す図である。この例では、各データは、４つの因子（パラメータ）を含み、正規データ２９００に含まれる４つの因子と、書き換え済みデータ（２９１０，２９５０）に含まれる４つの因子と、補正済みデータ２９３０に含まれる４つの因子と、テストデータ（２９２０，２９４０，２９６０）に含まれる４つの因子とは、互いに対応している。
ここでは、図１１の（Ａ）および（Ｂ）の何れにおいても、第２番目の因子である第２因子、第３番目の因子である第３因子、第４番目の因子である第４因子が補正部分である場合を想定している。図１１の（Ａ）では、書き換え部分決定部１０２０は、第１番目の因子である第１因子を書き換え部分として決定し、図１１の（Ｂ）では、書き換え部分決定部１０２０は、第２因子を書き換え部分として決定している場合を想定している。
図１１の（Ａ）の場合、４つの因子のうち、書き換え部分であり、かつ、補正部分でもある因子は存在しないので、データ処理部２１００は、書き換え部１０３０を利用して、正規データ２９００に含まれる４つの因子のうち、第１因子である因子２９０１を因子２９８１に書き換えて（パラメータの値を書き換えて）書き換え済みデータ２９１０を生成する。そして、データ処理部２１００は、補正部２０５０を利用して、書き換え済みデータ２９１０に含まれる４つの因子のうち、第２因子である因子２９０２を因子２９１２に補正（パラメータの値を暗号化）し、第３因子である因子２９０３を因子２９１３に補正し、第４因子である因子２９０４を因子２９１４に補正して、テストデータ２９２０を生成する。
また、図１１の（Ｂ）の場合、４つの因子のうち、第２因子は、書き換え部分であり、かつ、補正部分でもあるので、データ処理部２１００は、補正部２０５０を利用して、正規データ２９００に含まれる４つの因子のうち、第２因子である因子２９０２を因子２９１２に補正（パラメータの値を暗号化）し、第３因子である因子２９０３を因子２９１３に補正し、第４因子である因子２９０４を因子２９１４に補正して、補正済みデータ２９３０を生成する。また、データ処理部２１００は、書き換え部１０３０を利用して、正規データ２９００に含まれる４つの因子のうち、第２因子である因子２９０２を因子２９８２に書き換えて書き換え済みデータ２９５０を生成する。
そして、データ処理部２１００は、書き換え部１０３０を利用して、上述の補正済みデータ２９３０に含まれる４つの因子のうち、第２因子である因子２９１２を因子２９２２に書き換えて第２のテストデータ２９４０を生成する。また、データ処理部２１００は、補正部２０５０を利用して、上述の書き換え済みデータ２９５０に含まれる４つの因子のうち、第２因子である因子２９８２を因子２９９２に補正し、第３因子である因子２９０３を因子２９１３に補正し、第４因子である因子２９０４を因子２９１４に補正して、第１のテストデータ２９６０を生成する。
以上のように、本実施形態のテストデータ生成装置２００は、正規データに含まれる因子の中に、書き換え部分であり、かつ、補正部分でもある因子が存在する場合は、正規データに対して書き換え処理を行った後に補正処理（この例では暗号化）を行って得られる第１のテストデータと、正規データに対して補正処理を行った後に書き換え処理を行って得られる第２のテストデータと、を生成する。これにより、検査対象装置９２０の各部に合わせたテストデータを生成することができるので、検査対象装置９２０の各部を適切に検査することを可能にする。
（第２の実施形態の変形例）
上述の第２の実施形態では、補正処理は可逆変換を行う処理であり、可逆変換は暗号化であったが、これに限られるものではなく、補正処理は可逆変換であれば何でもよい。例えば、可逆変換（補正処理）が圧縮であり、逆変換処理部９２１０による逆変換が解凍であってもよい。
また、上述の第２の実施形態では、データ処理部２１００による書き換え処理や補正処理を実行する前に、書き換え部分であり、かつ、補正部分である因子が存在するか否かを判定しているが、この順は逆であってもよい。つまり、上述の第１の実施形態と同様にしてテストデータを生成した後に、書き換え部分であり、かつ、補正部分である因子が存在するか否かを判定してもよい。この判定結果が肯定の場合、追加のテストデータを生成することになる。
（第３の実施形態）
本実施形態では、所定のデータ（ここでは、上述の正規データに相当するデータ）に含まれる複数の因子のうちの一部の因子に対して補正処理（この例では暗号化）が行われた補正済みデータと、補正前の因子（補正のための計算過程の値を示す因子であってもよいし、補正前の元の値を示す因子であってもよい）と、を含む雛形データが書き換え対象である点で上述の第２の実施形態と相違する。なお、上述の第２の実施形態と共通する部分については、適宜に説明を省略する。
図１２は、本実施形態の情報処理システム３０の構成の一例を示す図である。図１２に示すように、情報処理システム３０は、テストデータ生成装置３００と、検査対象装置９３０とを含む。
図１３は、検査対象装置９３０が有する機能の一例を示す図である。検査対象装置９３０は、逆変換処理部９３１０と、因子読出し部９３２０と、因子処理部９３４０とを有する。
逆変換処理部９３１０は、テストデータ生成装置３００から送られてきたデータに対して逆変換を行い、因子読出し部９３２０に逆変換済みデータを送信する。因子読出し部９３２０は、逆変換処理部９３１０から受信した逆変換済みのデータに対し、各因子の値を読み出し、因子処理部９３４０に読み出した値を送信する。因子処理部９３４０は、因子読出し部９３２０から受信した因子に対して機器固有の処理を行う。
図１４は、テストデータ生成装置３００から送られてきたデータ、つまり、逆変換処理部９３１０に入力される入力データ３９１と、逆変換処理部９３１０によって逆変換されたデータである逆変換済みデータ３９０の一例を示している。図１４の例では、入力データ３９１は、因子３９０１、因子３９１２を含む。因子３９１２の値は、何らかの可逆な変換（例えば暗号化演算）が施された値である。一方、逆変換済みデータ３９０は、因子３９０１、因子３９０２を含む。因子３９０２の値は、逆変換処理部９３１０によって因子３９１２から逆演算された値を示す。
ここで検査対象装置９３０の検査という観点からすると、逆変換処理部９３１０に対する検査を行うためには、因子３９１２に対し検査用のデータを与える必要がある。一方、因子処理部９３４０に対する検査を行うためには、因子３９０２に対し検査用のデータを与える必要がある。因子３９０２に検査用のデータを与えるためには、因子３９１２の値を因子３９０２から変換した値に設定することにより、逆変換処理部９３１０に因子３９０２を生成させなければならない。
図１５は、本実施形態のテストデータ生成装置３００が有する機能の一例を示す図である。図１５に示すように、テストデータ生成装置３００は、雛形データ記憶部３０１０、書き換え部分決定部３０２０、書き換え部３０３０、決定部３０４０、データ処理部３０５０、抽出部３０７０、テストデータ記憶部１０６０を有する。また、データ処理部３０５０は、補正部３０５１、置換部３０５２を有する。
雛形データ記憶部３０１０は、補正済みデータと、内部データとを含む雛形データを記憶する。この例では、補正済みデータは、上述の各実施形態の正規データに相当する所定のデータに含まれる複数の因子のうちの一部の因子に対して暗号化処理（補正処理の一例）が行われたデータである。また、内部データは、暗号化前の因子（補正前の因子）を含むデータである。なお、暗号化前の因子（補正前の因子の一例）とは、暗号化前の元の値を示す因子であってもよいし、暗号化のための途中の計算過程の値を示す因子であってもよい。
書き換え部分決定部３０２０は、雛形データのうち書き換える部分である書き換え部分を決定する。書き換え部３０３０は、書き換え部分に基づいて雛形データを書き換え、書き換え済みデータを生成する。この例では、書き換え部３０３０は、雛形データのうち、書き換え部分決定部３０２０により決定された書き換え部分に対して書き換え処理を実行する。ここでは、書き換え部分になりうるのは、雛形データに含まれる補正済みデータまたは内部データ、もしくはその両方である。
決定部３０４０は、雛形データに含まれる内部データ（補正前の因子）が書き換え部分である場合は、内部データに対して書き換え処理を行った後に補正処理を行って得られる置換データ（置換因子）を、補正済みデータに含まれる因子のうち内部データに対応する因子と置き換えて得られる置換済みデータに基づいて、テストデータを生成することを決定する。
データ処理部３０５０は、決定部３０４０の決定に基づいて、書き換え部３０３０から入力される書き換え済みデータを処理する。例えば決定部３０４０が、上述の置換済みデータを生成することを決定した場合、データ処理部３０５０は、補正部３０５１を利用して、書き換え済みデータに含まれる内部データ（この例では書き換え済みの内部データ）を補正して置換データを生成した後に、置換部３０５２を利用して、書き換え済みデータに含まれる因子（補正済みデータに含まれる因子と考えてもよい）のうち内部データに対応する因子を置換データに置き換えて置換済みデータを生成する。そして、その生成した置換済みデータを抽出部３０７０へ渡す。また、例えば決定部３０４０が、上述の置換済みデータを生成しないことを決定した場合、データ処理部３０５０は、書き換え部３０３０から入力される書き換え済みデータに対しては何も処理を行わずに、そのまま抽出部３０７０へ渡す。
抽出部３０７０は、データ処理部３０５０から渡されたデータのうち、内部データ以外の部分をテストデータとして抽出し、テストデータ記憶部１０６０に保存する。
図１６は、テストデータを生成する場合のテストデータ生成装置３００の動作例を示すフローチャートである。図１６に示すように、書き換え部分決定部３０２０は、雛形データのうち書き換える部分である書換え部分を決定する（ステップＳ３５００）。そして、書き換え部分決定部３０２０は、書き換え部３０３０と決定部３０４０に対して、決定した書き換え部分を通知する。
次に、書き換え部３０３０は、雛形データ記憶部３０１０から雛形データを読み出し（ステップＳ３５１０）、書き換え部分決定部３０２０から通知された書き換え部分に基づいて、雛形データを書き換える書き換え処理を実行する（ステップＳ３５２０）。これにより得られた書き換え済みデータをデータ処理部３０５０へ渡す。
次に、決定部３０４０は、書き換え部分決定部３０２０から通知された書き換え部分と、予め定められた補正部分とに基づいて、内部データが書き換え部分であるか否かを判断する（ステップＳ３５３０）。ステップＳ３５３０の結果が肯定の場合（ステップＳ３５３０：Ｙｅｓ）、決定部３０４０は上述の置換済みデータを生成することを決定し、その決定結果を示す決定情報をデータ処理部３０５０へ通知する。この通知を受けたデータ処理部３０５０は、書き換え部３０３０から渡された書き換え済みデータから、上述の置換済みデータを生成する（ステップＳ３５４０）。そして、生成した置換済みデータを抽出部３０７０へ渡す。
一方、上述のステップＳ３５３０の結果が否定の場合（ステップＳ３５３０：Ｎｏ）、決定部３０４０は上述の置換済みデータを生成しないことを決定し、その決定結果を示す決定情報をデータ処理部３０５０へ通知する。この通知を受けたデータ処理部３０５０は、書き換え部３０３０から渡された書き換え済みデータを、そのまま抽出部３０７０へ渡す。
次に、抽出部３０７０は、データ処理部３０５０から渡されたデータから内部データを除外する（ステップＳ３５４５）。ここでは、抽出部３０７０は、データ処理部３０５０から渡されたデータのうち内部データ以外の部分をテストデータとして抽出し、その抽出したテストデータをテストデータ記憶部１０６０に保存する（ステップＳ１５５０）。
図１７は、雛形データ、書き換え済みデータ、置換済みデータ、テストデータの一例を示す図である。この例では、雛形データ３９００は、補正済みデータ３９００１と、内部データ３９００２とを含む。補正済みデータ３９００１は、因子３９０１、３９１２を含み、内部データ３９００２は、因子３９０２を含む。ここでは、内部データ３９００２に含まれる因子３９０２は、補正済みデータ３９００１の第２因子である因子３９１２を暗号化する前の因子（補正前の因子）である。
図１７の（Ａ）では、書き換え部分が、補正済みデータ３９００１の第１因子であり、補正済みデータ３９００１の第１因子である因子３９０１が因子３９８１に書き換えられて書き換え済みデータ３９１０が生成されている。図１７の（Ｂ）では、書き換え部分が、補正済みデータ３９００１の第２因子であり、補正済みデータ３９００１の第２因子である因子３９１２が因子３９８２に書き換えられて書き換え済みデータ３９２０が生成されている。図１７の（Ｃ）では、書き換え部分が、内部データ３９００２の因子であり、内部データ３９００２の因子３９０２が因子３９０９に書き換えられて書き換え済みデータ３９３０が生成されている。
図１７の（Ａ）の場合、書き換え部分は内部データ３９００２ではないので、データ処理部３０５０は、書き換え部３０３０から渡された書き換え済みデータ３９１０をそのまま抽出部３０７０へ渡し、抽出部３０７０は、書き換え済みデータ３９１０のうち、内部データに相当する因子３９０２を除外して、テストデータ３９１０２を生成する。
図１７の（Ｂ）の場合、書き換え部分は内部データ３９００２ではないので、データ処理部３０５０は、書き換え部３０３０から渡された書き換え済みデータ３９２０をそのまま抽出部３０７０へ渡し、抽出部３０７０は、書き換え済みデータ３９２０のうち、内部データに相当する因子３９０２を除外して、テストデータ３９２０２を生成する。
図１７の（Ｃ）の場合、書き換え部分は内部データ３９００２であるので、データ処理部３０５０は、書き換え済みデータ３９３０に含まれる書き換え済みの内部データ（因子３９０９）を因子３９１９に補正（この例では暗号化）し、置換データとする。そして、データ処理部３０５０は、書き換え済みデータ３９３０に含まれる因子３９０１、因子３９１２（これらは補正済みデータ３９００１に含まれる因子であると考えることもできる）のうち、内部データ３９００２に対応する因子３９１２を置換データ（因子３９１９）に置き換えて、置換済みデータ３９３０１を生成する。そして、その生成した置換済みデータ３９３０１を抽出部３０７０へ渡す。抽出部３０７０は、置換済みデータ３９３０１のうち、内部データに相当する因子３９０９（この例では書き換え済みの内部データ）を除外して、テストデータ３９３０２を生成する。
図１８は、テストデータ生成装置３００から検査対象装置９３０に送られてきたテストデータ、つまり、逆変換処理部９３１０に入力されるデータと、逆変換処理部９３１０によって逆変換されたデータの一例を示している。ここでは、テストデータは、図１７の（Ｃ）で生成されたテストデータ３９３０２を想定している。
逆変換処理部９３１０は、テストデータ３９３０２を入力とし、因子３９１９に逆変換を行って因子３９０９としたデータ３９３０３を出力する。因子読出し部９３２０は、因子３９０１および因子３９０９を読み出す。因子処理部９３４０は、因子３９０９の値ＹＹＹＹを処理する。この値ＹＹＹＹは、テストデータ生成装置３００の書き換え部３０３０が書き換えた値である。このようにして、因子処理部９３４０に対して、書き換えた値ＹＹＹＹを処理させるテストを行うことができる。この例に示すように、検査対象装置９３０が処理するデータが、テストデータの一部として直接現れない内部データである場合でも、書き換えた内部データを複数の方法で変換した結果をテストデータ３９３０２に含まれるようにすることにより、検査対象装置９３０に、書き換えた内部データを処理させることができる。
以上に説明したように、本実施形態のテストデータ生成装置３００は、補正済みデータと、補正前の因子（内部データ）と、を含む上述の雛形データを書き換えの対象とし、内部データが書き換え部分である場合は、内部データに対して書き換え処理を行った後に補正処理を行って得られる置換データ（置換因子）を、補正済みデータに含まれる因子のうち内部データに対応する因子と置き換えて得られる置換済みデータに基づいて、内部データの値を書き換えた場合の検査を行うためのテストデータを生成する。これにより、検査対象の因子が直接補正済みデータに含まれずに、検査対象の因子から算出された値が該補正済みデータに含まれる場合であっても、検査対象の因子を変化させた検査を行うことができる。
（第３の実施形態の変形例）
例えば図１９に示すように、テストデータ生成装置３００は、雛形データ生成部３０８０をさらに備えてもよい。雛形データ生成部３０８０は、補正済みデータを元に内部データを計算し、雛形データを生成する。例えば、図２０のように、補正済みデータ３９００１の因子３９１２の値Ｅ｛５６７８｝に対して逆変換（例えば復号）を行うことにより、「５６７８」という値を示す因子３９０２（暗号化前の値を示す因子）を生成し、雛形データ３９００を生成することができる。
上述の第３の実施形態では、補正処理は暗号化であったが、他の処理でもよい。たとえば、暗号化に代えて圧縮、ＢＡＳＥ６４符号化等のいずれかの処理であってもよい。また、補正処理は必ずしも可逆変換処理でなくてもよい。例えば、ハッシュ、チェックサム、ＣＭＡＣ（暗号に基づくメッセージ認証コード）等のいずれかの処理であってもよく、別の因子の長さを計算する処理等、因子の値にもとづき計算を行う任意の処理であってよい。なお、補正処理が可逆変換でない場合は、前述の変形例に示した雛形データ生成部３０８０が雛形データを生成できないため、テストデータ生成装置３００に直接雛形データを与える必要がある。また、上述の第３の実施形態では、補正済みデータおよび内部データを一体の雛形データとして扱い、最後に内部データを除いた部分を抽出しているが、補正済みデータおよび内部データを分けて扱い、補正済みデータを置換して得られる置換済みデータ部分のみをテストデータとして保存する処理を行ってもよい。
（第４の実施形態）
本実施形態では、互いに依存関係を有する複数の因子のうちの何れかが書き換え部分であり、かつ、補正部分でもある場合は、該因子については補正処理を実行しない点で上述の第１の実施形態と相違する。なお、上述の第１の実施形態と共通する部分については、適宜に説明を省略する。
図２１は、本実施の形態の情報処理システム４０の構成の一例を示す図である。図２１に示すように、情報処理システム４０は、テストデータ生成装置４００と、検査対象装置９４０とを含む。
図２２は、テストデータ生成装置４００が有する機能の一例を示す図である。図２２に示すように、テストデータ生成装置４００は、正規データ記憶部１０１０、書き換え部分決定部１０２０、書き換え部１０３０、決定部４０４０、補正部４０５０、テストデータ記憶部１０６０、演算依存関係記憶部４０７０を有する。
演算依存関係記憶部４０７０は、１または複数の演算依存関係を記憶する。演算依存関係とは、データ内のある因子の値が、別の因子の値から演算により求められることを示す情報である。
本実施形態の決定部４０４０は、互いに依存関係を有する複数の因子のうちの何れかが書き換え部分であり、かつ、補正部分でもある場合は、該因子については補正処理を実行しないことを決定する。この例では、決定部４０４０は、演算依存関係と、書換え部分と、補正部分とに基づいて、補正方法を決定し、補正する部分や補正に用いる演算方法などを示す補正情報を生成し、その生成した補正情報を補正部４０５０へ渡す。
補正部４０５０は、決定部４０４０から受信した補正情報に基づいて、書き換え部１０３０から受信した書き換え済みデータに対する補正を行う。たとえば、補正情報が、因子Ａの値から因子Ｂの値を、演算Ｃにより補正することを指示していれば、補正部４０５０は、書き換え済みデータの因子Ａの値を読み出し、読み出した値に対して演算Ｃを行い、その結果の値を因子Ｂに格納することにより、補正を行ったデータを生成する。この例では、上述の第１の実施形態と同様に、補正部４０５０は、補正を行ったデータをテストデータとしてテストデータ記憶部１０６０に保存する。テストデータ生成装置４００は、テストデータ記憶部１０６０に保存されたテストデータを検査対象装置９４０に送信し、テストを実行する。
図２３は演算依存関係の一例を示す図であり、図２４は正規データ４９００の一例を示す図である。正規データ４９００は、因子４９０１、因子４９０２、因子４９０３、因子４９０４を含むデータである。以下では、各因子を識別するため、因子４９０１に対しては「Ａ」、因子４９０２に対しては「Ｂ」、因子４９０３に対して「Ｃ」、因子４９０４に対して「Ｄ」という名前をそれぞれ付して説明する。
また、演算依存関係は、（依存元因子、依存先因子、演算方法）の３つの要素の組で表される情報である。依存元因子は、演算の元になる値を保持する因子であり、依存先因子は、演算した結果の値を保持する因子である。演算方法は、依存元の因子の値から依存先の因子の値を算出する方法を指定する情報である。図２３に示す演算依存関係４８００は、（Ｂ，Ｃ，Ｅ｛｝）および（Ｃ，Ｄ，Ｈ｛｝）から構成される。これらは、補正処理において、因子Ｂの値から演算方法Ｅ｛｝により演算した値を、因子Ｃに格納し、その値をさらに演算Ｈ｛｝により演算した値を、因子Ｄに格納することを指示している。ここで、演算方法Ｅ｛｝は暗号化、Ｈ｛｝はハッシュ関数である。
図２５は、テストデータを生成する場合のテストデータ生成装置４００の動作例を示すフローチャートである。上述の第１の実施形態と異なる部分は、ステップＳ１５３０およびステップＳ１５４０の処理（データ補正処理）を、各依存関係について繰り返し行う（ステップＳ４５６０）ことである。ここでは、データ補正処理は依存関係の順に行われる。例えば、Ｂ→Ｃ→Ｄの順に依存関係がある場合、先にＢ→Ｃの補正を行い、続いてＣ→Ｄの補正を行う。
次に、図２６を用いて、前述のステップＳ４５６０で行われるデータ補正処理の繰り返し処理を具体的に説明する。演算依存関係の集合４８００および正規データ４９００については、図２３および図２４で説明したとおりである。
図２６に示す書き換え済みデータ４９１０は、正規データ４９００をもとに、因子Ｂの値を５６７８からＸＸＸＸに書き換えたデータである。決定部４０４０は、演算依存関係４８００にもとづき、因子Ｃ，Ｄを補正することを指示する。補正部４０５０は、ＸＸＸＸからＥ｛ＸＸＸＸ｝を、さらにＥ｛ＸＸＸＸ｝からＨ｛Ｅ｛ＸＸＸＸ｝｝を計算し、それぞれ因子Ｃ，Ｄを補正し、テストデータ４９２０を得る。
また、図２６に示す書き換え済みデータ４９３０は、正規データ４９００をもとに、因子Ｂの値を５６７８からＸＸＸＸに、因子Ｄの値をＨ｛Ｅ｛５６７８｝｝からＹＹＹＹに書き換えたデータである。決定部４０４０は、因子Ｄが書き換えられていることを考慮して、演算依存関係４８００にもとづき、因子Ｃのみを補正することを指示する。データ補正処理部４０５０は、ＸＸＸＸからＥ｛ＸＸＸＸ｝を計算し、因子Ｃを補正し、テストデータ４９４０を得る。
以上に説明したように、本実施形態のテストデータ生成装置４００は、互いに依存関係を有する複数の因子のうちの何れかが書き換え部分であり、かつ、補正部分でもある場合は、該因子については補正処理を実行しない。これにより、上述の第１の実施形態と同様に、補正処理によって書き換え処理の効果が失われてしまうことを回避できるので、検査対象装置９４０の検査を適切に行うことができるという利点がある。
（第４の実施形態の変形例）
上述の第４の実施形態では、依存元因子および依存先因子の各々が何れも１つの場合について説明したが、これに限らず、例えば依存元因子が複数の因子の組であってもよい。また、上述の第４の実施形態では、演算依存関係情報の説明において、依存元因子および依存先因子の情報として、因子の名前を用いていたが、因子を識別する方法であればどのような情報であってもよい。例えば、因子の位置および長さを指定する情報、すなわちデータ先頭から数えた因子のオフセット位置と因子の長さの組であってもよい。
以上、本発明の実施形態を説明したが、上述の実施形態は例として提示したものであり、発明の範囲を限定することは意図していない。これら新規な実施形態は、その他の様々な形態で実施されることが可能であり、発明の要旨を逸脱しない範囲で、種々の省略、置き換え、変更を行うことができる。これら新規な実施形態やその変形は、発明の範囲や要旨に含まれるとともに、特許請求の範囲に記載された発明とその均等の範囲に含まれる。
また、上述の各実施形態および各変形例の情報処理システムで実行されるプログラムを、インターネット等のネットワークに接続されたコンピュータ上に格納し、ネットワーク経由でダウンロードさせることにより提供するようにしてもよい。また、上述の各実施形態および各変形例の情報処理システムで実行されるプログラムを、インターネット等のネットワーク経由で提供または配布するようにしてもよい。また、上述の各実施形態および各変形例の情報処理システムで実行されるプログラムを、ＲＯＭ等の不揮発性の記録媒体に予め組み込んで提供するようにしてもよい。
さらに、上述の各実施形態および各変形例は、任意に組み合わせることも可能である。
１０ 情報処理システム
１００ テストデータ生成装置
９００ 検査対象装置
１０１０ 正規データ記憶部
１０２０ 書き換え部分決定部
１０３０ 書き換え部
１０４０ 決定部
１０５０ 補正部
１０６０ テストデータ記憶部

Claims (17)

  1. 対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する書き換え部と、
    前記書き換え処理によって書き換えられた因子を含む１以上の因子に依存する因子を演算依存関係に基づいて計算した結果に補正する処理であって、前記書き換え処理とは異なる補正処理を実行する補正部と、
    前記書き換え処理の対象となる因子を示す書き換え部分と、前記補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する決定部と、を備え、
    前記決定部は、前記書き換え部分であり、かつ、前記補正部分でもある因子については前記補正処理を実行しないことを決定する、
    情報処理装置。
  2. 前記補正部は、前記書き換え処理により得られる書き換え済みデータに対して前記補正処理を実行して前記テストデータを生成する、
    請求項１に記載の情報処理装置。
  3. 前記補正処理は、前記対象装置との通信に用いる通信情報を修正する処理である、
    請求項１に記載の情報処理装置。
  4. 前記補正処理は、ハッシュ、チェックサム、メッセージ認証コード、および、因子の長さの少なくとも１つを計算する処理である、
    請求項３に記載の情報処理装置。
  5. 前記補正処理は、暗号化および圧縮の少なくとも１つを含む可逆変換である、
    請求項１に記載の情報処理装置。
  6. 対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する書き換え部と、
    前記書き換え処理によって書き換えられた因子を含む１以上の因子に依存する因子を演算依存関係に基づいて計算した結果に補正する処理であって、前記書き換え処理とは異なる補正処理を実行する補正部と、
    前記書き換え処理の対象となる因子を示す書き換え部分と、前記補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する決定部と、を備え、
    前記決定部は、前記書き換え部分であり、かつ、前記補正部分でもある因子が存在する場合、２種類の前記テストデータを生成することを決定する、
    情報処理装置。
  7. 前記決定部は、前記データに対して前記書き換え処理を行った後に前記補正処理を行って得られる第１のテストデータと、前記データに対して前記補正処理を行った後に前記書き換え処理を行って得られる第２のテストデータと、を生成することを決定する、
    請求項６に記載の情報処理装置。
  8. 前記補正処理は、
    暗号化および圧縮の少なくとも１つを含む可逆変換、並びに、
    ハッシュ、チェックサム、メッセージ認証コード、および、因子の長さの少なくとも１つを計算する処理、
    のうち少なくとも１つである、
    請求項６に記載の情報処理装置。
  9. 対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する書き換え部と、
    前記書き換え処理によって書き換えられた因子を含む１以上の因子に依存する因子を演算依存関係に基づいて計算した結果に補正する処理であって、前記書き換え処理とは異なる補正処理を実行する補正部と、
    前記書き換え処理の対象となる因子を示す書き換え部分と、前記補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する決定部と、を備え、
    前記データは、所定のデータに含まれる複数の因子のうちの一部の因子に対して前記補正処理が行われた補正済みデータと、補正前の因子と、を含み、
    前記決定部は、前記補正前の因子が前記書き換え部分である場合は、前記補正前の因子に対して前記書き換え処理を行った後に前記補正処理を行って得られる置換因子を、前記補正済みデータに含まれる因子のうち前記補正前の因子に対応する因子と置き換えて得られる置換済みデータに基づいて、前記テストデータを生成することを決定する、
    情報処理装置。
  10. 前記補正処理は、
    暗号化および圧縮の少なくとも１つを含む可逆変換、並びに、
    ハッシュ、チェックサム、メッセージ認証コード、および、因子の長さの少なくとも１つを計算する処理、
    のうち少なくとも１つである、
    請求項９に記載の情報処理装置。
  11. 前記決定部は、互いに依存関係を有する複数の因子のうちの何れかが前記書き換え部分であり、かつ、前記補正部分でもある場合は、該因子については前記補正処理を実行しないことを決定する、
    請求項１に記載の情報処理装置。
  12. 対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する書き換えステップと、
    前記書き換え処理によって書き換えられた因子を含む１以上の因子に依存する因子を演算依存関係に基づいて計算した結果に補正する処理であって、前記書き換え処理とは異なる補正処理を実行する補正ステップと、
    前記書き換え処理の対象となる因子を示す書き換え部分と、前記補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する決定ステップと、を含み、
    前記決定ステップは、前記書き換え部分であり、かつ、前記補正部分でもある因子については前記補正処理を実行しないことを決定する、
    情報処理方法。
  13. コンピュータに、
    対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する書き換えステップと、
    前記書き換え処理によって書き換えられた因子を含む１以上の因子に依存する因子を演算依存関係に基づいて計算した結果に補正する処理であって、前記書き換え処理とは異なる補正処理を実行する補正ステップと、
    前記書き換え処理の対象となる因子を示す書き換え部分と、前記補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する決定ステップと、を実行させ、
    前記決定ステップは、前記書き換え部分であり、かつ、前記補正部分でもある因子については前記補正処理を実行しないことを決定する、
    プログラム。
  14. 対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する書き換えステップと、
    前記書き換え処理によって書き換えられた因子を含む１以上の因子に依存する因子を演算依存関係に基づいて計算した結果に補正する処理であって、前記書き換え処理とは異なる補正処理を実行する補正ステップと、
    前記書き換え処理の対象となる因子を示す書き換え部分と、前記補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する決定ステップと、を含み、
    前記決定ステップは、前記書き換え部分であり、かつ、前記補正部分でもある因子が存在する場合、２種類の前記テストデータを生成することを決定する、
    情報処理方法。
  15. コンピュータに、
    対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する書き換えステップと、
    前記書き換え処理によって書き換えられた因子を含む１以上の因子に依存する因子を演算依存関係に基づいて計算した結果に補正する処理であって、前記書き換え処理とは異なる補正処理を実行する補正ステップと、
    前記書き換え処理の対象となる因子を示す書き換え部分と、前記補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する決定ステップと、を実行させ、
    前記決定ステップは、前記書き換え部分であり、かつ、前記補正部分でもある因子が存在する場合、２種類の前記テストデータを生成することを決定する、
    プログラム。
  16. 対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する書き換えステップと、
    前記書き換え処理によって書き換えられた因子を含む１以上の因子に依存する因子を演算依存関係に基づいて計算した結果に補正する処理であって、前記書き換え処理とは異なる補正処理を実行する補正ステップと、
    前記書き換え処理の対象となる因子を示す書き換え部分と、前記補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する決定ステップと、を含み、
    前記データは、所定のデータに含まれる複数の因子のうちの一部の因子に対して前記補正処理が行われた補正済みデータと、補正前の因子と、を含み、
    前記決定ステップは、前記補正前の因子が前記書き換え部分である場合は、前記補正前の因子に対して前記書き換え処理を行った後に前記補正処理を行って得られる置換因子を、前記補正済みデータに含まれる因子のうち前記補正前の因子に対応する因子と置き換えて得られる置換済みデータに基づいて、前記テストデータを生成することを決定する、
    情報処理方法。
  17. コンピュータに、
    対象装置を正常に動作させるためのデータに含まれる複数の因子のうちの一部を、正常な値とは異なる値に書き換える書き換え処理を実行する書き換えステップと、
    前記書き換え処理によって書き換えられた因子を含む１以上の因子に依存する因子を演算依存関係に基づいて計算した結果に補正する処理であって、前記書き換え処理とは異なる補正処理を実行する補正ステップと、
    前記書き換え処理の対象となる因子を示す書き換え部分と、前記補正処理の対象となる因子を示す補正部分とに基づいて、テストデータの生成方法を決定する決定ステップと、を実行させ、
    前記データは、所定のデータに含まれる複数の因子のうちの一部の因子に対して前記補正処理が行われた補正済みデータと、補正前の因子と、を含み、
    前記決定ステップは、前記補正前の因子が前記書き換え部分である場合は、前記補正前の因子に対して前記書き換え処理を行った後に前記補正処理を行って得られる置換因子を、前記補正済みデータに含まれる因子のうち前記補正前の因子に対応する因子と置き換えて得られる置換済みデータに基づいて、前記テストデータを生成することを決定する、
    プログラム。
JP2016056209A 2016-03-18 2016-03-18 情報処理装置、情報処理方法およびプログラム Active JP6542148B2 (ja)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP2016056209A JP6542148B2 (ja) 2016-03-18 2016-03-18 情報処理装置、情報処理方法およびプログラム
US15/390,984 US10521320B2 (en) 2016-03-18 2016-12-27 Information processing device, information processing method and computer program product

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2016056209A JP6542148B2 (ja) 2016-03-18 2016-03-18 情報処理装置、情報処理方法およびプログラム

Publications (2)

Publication Number Publication Date
JP2017173916A JP2017173916A (ja) 2017-09-28
JP6542148B2 true JP6542148B2 (ja) 2019-07-10

Family

ID=59855615

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2016056209A Active JP6542148B2 (ja) 2016-03-18 2016-03-18 情報処理装置、情報処理方法およびプログラム

Country Status (2)

Country Link
US (1) US10521320B2 (ja)
JP (1) JP6542148B2 (ja)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2018162048A1 (en) * 2017-03-07 2018-09-13 Advantest Corporation Test apparatus and method for characterizing a device under test
JP7139944B2 (ja) * 2018-12-28 2022-09-21 株式会社Ｊｖｃケンウッド データ生成装置、データ生成方法、及びプログラム

Family Cites Families (31)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4695946A (en) * 1984-10-25 1987-09-22 Unisys Corporation Maintenance subsystem for computer network including power control and remote diagnostic center
JP3377225B2 (ja) * 1992-04-07 2003-02-17 富士写真フイルム株式会社 チェック回路を含む集積回路
US6957378B2 (en) * 2001-06-04 2005-10-18 Kabushiki Kaisha Toshiba Semiconductor memory device
JP2003066108A (ja) * 2001-08-28 2003-03-05 Mitsubishi Electric Corp 半導体テスト回路
US7444567B2 (en) * 2002-04-09 2008-10-28 Syntest Technologies, Inc. Method and apparatus for unifying self-test with scan-test during prototype debug and production test
US7165824B2 (en) * 2002-12-02 2007-01-23 Silverbrook Research Pty Ltd Dead nozzle compensation
US7606695B1 (en) * 2003-09-30 2009-10-20 Sun Microsystems, Inc. Self-checking simulations using dynamic data loading
US20060143454A1 (en) * 2004-05-27 2006-06-29 Silverbrook Research Pty Ltd Storage of multiple keys in memory
US20070083491A1 (en) * 2004-05-27 2007-04-12 Silverbrook Research Pty Ltd Storage of key in non-volatile memory
US20060294312A1 (en) * 2004-05-27 2006-12-28 Silverbrook Research Pty Ltd Generation sequences
US20070203973A1 (en) 2006-02-28 2007-08-30 Microsoft Corporation Fuzzing Requests And Responses Using A Proxy
JP4878527B2 (ja) * 2006-09-08 2012-02-15 富士通株式会社 テストデータ作成装置
US20080092239A1 (en) * 2006-10-11 2008-04-17 David H. Sitrick Method and system for secure distribution of selected content to be protected
KR100916329B1 (ko) 2007-11-01 2009-09-11 한국전자통신연구원 소프트웨어 취약점 점검 장치 및 방법
JP2010097446A (ja) * 2008-10-17 2010-04-30 Hitachi Ltd テストデータ作成方法及びプログラム、装置
US8555234B2 (en) * 2009-09-03 2013-10-08 International Business Machines Corporation Verification of soft error resilience
US8239733B2 (en) * 2009-11-27 2012-08-07 Skymedi Corporation Memory device with protection capability and method of accessing data therein
KR20120113478A (ko) * 2011-04-05 2012-10-15 삼성전자주식회사 반도체 메모리 장치의 테스트 방법
JPWO2012137323A1 (ja) * 2011-04-06 2014-07-28 富士通株式会社 情報処理装置及び疑似障害発生方法
JP5770026B2 (ja) * 2011-06-20 2015-08-26 ルネサスエレクトロニクス株式会社 半導体装置
JP5906855B2 (ja) * 2012-03-19 2016-04-20 富士通株式会社 テストデータ作成方法、テストデータ作成プログラム及びテストデータ作成装置
US8806285B2 (en) * 2012-05-31 2014-08-12 Intel Corporation Dynamically allocatable memory error mitigation
WO2014151126A1 (en) * 2013-03-15 2014-09-25 Bracket Computing, Inc. Multi-layered storage administration for flexible placement of data
JP2014241057A (ja) * 2013-06-12 2014-12-25 ソニー株式会社 インターフェース制御回路、メモリシステム、および、インターフェース制御回路の制御方法
JP2015072531A (ja) * 2013-10-02 2015-04-16 株式会社日立製作所 テスト支援方法、テスト支援装置およびプログラム
US10248521B2 (en) * 2015-04-02 2019-04-02 Microchip Technology Incorporated Run time ECC error injection scheme for hardware validation
JP6438353B2 (ja) * 2015-05-27 2018-12-12 ルネサスエレクトロニクス株式会社 半導体装置及び診断テスト方法
JP2017058838A (ja) 2015-09-15 2017-03-23 株式会社東芝 情報処理装置、試験システム、情報処理方法およびプログラム
JP2017169147A (ja) 2016-03-17 2017-09-21 株式会社東芝 検証装置、電子機器、プログラムおよび検証システム
JP2017167937A (ja) 2016-03-17 2017-09-21 株式会社東芝 生成装置、プログラム、生成方法および情報処理装置
JP6559600B2 (ja) 2016-03-17 2019-08-14 株式会社東芝 情報処理装置、情報処理プログラムおよび検査システム

Also Published As

Publication number Publication date
JP2017173916A (ja) 2017-09-28
US10521320B2 (en) 2019-12-31
US20170270020A1 (en) 2017-09-21

Similar Documents

Publication Publication Date Title
US20160267273A1 (en) Software update apparatus and computer-readable storage medium storing software update program
CN106155729B (zh) Lua脚本热更新方法、装置及***
US9762384B2 (en) Generation and verification of alternate data having specific format
US9501646B2 (en) Program verification apparatus, program verification method, and computer readable medium
JP6542148B2 (ja) 情報処理装置、情報処理方法およびプログラム
US8539466B2 (en) Determining suitable insertion points for string sanitizers in a computer code
JP5725529B2 (ja) Ｗｅｂ脆弱性補修システム、Ｗｅｂ脆弱性補修方法、及びプログラム
US9858633B2 (en) Model anti-collusion watermark
CN110784302A (zh) 加密数据生成装置、数字签名生成装置、带数字签名的数据生成装置和***
US8886949B2 (en) Information processing apparatus and method therefor
WO2016150304A1 (zh) 一种安全漏洞加固方法及***
JP2022174726A (ja) １つまたは複数のピクチャグループを含むビデオセグメントに署名するための装置および方法
JP6940812B2 (ja) 情報処理装置、および、コンピュータプログラム
JP2014048811A (ja) 情報処理装置、情報処理方法及びプログラム
JP6273226B2 (ja) 暗号化システム、認証システム、暗号化装置、復号装置、認証子生成装置、検証装置、暗号化方法、認証方法
US8126194B2 (en) Digital watermark embedding apparatus, digital watermark detecting apparatus, and digital watermark system
CN111865557A (zh) 一种校验码生成方法及装置
US10708064B2 (en) Semiconductor device, boot method, and boot program
CN106506263B (zh) 应用程序信息获取***、设备、装置及方法
JP2007124530A (ja) 復号化処理装置および復号化方法ならびに画像形成装置
CN115988096A (zh) 一种电子设备测试数据上报方法、***、设备及介质
JP2020056960A5 (ja)
JP2016134847A (ja) 動画像符号化装置、動画像復号装置、動画像符号化プログラム、動画像復号プログラム及び動画像符号化システム
JP6285473B2 (ja) 通信設定通知装置
US9454605B1 (en) Transferring data between devices using bar codes

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20180222

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20181116

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20181225

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20190219

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20190305

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20190419

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20190514

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20190612

R151 Written notification of patent or utility model registration

Ref document number: 6542148

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R151