JP2009168523A - Apparatus, method, and program for inspecting engine controlling software - Google Patents
Apparatus, method, and program for inspecting engine controlling software Download PDFInfo
- Publication number
- JP2009168523A JP2009168523A JP2008004875A JP2008004875A JP2009168523A JP 2009168523 A JP2009168523 A JP 2009168523A JP 2008004875 A JP2008004875 A JP 2008004875A JP 2008004875 A JP2008004875 A JP 2008004875A JP 2009168523 A JP2009168523 A JP 2009168523A
- Authority
- JP
- Japan
- Prior art keywords
- control software
- inspection
- processing
- signal
- asynchronous
- 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
Images
Abstract
Description
本発明は、車両のエンジン制御ソフト検査装置、エンジン制御ソフト検査方法およびプログラムに関し、特に、車両用電子制御装置（ＥＣＵ）に実装されるソフトの異常の有無を検査するために、詳しくはこれが仕様を満たすものに仕上がっているか否かを検証するために用いられる、車両のエンジン制御ソフト検査装置、エンジン制御ソフト検査方法およびプログラムに関する。 The present invention relates to a vehicle engine control software inspection device, an engine control software inspection method, and a program, and more particularly, in order to inspect whether there is an abnormality in software installed in a vehicle electronic control unit (ECU). The present invention relates to a vehicle engine control software inspection device, an engine control software inspection method, and a program, which are used to verify whether or not a product satisfying the above conditions is finished.
通常、車両用電子制御装置に実装されるソフト、例えば車載エンジンを制御するエンジン制御ソフト等の開発は、
（ア）設計情報に基づいてプログラムを作成（コーディング）する工程、
（イ）該作成したプログラムの異常の有無を検査、修正（デバッグ）する工程、
（ウ）該デバッグしたプログラムを車両用電子制御装置に実装し、実際の車両にてデバッグ、適合（実車チェック）する工程、
（エ）この実車チェックの結果に基づいて更にプログラムを修正する工程、
等の工程を通して行われる。
Usually, development of software installed in a vehicle electronic control device, for example, engine control software for controlling an in-vehicle engine,
(A) Creating (coding) a program based on design information;
(B) A step of inspecting and correcting (debugging) the created program for abnormalities;
(C) mounting the debugged program on an electronic control device for a vehicle and debugging and adapting (actual vehicle check) on an actual vehicle;
(D) The process of further modifying the program based on the result of this actual vehicle check,
Etc. are performed through such processes.
ここにも示されるように、ソフト開発においては、プログラムの作成後にその妥当性を検証すべく検査を行うことが重要である。特に車両用電子制御装置に実装されるソフト（プログラム）は巨大であることが多く、通常、個々にコーディングされた多くのソフト部品（モジュール）を組み合わせて作り上げられるため、個々の部品の妥当性だけでなく、こうした部品の組み合せの正当性についても注意深く検査する必要がある。 As shown here, in software development, it is important to inspect after the creation of a program to verify its validity. In particular, the software (program) installed in the vehicle electronic control device is often huge and is usually created by combining many individually coded software components (modules), so only the validity of the individual components In addition, the correctness of the combination of these parts must be carefully examined.
例えば、特許文献１の技術では、車両のエンジン制御用ソフトの検証は検査仕様に書かれている検索項目に基づいて行われる。この検査項目は、特定な入力信号パターンと、それに対して望ましい内部状態の変化および出力パターンの組み合わせで構成される。しかし、入力に対する内部状態の変化、出力の時間特性はソフトが搭載されるハードの機種によって、異なるため、自動判断するためには機種により別の検査仕様を用意する必要があった。
For example, in the technique of
また、こういった検査使用の入力パターンは、検査項目によってはあくまで代表的なパターンであり、全ての入力を網羅していない場合が多いため、近年はＥｓｔｅｒｌ Ｔｅｃｈｎｏｌｏｇｙ（会社名）のＳＣＡＤＥ（商品名）等の形式検証ツールを導入することで網羅的な検査を行おうとしているが、このＳＣＡＤＥは、同期イベントのみ検証でき非同期イベントを検証できないため、車両エンジンのように同期イベントと非同期イベントが混在するソフトの検査システムの開発が必要とされていた。 In addition, since the input pattern for inspection use is a typical pattern depending on the inspection item and does not cover all inputs in many cases, in recent years, SCADE (product name) of Ester Technology (company name) is used. ) And other formal verification tools are being introduced, but since this SCADE can only verify synchronous events and not asynchronous events, synchronous events and asynchronous events are mixed like a vehicle engine. There was a need to develop a software inspection system.
ここで、図１は、従来の同期制御ソフトおよび非同期制御ソフトを含むエンジン制御ソフトの一例を示す図である。図１において、車両のエンジン制御ソフトが、一定周期（固定周期）毎に処理される同期制御ソフトと、エンジン回転毎に可変周期で処理される非同期制御ソフトとの２種類のソフトから構成されることを示している。図１に示すように、ＥＣＵに組み込まれたエンジン制御ソフトのうち同期制御ソフトは、タイマー等に設定された一定周期（Ｔ）を、同期処理タイミングとして制御信号をエンジンへ送っている。一方、非同期制御ソフトは、可変周期（ｔ１，ｔ２，ｔ３）、例えば、エンジン内に設置されたクランク角センサにて検出されたクランク角に基づいて算出されたエンジン回転速度を、非同期処理タイミングとして制御信号をエンジンへ送っている。しかし、非同期ソフトの処理タイミングは、エンジン回転速度により可変となるため、この回転速度を網羅して全ての処理タイミングを検証することが困難であった。また、両方の制御ソフトの整合性を検証するためには、非同期制御ソフトの処理タイミングを時間軸（ｔ）に落とす必要があった。 Here, FIG. 1 is a diagram showing an example of engine control software including conventional synchronous control software and asynchronous control software. In FIG. 1, vehicle engine control software is composed of two types of software: synchronous control software that is processed at a constant cycle (fixed cycle) and asynchronous control software that is processed at a variable cycle for each engine rotation. It is shown that. As shown in FIG. 1, the synchronization control software among the engine control software incorporated in the ECU sends a control signal to the engine with a constant cycle (T) set in a timer or the like as a synchronization processing timing. On the other hand, the asynchronous control software uses the engine rotation speed calculated based on the variable period (t1, t2, t3), for example, the crank angle detected by the crank angle sensor installed in the engine as the asynchronous processing timing. Sending control signal to engine. However, since the processing timing of the asynchronous software is variable depending on the engine rotation speed, it is difficult to verify all the processing timings covering this rotation speed. Further, in order to verify the consistency of both control software, it is necessary to drop the processing timing of the asynchronous control software on the time axis (t).
このように、図１に示した従来のエンジン制御ソフトを検証する場合、非同期ソフト処理のタイミングである可変周期（Ｔ）に対し、同期ソフト処理のタイミングである可変周期（ｔ１，ｔ２，ｔ３）の全範囲も網羅して、実時間（ｔ）内で非同期ソフトと同期ソフトとの整合性を合わせて検証する必要があるが、この作業は非常に複雑であった。 As described above, when the conventional engine control software shown in FIG. 1 is verified, the variable period (t1, t2, t3) that is the timing of the synchronous software process is compared with the variable period (T) that is the timing of the asynchronous software process. It is necessary to verify the consistency between the asynchronous software and the synchronous software within the real time (t), but this work is very complicated.
そこで、従来技術においては、図２（非同期制御ソフトの処理タイミングを固定した検証の一例を示す図）に示すように、代表的なエンジン回転速度を想定して非同期ソフトの処理タイミングを固定して検証を行っていた。図２において、非同期制御ソフトの処理タイミングは、エンジン回転速度によって周期が変わる可変周期であるため、エンジン回転速度のプロファイルを求め、このプロファイルに基づき代表的なエンジン回転速度に固定して検証している。しかし、図２に示したように、同期ソフト処理のタイミングである可変周期を固定することにより、非同期イベントを同期イベントにすることができるので、上記ＳＣＡＤＥ等の形式検証ツールを用いて網羅的に検査することが可能となるが、車両エンジン制御ソフトのように同期イベントと非同期イベントが混在するソフトを正確に検査できなかった。 Therefore, in the prior art, as shown in FIG. 2 (a diagram showing an example of verification in which the processing timing of the asynchronous control software is fixed), the processing timing of the asynchronous software is fixed assuming a typical engine rotation speed. We were verifying. In FIG. 2, the processing timing of the asynchronous control software is a variable cycle whose cycle changes depending on the engine rotation speed. Therefore, a profile of the engine rotation speed is obtained and fixed to a representative engine rotation speed based on this profile for verification. Yes. However, as shown in FIG. 2, by fixing the variable period that is the timing of the synchronous software processing, an asynchronous event can be made into a synchronous event. Therefore, it is comprehensive using a formal verification tool such as SCADE. Although it is possible to inspect, software such as vehicle engine control software in which synchronous events and asynchronous events are mixed could not be accurately inspected.
本発明では、上記に鑑みてなされたもので、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができる、エンジン制御ソフト検査装置およびエンジン制御ソフト検査方法を提供することを目的とする。 In the present invention, an engine control software inspection device and an engine that have been made in view of the above, and that can accurately cover the processing timing of the synchronous control software and the asynchronous control software and verify the engine control software of the vehicle at high speed. An object is to provide a control software inspection method.
このような目的を達成するため、請求項１に記載のエンジン制御ソフト検査装置は、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを検査する、表示部と記憶部と制御部とを少なくとも備えたエンジン制御ソフト検査装置であって、上記記憶部は、上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、を備え、上記制御部は、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成手段と、上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成手段により生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成手段と、上記テストハーネス作成手段により作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査手段と、上記テストハーネス整合性検査手段による上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示手段と、を備えたことを特徴とする。
In order to achieve such an object, the engine control software inspection apparatus according to
また、請求項２の記載のエンジン制御ソフト検査装置は、請求項１に記載のエンジン制御ソフト検査装置において、上記タイミング生成手段は、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成手段と、上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成手段と、上記同期制御ソフト信号生成手段により生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成手段により生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージ手段と、を更に備えたことを特徴とする。
The engine control software inspection device according to
また、請求項３の記載のエンジン制御ソフト検査装置は、請求項２に記載のエンジン制御ソフト検査装置において、上記検査仕様記憶手段に記憶された上記検査仕様は、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、上記非同期制御ソフト信号生成手段は、上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得手段と、上記回転速度制限条件取得手段により取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算手段と、上記最長最短処理周期値換算手段により換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成手段と、を更に備え、上記同期制御ソフト信号生成手段は、上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得手段と、上記同期制御ソフト処理周期値取得手段により取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成手段と、を更に備えたことを特徴とする。
Further, the engine control software inspection device according to
また、請求項４の記載のエンジン制御ソフト検査方法は、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを検査する、表示部と記憶部と制御部とを少なくとも備えたエンジン制御ソフト検査装置において実行されるエンジン制御ソフト検査方法であって、上記記憶部は、上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、を備え、上記制御部において実行される、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成ステップと、上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成ステップにて生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成ステップと、上記テストハーネス作成ステップにて作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査ステップと、上記テストハーネス整合性検査ステップによる上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示ステップと、を含むことを特徴とする。 According to a fourth aspect of the present invention, there is provided a display unit for inspecting engine control software including synchronous control software processed every fixed period and asynchronous control software processed every variable period. An engine control software inspection method executed in an engine control software inspection apparatus having at least a storage unit and a control unit, wherein the storage unit stores inspection specifications of the synchronous control software and the asynchronous control software Storage unit, and executed by the control unit, based on the inspection specifications stored in the storage unit, the fixed cycle as the processing timing of the synchronous control software, and the processing timing of the asynchronous control software A timing generation step for generating a processing timing of the periodic signal having the variable period; A test harness creating step for creating a test harness for executing the synchronous control software and the asynchronous control software at the processing timing of the periodic signal generated in the timing generation step based on the inspection specification And a test harness consistency inspection step for executing a bounded model inspection by executing the test harness created in the test harness creation step and inspecting the consistency of the test harness, and the test harness consistency A test result display step of controlling the display unit and displaying the result of the bounded model test in the sex test step.
また、請求項５の記載のエンジン制御ソフト検査方法は、請求項４に記載のエンジン制御ソフト検査方法において、上記タイミング生成ステップは、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成ステップと、上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成ステップと、上記同期制御ソフト信号生成ステップにて生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成ステップにて生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージステップと、を更に含むことを特徴とする。
The engine control software inspection method according to
また、請求項６の記載のエンジン制御ソフト検査方法は、請求項５に記載のエンジン制御ソフト検査方法において、上記検査仕様記憶手段に記憶された上記検査仕様は、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、上記非同期制御ソフト信号生成ステップは、上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得ステップと、上記回転速度制限条件取得ステップにて取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算ステップと、上記最長最短処理周期値換算ステップにて換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成ステップと、を更に含み、上記同期制御ソフト信号生成ステップは、上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得ステップと、上記同期制御ソフト処理周期値取得ステップにて取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成ステップと、を更に含むことを特徴とする。
The engine control software inspection method according to
また、請求項７の記載のプログラムは、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを検査する、表示部と記憶部と制御部とを少なくとも備えたエンジン制御ソフト検査装置を実行させるためのプログラムであって、上記記憶部は、上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、を備え、上記制御部において実行される、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成ステップと、上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成ステップにて生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成ステップと、上記テストハーネス作成ステップにて作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査ステップと、上記テストハーネス整合性検査ステップによる上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示ステップと、を実行させることを特徴とする。 According to a seventh aspect of the present invention, there is provided a display unit, a storage unit, and a control unit that inspect engine control software including synchronous control software processed every fixed period and asynchronous control software processed every variable period. A program for executing an engine control software inspection apparatus including at least a unit, wherein the storage unit includes an inspection specification storage unit that stores inspection specifications of the synchronous control software and the asynchronous control software, and A periodic signal having the fixed period as the processing timing of the synchronous control software and the variable period as the processing timing of the asynchronous control software, based on the inspection specification stored in the storage unit, executed in the control unit Based on the timing generation step for generating the processing timing and the inspection specification stored in the storage unit, In the test harness creating step for creating a test harness for executing the synchronous control software and the asynchronous control software at the processing timing of the periodic signal generated in the timing generating step, and in the test harness creating step The bounded model inspection is performed by executing the bounded model inspection by executing the created test harness and inspecting the consistency of the test harness, and the bounded model inspection by the test harness consistency inspection step. And a test result display step of controlling the display unit to display the result.
また、請求項８の記載のプログラムは、請求項７に記載のプログラムにおいて、上記タイミング生成ステップは、上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成ステップと、上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成ステップと、上記同期制御ソフト信号生成ステップにて生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成ステップにて生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージステップと、を更に実行させることを特徴とする。
The program according to claim 8 is the program according to
また、請求項９の記載のプログラムは、請求項８に記載のプログラムにおいて、上記検査仕様記憶手段に記憶された上記検査仕様は、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、上記非同期制御ソフト信号生成ステップは、上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得ステップと、上記回転速度制限条件取得ステップにて取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算ステップと、上記最長最短処理周期値換算ステップにて換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成ステップと、を更に含み、上記同期制御ソフト信号生成ステップは、上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得ステップと、上記同期制御ソフト処理周期値取得ステップにて取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成ステップと、を更に実行させることを特徴とする。
Further, the program according to
この発明によれば、検査仕様に基づいて、同期制御ソフトの処理タイミングとして固定周期、および、非同期制御ソフトの処理タイミングとして可変周期を持つ周期信号の処理タイミングを生成し、検査仕様に基づいて、生成された周期信号の処理タイミングで、同期制御ソフトおよび非同期制御ソフトを実行させるためのテストハーネスを作成し、作成されたテストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査し、有界モデル検査の結果を、表示部を制御して表示するので、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができるという効果を奏する。 According to this invention, based on the inspection specification, the fixed timing as the processing timing of the synchronous control software, and the processing timing of the periodic signal having the variable period as the processing timing of the asynchronous control software, and based on the inspection specification, Create a test harness to execute the synchronous control software and asynchronous control software at the processing timing of the generated periodic signal, execute the bounded model inspection by executing the created test harness, and the test harness The control of the bounded model and the result of the bounded model inspection are displayed by controlling the display unit, so the processing timing of the synchronous control software and asynchronous control software is accurately covered and the vehicle engine control software is verified at high speed. There is an effect that can be done.
また、この発明によれば、タイミング生成において、検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成し、検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための可変周期毎に生成される同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成し、生成された同期制御ソフト処理タイミング信号と、生成された非同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成するので、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができるという効果を奏する。 Further, according to the present invention, in the timing generation, the synchronization control software cycle signal generated for each fixed cycle for defining the processing timing of the synchronization control software is generated based on the inspection specification, and the synchronization control software cycle A synchronous control software processing timing signal is generated from the signal, a synchronous control software periodic signal is generated every variable period for defining the processing timing of the synchronous control software based on the inspection specification, and the asynchronous control software period Since the asynchronous control software processing timing signal is generated from the signal, and the generated synchronous control software processing timing signal and the generated asynchronous control software processing timing signal are merged, the processing timing of the periodic signal is generated. Accurately covers the processing timing of control software and asynchronous control software at high speed There is an effect that it is possible to verify both the engine control software.
また、この発明によれば、非同期制御ソフト周期信号生成において、記憶部から回転速度制限条件を取得し、取得された回転速度制限条件の上限値および下限値を、非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算し、換算された最長周期値から最短周期値までの範囲内で、非同期制御ソフト周期信号を、検査仕様の検査時間と最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成し、同期制御ソフト周期信号生成において、記憶部から同期制御ソフトの処理周期値を取得し、取得された処理周期値毎に、同期制御ソフト周期信号を、検査仕様の検査時間と処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成するので、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができるという効果を奏する。 According to the present invention, in the asynchronous control software periodic signal generation, the rotational speed limit condition is acquired from the storage unit, and the upper limit value and the lower limit value of the acquired rotational speed limit condition are set to the longest period of the asynchronous control software periodic signal. The asynchronous control software periodic signal within the range from the converted longest cycle value to the shortest cycle value, and the predetermined value obtained from the quotient of the inspection time and the shortest cycle value in the inspection specification. Generate up to the number of time-sequential asynchronous control software processing timing signals corresponding to the generated asynchronous control software periodic signals up to a predetermined number of time-synchronized signals. The processing cycle value of the control software is acquired, and for each acquired processing cycle value, the synchronous control software cycle signal is calculated between the inspection time and the processing cycle value of the inspection specification. Up to a predetermined number obtained from the time series, and a synchronous control software processing timing signal corresponding to each of the generated synchronous control software periodic signals is generated in a time series up to the predetermined number. There is an effect that the engine control software of the vehicle can be verified at high speed by accurately covering the software processing timing.
以下に、本発明にかかる車両のエンジン制御ソフト検査装置およびエンジン制御ソフト検査方法の実施の形態を図面に基づいて詳細に説明する。なお、この実施の形態によりこの発明が限定されるものではない。 Embodiments of a vehicle engine control software inspection device and an engine control software inspection method according to the present invention will be described below in detail with reference to the drawings. Note that the present invention is not limited to the embodiments.
［本発明の概要］
以下、本発明の概要について説明し、その後、本発明の構成および処理等について詳細に説明する。図３は、本発明の基本動作処理の一例を示すフローチャートである。
[Outline of the present invention]
Hereinafter, the outline of the present invention will be described, and then the configuration and processing of the present invention will be described in detail. FIG. 3 is a flowchart showing an example of the basic operation process of the present invention.
本発明は、図３に示すように、概略的に、以下の基本的特徴を有する。すなわち、本発明は、検査仕様に基づいて、同期制御ソフトの処理タイミングとして固定周期、および、非同期制御ソフトの処理タイミングとして可変周期を持つ周期信号の処理タイミングを生成する（ステップＳＡ−１〜ステップＳＡ−６）。 As shown in FIG. 3, the present invention schematically has the following basic features. That is, the present invention generates a processing timing of a periodic signal having a fixed period as a processing timing of the synchronous control software and a variable period as a processing timing of the asynchronous control software based on the inspection specification (Step SA-1 to Step SA1). SA-6).
ここで、検査仕様に基づいて、非同期制御ソフトの処理タイミングを規定するための可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成してもよい（ステップＳＡ−１〜ステップＳＡ−３）。また、検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成してもよい（ステップＳＡ−４〜ステップＳＡ−５）。また、生成された非同期制御ソフト処理タイミング信号と、生成された同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成してもよい（ステップＳＡ−６）。 Here, based on the inspection specification, an asynchronous control software cycle signal generated every variable cycle for defining the processing timing of the asynchronous control software is generated, and the asynchronous control software processing timing signal is generated from the asynchronous control software cycle signal. You may produce | generate (step SA-1-step SA-3). In addition, based on the inspection specification, it generates a synchronization control software cycle signal that is generated at fixed intervals for defining the processing timing of the synchronization control software, and generates a synchronization control software processing timing signal from the synchronization control software cycle signal (Step SA-4 to Step SA-5). Further, the processing timing of the periodic signal may be generated by merging the generated asynchronous control software processing timing signal and the generated synchronous control software processing timing signal (step SA-6).
また、ここで、非同期制御ソフト周期信号生成において（ステップＳＡ−１〜ステップＳＡ−３）、記憶部から回転速度制限条件を取得してもよい（ステップＳＡ−１）。また、取得された回転速度制限条件の上限値および下限値を、非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算してもよい（ステップＳＡ−２）。また、換算された最長周期値から最短周期値までの範囲内で、非同期制御ソフト周期信号を、検査仕様の検査時間と最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成してもよい（ステップＳＡ−３）。 Here, in the asynchronous control software periodic signal generation (step SA-1 to step SA-3), the rotational speed limiting condition may be acquired from the storage unit (step SA-1). Further, the upper limit value and the lower limit value of the acquired rotation speed limit condition may be converted into the longest cycle value and the shortest cycle value of the asynchronous control software cycle signal, respectively (step SA-2). In addition, within the range from the converted longest cycle value to the shortest cycle value, the asynchronous control software cycle signal is generated in time series up to a predetermined number obtained from the quotient of the inspection time and the shortest cycle value of the inspection specification, Up to a predetermined number of asynchronous control software processing timing signals respectively corresponding to the generated asynchronous control software cycle signals may be generated in time series (step SA-3).
また、ここで、同期制御ソフト周期信号生成において（ステップＳＡ−４〜ステップＳＡ−５）、記憶部から同期制御ソフトの処理周期値を取得してもよい（ステップＳＡ−４）。また、取得された処理周期値毎に、同期制御ソフト周期信号を、検査仕様の検査時間と処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成してもよい（ステップＳＡ−５）。 Here, in the generation of the synchronization control software cycle signal (steps SA-4 to SA-5), the processing cycle value of the synchronization control software may be acquired from the storage unit (step SA-4). In addition, for each acquired processing cycle value, a synchronization control software cycle signal is generated in time series up to a predetermined number obtained from the quotient of the inspection time of the inspection specification and the processing cycle value, and the generated synchronization control software Up to a predetermined number of synchronization control software processing timing signals respectively corresponding to the periodic signals may be generated in time series (step SA-5).
そして、本発明は、検査仕様に基づいて、生成された周期信号の処理タイミングで、同期制御ソフトおよび非同期制御ソフトを実行させるためのテストハーネスを作成する（ステップＳＡ−７〜ステップＳＡ−１０）。 Then, the present invention creates a test harness for executing the synchronous control software and the asynchronous control software at the processing timing of the generated periodic signal based on the inspection specification (step SA-7 to step SA-10). .
そして、本発明は、作成されたテストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査する（ステップＳＡ−１１）。 And this invention implements a bounded model test | inspection by running the created test harness, and test | inspects the consistency of the said test harness (step SA-11).
そして、本発明は、有界モデル検査の結果を、表示部を制御して表示する（ステップＳＡ−１２）。 Then, the present invention displays the result of the bounded model check by controlling the display unit (step SA-12).
以上で、本発明の概要の説明を終える。 This is the end of the summary of the present invention.
［エンジン制御ソフト検査装置の構成］
まず、本エンジン制御ソフト検査装置の構成について説明する。図４は、本発明が適用される本エンジン制御ソフト検査装置構成の一例を示すブロック図であり、該構成のうち本発明に関係する部分のみを概念的に示している。図４に示すように、本エンジン制御ソフト検査装置１００は、概略的に、制御部１０２と記憶部１０６と入力部１１２と表示部１１４とを備えて構成されている。
[Configuration of engine control software inspection device]
First, the configuration of the engine control software inspection device will be described. FIG. 4 is a block diagram showing an example of the configuration of the engine control software inspection apparatus to which the present invention is applied, and conceptually shows only the portion related to the present invention in the configuration. As shown in FIG. 4, the engine control
図４において、記憶部１０６に格納される各種のデータベースやテーブル（検査仕様ファイル１０６ａならびにエンジン制御ソフトＤＢ１０６ｂ（同期制御ソフトＤＢ１０６ｃおよび非同期制御ソフトＤＢ１０６ｄ））は、固定ディスク装置等のストレージ手段であり、各種処理に用いる各種のプログラムやテーブルやファイルやデータベースやウェブページ等を格納する。
In FIG. 4, various databases and tables (
これら記憶部１０６の各構成要素のうち、検査仕様ファイル１０６ａは、同期制御ソフトおよび非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段である。ここで、検査仕様は、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、同期制御ソフトの固定周期である処理周期値、を少なくとも含んでいてもよい。
Among the components of the storage unit 106, the
また、エンジン制御ソフトＤＢ１０６ｂは、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトを記憶するエンジン制御ソフト記憶手段である。ここで、エンジン制御ソフトＤＢ１０６ｂは、同期制御ソフトを記憶する同期制御ソフトＤＢ１０６ｃと、非同期制御ソフトを記憶する非同期制御ソフトＤＢ１０６ｄとから構成される。
The engine
また、図４において、入出力制御インターフェース部１０８は、入力部１１２や表示部１１４の制御を行う。ここで、表示部１１４としては、モニタ（家庭用テレビを含む）の他、スピーカを用いることができる（なお、以下においては表示部１１４をモニタとして記載する場合がある）。また、入力部１１２としては、キーボード、マウス、およびマイク等を用いることができる。ここで、入力部１１２は、利用者が当該入力部１１２を介して、検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、同期制御ソフトの固定周期である処理周期値、を少なくとも含む検査仕様を設定し、記憶部１０６の検査仕様ファイル１０６ａに格納するために用いられてもよい。
In FIG. 4, the input / output
また、図４において、制御部１０２は、ＯＳ（Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍ）等の制御プログラム、各種の処理手順等を規定したプログラム、および所要データを格納するための内部メモリを有し、これらのプログラム等により、種々の処理を実行するための情報処理を行う。制御部１０２は、機能概念的に、タイミング生成部１０２ａ、テストハーネス作成部１０２ｂ、テストハーネス整合性検査部１０２ｃ、および、検査結果表示部１０２ｄを備えて構成されている。
4, the
制御部１０２のうち、タイミング生成部１０２ａは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、同期制御ソフトの処理タイミングとして固定周期、および、非同期制御ソフトの処理タイミングとして可変周期を持つ周期信号の処理タイミングを生成するタイミング生成手段である。ここで、タイミング生成部１０２ａは、図４に示すように、非同期制御ソフト信号生成部１０２ｅ、同期制御ソフト信号生成部１０２ｆ、および、タイミング信号マージ部１０２ｇを備えて構成されている。
Among the
ここで、タイミング生成部１０２ａのうち、非同期制御ソフト信号生成部１０２ｅは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、非同期制御ソフトの処理タイミングを規定するための可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成手段である。また、ここで、非同期制御ソフト信号生成部１０２ｅは、図４に示すように、回転速度制限条件取得部１０２ｈ、最長最短処理周期値換算部１０２ｉ、および、非同期制御ソフト処理タイミング信号生成部１０２ｊを更に備えて構成されている。
Here, of the
非同期制御ソフト信号生成部１０２ｅのうち、回転速度制限条件取得部１０２ｈは、記憶部１０６の検査仕様ファイル１０６ａから回転速度制限条件を取得する回転速度制限条件取得手段である。また、最長最短処理周期値換算部１０２ｉは、回転速度制限条件取得部１０２ｈにより取得された回転速度制限条件の上限値および下限値を、非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算手段である。また、非同期制御ソフト処理タイミング信号生成部１０２ｊは、最長最短処理周期値換算部１０２ｉにより換算された、最長周期値から最短周期値までの範囲内で、非同期制御ソフト周期信号を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間と、最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成手段である。
Of the asynchronous control software
ここで、タイミング生成部１０２ａのうち、同期制御ソフト信号生成部１０２ｆは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成手段である。また、ここで、同期制御ソフト信号生成部１０２ｆは、図４に示すように、同期制御ソフト処理周期値取得部１０２ｋ、および、同期制御ソフト処理タイミング信号生成部１０２ｌを更に備えて構成されている。
Here, in the
同期制御ソフト信号生成部１０２ｆのうち、同期制御ソフト処理周期値取得部１０２ｋは、記憶部１０６の検査仕様ファイル１０６ａから同期制御ソフトの処理周期値を取得する同期制御ソフト処理周期値取得手段である。また、同期制御ソフト処理タイミング信号生成部１０２ｌは、同期制御ソフト処理周期値取得部１０２ｋにより取得された処理周期値毎に、同期制御ソフト周期信号を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間と、処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成手段である。
Of the synchronization control software
ここで、タイミング生成部１０２ａのうち、タイミング信号マージ部１０２ｇは、非同期制御ソフト信号生成部１０２ｅの処理により生成された非同期制御ソフト処理タイミング信号と、同期制御ソフト信号生成部１０２ｆの処理により生成された同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成するタイミング信号マージ手段である。
Here, among the
また、制御部１０２のうち、テストハーネス作成部１０２ｂは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、タイミング生成部１０２ａにより生成された周期信号の処理タイミングで、記憶部１０６の同期制御ソフトＤＢ１０６ｃに記憶された同期制御ソフト、および、記憶部１０６の非同期制御ソフトＤＢ１０６ｄに記憶された非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成手段である。
Further, among the
ここで、「テストハーネス」とは、ソフトウェアをデバックするためのプログラムであり、例えば、プログラムのクラス自身に組み込まれているメソッド（ビルトインテスト）やテスト専用のクラスにおかれたメソッドの集まりである。本実施形態において、テストハーネスは、テストハーネス整合性検査部１０２ｃにおいて、同期制御ソフトおよび非同期制御ソフトの処理タイミングを合わせて、両ソフトを実行させ、両ソフトの処理結果を比較することでテストハーネスの整合性を検査するために用いられる。
Here, the “test harness” is a program for debugging software, and is, for example, a collection of methods (built-in tests) built into the program class itself or methods dedicated to the test. . In the present embodiment, the test harness causes the test harness
また、制御部１０２のうち、テストハーネス整合性検査部１０２ｃは、テストハーネス作成部１０２ｂにより作成されたテストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査手段である。
In addition, the test harness
ここで、「有界モデル検査」とは、システムの取り得る状態を有限の遷移回数で到達できる状態空間を論理式として表現し、そこにバグが存在するかどうかを、「充足可能性判定器（例えば、ＳＡＴソルバー）」等を用いて検査するものである。有界な到達可能状態空間であっても、ブール論理式で表現すると非常に長い式になるが、表現することは高速にでき、また、充足可能性判定器は、長い式であっても、非常に高速に結果を返すことができる。本実施形態において、テストハーネス整合性検査部１０２ｃが、充足可能性判定器として、テストハーネス作成部１０２ｂの処理により作成されたテストハーネスを実行し、有界モデル検査を実施している。これにより、テストハーネス整合性検査部１０２ｃは、テストハーネスの実行結果の整合性を検査することで、高速に車両のエンジン制御ソフトを検証することができる。
Here, “bounded model checking” means expressing the state space that can be reached by the system with a finite number of transitions as a logical expression and whether there is a bug or not. (For example, SAT solver) "or the like. Even if it is a bounded reachable state space, it becomes a very long expression when expressed in a Boolean logic expression, but it can be expressed at high speed, and the satisfiability determiner can be a long expression, Results can be returned very quickly. In the present embodiment, the test harness
また、制御部１０２のうち、検査結果表示部１０２ｄは、テストハーネス整合性検査部１０２ｃによる有界モデル検査の結果を、表示部１１４を制御して表示する検査結果表示手段である。
Of the
以上で、本エンジン制御ソフト検査装置１００の構成の説明を終える。
This is the end of the description of the configuration of the engine control
［本エンジン制御ソフト検査装置１００の処理］
次に、このように構成された本実施の形態における本エンジン制御ソフト検査装置１００の処理の一例について、以下に図３を参照して詳細に説明する。
[Process of the engine control software inspection apparatus 100]
Next, an example of processing of the engine control
［基本動作処理］
まず、本エンジン制御ソフト検査装置１００の処理の基本動作処理の詳細について図３を参照して説明する。図３は、上述のように、本発明の基本動作処理の一例を示すフローチャートである。
[Basic operation processing]
First, details of the basic operation process of the process of the engine control
図３に示すように、最初に、タイミング生成部１０２ａは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、同期制御ソフトの処理タイミングとして固定周期、および、非同期制御ソフトの処理タイミングとして可変周期を持つ周期信号の処理タイミングを生成する（ステップＳＡ−１〜ステップＳＡ−６）。
As shown in FIG. 3, first, the
具体的には、非同期制御ソフト信号生成部１０２ｅは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、非同期制御ソフトの処理タイミングを規定するための可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する（ステップＳＡ−１〜ステップＳＡ−３）。そして、同期制御ソフト信号生成部１０２ｆは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて、同期制御ソフトの処理タイミングを規定するための固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する（ステップＳＡ−４〜ステップＳＡ−５）。そして、タイミング信号マージ部１０２ｇは、非同期制御ソフト信号生成部１０２ｅの処理により生成された非同期制御ソフト処理タイミング信号と、同期制御ソフト信号生成部１０２ｆの処理により生成された同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成する（ステップＳＡ−６）。
Specifically, the asynchronous control software
より具体的には、非同期制御ソフト信号生成部１０２ｅにおいて（ステップＳＡ−１〜ステップＳＡ−３）、回転速度制限条件取得部１０２ｈは、記憶部１０６の検査仕様ファイル１０６ａから回転速度制限条件を取得する（ステップＳＡ−１）。そして、最長最短処理周期値換算部１０２ｉは、回転速度制限条件取得部１０２ｈの処理により取得された回転速度制限条件の上限値および下限値を、非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する（ステップＳＡ−２）。そして、非同期制御ソフト処理タイミング信号生成部１０２ｊは、最長最短処理周期値換算部１０２ｉの処理により換算された最長周期値から最短周期値までの範囲内で、非同期制御ソフト周期信号を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間と最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する（ステップＳＡ−３）。
More specifically, in the asynchronous control software
続いて、より具体的には、同期制御ソフト信号生成部１０２ｆにおいて（ステップＳＡ−４〜ステップＳＡ−５）、同期制御ソフト処理周期値取得部１０２ｋは、記憶部１０６の検査仕様ファイル１０６ａから同期制御ソフトの処理周期値を取得する（ステップＳＡ−４）。そして、同期制御ソフト処理タイミング信号生成部１０２ｌは、同期制御ソフト処理周期値取得部１０２ｋの処理により取得された処理周期値毎に、同期制御ソフト周期信号を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間と処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する（ステップＳＡ−５）。
Subsequently, more specifically, in the synchronization control software
そして、タイミング信号マージ部１０２ｇは、非同期制御ソフト信号生成部１０２ｅの処理により生成された非同期制御ソフト処理タイミング信号と、同期制御ソフト信号生成部１０２ｆの処理により生成された同期制御ソフト処理タイミング信号と、をマージすることにより周期信号の処理タイミングを生成する（ステップＳＡ−６）。
The timing
次に、テストハーネス作成部１０２ｂは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様に基づいて（ステップＳＡ−７）、タイミング生成部１０２ａの処理により生成された周期信号の処理タイミングで、記憶部１０６の同期制御ソフトＤＢ１０６ｃに記憶された同期制御ソフト（ステップＳＡ−８）、および、記憶部１０６の非同期制御ソフトＤＢ１０６ｄに記憶された非同期制御ソフト（ステップＳＡ−９）、を実行させるためのテストハーネスを作成する（ステップＳＡ−１０）。
Next, based on the inspection specification stored in the
そして、テストハーネス整合性検査部１０２ｃは、テストハーネス作成部１０２ｂの処理により作成されたテストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査する（ステップＳＡ−１１）。
Then, the test harness
そして、検査結果表示部１０２ｄは、テストハーネス整合性検査部１０２ｃの処理による有界モデル検査の結果を、表示部１１４を制御して表示する（ステップＳＡ−１２）。
Then, the inspection
以上で、本エンジン制御ソフト検査装置１００の基本動作処理の説明を終える。
This is the end of the description of the basic operation process of the engine control
［実施例］
続いて、以下に、本実施の形態における本エンジン制御ソフト検査装置１００の実施例について、図３、図５〜図１５を参照して詳細に説明する。
[Example]
Subsequently, examples of the engine control
最初に、図５および図６を参照して、固定周期毎に処理される同期制御ソフトと、可変周期毎に処理される非同期制御ソフトとを含むエンジン制御ソフトの検査に用いる例題について、説明する。ここで、図５は、本実施形態における同期制御ソフトの実行モジュールの一例を示す図であり、図６は、本実施形態における非同期制御ソフトの実行モジュールの一例を示す図である。図５において、同期制御ソフトの実行モジュール（ｖｏｉｄ ｓｙｎｃｈ（））は、同期コードを実行し、ｇ＿ｔｅｓｔにｇ＿ｓｕｍを加えるよう設計されている。すなわち、ｖｏｉｄ ｓｙｎｃｈ（）が呼ばれる度にｇ＿ｔｅｓｔがｇ＿ｓｕｍずつ増加する。なお、図示していないが、一例として、ｇ＿ｓｕｍは２以上５以下の定数として初期化されており、また、固定周期である処理周期値（Ｔ）は、一例として、「８ｍｓ」に設定されている。また、図６において、非同期制御ソフトの実行モジュール（ｖｏｉｄ ａｓｙｎｃｈ（））は、非同期コードを実行し、ｇ＿ｔｅｓｔに一例として定数４を加えるよう設計されている。すなわち、ｖｏｉｄ ａｓｙｎｃｈ（）が呼ばれる度にｇ＿ｔｅｓｔが４ずつ増加する。なお、図示していないが、可変周期であるエンジン回転速度（ｗ）は、一例として、「６００ｒｐｍ〜５０００ｒｐｍ」に設定されている。図５および図６のモジュールにおいて、図示していないが、初期条件は、一例として、「ｇ＿ｔｅｓｔ＝０」に設定されており、検査内容は、一例として、「Ｔｆ（検査時間）＝０．５ｓになった際、ｇ＿ｔｅｓｔが１９９になるｇ＿ｓｕｍ及びエンジン回転速度のプロファイルは存在するかを検証する（ただし、ｇ＿ｓｕｍは２以上５以下である）」という内容になっている。この与えられた例題である検査内容に関し本エンジン制御ソフト検査装置１００が行う処理について、図３に対応するステップ毎に、以下に図７〜１５を参照して詳細に説明する。
First, with reference to FIG. 5 and FIG. 6, an example used for inspection of engine control software including synchronous control software processed every fixed period and asynchronous control software processed every variable period will be described. . Here, FIG. 5 is a diagram illustrating an example of an execution module of synchronous control software in the present embodiment, and FIG. 6 is a diagram illustrating an example of an execution module of asynchronous control software in the present embodiment. In FIG. 5, the execution module (void sync ()) of the synchronization control software is designed to execute the synchronization code and add g_sum to g_test. That is, g_test increases by g_sum every time void sync () is called. Although not shown, as an example, g_sum is initialized as a constant of 2 or more and 5 or less, and the processing cycle value (T) that is a fixed cycle is set to “8 ms” as an example. Yes. In FIG. 6, the asynchronous control software execution module (void sync ()) is designed to execute asynchronous code and add a constant 4 to g_test as an example. That is, g_test is incremented by 4 every time void assist () is called. Although not shown, the engine rotation speed (w), which is a variable period, is set to “600 rpm to 5000 rpm” as an example. Although not shown in the modules of FIGS. 5 and 6, the initial condition is set to “g_test = 0” as an example, and the inspection content is set to “Tf (inspection time) = 0.5 s as an example. It is verified that there is a profile of g_sum and engine speed at which g_test becomes 199 (provided that g_sum is 2 or more and 5 or less). Processing performed by the engine control
（非同期制御ソフト処理タイミング生成処理）
まず、図７および図８を参照して、図３のステップＳＡ−１〜ステップＳＡ−３に対応する非同期制御ソフト処理タイミング生成の処理の一例について説明する。ここで、図７は、本実施形態における非同期制御ソフト処理タイミングの一例を示す図であり、図８は、本実施形態における非同期制御ソフト処理タイミング生成処理の一例を示すフローチャートである。
(Asynchronous control software processing timing generation processing)
First, an example of asynchronous control software processing timing generation processing corresponding to steps SA-1 to SA-3 in FIG. 3 will be described with reference to FIGS. Here, FIG. 7 is a diagram illustrating an example of asynchronous control software processing timing in the present embodiment, and FIG. 8 is a flowchart illustrating an example of asynchronous control software processing timing generation processing in the present embodiment.
図７および図８は、タイミング生成部１０２ａの非同期制御ソフト信号生成部１０２ｅの処理により、非同期制御ソフト処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］）が生成される一例を示している。具体的には、図８に示した非同期制御ソフト処理タイミング生成ルーチン（ｇｅｎｅｒａｔｅ＿ａｓｙｎｃｈ）内で、回転速度制限条件取得部１０２ｈは、記憶部１０６の検査仕様ファイル１０６ａから回転速度制限条件（例えば、エンジン回転の最高速度：５０００ｒｐｍ、最低速度：６００ｒｐｍ）を取得し、そして、最長最短処理周期値換算部１０２ｉは、回転速度制限条件取得部１０２ｈの処理により取得された回転速度制限条件の上限値（Ｔｍａｘ）および下限値（Ｔｍｉｎ）を、非同期制御ソフト周期信号の最長周期値（例えば、Ｔｍａｘ＝１００ｍｓ）および最短周期値（例えば、Ｔｍｉｎ＝１２ｍｓ）にそれぞれ換算し、そして、非同期制御ソフト処理タイミング信号生成部１０２ｊは、最長最短処理周期値換算部１０２ｉの処理により換算された最長周期値（例えば、Ｔｍａｘ＝１００ｍｓ）から最短周期値（例えば、Ｔｍｉｎ＝１２ｍｓ）までの範囲内で、非同期制御ソフト周期信号（例えば、ｔ［０］〜ｔ［４１］）を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間（Ｔｆ：例えば、０．５ｓ＝５００ｍｓ）と最短周期値（Ｔｍｉｎ：例えば、１２ｍｓ）との商（Ｔｆ／Ｔｍｉｎ）から求められる所定の個数（例えば、４１．７→４２個）まで時系列に生成する（ステップＳＢ−１）。すなわち、タイミング生成部１０２ａの非同期制御ソフト信号生成部１０２ｅは、ステップＳＢ−１にて、最長周期値（例えば、Ｔｍａｘ＝１００ｍｓ）から最短周期値（例えば、Ｔｍｉｎ＝１２ｍｓ）までの範囲内で、同期タイミングである非同期制御ソフト周期信号（例えば、ｔ［０］〜ｔ［４１］）を生成する。
7 and 8 show an example in which an asynchronous control software processing timing signal (for example, t_async [0] to t_async [41]) is generated by the process of the asynchronous control software
そして、非同期制御ソフト処理タイミング信号生成部１０２ｊは、生成された当該非同期制御ソフト周期信号（例えば、ｔ［０］〜ｔ［４１］）にそれぞれ対応する非同期制御ソフト処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］）を所定の個数（例えば、４２個）まで時系列に生成する（ステップＳＢ−２）。すなわち、タイミング生成部１０２ａの非同期制御ソフト信号生成部１０２ｅは、ステップＳＢ−２にて、同期タイミングである非同期制御ソフト周期信号（例えば、ｔ［０］〜ｔ［４１］）を、「０」からの絶対タイミングである非同期制御ソフト処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］）に変換する。
Then, the asynchronous control software processing timing
（同期制御ソフト処理タイミング生成処理）
続いて、図９および図１０を参照して、図３のステップＳＡ−４〜ステップＳＡ−５に対応する同期制御ソフト処理タイミング生成の処理の一例について説明する。ここで、図９は、本実施形態における同期制御ソフト処理タイミングの一例を示す図であり、図１０は、本実施形態における同期制御ソフト処理タイミング生成処理の一例を示すフローチャートである。
(Synchronous control software processing timing generation processing)
Next, with reference to FIGS. 9 and 10, an example of the process of generating the synchronization control software process timing corresponding to Step SA-4 to Step SA-5 in FIG. 3 will be described. Here, FIG. 9 is a diagram illustrating an example of synchronization control software processing timing in the present embodiment, and FIG. 10 is a flowchart illustrating an example of synchronization control software processing timing generation processing in the present embodiment.
図９および図１０は、タイミング生成部１０２ａの同期制御ソフト信号生成部１０２ｆの処理により、同期制御ソフト処理タイミング信号（例えば、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）が生成される一例を示している。具体的には、図１０に示した同期制御ソフト処理タイミング生成ルーチン（ｇｅｎｅｒａｔｅ＿ｓｙｎｃｈ）内で、同期制御ソフト処理周期値取得部１０２ｋは、記憶部１０６の検査仕様ファイル１０６ａから同期制御ソフトの処理周期値（Ｔ：例えば、Ｔ＝８ｍｓ）を取得し、同期制御ソフト処理タイミング信号生成部１０２ｌは、同期制御ソフト処理周期値取得部１０２ｋの処理により取得された処理周期値（Ｔ：例えば、Ｔ＝８ｍｓ）毎に、同期制御ソフト周期信号（例えば、Ｔ［０］〜Ｔ［６２］）を、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様の検査時間（Ｔｆ：例えば、０．５ｓ＝５００ｍｓ）と処理周期値（Ｔ：例えば、Ｔ＝８ｍｓ）との商（Ｔｆ／Ｔ）から求められる所定の個数（例えば、６２．５→６３個）まで時系列に生成する（ステップＳＣ−１）。すなわち、タイミング生成部１０２ａの同期制御ソフト信号生成部１０２ｆは、ステップＳＣ−１にて、処理周期値（Ｔ：例えば、Ｔ＝８ｍｓ）毎、すなわち、例えば、Ｔ［０］〜Ｔ［６２］は「８ｍｓ」という条件で、同期タイミングである同期制御ソフト周期信号（例えば、Ｔ［０］〜Ｔ［６２］）を生成する。
9 and 10 illustrate an example in which a synchronization control software processing timing signal (for example, t_sync [0] to t_sync [62]) is generated by the processing of the synchronization control software
そして、同期制御ソフト処理タイミング信号生成部１０２ｌは、生成された当該同期制御ソフト周期信号（例えば、Ｔ［０］〜Ｔ［６２］）にそれぞれ対応する同期制御ソフト処理タイミング信号（例えば、例えば、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）を所定の個数（例えば、６３個）まで時系列に生成する（ステップＳＣ−２）。すなわち、タイミング生成部１０２ａの同期制御ソフト信号生成部１０２ｆは、ステップＳＣ−２にて、同期タイミングである同期制御ソフト周期信号（例えば、Ｔ［０］〜Ｔ［６２］）を、「０」からの絶対タイミングである同期制御ソフト処理タイミング信号（例えば、例えば、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）に変換する。
Then, the synchronization control software processing timing signal generation unit 102l generates a synchronization control software processing timing signal (for example, for example, corresponding to each of the generated synchronization control software period signals (for example, T [0] to T [62]). t_sync [0] to t_sync [62]) are generated in time series up to a predetermined number (for example, 63) (step SC-2). That is, the synchronization control software
（タイミング信号マージ処理）
続いて、図１１および図１２を参照して、図３のステップＳＡ−６に対応する処理タイミング信号のマージ処理の一例について説明する。ここで、図１１は、本実施形態におけるマージされたタイミング信号の一例を示す図であり、図１２は、本実施形態におけるタイミング信号マージ処理の一例を示すフローチャートである。
(Timing signal merge processing)
Next, an example of processing timing signal merging processing corresponding to step SA-6 in FIG. 3 will be described with reference to FIGS. 11 and 12. Here, FIG. 11 is a diagram illustrating an example of the merged timing signal in the present embodiment, and FIG. 12 is a flowchart illustrating an example of the timing signal merging process in the present embodiment.
図１１および図１２は、タイミング生成部１０２ａのタイミング信号マージ部１０２ｇの処理により、図１１に示すように、例えば、０ｍｓ〜５００ｍｓの時間域内で、マージされた処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］と、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）が生成される一例を示している。具体的には、図１２に示したタイミング信号マージ処理ルーチン（ｍｅｒｇｅ）内で、タイミング信号マージ部１０２ｇは、非同期制御ソフト信号生成部１０２ｅの処理により生成された非同期制御ソフト処理タイミング信号（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］）と、同期制御ソフト信号生成部１０２ｆの処理により生成された同期制御ソフト処理タイミング信号（例えば、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）と、をマージする（ステップＳＤ−１〜ステップＳＤ−７）。
11 and FIG. 12, the processing of the timing
具体的には、図１２に示すように、タイミング信号マージ部１０２ｇは、まず、初期化（例えば、ｔ＝０，ｎｓ＝０，ｓ＝０）を行い（ステップＳＤ−１）、時間（ｔ）が非同期タイミング（ｔ＿ａｓｙｎｃｈ［ｎｓ］）であるか否か（（ｔ＝＝ｔ＿ａｓｙｎｃｈ［ｎｓ］）？）を判断する（ステップＳＤ−２）。
Specifically, as shown in FIG. 12, the timing
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が非同期タイミング（ｔ＿ａｓｙｎｃｈ［ｎｓ］）であると判断された場合（ステップＳＤ−２：Ｙｅｓ）、その非同期タイミングにて非同期制御ソフトを実行する（ステップＳＤ−３）。すなわち、タイミング信号マージ部１０２ｇは、図６に示した非同期制御ソフトの実行モジュール（ａｓｙｎｃｈ（））を呼び出し、引数に「非同期ソフト」を与えて、非同期制御ソフトを実行する。実行後、ｎｓを１つカウントし（ｎｓ＝ｎｓ＋１）、ステップＳＤ−４へ進む。一方、時間（ｔ）が非同期タイミング（ｔ＿ａｓｙｎｃｈ［ｎｓ］）でないと判断された場合（ステップＳＤ−２：Ｎｏ）は、そのまま、ステップＳＤ−４へ進む。
When it is determined that the time (t) is the asynchronous timing (t_async [ns]) (step SD-2: Yes), the timing
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が同期タイミング（ｔ＿ｓｙｎｃｈ［ｓ］）であるか否か（（ｔ＝＝ｔ＿ｓｙｎｃｈ［ｓ］）？）を判断する（ステップＳＤ−４）。
Then, the timing
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が同期タイミング（ｔ＿ｓｙｎｃｈ［ｓ］）であると判断された場合（ステップＳＤ−４：Ｙｅｓ）、その同期タイミングにて同期制御ソフトを実行する（ステップＳＤ−５）。すなわち、タイミング信号マージ部１０２ｇは、図５に示した同期制御ソフトの実行モジュール（ｓｙｎｃｈ（））を呼び出し、引数に「同期ソフト」を与えて、同期制御ソフトを実行する。実行後、ｓを１つカウントし（ｓ＝ｓ＋１）、ステップＳＤ−６へ進む。一方、時間（ｔ）が同期タイミング（ｔ＿ｓｙｎｃｈ［ｓ］）でないと判断された場合（ステップＳＤ−４：Ｎｏ）は、そのまま、ステップＳＤ−６へ進む。
When it is determined that the time (t) is the synchronization timing (t_sync [s]) (step SD-4: Yes), the timing
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が終了時間であるか否か（例えば、（ｔ＝＝５００ｍｓ）？）を判断する（ステップＳＤ−６）。
Then, the timing
そして、タイミング信号マージ部１０２ｇは、時間（ｔ）が終了時間でないと判断された場合（ステップＳＤ−６：Ｎｏ）、時間（ｔ）を１つカウントし（ｔ＝ｔ＋１）（ステップＳＤ−７）、ステップＳＤ−２の処理に戻り、時間（ｔ）が終了時間（例えば、ｔ＝＝５００ｍｓ）になるまで上述の処理を繰り返す。一方、時間（ｔ）が終了時間であると判断された場合（ステップＳＤ−６：Ｙｅｓ）、処理を終了する。
Then, when it is determined that the time (t) is not the end time (step SD-6: No), the timing
（テストハーネス作成処理）
続いて、図１３および図１４を参照して、図３のステップＳＡ−７〜ステップＳＡ−１０に対応するテストハーネス作成処理の一例について説明する。ここで、図１３は、本実施形態において、非同期制御ソフトおよび同期制御ソフトが各処理タイミングにて実行される一例を示す図であり、図１４は、本実施形態におけるテストハーネスの処理内容の一例を示すフローチャートである。
(Test harness creation process)
Next, an example of test harness creation processing corresponding to Step SA-7 to Step SA-10 in FIG. 3 will be described with reference to FIGS. Here, FIG. 13 is a diagram illustrating an example in which the asynchronous control software and the synchronous control software are executed at each processing timing in the present embodiment, and FIG. 14 is an example of the processing content of the test harness in the present embodiment. It is a flowchart which shows.
図１３および図１４は、テストハーネス作成部１０２ｂの処理により作成された、テストハーネスの実行ルーチン（ｖｏｉｄ＿ｍａｉｎ（））の処理内容の一例を示している。具体的には、図１４に示したテストハーネス実行ルーチン（ｖｏｉｄ＿ｍａｉｎ（））内で、テストハーネス作成部１０２ｂは、記憶部１０６の検査仕様ファイル１０６ａに記憶された検査仕様（例えば、ステップＳＥ−１にて、ｇ＿ｓｕｍを生成、但しｇ＿ｓｕｍは２以上５以下の条件や、ステップＳＥ−５にて、ｇ＿ｔｅｓｔが１９９になるｇ＿ｓｕｍは存在するか？といった条件等）に基づいて、図１３に示すように、タイミング生成部１０２ａの処理により生成された周期信号の処理タイミング（例えば、ｔ＿ａｓｙｎｃｈ［０］〜ｔ＿ａｓｙｎｃｈ［４１］と、ｔ＿ｓｙｎｃｈ［０］〜ｔ＿ｓｙｎｃｈ［６２］）で、記憶部１０６の同期制御ソフトＤＢ１０６ｃに記憶された同期制御ソフト、および、記憶部１０６の非同期制御ソフトＤＢ１０６ｄに記憶された非同期制御ソフトを実行させる、ステップＳＥ−１〜ステップＳＥ−５の処理内容を含むテストハーネスを作成する。
13 and 14 show an example of the processing content of the test harness execution routine (void_main ()) created by the processing of the test
すなわち、テストハーネス作成部１０２ｂは、一例として、図１４に示すように、初期化（例えば、ｇ＿ｓｕｍを生成、但しｇ＿ｓｕｍは２以上５以下）を行い（ステップＳＥ−１）、図８に示した非同期制御ソフト処理タイミング生成ルーチン（ｇｅｎｅｒａｔｅ＿ａｓｙｎｃｈ）を呼び出して実行し（ステップＳＥ−２）、図１０に示した同期制御ソフト処理タイミング生成ルーチン（ｇｅｎｅｒａｔｅ＿ｓｙｎｃｈ）を呼び出して実行し（ステップＳＥ−３）、図１２に示したタイミング信号マージ処理ルーチン（ｍｅｒｇｅ）を呼び出して実行し（ステップＳＥ−４）、そして、検査項目（例えば、ｇ＿ｔｅｓｔが１９９になるｇ＿ｓｕｍは存在するかを検証するための条件式（例えば、ａｓｓｅｒｔ（！（ｇ＿ｔｅｓｔ＝＝１９９）））を挿入した（ステップＳＥ−５）テストハーネスを作成する。
That is, as an example, the test
（有界モデル検査実施・検査結果表示処理）
続いて、図１５を参照して、図３のステップＳＡ−１１〜ステップＳＡ−１２に対応する有界モデル検査実施・検査結果表示処理の一例について説明する。ここで、図１５は、本実施形態における有界モデル検査実施・検査結果表示処理の一例を示す図である。
(Bounded model inspection and inspection result display processing)
Next, an example of a bounded model inspection execution / inspection result display process corresponding to steps SA-11 to SA-12 in FIG. 3 will be described with reference to FIG. Here, FIG. 15 is a diagram illustrating an example of a bounded model inspection execution / inspection result display process in the present embodiment.
図１５は、テストハーネス整合性検査部１０２ｃが、テストハーネス作成部１０２ｂの処理により作成されたテストハーネスを実行し、検査結果表示部１０２ｄが、図１４に示した当該テストハーネスのステップＳＥ−５にて挿入された検査項目（例えば、ｇ＿ｔｅｓｔが１９９になるｇ＿ｓｕｍは存在するかを検証するための条件式（例えば、ａｓｓｅｒｔ（！（ｇ＿ｔｅｓｔ＝＝１９９）））の検査結果を表示した一例を示している。図１５の右図に示す検査結果が示すように、総検査時間は６５０８５６ｍｓであり、条件式「！（ｇ＿ｔｅｓｔ＝＝１９９）」は常に成立、すなわち、ｇ＿ｓｕｍが２以上５以下、非同期タイミングが１２ｍｓ以上１００ｍｓ以下の全ての組み合わせについて成立し、結果として、どのケースでもｇ＿ｔｅｓｔは１９９になれないことが証明できている。
In FIG. 15, the test harness
以上、本エンジン制御ソフト検査装置１００において実行されるエンジン制御ソフト検査処理の実施例の説明を終える。
This is the end of the description of the embodiment of the engine control software inspection process executed in the engine control
［他の実施の形態］
さて、これまで本発明の実施の形態について説明したが、本発明は、上述した実施の形態以外にも、上記特許請求の範囲に記載した技術的思想の範囲内において種々の異なる実施の形態にて実施されてよいものである。
[Other embodiments]
Although the embodiments of the present invention have been described so far, the present invention can be applied to various different embodiments in addition to the above-described embodiments within the scope of the technical idea described in the claims. May be implemented.
例えば、エンジン制御ソフト検査装置１００がスタンドアローンの形態で処理を行う場合を一例に説明したが、エンジン制御ソフト検査装置１００とは別筐体で構成されるクライアント端末からの要求に応じて処理を行い、その処理結果を当該クライアント端末に返却するように構成してもよい。また、図４において、エンジン制御ソフト検査装置１００が、記憶部１０６にエンジン制御ソフトＤＢ１０６ｂを含む構成の一例について説明したが、エンジン制御ソフトＤＢ１０６ｂを、エンジン制御ソフト検査装置１００とは別筐体で構成される外部システム等の外部データベースに保存するよう構成してもよい。
For example, although the case where the engine control
また、実施の形態において説明した各処理のうち、自動的に行われるものとして説明した処理の全部または一部を手動的に行うこともでき、あるいは、手動的に行われるものとして説明した処理の全部または一部を公知の方法で自動的に行うこともできる。 In addition, among the processes described in the embodiment, all or part of the processes described as being automatically performed can be performed manually, or the processes described as being performed manually can be performed. All or a part can be automatically performed by a known method.
このほか、上記文献中や図面中で示した処理手順、制御手順、具体的名称、各処理の登録データや検索条件等のパラメータを含む情報、画面例、データベース構成については、特記する場合を除いて任意に変更することができる。 In addition, unless otherwise specified, the processing procedures, control procedures, specific names, information including registration data for each processing, parameters such as search conditions, screen examples, and database configurations shown in the above documents and drawings Can be changed arbitrarily.
また、エンジン制御ソフト検査装置１００に関して、図示の各構成要素は機能概略的なものであり、必ずしも物理的に図示の如く構成されていることを要しない。
Further, regarding the engine control
例えば、エンジン制御ソフト検査装置１００の各装置が備える処理機能、特に制御部１０２にて行われる各処理機能については、その全部または任意の一部を、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）および当該ＣＰＵにて解釈実行されるプログラムにて実現することができ、あるいは、ワイヤードロジックによるハードウェアとして実現することも可能である。尚、プログラムは、後述する記録媒体に記録されており、必要に応じてエンジン制御ソフト検査装置１００に機械的に読み取られる。すなわち、ＲＯＭまたはＨＤＤなどの記憶部１０６などは、ＯＳとして協働してＣＰＵに命令を与え、各種処理を行うためのコンピュータプログラムが記録されている。このコンピュータプログラムは、ＲＡＭにロードされることによって実行され、ＣＰＵと協働して制御部１０２を構成する。
For example, all or some of the processing functions provided in each device of the engine control
また、このコンピュータプログラムは、エンジン制御ソフト検査装置１００に対して任意のネットワークを介して接続されたアプリケーションプログラムサーバに記憶されていてもよく、必要に応じてその全部または一部をダウンロードすることも可能である。
The computer program may be stored in an application program server connected to the engine control
また、本発明に係るプログラムを、コンピュータ読み取り可能な記録媒体に格納することもできる。ここで、この「記録媒体」とは、フレキシブルディスク、光磁気ディスク、ＲＯＭ、ＥＰＲＯＭ、ＥＥＰＲＯＭ、ＣＤ−ＲＯＭ、ＭＯ、ＤＶＤ等の任意の「可搬用の物理媒体」、あるいは、ＬＡＮ、ＷＡＮ、インターネットに代表されるネットワークを介してプログラムを送信する場合の通信回線や搬送波のように、短期にプログラムを保持する「通信媒体」を含むものとする。 The program according to the present invention can also be stored in a computer-readable recording medium. Here, the “recording medium” refers to any “portable physical medium” such as a flexible disk, a magneto-optical disk, a ROM, an EPROM, an EEPROM, a CD-ROM, an MO, and a DVD, or a LAN, WAN, or Internet. It includes a “communication medium” that holds the program in a short period of time, such as a communication line or a carrier wave when the program is transmitted via a network represented by
また、「プログラム」とは、任意の言語や記述方法にて記述されたデータ処理方法であり、ソースコードやバイナリコード等の形式を問わない。なお、「プログラム」は必ずしも単一的に構成されるものに限られず、複数のモジュールやライブラリとして分散構成されるものや、ＯＳ（Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍ）に代表される別個のプログラムと協働してその機能を達成するものをも含む。なお、実施の形態に示した各装置において記録媒体を読み取るための具体的な構成、読み取り手順、あるいは、読み取り後のインストール手順等については、周知の構成や手順を用いることができる。 The “program” is a data processing method described in an arbitrary language or description method, and may be in any format such as source code or binary code. Note that the “program” is not necessarily limited to a single configuration, but is distributed in the form of a plurality of modules and libraries, or in cooperation with a separate program typified by an OS (Operating System). Including those that achieve the function. Note that a well-known configuration and procedure can be used for a specific configuration for reading a recording medium, a reading procedure, an installation procedure after reading, and the like in each device described in the embodiment.
記憶部１０６に格納される各種のデータベース等（検査仕様ファイル１０６ａならびにエンジン制御ソフトＤＢ１０６ｂ（同期制御ソフトＤＢ１０６ｃおよび非同期制御ソフトＤＢ１０６ｄ））は、ＲＡＭ、ＲＯＭ等のメモリ装置、ハードディスク等の固定ディスク装置、フレキシブルディスク、光ディスク等のストレージ手段であり、各種処理やウェブサイト提供に用いる各種のプログラムやテーブルやデータベースやウェブページ用ファイル等を格納する。
Various databases (
また、エンジン制御ソフト検査装置１００は、既知のパーソナルコンピュータ、ワークステーション等の情報処理装置を接続し、該情報処理装置に本発明の方法を実現させるソフト（プログラム、データ等を含む）を実装することにより実現してもよい。
Further, the engine control
更に、装置の分散・統合の具体的形態は図示するものに限られず、その全部または一部を、各種の付加等に応じた任意の単位で、機能的または物理的に分散・統合して構成することができる。 Furthermore, the specific form of distribution / integration of the devices is not limited to the one shown in the figure, and all or a part thereof is configured to be functionally or physically distributed / integrated in an arbitrary unit according to various additions. can do.
以上詳述に説明したように、本発明によれば、同期制御ソフトおよび非同期制御ソフトの処理タイミングを正確に網羅して高速に車両のエンジン制御ソフトを検証することができる、エンジン制御ソフト検査装置およびエンジン制御ソフト検査方法を提供することができるので、ソフトウェア分野において有用である。 As described above in detail, according to the present invention, the engine control software inspection device capable of accurately covering the processing timing of the synchronous control software and the asynchronous control software and verifying the engine control software of the vehicle at high speed. And an engine control software inspection method can be provided, which is useful in the software field.
１００ エンジン制御ソフト検査装置
１０２ 制御部
１０２ａ タイミング生成部
１０２ｂ テストハーネス作成部
１０２ｃ テストハーネス整合性検査部
１０２ｄ 検査結果表示部
１０２ｅ 非同期制御ソフト信号生成部
１０２ｆ 同期制御ソフト信号生成部
１０２ｇ タイミング信号マージ部
１０２ｈ 回転速度制限条件取得部
１０２ｉ 最長最短処理周期値換算部
１０２ｊ 非同期制御ソフト処理タイミング信号生成部
１０２ｋ 同期制御ソフト処理周期値取得部
１０２ｌ 同期制御ソフト処理タイミング信号生成部
１０６ 記憶部
１０６ａ 検査仕様ファイル
１０６ｂ エンジン制御ソフトＤＢ
１０６ｃ 同期制御ソフトＤＢ
１０６ｄ 非同期制御ソフトＤＢ
１０８ 入出力制御インターフェース部
１１２ 入力部
１１４ 表示部
100 engine control
102a Timing generator
102b Test harness generator
102c Test harness consistency inspection unit
102d Inspection result display section
102e Asynchronous control software signal generator
102f Synchronization control software signal generation unit
102g Timing signal merge unit
102h Rotation speed limit condition acquisition unit
102i longest and shortest processing cycle value conversion unit
102j Asynchronous control software processing timing signal generator
102k synchronization control software processing cycle value acquisition unit
102l synchronization control software processing timing signal generation unit 106 storage unit
106a Inspection specification file
106b Engine control software DB
106c Synchronous control software DB
106d Asynchronous control software DB
108 Input / output
Claims (9)
上記記憶部は、
上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、
を備え、
上記制御部は、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成手段と、
上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成手段により生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成手段と、
上記テストハーネス作成手段により作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査手段と、
上記テストハーネス整合性検査手段による上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示手段と、
を備えたことを特徴とするエンジン制御ソフト検査装置。 Engine control software inspection device comprising at least a display unit, a storage unit, and a control unit for inspecting engine control software including synchronous control software processed every fixed period and asynchronous control software processed every variable period Because
The storage unit
Inspection specification storage means for storing inspection specifications of the synchronous control software and the asynchronous control software;
With
The control unit
Timing for generating the processing timing of the periodic signal having the fixed period as the processing timing of the synchronous control software and the variable period as the processing timing of the asynchronous control software based on the inspection specification stored in the storage unit Generating means;
Based on the inspection specification stored in the storage unit, a test harness for causing the synchronous control software and the asynchronous control software to be executed at the processing timing of the periodic signal generated by the timing generation unit is created. A test harness creation means;
By executing the test harness created by the test harness creating means, the bounded model inspection is performed, and the test harness consistency inspecting means for inspecting the consistency of the test harness,
Inspection result display means for controlling the display unit to display the result of the bounded model inspection by the test harness consistency inspection means,
An engine control software inspection device characterized by comprising:
上記タイミング生成手段は、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成手段と、
上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成手段と、
上記同期制御ソフト信号生成手段により生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成手段により生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージ手段と、
を更に備えたことを特徴とするエンジン制御ソフト検査装置。 The engine control software inspection device according to claim 1,
The timing generation means includes
Based on the inspection specification stored in the storage unit, a synchronization control software cycle signal generated for each fixed cycle for defining the processing timing of the synchronization control software is generated, and the synchronization control software cycle signal is generated. Synchronization control software signal generation means for generating a synchronization control software processing timing signal from,
Based on the inspection specification stored in the storage unit, an asynchronous control software periodic signal generated for each variable period for defining the processing timing of the asynchronous control software is generated, and the asynchronous control software periodic signal Asynchronous control software signal generation means for generating an asynchronous control software processing timing signal from,
By merging the synchronous control software processing timing signal generated by the synchronous control software signal generation means and the asynchronous control software processing timing signal generated by the asynchronous control software signal generation means, the periodic signal Timing signal merging means for generating processing timing;
An engine control software inspection device further comprising:
上記検査仕様記憶手段に記憶された上記検査仕様は、
検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、
上記非同期制御ソフト信号生成手段は、
上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得手段と、
上記回転速度制限条件取得手段により取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算手段と、
上記最長最短処理周期値換算手段により換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成手段と、
を更に備え、
上記同期制御ソフト信号生成手段は、
上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得手段と、
上記同期制御ソフト処理周期値取得手段により取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成手段と、
を更に備えたことを特徴とするエンジン制御ソフト検査装置。 The engine control software inspection device according to claim 2,
The inspection specification stored in the inspection specification storage means is
Including at least an inspection time and an inspection item, a rotation speed limiting condition indicating an upper limit value and a lower limit value of the engine rotation speed, and a processing cycle value that is the fixed cycle of the synchronous control software,
The asynchronous control software signal generation means
Rotation speed limit condition acquisition means for acquiring the rotation speed limit condition from the storage unit;
Longest and shortest processing cycle value conversion for converting the upper limit value and the lower limit value of the rotation speed limit condition acquired by the rotation speed limit condition acquisition unit into the longest cycle value and the shortest cycle value of the asynchronous control software cycle signal, respectively. Means,
In the range from the longest cycle value to the shortest cycle value converted by the longest and shortest processing cycle value conversion means, the asynchronous control software cycle signal is stored in the storage unit with the inspection time of the inspection specification. And a predetermined number obtained from the quotient of the shortest cycle value and time-sequentially generate the asynchronous control software processing timing signals respectively corresponding to the generated asynchronous control software periodic signals. Asynchronous control software processing timing signal generating means,
Further comprising
The synchronization control software signal generation means includes
Synchronization control software processing cycle value acquisition means for acquiring the processing cycle value of the synchronization control software from the storage unit;
For each processing cycle value acquired by the synchronization control software processing cycle value acquisition means, the synchronization control software cycle signal is obtained by dividing the inspection time stored in the storage unit by the inspection time and the processing cycle value. Synchronous control software processing timing signal generation that generates in time series up to a predetermined number determined from the above, and generates the synchronous control software processing timing signals corresponding to the generated synchronous control software periodic signals in time series Means,
An engine control software inspection device further comprising:
上記記憶部は、
上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、
を備え、
上記制御部において実行される、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成ステップと、
上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成ステップにて生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成ステップと、
上記テストハーネス作成ステップにて作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査ステップと、
上記テストハーネス整合性検査ステップによる上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示ステップと、
を含むことを特徴とするエンジン制御ソフト検査方法。 Engine control software inspection device comprising at least a display unit, a storage unit, and a control unit for inspecting engine control software including synchronous control software processed every fixed period and asynchronous control software processed every variable period An engine control software inspection method executed in
The storage unit
Inspection specification storage means for storing inspection specifications of the synchronous control software and the asynchronous control software;
With
Executed in the control unit,
Timing for generating the processing timing of the periodic signal having the fixed period as the processing timing of the synchronous control software and the variable period as the processing timing of the asynchronous control software based on the inspection specification stored in the storage unit Generation step;
Create a test harness for executing the synchronous control software and the asynchronous control software at the processing timing of the periodic signal generated in the timing generation step based on the inspection specification stored in the storage unit A test harness creation step,
By executing the test harness created in the test harness creation step, the bounded model inspection is performed, and the test harness consistency inspection step for inspecting the consistency of the test harness,
An inspection result display step of controlling the display unit to display the result of the bounded model inspection by the test harness consistency inspection step;
An engine control software inspection method comprising:
上記タイミング生成ステップは、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成ステップと、
上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成ステップと、
上記同期制御ソフト信号生成ステップにて生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成ステップにて生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージステップと、
を更に含むことを特徴とするエンジン制御ソフト検査方法。 The engine control software inspection method according to claim 4,
The timing generation step includes
Based on the inspection specification stored in the storage unit, a synchronization control software cycle signal generated for each fixed cycle for defining the processing timing of the synchronization control software is generated, and the synchronization control software cycle signal is generated. A synchronization control software signal generation step for generating a synchronization control software processing timing signal from,
Based on the inspection specification stored in the storage unit, an asynchronous control software periodic signal generated for each variable period for defining the processing timing of the asynchronous control software is generated, and the asynchronous control software periodic signal Asynchronous control software signal generation step for generating an asynchronous control software processing timing signal from,
The periodic signal is obtained by merging the synchronous control software processing timing signal generated in the synchronous control software signal generation step and the asynchronous control software processing timing signal generated in the asynchronous control software signal generation step. A timing signal merging step for generating the above processing timing;
An engine control software inspection method further comprising:
上記検査仕様記憶手段に記憶された上記検査仕様は、
検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、
上記非同期制御ソフト信号生成ステップは、
上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得ステップと、
上記回転速度制限条件取得ステップにて取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算ステップと、
上記最長最短処理周期値換算ステップにて換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成ステップと、
を更に含み、
上記同期制御ソフト信号生成ステップは、
上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得ステップと、
上記同期制御ソフト処理周期値取得ステップにて取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成ステップと、
を更に含むことを特徴とするエンジン制御ソフト検査方法。 The engine control software inspection method according to claim 5,
The inspection specification stored in the inspection specification storage means is
Including at least an inspection time and an inspection item, a rotation speed limiting condition indicating an upper limit value and a lower limit value of the engine rotation speed, and a processing cycle value that is the fixed cycle of the synchronous control software,
The asynchronous control software signal generation step includes
A rotational speed restriction condition obtaining step for obtaining the rotational speed restriction condition from the storage unit;
The longest and shortest processing cycle value for converting the upper limit value and the lower limit value of the rotation speed limit condition acquired in the rotation speed limit condition acquisition step into the longest cycle value and the shortest cycle value of the asynchronous control software cycle signal, respectively. Conversion step;
Within the range from the longest cycle value to the shortest cycle value, converted in the longest shortest processing cycle value conversion step, the asynchronous control soft cycle signal is stored in the storage unit in the inspection specification. A predetermined number obtained from the quotient of time and the shortest cycle value is generated in time series, and the asynchronous control software processing timing signals respectively corresponding to the generated asynchronous control software periodic signals are time-series up to a predetermined number. Asynchronous control software processing timing signal generation step to generate,
Further including
The synchronization control software signal generation step includes
A synchronization control software processing cycle value acquisition step of acquiring the processing cycle value of the synchronization control software from the storage unit;
For each of the processing cycle values acquired in the synchronization control software processing cycle value acquisition step, the synchronization control software cycle signal is obtained by calculating the inspection time and the processing cycle value of the inspection specification stored in the storage unit. Synchronous control software processing timing signals that are generated in time series up to a predetermined number obtained from the quotient and that generate the synchronous control software processing timing signals corresponding to the generated synchronous control software periodic signals in time series up to the predetermined number, respectively. Generation step;
An engine control software inspection method further comprising:
上記記憶部は、
上記同期制御ソフトおよび上記非同期制御ソフトの検査仕様を記憶する検査仕様記憶手段、
を備え、
上記制御部において実行される、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの処理タイミングとして上記固定周期、および、上記非同期制御ソフトの処理タイミングとして上記可変周期を持つ周期信号の処理タイミングを生成するタイミング生成ステップと、
上記記憶部に記憶された上記検査仕様に基づいて、上記タイミング生成ステップにて生成された上記周期信号の上記処理タイミングで、上記同期制御ソフトおよび上記非同期制御ソフトを実行させるためのテストハーネスを作成するテストハーネス作成ステップと、
上記テストハーネス作成ステップにて作成された上記テストハーネスを実行することにより、有界モデル検査を実施し、当該テストハーネスの整合性を検査するテストハーネス整合性検査ステップと、
上記テストハーネス整合性検査ステップによる上記有界モデル検査の結果を、上記表示部を制御して表示する検査結果表示ステップと、
を実行させるためのプログラム。 Engine control software inspection device comprising at least a display unit, a storage unit, and a control unit for inspecting engine control software including synchronous control software processed every fixed period and asynchronous control software processed every variable period A program for executing
The storage unit
Inspection specification storage means for storing inspection specifications of the synchronous control software and the asynchronous control software;
With
Executed in the control unit,
Timing for generating the processing timing of the periodic signal having the fixed period as the processing timing of the synchronous control software and the variable period as the processing timing of the asynchronous control software based on the inspection specification stored in the storage unit Generation step;
Create a test harness for executing the synchronous control software and the asynchronous control software at the processing timing of the periodic signal generated in the timing generation step based on the inspection specification stored in the storage unit A test harness creation step,
By executing the test harness created in the test harness creation step, the bounded model inspection is performed, and the test harness consistency inspection step for inspecting the consistency of the test harness,
An inspection result display step of controlling the display unit to display the result of the bounded model inspection by the test harness consistency inspection step;
A program for running
上記タイミング生成ステップは、
上記記憶部に記憶された上記検査仕様に基づいて、上記同期制御ソフトの上記処理タイミングを規定するための上記固定周期毎に生成される同期制御ソフト周期信号を生成し、当該同期制御ソフト周期信号から同期制御ソフト処理タイミング信号を生成する同期制御ソフト信号生成ステップと、
上記記憶部に記憶された上記検査仕様に基づいて、上記非同期制御ソフトの上記処理タイミングを規定するための上記可変周期毎に生成される非同期制御ソフト周期信号を生成し、当該非同期制御ソフト周期信号から非同期制御ソフト処理タイミング信号を生成する非同期制御ソフト信号生成ステップと、
上記同期制御ソフト信号生成ステップにて生成された上記同期制御ソフト処理タイミング信号と、上記非同期制御ソフト信号生成ステップにて生成された上記非同期制御ソフト処理タイミング信号と、をマージすることにより上記周期信号の上記処理タイミングを生成するタイミング信号マージステップと、
を更に実行させるためのプログラム。 The program according to claim 7,
The timing generation step includes
Based on the inspection specification stored in the storage unit, a synchronization control software cycle signal generated for each fixed cycle for defining the processing timing of the synchronization control software is generated, and the synchronization control software cycle signal is generated. A synchronization control software signal generation step for generating a synchronization control software processing timing signal from,
Based on the inspection specification stored in the storage unit, an asynchronous control software periodic signal generated for each variable period for defining the processing timing of the asynchronous control software is generated, and the asynchronous control software periodic signal Asynchronous control software signal generation step for generating an asynchronous control software processing timing signal from,
The periodic signal is obtained by merging the synchronous control software processing timing signal generated in the synchronous control software signal generation step and the asynchronous control software processing timing signal generated in the asynchronous control software signal generation step. A timing signal merging step for generating the above processing timing;
A program to further execute.
上記検査仕様記憶手段に記憶された上記検査仕様は、
検査時間および検査項目、エンジン回転速度の上限値および下限値を示す回転速度制限条件、ならびに、上記同期制御ソフトの上記固定周期である処理周期値、を少なくとも含み、
上記非同期制御ソフト信号生成ステップは、
上記記憶部から上記回転速度制限条件を取得する回転速度制限条件取得ステップと、
上記回転速度制限条件取得ステップにて取得された上記回転速度制限条件の上記上限値および上記下限値を、上記非同期制御ソフト周期信号の最長周期値および最短周期値にそれぞれ換算する最長最短処理周期値換算ステップと、
上記最長最短処理周期値換算ステップにて換算された、上記最長周期値から上記最短周期値までの範囲内で、上記非同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記最短周期値との商から求められる所定の個数まで時系列に生成し、生成された当該非同期制御ソフト周期信号にそれぞれ対応する上記非同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する非同期制御ソフト処理タイミング信号生成ステップと、
を更に含み、
上記同期制御ソフト信号生成ステップは、
上記記憶部から上記同期制御ソフトの上記処理周期値を取得する同期制御ソフト処理周期値取得ステップと、
上記同期制御ソフト処理周期値取得ステップにて取得された上記処理周期値毎に、上記同期制御ソフト周期信号を、上記記憶部に記憶された上記検査仕様の上記検査時間と上記処理周期値との商から求められる所定の個数まで時系列に生成し、生成された当該同期制御ソフト周期信号にそれぞれ対応する上記同期制御ソフト処理タイミング信号を所定の個数まで時系列に生成する同期制御ソフト処理タイミング信号生成ステップと、
を更に実行させるためのプログラム。 The program according to claim 8, wherein
The inspection specification stored in the inspection specification storage means is
Including at least an inspection time and an inspection item, a rotation speed limiting condition indicating an upper limit value and a lower limit value of the engine rotation speed, and a processing cycle value that is the fixed cycle of the synchronous control software,
The asynchronous control software signal generation step includes
A rotational speed restriction condition obtaining step for obtaining the rotational speed restriction condition from the storage unit;
The longest and shortest processing cycle value for converting the upper limit value and the lower limit value of the rotation speed limit condition acquired in the rotation speed limit condition acquisition step into the longest cycle value and the shortest cycle value of the asynchronous control software cycle signal, respectively. Conversion step;
Within the range from the longest cycle value to the shortest cycle value, converted in the longest shortest processing cycle value conversion step, the asynchronous control soft cycle signal is stored in the storage unit in the inspection specification. A predetermined number obtained from the quotient of time and the shortest cycle value is generated in time series, and the asynchronous control software processing timing signals respectively corresponding to the generated asynchronous control software periodic signals are time-series up to a predetermined number. Asynchronous control software processing timing signal generation step to generate,
Further including
The synchronization control software signal generation step includes
A synchronization control software processing cycle value acquisition step of acquiring the processing cycle value of the synchronization control software from the storage unit;
For each of the processing cycle values acquired in the synchronization control software processing cycle value acquisition step, the synchronization control software cycle signal is obtained by calculating the inspection time and the processing cycle value of the inspection specification stored in the storage unit. Synchronous control software processing timing signals that are generated in time series up to a predetermined number obtained from the quotient and that generate the synchronous control software processing timing signals corresponding to the generated synchronous control software periodic signals in time series up to the predetermined number, respectively. Generation step;
A program to further execute.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2008004875A JP2009168523A (en) | 2008-01-11 | 2008-01-11 | Apparatus, method, and program for inspecting engine controlling software |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2008004875A JP2009168523A (en) | 2008-01-11 | 2008-01-11 | Apparatus, method, and program for inspecting engine controlling software |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2009168523A true JP2009168523A (en) | 2009-07-30 |
Family
ID=40969872
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2008004875A Pending JP2009168523A (en) | 2008-01-11 | 2008-01-11 | Apparatus, method, and program for inspecting engine controlling software |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2009168523A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2011128980A (en) * | 2009-12-18 | 2011-06-30 | Toyota Motor Corp | Program inspection device |
-
2008
- 2008-01-11 JP JP2008004875A patent/JP2009168523A/en active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2011128980A (en) * | 2009-12-18 | 2011-06-30 | Toyota Motor Corp | Program inspection device |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP5821678B2 (en) | Web service for automatic compatibility check independent of web application browser | |
| JP5767471B2 (en) | Apparatus and method for evaluating test completeness | |
| EP4148574A1 (en) | Techniques for correlating vulnerabilities across an evolving codebase | |
| US20170147480A1 (en) | Test script generation | |
| JP2013506906A (en) | Validating the client layer of a dynamic web application | |
| US20120089871A1 (en) | Test system | |
| CN107943702B (en) | Hardware compatibility testing method and device | |
| US9507693B2 (en) | Method, device and computer-readable storage medium for closure testing | |
| GB2400697A (en) | Testing a resource description framework (RDF) object | |
| JP2009168523A (en) | Apparatus, method, and program for inspecting engine controlling software | |
| CN103020396A (en) | Method and device for automatic generating assertion | |
| US8464103B2 (en) | Generating a functional coverage model from a trace | |
| TWI510942B (en) | System and method for outputting measurement codes | |
| US8713509B2 (en) | Circuit design approximation | |
| JP2000122890A (en) | Circuit trial production device and circuit verifying device | |
| JP2006154993A (en) | Web screen creating method, program, and server | |
| JPWO2012049816A1 (en) | Model checking apparatus, method and program | |
| JP4134094B2 (en) | Signature verification apparatus, signature creation / verification system, and signature verification method | |
| CN109726089A (en) | Test report generation method, unit and computer readable storage medium | |
| JP6146224B2 (en) | Determination method, determination program, and determination apparatus | |
| JP4946588B2 (en) | Verification support program, recording medium storing the program, verification support apparatus, and verification support method | |
| JP5151757B2 (en) | Inspection quality analysis support program, method and apparatus | |
| JP2004151884A (en) | Program for extracting test item | |
| JPH10149382A (en) | Device for designing electronic circuit by program language | |
| JP2005049947A (en) | Simulation device without actual machine |