(57)【要約】      （修正有）【課題】同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して、高速に車両のエンジン制御ソフトを検証することができるエンジン制御ソフト検査装置、およびエンジン制御ソフト検査方法を提供する。【解決手段】記憶部の検査仕様ファイルに記憶された検査仕様に基づいて、同期制御ソフトの処理タイミングとして固定周期、および、非同期制御ソフトの処理タイミングとして可変周期を持つ周期信号の処理タイミングを生成し、記憶部に記憶された検査仕様に基づいて、生成された周期信号の処理タイミングで、同期制御ソフトおよび非同期制御ソフトを実行させるためのテストハーネスを作成し、作成されたテストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査し、有界モデル検査の結果を、表示部を制御して表示する。【選択図】図３
2009168523.tif 000002
【特許請求の範囲】
【請求項１】
固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを検査する、表示部と記憶部と制御部とを少なくとも備えたエンジン制御ソフト検査装置であって、
上記記憶部は、
上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、
を備え、
上記制御部は、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成手段と、
上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成手段により生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成手段と、
上記テストハーネス作成手段により作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査手段と、
上記テストハーネス整合性検査手段による上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示手段と、
を備えたことを特徴とするエンジン制御ソフト検査装置。
【請求項２】
請求項１に記載のエンジン制御ソフト検査装置において、
上記タイミング生成手段は、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成手段と、
上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成手段と、
上記同期制御ソフト信号生成手段により生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成手段により生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージ手段と、
を更に備えたことを特徴とするエンジン制御ソフト検査装置。
【請求項３】
請求項２に記載のエンジン制御ソフト検査装置において、
上記検査仕様記憶手段に記憶された上記検査仕様は、
検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、
上記非同期制御ソフト信号生成手段は、
上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得手段と、
上記回転速度制限条件取得手段により取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算手段と、
上記最長最短処理周期値換算手段により換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成手段と、
を更に備え、
上記同期制御ソフト信号生成手段は、
上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得手段と、
上記同期制御ソフト処理周期値取得手段により取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成手段と、
を更に備えたことを特徴とするエンジン制御ソフト検査装置。
【請求項４】
固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを検査する、表示部と記憶部と制御部とを少なくとも備えたエンジン制御ソフト検査装置において実行されるエンジン制御ソフト検査方法であって、
上記記憶部は、
上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、
を備え、
上記制御部において実行される、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成ステップと、
上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成ステップにて生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成ステップと、
上記テストハーネス作成ステップにて作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査ステップと、
上記テストハーネス整合性検査ステップによる上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示ステップと、
を含むことを特徴とするエンジン制御ソフト検査方法。
【請求項５】
請求項４に記載のエンジン制御ソフト検査方法において、
上記タイミング生成ステップは、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成ステップと、
上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成ステップと、
上記同期制御ソフト信号生成ステップにて生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成ステップにて生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージステップと、
を更に含むことを特徴とするエンジン制御ソフト検査方法。
【請求項６】
請求項５に記載のエンジン制御ソフト検査方法において、
上記検査仕様記憶手段に記憶された上記検査仕様は、
検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、
上記非同期制御ソフト信号生成ステップは、
上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得ステップと、
上記回転速度制限条件取得ステップにて取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算ステップと、
上記最長最短処理周期値換算ステップにて換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成ステップと、
を更に含み、
上記同期制御ソフト信号生成ステップは、
上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得ステップと、
上記同期制御ソフト処理周期値取得ステップにて取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成ステップと、
を更に含むことを特徴とするエンジン制御ソフト検査方法。
【請求項７】
固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを検査する、表示部と記憶部と制御部とを少なくとも備えたエンジン制御ソフト検査装置を実行させるためのプログラムであって、
上記記憶部は、
上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、
を備え、
上記制御部において実行される、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成ステップと、
上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成ステップにて生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成ステップと、
上記テストハーネス作成ステップにて作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査ステップと、
上記テストハーネス整合性検査ステップによる上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示ステップと、
を実行させるためのプログラム。
【請求項８】
請求項７に記載のプログラムにおいて、
上記タイミング生成ステップは、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成ステップと、
上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成ステップと、
上記同期制御ソフト信号生成ステップにて生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成ステップにて生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージステップと、
を更に実行させるためのプログラム。
【請求項９】
請求項８に記載のプログラムにおいて、
上記検査仕様記憶手段に記憶された上記検査仕様は、
検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、
上記非同期制御ソフト信号生成ステップは、
上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得ステップと、
上記回転速度制限条件取得ステップにて取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算ステップと、
上記最長最短処理周期値換算ステップにて換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成ステップと、
を更に含み、
上記同期制御ソフト信号生成ステップは、
上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得ステップと、
上記同期制御ソフト処理周期値取得ステップにて取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成ステップと、
を更に実行させるためのプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、車両のエンジン制御ソフト検査装置、エンジン制御ソフト検査方法およびプログラムに関し、特に、車両用電子制御装置（ＥＣＵ）に実装されるソフトの異常の有無を検査するために、詳しくはこれが仕様を満たすものに仕上がっているか否かを検証するために用いられる、車両のエンジン制御ソフト検査装置、エンジン制御ソフト検査方法およびプログラムに関する。
【背景技術】
【０００２】
通常、車両用電子制御装置に実装されるソフト、例えば車載エンジンを制御するエンジン制御ソフト等の開発は、
（ア）設計情報に基づいてプログラムを作成（コーディング）する工程、
（イ）該作成したプログラムの異常の有無を検査、修正（デバッグ）する工程、
（ウ）該デバッグしたプログラムを車両用電子制御装置に実装し、実際の車両にてデバッグ、適合（実車チェック）する工程、
（エ）この実車チェックの結果に基づいて更にプログラムを修正する工程、
等の工程を通して行われる。
【０００３】
ここにも示されるように、ソフト開発においては、プログラムの作成後にその妥当性を検証すべく検査を行うことが重要である。特に車両用電子制御装置に実装されるソフト（プログラム）は巨大であることが多く、通常、個々にコーディングされた多くのソフト部品（モジュール）を組み合わせて作り上げられるため、個々の部品の妥当性だけでなく、こうした部品の組み合せの正当性についても注意深く検査する必要がある。
【０００４】
例えば、特許文献１の技術では、車両のエンジン制御用ソフトの検証は検査仕様に書かれている検索項目に基づいて行われる。この検査項目は、特定な入力信号パターンと、それに対して望ましい内部状態の変化および出力パターンの組み合わせで構成される。しかし、入力に対する内部状態の変化、出力の時間特性はソフトが搭載されるハードの機種によって、異なるため、自動判断するためには機種により別の検査仕様を用意する必要があった。
【０００５】
また、こういった検査使用の入力パターンは、検査項目によってはあくまで代表的なパターンであり、全ての入力を網羅していない場合が多いため、近年はＥｓｔｅｒｌ  Ｔｅｃｈｎｏｌｏｇｙ（会社名）のＳＣＡＤＥ（商品名）等の形式検証ツールを導入することで網羅的な検査を行おうとしているが、このＳＣＡＤＥは、同期イベントのみ検証でき非同期イベントを検証できないため、車両エンジンのように同期イベントと非同期イベントが混在するソフトの検査システムの開発が必要とされていた。
【０００６】
ここで、図１は、従来の同期制御ソフトおよび非同期制御ソフトを含むエンジン制御ソフトの一例を示す図である。図１において、車両のエンジン制御ソフトが、一定周期（固定周期）毎に処理される同期制御ソフトと、エンジン回転毎に可変周期で処理される非同期制御ソフトとの２種類のソフトから構成されることを示している。図１に示すように、ＥＣＵに組み込まれたエンジン制御ソフトのうち同期制御ソフトは、タイマー等に設定された一定周期（Ｔ）を、同期処理タイミングとして制御信号をエンジンへ送っている。一方、非同期制御ソフトは、可変周期（ｔ１，ｔ２，ｔ３）、例えば、エンジン内に設置されたクランク角センサにて検出されたクランク角に基づいて算出されたエンジン回転速度を、非同期処理タイミングとして制御信号をエンジンへ送っている。しかし、非同期ソフトの処理タイミングは、エンジン回転速度により可変となるため、この回転速度を網羅して全ての処理タイミングを検証することが困難であった。また、両方の制御ソフトの整合性を検証するためには、非同期制御ソフトの処理タイミングを時間軸（ｔ）に落とす必要があった。
【０００７】
このように、図１に示した従来のエンジン制御ソフトを検証する場合、非同期ソフト処理のタイミングである可変周期（Ｔ）に対し、同期ソフト処理のタイミングである可変周期（ｔ１，ｔ２，ｔ３）の全範囲も網羅して、実時間（ｔ）内で非同期ソフトと同期ソフトとの整合性を合わせて検証する必要があるが、この作業は非常に複雑であった。
【０００８】
そこで、従来技術においては、図２（非同期制御ソフトの処理タイミングを固定した検証の一例を示す図）に示すように、代表的なエンジン回転速度を想定して非同期ソフトの処理タイミングを固定して検証を行っていた。図２において、非同期制御ソフトの処理タイミングは、エンジン回転速度によって周期が変わる可変周期であるため、エンジン回転速度のプロファイルを求め、このプロファイルに基づき代表的なエンジン回転速度に固定して検証している。しかし、図２に示したように、同期ソフト処理のタイミングである可変周期を固定することにより、非同期イベントを同期イベントにすることができるので、上記ＳＣＡＤＥ等の形式検証ツールを用いて網羅的に検査することが可能となるが、車両エンジン制御ソフトのように同期イベントと非同期イベントが混在するソフトを正確に検査できなかった。
【０００９】
【特許文献１】特開２００６−２０９３５４号公報
【発明の開示】
【発明が解決しようとする課題】
【００１０】
本発明では、上記に鑑みてなされたもので、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができる、エンジン制御ソフト検査装置およびエンジン制御ソフト検査方法を提供することを目的とする。
【課題を解決するための手段】
【００１１】
このような目的を達成するため、請求項１に記載のエンジン制御ソフト検査装置は、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを検査する、表示部と記憶部と制御部とを少なくとも備えたエンジン制御ソフト検査装置であって、上記記憶部は、上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、を備え、上記制御部は、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成手段と、上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成手段により生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成手段と、上記テストハーネス作成手段により作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査手段と、上記テストハーネス整合性検査手段による上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示手段と、を備えたことを特徴とする。
【００１２】
また、請求項２の記載のエンジン制御ソフト検査装置は、請求項１に記載のエンジン制御ソフト検査装置において、上記タイミング生成手段は、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成手段と、上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成手段と、上記同期制御ソフト信号生成手段により生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成手段により生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージ手段と、を更に備えたことを特徴とする。
【００１３】
また、請求項３の記載のエンジン制御ソフト検査装置は、請求項２に記載のエンジン制御ソフト検査装置において、上記検査仕様記憶手段に記憶された上記検査仕様は、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、上記非同期制御ソフト信号生成手段は、上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得手段と、上記回転速度制限条件取得手段により取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算手段と、上記最長最短処理周期値換算手段により換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成手段と、を更に備え、上記同期制御ソフト信号生成手段は、上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得手段と、上記同期制御ソフト処理周期値取得手段により取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成手段と、を更に備えたことを特徴とする。
【００１４】
また、請求項４の記載のエンジン制御ソフト検査方法は、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを検査する、表示部と記憶部と制御部とを少なくとも備えたエンジン制御ソフト検査装置において実行されるエンジン制御ソフト検査方法であって、上記記憶部は、上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、を備え、上記制御部において実行される、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成ステップと、上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成ステップにて生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成ステップと、上記テストハーネス作成ステップにて作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査ステップと、上記テストハーネス整合性検査ステップによる上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示ステップと、を含むことを特徴とする。
【００１５】
また、請求項５の記載のエンジン制御ソフト検査方法は、請求項４に記載のエンジン制御ソフト検査方法において、上記タイミング生成ステップは、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成ステップと、上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成ステップと、上記同期制御ソフト信号生成ステップにて生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成ステップにて生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージステップと、を更に含むことを特徴とする。
【００１６】
また、請求項６の記載のエンジン制御ソフト検査方法は、請求項５に記載のエンジン制御ソフト検査方法において、上記検査仕様記憶手段に記憶された上記検査仕様は、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、上記非同期制御ソフト信号生成ステップは、上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得ステップと、上記回転速度制限条件取得ステップにて取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算ステップと、上記最長最短処理周期値換算ステップにて換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成ステップと、を更に含み、上記同期制御ソフト信号生成ステップは、上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得ステップと、上記同期制御ソフト処理周期値取得ステップにて取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成ステップと、を更に含むことを特徴とする。
【００１７】
また、請求項７の記載のプログラムは、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを検査する、表示部と記憶部と制御部とを少なくとも備えたエンジン制御ソフト検査装置を実行させるためのプログラムであって、上記記憶部は、上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、を備え、上記制御部において実行される、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成ステップと、上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成ステップにて生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成ステップと、上記テストハーネス作成ステップにて作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査ステップと、上記テストハーネス整合性検査ステップによる上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示ステップと、を実行させることを特徴とする。
【００１８】
また、請求項８の記載のプログラムは、請求項７に記載のプログラムにおいて、上記タイミング生成ステップは、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成ステップと、上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成ステップと、上記同期制御ソフト信号生成ステップにて生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成ステップにて生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージステップと、を更に実行させることを特徴とする。
【００１９】
また、請求項９の記載のプログラムは、請求項８に記載のプログラムにおいて、上記検査仕様記憶手段に記憶された上記検査仕様は、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、上記非同期制御ソフト信号生成ステップは、上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得ステップと、上記回転速度制限条件取得ステップにて取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算ステップと、上記最長最短処理周期値換算ステップにて換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成ステップと、を更に含み、上記同期制御ソフト信号生成ステップは、上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得ステップと、上記同期制御ソフト処理周期値取得ステップにて取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成ステップと、を更に実行させることを特徴とする。
【発明の効果】
【００２０】
この発明によれば、検査仕様に基づいて、同期制御ソフトの処理タイミングとして固定周期、および、非同期制御ソフトの処理タイミングとして可変周期を持つ周期信号の処理タイミングを生成し、検査仕様に基づいて、生成された周期信号の処理タイミングで、同期制御ソフトおよび非同期制御ソフトを実行させるためのテストハーネスを作成し、作成されたテストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査し、有界モデル検査の結果を、表示部を制御して表示するので、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができるという効果を奏する。
【００２１】
また、この発明によれば、タイミング生成において、検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成し、検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための可変周期毎に生成される同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成し、生成された同期制御ソフト処理タイミング信号と、生成された非同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成するので、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができるという効果を奏する。
【００２２】
また、この発明によれば、非同期制御ソフト周期信号生成において、記憶部から回転速度制限条件を取得し、取得された回転速度制限条件の上限値および下限値を、非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算し、換算された最長周期値から最短周期値までの範囲内で、非同期制御ソフト周期信号を、検査仕様の検査時間と最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成し、同期制御ソフト周期信号生成において、記憶部から同期制御ソフトの処理周期値を取得し、取得された処理周期値毎に、同期制御ソフト周期信号を、検査仕様の検査時間と処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成するので、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができるという効果を奏する。
【発明を実施するための最良の形態】
【００２３】
以下に、本発明にかかる車両のエンジン制御ソフト検査装置およびエンジン制御ソフト検査方法の実施の形態を図面に基づいて詳細に説明する。なお、この実施の形態によりこの発明が限定されるものではない。
【００２４】
［本発明の概要］
以下、本発明の概要について説明し、その後、本発明の構成および処理等について詳細に説明する。図３は、本発明の基本動作処理の一例を示すフローチャートである。
【００２５】
本発明は、図３に示すように、概略的に、以下の基本的特徴を有する。すなわち、本発明は、検査仕様に基づいて、同期制御ソフトの処理タイミングとして固定周期、および、非同期制御ソフトの処理タイミングとして可変周期を持つ周期信号の処理タイミングを生成する（ステップＳＡ−１〜ステップＳＡ−６）。
【００２６】
ここで、検査仕様に基づいて、非同期制御ソフトの処理タイミングを規定するための可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成してもよい（ステップＳＡ−１〜ステップＳＡ−３）。また、検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成してもよい（ステップＳＡ−４〜ステップＳＡ−５）。また、生成された非同期制御ソフト処理タイミング信号と、生成された同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成してもよい（ステップＳＡ−６）。
【００２７】
また、ここで、非同期制御ソフト周期信号生成において（ステップＳＡ−１〜ステップＳＡ−３）、記憶部から回転速度制限条件を取得してもよい（ステップＳＡ−１）。また、取得された回転速度制限条件の上限値および下限値を、非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算してもよい（ステップＳＡ−２）。また、換算された最長周期値から最短周期値までの範囲内で、非同期制御ソフト周期信号を、検査仕様の検査時間と最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成してもよい（ステップＳＡ−３）。
【００２８】
また、ここで、同期制御ソフト周期信号生成において（ステップＳＡ−４〜ステップＳＡ−５）、記憶部から同期制御ソフトの処理周期値を取得してもよい（ステップＳＡ−４）。また、取得された処理周期値毎に、同期制御ソフト周期信号を、検査仕様の検査時間と処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成してもよい（ステップＳＡ−５）。
【００２９】
そして、本発明は、検査仕様に基づいて、生成された周期信号の処理タイミングで、同期制御ソフトおよび非同期制御ソフトを実行させるためのテストハーネスを作成する（ステップＳＡ−７〜ステップＳＡ−１０）。
【００３０】
そして、本発明は、作成されたテストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査する（ステップＳＡ−１１）。
【００３１】
そして、本発明は、有界モデル検査の結果を、表示部を制御して表示する（ステップＳＡ−１２）。
【００３２】
以上で、本発明の概要の説明を終える。
【００３３】
［エンジン制御ソフト検査装置の構成］
まず、本エンジン制御ソフト検査装置の構成について説明する。図４は、本発明が適用される本エンジン制御ソフト検査装置構成の一例を示すブロック図であり、該構成のうち本発明に関係する部分のみを概念的に示している。図４に示すように、本エンジン制御ソフト検査装置１００は、概略的に、制御部１０２と記憶部１０６と入力部１１２と表示部１１４とを備えて構成されている。
【００３４】
図４において、記憶部１０６に格納される各種のデータベースやテーブル（検査仕様ファイル１０６ａならびにエンジン制御ソフトＤＢ１０６ｂ（同期制御ソフトＤＢ１０６ｃおよび非同期制御ソフトＤＢ１０６ｄ））は、固定ディスク装置等のストレージ手段であり、各種処理に用いる各種のプログラムやテーブルやファイルやデータベースやウェブページ等を格納する。
【００３５】
これら記憶部１０６の各構成要素のうち、検査仕様ファイル１０６ａは、同期制御ソフトおよび非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段である。ここで、検査仕様は、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、同期制御ソフトの固定周期である処理周期値、を少なくとも含んでいてもよい。
【００３６】
また、エンジン制御ソフトＤＢ１０６ｂは、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを記憶するエンジン制御ソフト記憶手段である。ここで、エンジン制御ソフトＤＢ１０６ｂは、同期制御ソフトを記憶する同期制御ソフトＤＢ１０６ｃと、非同期制御ソフトを記憶する非同期制御ソフトＤＢ１０６ｄとから構成される。
【００３７】
また、図４において、入出力制御インターフェース部１０８は、入力部１１２や表示部１１４の制御を行う。ここで、表示部１１４としては、モニタ（家庭用テレビを含む）の他、スピーカを用いることができる（なお、以下においては表示部１１４をモニタとして記載する場合がある）。また、入力部１１２としては、キーボード、マウス、およびマイク等を用いることができる。ここで、入力部１１２は、利用者が当該入力部１１２を介して、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、同期制御ソフトの固定周期である処理周期値、を少なくとも含む検査仕様を設定し、記憶部１０６の検査仕様ファイル１０６ａに格納するために用いられてもよい。
【００３８】
また、図４において、制御部１０２は、ＯＳ（Ｏｐｅｒａｔｉｎｇ  Ｓｙｓｔｅｍ）等の制御プログラム、各種の処理手順等を規定したプログラム、および所要データを格納するための内部メモリを有し、これらのプログラム等により、種々の処理を実行するための情報処理を行う。制御部１０２は、機能概念的に、タイミング生成部１０２ａ、テストハーネス作成部１０２ｂ、テストハーネス整合性検査部１０２ｃ、および、検査結果表示部１０２ｄを備えて構成されている。
【００３９】
制御部１０２のうち、タイミング生成部１０２ａは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、同期制御ソフトの処理タイミングとして固定周期、および、非同期制御ソフトの処理タイミングとして可変周期を持つ周期信号の処理タイミングを生成するタイミング生成手段である。ここで、タイミング生成部１０２ａは、図４に示すように、非同期制御ソフト信号生成部１０２ｅ、同期制御ソフト信号生成部１０２ｆ、および、タイミング信号マージ部１０２ｇを備えて構成されている。
【００４０】
ここで、タイミング生成部１０２ａのうち、非同期制御ソフト信号生成部１０２ｅは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、非同期制御ソフトの処理タイミングを規定するための可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成手段である。また、ここで、非同期制御ソフト信号生成部１０２ｅは、図４に示すように、回転速度制限条件取得部１０２ｈ、最長最短処理周期値換算部１０２ｉ、および、非同期制御ソフト処理タイミング信号生成部１０２ｊを更に備えて構成されている。
【００４１】
非同期制御ソフト信号生成部１０２ｅのうち、回転速度制限条件取得部１０２ｈは、記憶部１０６の検査仕様ファイル１０６ａから回転速度制限条件を取得する回転速度制限条件取得手段である。また、最長最短処理周期値換算部１０２ｉは、回転速度制限条件取得部１０２ｈにより取得された回転速度制限条件の上限値および下限値を、非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算手段である。また、非同期制御ソフト処理タイミング信号生成部１０２ｊは、最長最短処理周期値換算部１０２ｉにより換算された、最長周期値から最短周期値までの範囲内で、非同期制御ソフト周期信号を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間と、最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成手段である。
【００４２】
ここで、タイミング生成部１０２ａのうち、同期制御ソフト信号生成部１０２ｆは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成手段である。また、ここで、同期制御ソフト信号生成部１０２ｆは、図４に示すように、同期制御ソフト処理周期値取得部１０２ｋ、および、同期制御ソフト処理タイミング信号生成部１０２ｌを更に備えて構成されている。
【００４３】
同期制御ソフト信号生成部１０２ｆのうち、同期制御ソフト処理周期値取得部１０２ｋは、記憶部１０６の検査仕様ファイル１０６ａから同期制御ソフトの処理周期値を取得する同期制御ソフト処理周期値取得手段である。また、同期制御ソフト処理タイミング信号生成部１０２ｌは、同期制御ソフト処理周期値取得部１０２ｋにより取得された処理周期値毎に、同期制御ソフト周期信号を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間と、処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成手段である。
【００４４】
ここで、タイミング生成部１０２ａのうち、タイミング信号マージ部１０２ｇは、非同期制御ソフト信号生成部１０２ｅの処理により生成された非同期制御ソフト処理タイミング信号と、同期制御ソフト信号生成部１０２ｆの処理により生成された同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成するタイミング信号マージ手段である。
【００４５】
また、制御部１０２のうち、テストハーネス作成部１０２ｂは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、タイミング生成部１０２ａにより生成された周期信号の処理タイミングで、記憶部１０６の同期制御ソフトＤＢ１０６ｃに記憶された同期制御ソフト、および、記憶部１０６の非同期制御ソフトＤＢ１０６ｄに記憶された非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成手段である。
【００４６】
ここで、「テストハーネス」とは、ソフトウェアをデバックするためのプログラムであり、例えば、プログラムのクラス自身に組み込まれているメソッド（ビルトインテスト）やテスト専用のクラスにおかれたメソッドの集まりである。本実施形態において、テストハーネスは、テストハーネス整合性検査部１０２ｃにおいて、同期制御ソフトおよび非同期制御ソフトの処理タイミングを合わせて、両ソフトを実行させ、両ソフトの処理結果を比較することでテストハーネスの整合性を検査するために用いられる。
【００４７】
また、制御部１０２のうち、テストハーネス整合性検査部１０２ｃは、テストハーネス作成部１０２ｂにより作成されたテストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査手段である。
【００４８】
ここで、「有界モデル検査」とは、システムの取り得る状態を有限の遷移回数で到達できる状態空間を論理式として表現し、そこにバグが存在するかどうかを、「充足可能性判定器（例えば、ＳＡＴソルバー）」等を用いて検査するものである。有界な到達可能状態空間であっても、ブール論理式で表現すると非常に長い式になるが、表現することは高速にでき、また、充足可能性判定器は、長い式であっても、非常に高速に結果を返すことができる。本実施形態において、テストハーネス整合性検査部１０２ｃが、充足可能性判定器として、テストハーネス作成部１０２ｂの処理により作成されたテストハーネスを実行し、有界モデル検査を実施している。これにより、テストハーネス整合性検査部１０２ｃは、テストハーネスの実行結果の整合性を検査することで、高速に車両のエンジン制御ソフトを検証することができる。
【００４９】
また、制御部１０２のうち、検査結果表示部１０２ｄは、テストハーネス整合性検査部１０２ｃによる有界モデル検査の結果を、表示部１１４を制御して表示する検査結果表示手段である。
【００５０】
以上で、本エンジン制御ソフト検査装置１００の構成の説明を終える。
【００５１】
［本エンジン制御ソフト検査装置１００の処理］
次に、このように構成された本実施の形態における本エンジン制御ソフト検査装置１００の処理の一例について、以下に図３を参照して詳細に説明する。
【００５２】
［基本動作処理］
まず、本エンジン制御ソフト検査装置１００の処理の基本動作処理の詳細について図３を参照して説明する。図３は、上述のように、本発明の基本動作処理の一例を示すフローチャートである。
【００５３】
図３に示すように、最初に、タイミング生成部１０２ａは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、同期制御ソフトの処理タイミングとして固定周期、および、非同期制御ソフトの処理タイミングとして可変周期を持つ周期信号の処理タイミングを生成する（ステップＳＡ−１〜ステップＳＡ−６）。
【００５４】
具体的には、非同期制御ソフト信号生成部１０２ｅは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、非同期制御ソフトの処理タイミングを規定するための可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する（ステップＳＡ−１〜ステップＳＡ−３）。そして、同期制御ソフト信号生成部１０２ｆは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する（ステップＳＡ−４〜ステップＳＡ−５）。そして、タイミング信号マージ部１０２ｇは、非同期制御ソフト信号生成部１０２ｅの処理により生成された非同期制御ソフト処理タイミング信号と、同期制御ソフト信号生成部１０２ｆの処理により生成された同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成する（ステップＳＡ−６）。
【００５５】
より具体的には、非同期制御ソフト信号生成部１０２ｅにおいて（ステップＳＡ−１〜ステップＳＡ−３）、回転速度制限条件取得部１０２ｈは、記憶部１０６の検査仕様ファイル１０６ａから回転速度制限条件を取得する（ステップＳＡ−１）。そして、最長最短処理周期値換算部１０２ｉは、回転速度制限条件取得部１０２ｈの処理により取得された回転速度制限条件の上限値および下限値を、非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する（ステップＳＡ−２）。そして、非同期制御ソフト処理タイミング信号生成部１０２ｊは、最長最短処理周期値換算部１０２ｉの処理により換算された最長周期値から最短周期値までの範囲内で、非同期制御ソフト周期信号を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間と最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する（ステップＳＡ−３）。
【００５６】
続いて、より具体的には、同期制御ソフト信号生成部１０２ｆにおいて（ステップＳＡ−４〜ステップＳＡ−５）、同期制御ソフト処理周期値取得部１０２ｋは、記憶部１０６の検査仕様ファイル１０６ａから同期制御ソフトの処理周期値を取得する（ステップＳＡ−４）。そして、同期制御ソフト処理タイミング信号生成部１０２ｌは、同期制御ソフト処理周期値取得部１０２ｋの処理により取得された処理周期値毎に、同期制御ソフト周期信号を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間と処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する（ステップＳＡ−５）。
【００５７】
そして、タイミング信号マージ部１０２ｇは、非同期制御ソフト信号生成部１０２ｅの処理により生成された非同期制御ソフト処理タイミング信号と、同期制御ソフト信号生成部１０２ｆの処理により生成された同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成する（ステップＳＡ−６）。
【００５８】
次に、テストハーネス作成部１０２ｂは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて（ステップＳＡ−７）、タイミング生成部１０２ａの処理により生成された周期信号の処理タイミングで、記憶部１０６の同期制御ソフトＤＢ１０６ｃに記憶された同期制御ソフト（ステップＳＡ−８）、および、記憶部１０６の非同期制御ソフトＤＢ１０６ｄに記憶された非同期制御ソフト（ステップＳＡ−９）、を実行させるためのテストハーネスを作成する（ステップＳＡ−１０）。
【００５９】
そして、テストハーネス整合性検査部１０２ｃは、テストハーネス作成部１０２ｂの処理により作成されたテストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査する（ステップＳＡ−１１）。
【００６０】
そして、検査結果表示部１０２ｄは、テストハーネス整合性検査部１０２ｃの処理による有界モデル検査の結果を、表示部１１４を制御して表示する（ステップＳＡ−１２）。
【００６１】
以上で、本エンジン制御ソフト検査装置１００の基本動作処理の説明を終える。
【００６２】
［実施例］
続いて、以下に、本実施の形態における本エンジン制御ソフト検査装置１００の実施例について、図３、図５〜図１５を参照して詳細に説明する。
【００６３】
最初に、図５および図６を参照して、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトの検査に用いる例題について、説明する。ここで、図５は、本実施形態における同期制御ソフトの実行モジュールの一例を示す図であり、図６は、本実施形態における非同期制御ソフトの実行モジュールの一例を示す図である。図５において、同期制御ソフトの実行モジュール（ｖｏｉｄ  ｓｙｎｃｈ（））は、同期コードを実行し、ｇ＿ｔｅｓｔにｇ＿ｓｕｍを加えるよう設計されている。すなわち、ｖｏｉｄ  ｓｙｎｃｈ（）が呼ばれる度にｇ＿ｔｅｓｔがｇ＿ｓｕｍずつ増加する。なお、図示していないが、一例として、ｇ＿ｓｕｍは２以上５以下の定数として初期化されており、また、固定周期である処理周期値（Ｔ）は、一例として、「８ｍｓ」に設定されている。また、図６において、非同期制御ソフトの実行モジュール（ｖｏｉｄ  ａｓｙｎｃｈ（））は、非同期コードを実行し、ｇ＿ｔｅｓｔに一例として定数４を加えるよう設計されている。すなわち、ｖｏｉｄ  ａｓｙｎｃｈ（）が呼ばれる度にｇ＿ｔｅｓｔが４ずつ増加する。なお、図示していないが、可変周期であるエンジン回転速度（ｗ）は、一例として、「６００ｒｐｍ〜５０００ｒｐｍ」に設定されている。図５および図６のモジュールにおいて、図示していないが、初期条件は、一例として、「ｇ＿ｔｅｓｔ＝０」に設定されており、検査内容は、一例として、「Ｔｆ（検査時間）＝０．５ｓになった際、ｇ＿ｔｅｓｔが１９９になるｇ＿ｓｕｍ及びエンジン回転速度のプロファイルは存在するかを検証する（ただし、ｇ＿ｓｕｍは２以上５以下である）」という内容になっている。この与えられた例題である検査内容に関し本エンジン制御ソフト検査装置１００が行う処理について、図３に対応するステップ毎に、以下に図７〜１５を参照して詳細に説明する。
【００６４】
（非同期制御ソフト処理タイミング生成処理）
まず、図７および図８を参照して、図３のステップＳＡ−１〜ステップＳＡ−３に対応する非同期制御ソフト処理タイミング生成の処理の一例について説明する。ここで、図７は、本実施形態における非同期制御ソフト処理タイミングの一例を示す図であり、図８は、本実施形態における非同期制御ソフト処理タイミング生成処理の一例を示すフローチャートである。
【００６５】
図７および図８は、タイミング生成部１０２ａの非同期制御ソフト信号生成部１０２ｅの処理により、非同期制御ソフト処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］）が生成される一例を示している。具体的には、図８に示した非同期制御ソフト処理タイミング生成ルーチン（ｇｅｎｅｒａｔｅ＿ａｓｙｎｃｈ）内で、回転速度制限条件取得部１０２ｈは、記憶部１０６の検査仕様ファイル１０６ａから回転速度制限条件（例えば、エンジン回転の最高速度：５０００ｒｐｍ、最低速度：６００ｒｐｍ）を取得し、そして、最長最短処理周期値換算部１０２ｉは、回転速度制限条件取得部１０２ｈの処理により取得された回転速度制限条件の上限値（Ｔｍａｘ）および下限値（Ｔｍｉｎ）を、非同期制御ソフト周期信号の最長周期値（例えば、Ｔｍａｘ＝１００ｍｓ）および最短周期値（例えば、Ｔｍｉｎ＝１２ｍｓ）にそれぞれ換算し、そして、非同期制御ソフト処理タイミング信号生成部１０２ｊは、最長最短処理周期値換算部１０２ｉの処理により換算された最長周期値（例えば、Ｔｍａｘ＝１００ｍｓ）から最短周期値（例えば、Ｔｍｉｎ＝１２ｍｓ）までの範囲内で、非同期制御ソフト周期信号（例えば、ｔ［０］〜ｔ［４１］）を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間（Ｔｆ：例えば、０．５ｓ＝５００ｍｓ）と最短周期値（Ｔｍｉｎ：例えば、１２ｍｓ）との商（Ｔｆ／Ｔｍｉｎ）から求められる所定の個数（例えば、４１．７→４２個）まで時系列に生成する（ステップＳＢ−１）。すなわち、タイミング生成部１０２ａの非同期制御ソフト信号生成部１０２ｅは、ステップＳＢ−１にて、最長周期値（例えば、Ｔｍａｘ＝１００ｍｓ）から最短周期値（例えば、Ｔｍｉｎ＝１２ｍｓ）までの範囲内で、同期タイミングである非同期制御ソフト周期信号（例えば、ｔ［０］〜ｔ［４１］）を生成する。
【００６６】
そして、非同期制御ソフト処理タイミング信号生成部１０２ｊは、生成された当該非同期制御ソフト周期信号（例えば、ｔ［０］〜ｔ［４１］）にそれぞれ対応する非同期制御ソフト処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］）を所定の個数（例えば、４２個）まで時系列に生成する（ステップＳＢ−２）。すなわち、タイミング生成部１０２ａの非同期制御ソフト信号生成部１０２ｅは、ステップＳＢ−２にて、同期タイミングである非同期制御ソフト周期信号（例えば、ｔ［０］〜ｔ［４１］）を、「０」からの絶対タイミングである非同期制御ソフト処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］）に変換する。
【００６７】
（同期制御ソフト処理タイミング生成処理）
続いて、図９および図１０を参照して、図３のステップＳＡ−４〜ステップＳＡ−５に対応する同期制御ソフト処理タイミング生成の処理の一例について説明する。ここで、図９は、本実施形態における同期制御ソフト処理タイミングの一例を示す図であり、図１０は、本実施形態における同期制御ソフト処理タイミング生成処理の一例を示すフローチャートである。
【００６８】
図９および図１０は、タイミング生成部１０２ａの同期制御ソフト信号生成部１０２ｆの処理により、同期制御ソフト処理タイミング信号（例えば、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）が生成される一例を示している。具体的には、図１０に示した同期制御ソフト処理タイミング生成ルーチン（ｇｅｎｅｒａｔｅ＿ｓｙｎｃｈ）内で、同期制御ソフト処理周期値取得部１０２ｋは、記憶部１０６の検査仕様ファイル１０６ａから同期制御ソフトの処理周期値（Ｔ：例えば、Ｔ＝８ｍｓ）を取得し、同期制御ソフト処理タイミング信号生成部１０２ｌは、同期制御ソフト処理周期値取得部１０２ｋの処理により取得された処理周期値（Ｔ：例えば、Ｔ＝８ｍｓ）毎に、同期制御ソフト周期信号（例えば、Ｔ［０］〜Ｔ［６２］）を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間（Ｔｆ：例えば、０．５ｓ＝５００ｍｓ）と処理周期値（Ｔ：例えば、Ｔ＝８ｍｓ）との商（Ｔｆ／Ｔ）から求められる所定の個数（例えば、６２．５→６３個）まで時系列に生成する（ステップＳＣ−１）。すなわち、タイミング生成部１０２ａの同期制御ソフト信号生成部１０２ｆは、ステップＳＣ−１にて、処理周期値（Ｔ：例えば、Ｔ＝８ｍｓ）毎、すなわち、例えば、Ｔ［０］〜Ｔ［６２］は「８ｍｓ」という条件で、同期タイミングである同期制御ソフト周期信号（例えば、Ｔ［０］〜Ｔ［６２］）を生成する。
【００６９】
そして、同期制御ソフト処理タイミング信号生成部１０２ｌは、生成された当該同期制御ソフト周期信号（例えば、Ｔ［０］〜Ｔ［６２］）にそれぞれ対応する同期制御ソフト処理タイミング信号（例えば、例えば、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）を所定の個数（例えば、６３個）まで時系列に生成する（ステップＳＣ−２）。すなわち、タイミング生成部１０２ａの同期制御ソフト信号生成部１０２ｆは、ステップＳＣ−２にて、同期タイミングである同期制御ソフト周期信号（例えば、Ｔ［０］〜Ｔ［６２］）を、「０」からの絶対タイミングである同期制御ソフト処理タイミング信号（例えば、例えば、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）に変換する。
【００７０】
（タイミング信号マージ処理）
続いて、図１１および図１２を参照して、図３のステップＳＡ−６に対応する処理タイミング信号のマージ処理の一例について説明する。ここで、図１１は、本実施形態におけるマージされたタイミング信号の一例を示す図であり、図１２は、本実施形態におけるタイミング信号マージ処理の一例を示すフローチャートである。
【００７１】
図１１および図１２は、タイミング生成部１０２ａのタイミング信号マージ部１０２ｇの処理により、図１１に示すように、例えば、０ｍｓ〜５００ｍｓの時間域内で、マージされた処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］と、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）が生成される一例を示している。具体的には、図１２に示したタイミング信号マージ処理ルーチン（ｍｅｒｇｅ）内で、タイミング信号マージ部１０２ｇは、非同期制御ソフト信号生成部１０２ｅの処理により生成された非同期制御ソフト処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］）と、同期制御ソフト信号生成部１０２ｆの処理により生成された同期制御ソフト処理タイミング信号（例えば、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）と、をマージする（ステップＳＤ−１〜ステップＳＤ−７）。
【００７２】
具体的には、図１２に示すように、タイミング信号マージ部１０２ｇは、まず、初期化（例えば、ｔ＝０，ｎｓ＝０，ｓ＝０）を行い（ステップＳＤ−１）、時間（ｔ）が非同期タイミング（ｔ＿ａｓｙｎｃｈ［ｎｓ］）であるか否か（（ｔ＝＝ｔ＿ａｓｙｎｃｈ［ｎｓ］）？）を判断する（ステップＳＤ−２）。
【００７３】
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が非同期タイミング（ｔ＿ａｓｙｎｃｈ［ｎｓ］）であると判断された場合（ステップＳＤ−２：Ｙｅｓ）、その非同期タイミングにて非同期制御ソフトを実行する（ステップＳＤ−３）。すなわち、タイミング信号マージ部１０２ｇは、図６に示した非同期制御ソフトの実行モジュール（ａｓｙｎｃｈ（））を呼び出し、引数に「非同期ソフト」を与えて、非同期制御ソフトを実行する。実行後、ｎｓを１つカウントし（ｎｓ＝ｎｓ＋１）、ステップＳＤ−４へ進む。一方、時間（ｔ）が非同期タイミング（ｔ＿ａｓｙｎｃｈ［ｎｓ］）でないと判断された場合（ステップＳＤ−２：Ｎｏ）は、そのまま、ステップＳＤ−４へ進む。
【００７４】
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が同期タイミング（ｔ＿ｓｙｎｃｈ［ｓ］）であるか否か（（ｔ＝＝ｔ＿ｓｙｎｃｈ［ｓ］）？）を判断する（ステップＳＤ−４）。
【００７５】
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が同期タイミング（ｔ＿ｓｙｎｃｈ［ｓ］）であると判断された場合（ステップＳＤ−４：Ｙｅｓ）、その同期タイミングにて同期制御ソフトを実行する（ステップＳＤ−５）。すなわち、タイミング信号マージ部１０２ｇは、図５に示した同期制御ソフトの実行モジュール（ｓｙｎｃｈ（））を呼び出し、引数に「同期ソフト」を与えて、同期制御ソフトを実行する。実行後、ｓを１つカウントし（ｓ＝ｓ＋１）、ステップＳＤ−６へ進む。一方、時間（ｔ）が同期タイミング（ｔ＿ｓｙｎｃｈ［ｓ］）でないと判断された場合（ステップＳＤ−４：Ｎｏ）は、そのまま、ステップＳＤ−６へ進む。
【００７６】
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が終了時間であるか否か（例えば、（ｔ＝＝５００ｍｓ）？）を判断する（ステップＳＤ−６）。
【００７７】
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が終了時間でないと判断された場合（ステップＳＤ−６：Ｎｏ）、時間（ｔ）を１つカウントし（ｔ＝ｔ＋１）（ステップＳＤ−７）、ステップＳＤ−２の処理に戻り、時間（ｔ）が終了時間（例えば、ｔ＝＝５００ｍｓ）になるまで上述の処理を繰り返す。一方、時間（ｔ）が終了時間であると判断された場合（ステップＳＤ−６：Ｙｅｓ）、処理を終了する。
【００７８】
（テストハーネス作成処理）
続いて、図１３および図１４を参照して、図３のステップＳＡ−７〜ステップＳＡ−１０に対応するテストハーネス作成処理の一例について説明する。ここで、図１３は、本実施形態において、非同期制御ソフトおよび同期制御ソフトが各処理タイミングにて実行される一例を示す図であり、図１４は、本実施形態におけるテストハーネスの処理内容の一例を示すフローチャートである。
【００７９】
図１３および図１４は、テストハーネス作成部１０２ｂの処理により作成された、テストハーネスの実行ルーチン（ｖｏｉｄ＿ｍａｉｎ（））の処理内容の一例を示している。具体的には、図１４に示したテストハーネス実行ルーチン（ｖｏｉｄ＿ｍａｉｎ（））内で、テストハーネス作成部１０２ｂは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様（例えば、ステップＳＥ−１にて、ｇ＿ｓｕｍを生成、但しｇ＿ｓｕｍは２以上５以下の条件や、ステップＳＥ−５にて、ｇ＿ｔｅｓｔが１９９になるｇ＿ｓｕｍは存在するか？といった条件等）に基づいて、図１３に示すように、タイミング生成部１０２ａの処理により生成された周期信号の処理タイミング（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］と、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）で、記憶部１０６の同期制御ソフトＤＢ１０６ｃに記憶された同期制御ソフト、および、記憶部１０６の非同期制御ソフトＤＢ１０６ｄに記憶された非同期制御ソフトを実行させる、ステップＳＥ−１〜ステップＳＥ−５の処理内容を含むテストハーネスを作成する。
【００８０】
すなわち、テストハーネス作成部１０２ｂは、一例として、図１４に示すように、初期化（例えば、ｇ＿ｓｕｍを生成、但しｇ＿ｓｕｍは２以上５以下）を行い（ステップＳＥ−１）、図８に示した非同期制御ソフト処理タイミング生成ルーチン（ｇｅｎｅｒａｔｅ＿ａｓｙｎｃｈ）を呼び出して実行し（ステップＳＥ−２）、図１０に示した同期制御ソフト処理タイミング生成ルーチン（ｇｅｎｅｒａｔｅ＿ｓｙｎｃｈ）を呼び出して実行し（ステップＳＥ−３）、図１２に示したタイミング信号マージ処理ルーチン（ｍｅｒｇｅ）を呼び出して実行し（ステップＳＥ−４）、そして、検査項目（例えば、ｇ＿ｔｅｓｔが１９９になるｇ＿ｓｕｍは存在するかを検証するための条件式（例えば、ａｓｓｅｒｔ（！（ｇ＿ｔｅｓｔ＝＝１９９）））を挿入した（ステップＳＥ−５）テストハーネスを作成する。
【００８１】
（有界モデル検査実施・検査結果表示処理）
続いて、図１５を参照して、図３のステップＳＡ−１１〜ステップＳＡ−１２に対応する有界モデル検査実施・検査結果表示処理の一例について説明する。ここで、図１５は、本実施形態における有界モデル検査実施・検査結果表示処理の一例を示す図である。
【００８２】
図１５は、テストハーネス整合性検査部１０２ｃが、テストハーネス作成部１０２ｂの処理により作成されたテストハーネスを実行し、検査結果表示部１０２ｄが、図１４に示した当該テストハーネスのステップＳＥ−５にて挿入された検査項目（例えば、ｇ＿ｔｅｓｔが１９９になるｇ＿ｓｕｍは存在するかを検証するための条件式（例えば、ａｓｓｅｒｔ（！（ｇ＿ｔｅｓｔ＝＝１９９）））の検査結果を表示した一例を示している。図１５の右図に示す検査結果が示すように、総検査時間は６５０８５６ｍｓであり、条件式「！（ｇ＿ｔｅｓｔ＝＝１９９）」は常に成立、すなわち、ｇ＿ｓｕｍが２以上５以下、非同期タイミングが１２ｍｓ以上１００ｍｓ以下の全ての組み合わせについて成立し、結果として、どのケースでもｇ＿ｔｅｓｔは１９９になれないことが証明できている。
【００８３】
以上、本エンジン制御ソフト検査装置１００において実行されるエンジン制御ソフト検査処理の実施例の説明を終える。
【００８４】
［他の実施の形態］
さて、これまで本発明の実施の形態について説明したが、本発明は、上述した実施の形態以外にも、上記特許請求の範囲に記載した技術的思想の範囲内において種々の異なる実施の形態にて実施されてよいものである。
【００８５】
例えば、エンジン制御ソフト検査装置１００がスタンドアローンの形態で処理を行う場合を一例に説明したが、エンジン制御ソフト検査装置１００とは別筐体で構成されるクライアント端末からの要求に応じて処理を行い、その処理結果を当該クライアント端末に返却するように構成してもよい。また、図４において、エンジン制御ソフト検査装置１００が、記憶部１０６にエンジン制御ソフトＤＢ１０６ｂを含む構成の一例について説明したが、エンジン制御ソフトＤＢ１０６ｂを、エンジン制御ソフト検査装置１００とは別筐体で構成される外部システム等の外部データベースに保存するよう構成してもよい。
【００８６】
また、実施の形態において説明した各処理のうち、自動的に行われるものとして説明した処理の全部または一部を手動的に行うこともでき、あるいは、手動的に行われるものとして説明した処理の全部または一部を公知の方法で自動的に行うこともできる。
【００８７】
このほか、上記文献中や図面中で示した処理手順、制御手順、具体的名称、各処理の登録データや検索条件等のパラメータを含む情報、画面例、データベース構成については、特記する場合を除いて任意に変更することができる。
【００８８】
また、エンジン制御ソフト検査装置１００に関して、図示の各構成要素は機能概略的なものであり、必ずしも物理的に図示の如く構成されていることを要しない。
【００８９】
例えば、エンジン制御ソフト検査装置１００の各装置が備える処理機能、特に制御部１０２にて行われる各処理機能については、その全部または任意の一部を、ＣＰＵ（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）および当該ＣＰＵにて解釈実行されるプログラムにて実現することができ、あるいは、ワイヤードロジックによるハードウェアとして実現することも可能である。尚、プログラムは、後述する記録媒体に記録されており、必要に応じてエンジン制御ソフト検査装置１００に機械的に読み取られる。すなわち、ＲＯＭまたはＨＤＤなどの記憶部１０６などは、ＯＳとして協働してＣＰＵに命令を与え、各種処理を行うためのコンピュータプログラムが記録されている。このコンピュータプログラムは、ＲＡＭにロードされることによって実行され、ＣＰＵと協働して制御部１０２を構成する。
【００９０】
また、このコンピュータプログラムは、エンジン制御ソフト検査装置１００に対して任意のネットワークを介して接続されたアプリケーションプログラムサーバに記憶されていてもよく、必要に応じてその全部または一部をダウンロードすることも可能である。
【００９１】
また、本発明に係るプログラムを、コンピュータ読み取り可能な記録媒体に格納することもできる。ここで、この「記録媒体」とは、フレキシブルディスク、光磁気ディスク、ＲＯＭ、ＥＰＲＯＭ、ＥＥＰＲＯＭ、ＣＤ−ＲＯＭ、ＭＯ、ＤＶＤ等の任意の「可搬用の物理媒体」、あるいは、ＬＡＮ、ＷＡＮ、インターネットに代表されるネットワークを介してプログラムを送信する場合の通信回線や搬送波のように、短期にプログラムを保持する「通信媒体」を含むものとする。
【００９２】
また、「プログラム」とは、任意の言語や記述方法にて記述されたデータ処理方法であり、ソースコードやバイナリコード等の形式を問わない。なお、「プログラム」は必ずしも単一的に構成されるものに限られず、複数のモジュールやライブラリとして分散構成されるものや、ＯＳ（Ｏｐｅｒａｔｉｎｇ  Ｓｙｓｔｅｍ）に代表される別個のプログラムと協働してその機能を達成するものをも含む。なお、実施の形態に示した各装置において記録媒体を読み取るための具体的な構成、読み取り手順、あるいは、読み取り後のインストール手順等については、周知の構成や手順を用いることができる。
【００９３】
記憶部１０６に格納される各種のデータベース等（検査仕様ファイル１０６ａならびにエンジン制御ソフトＤＢ１０６ｂ（同期制御ソフトＤＢ１０６ｃおよび非同期制御ソフトＤＢ１０６ｄ））は、ＲＡＭ、ＲＯＭ等のメモリ装置、ハードディスク等の固定ディスク装置、フレキシブルディスク、光ディスク等のストレージ手段であり、各種処理やウェブサイト提供に用いる各種のプログラムやテーブルやデータベースやウェブページ用ファイル等を格納する。
【００９４】
また、エンジン制御ソフト検査装置１００は、既知のパーソナルコンピュータ、ワークステーション等の情報処理装置を接続し、該情報処理装置に本発明の方法を実現させるソフト（プログラム、データ等を含む）を実装することにより実現してもよい。
【００９５】
更に、装置の分散・統合の具体的形態は図示するものに限られず、その全部または一部を、各種の付加等に応じた任意の単位で、機能的または物理的に分散・統合して構成することができる。
【産業上の利用可能性】
【００９６】
以上詳述に説明したように、本発明によれば、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができる、エンジン制御ソフト検査装置およびエンジン制御ソフト検査方法を提供することができるので、ソフトウェア分野において有用である。
【図面の簡単な説明】
【００９７】
【図１】従来の同期制御ソフトおよび非同期制御ソフトを含むエンジン制御ソフトの一例を示す図である。
【図２】非同期制御ソフトの処理タイミングを固定した検証の一例を示す図である。
【図３】本発明の基本動作処理の一例を示すフローチャートである。
【図４】本発明が適用される本エンジン制御ソフト検査装置構成の一例を示すブロック図である。
【図５】同期制御ソフトの実行モジュールの一例を示す図である。
【図６】非同期制御ソフトの実行モジュールの一例を示す図である。
【図７】非同期制御ソフト処理タイミングの一例を示す図である。
【図８】非同期制御ソフト処理タイミング生成処理の一例を示すフローチャートである。
【図９】同期制御ソフト処理タイミングの一例を示す図である。
【図１０】同期制御ソフト処理タイミング生成処理の一例を示すフローチャートである。
【図１１】マージされたタイミング信号の一例を示す図である。
【図１２】タイミング信号マージ処理の一例を示すフローチャートである。
【図１３】非同期制御ソフトおよび同期制御ソフトが各処理タイミングにて実行される一例を示す図である。
【図１４】テストハーネスの処理内容の一例を示すフローチャートである。
【図１５】有界モデル検査実施・検査結果表示処理の一例を示す図である。
【符号の説明】
【００９８】
１００  エンジン制御ソフト検査装置
１０２  制御部
１０２ａ  タイミング生成部
１０２ｂ  テストハーネス作成部
１０２ｃ  テストハーネス整合性検査部
１０２ｄ  検査結果表示部
１０２ｅ  非同期制御ソフト信号生成部
１０２ｆ  同期制御ソフト信号生成部
１０２ｇ  タイミング信号マージ部
１０２ｈ  回転速度制限条件取得部
１０２ｉ  最長最短処理周期値換算部
１０２ｊ  非同期制御ソフト処理タイミング信号生成部
１０２ｋ  同期制御ソフト処理周期値取得部
１０２ｌ  同期制御ソフト処理タイミング信号生成部
１０６  記憶部
１０６ａ  検査仕様ファイル
１０６ｂ  エンジン制御ソフトＤＢ
１０６ｃ  同期制御ソフトＤＢ
１０６ｄ  非同期制御ソフトＤＢ
１０８  入出力制御インターフェース部
１１２  入力部
１１４  表示部
【図１】
2009168523.tif 000003
【図２】
2009168523.tif 000004
【図３】
2009168523.tif 000005
【図４】
2009168523.tif 000006
【図５】
2009168523.tif 000007
【図６】
2009168523.tif 000008
【図７】
2009168523.tif 000009
【図８】
2009168523.tif 000010
【図９】
2009168523.tif 000011
【図１０】
2009168523.tif 000012
【図１１】
2009168523.tif 000013
【図１２】
2009168523.tif 000014
【図１３】
2009168523.tif 000015
【図１４】
2009168523.tif 000016
【図１５】
2009168523.tif 000017