特許 7177032 等価検証方法、および等価検証プログラム

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】特許公報(B2)

(11)【特許番号】

(24)【登録日】2022-11-14

(45)【発行日】2022-11-22

(54)【発明の名称】等価検証方法、および等価検証プログラム

(51)【国際特許分類】

   G06F 11/36 20060101AFI20221115BHJP

【ＦＩ】

G06F11/36 196

【請求項の数】 9

(21)【出願番号】P 2019227216

(22)【出願日】2019-12-17

(65)【公開番号】P2021096625

(43)【公開日】2021-06-24

【審査請求日】2021-12-13

(73)【特許権者】

【識別番号】000233055

【氏名又は名称】株式会社日立ソリューションズ

(74)【代理人】

【識別番号】110001678

【氏名又は名称】藤央弁理士法人

(72)【発明者】

【氏名】下澤 昌史

(72)【発明者】

【氏名】清水 亮介

【審査官】関口 明紀

(56)【参考文献】

【文献】特開２０００－２８４９９０（ＪＰ，Ａ）

【文献】特開２０１８－１９０３４９（ＪＰ，Ａ）

(58)【調査した分野】(Int.Cl.，ＤＢ名)

Ｇ０６Ｆ１１／０７、１１／２８－１１／３６

(57)【特許請求の範囲】

【請求項1】

プログラムを実行するプロセッサと、前記プログラムを記憶する記憶デバイスと、を有する等価検証装置が実行する等価検証方法であって、
前記等価検証方法は、
前記プロセッサが、
対象制御装置が制御装置群との間で送受信したデータおよび当該データの送受信時間を記録した第１ログに基づいて、前記対象制御装置の機能を実現する第１ソフトウェアに関する第１シミュレーションを実行することにより、前記対象制御装置が前記制御装置群との間で送受信したデータおよび当該データの送受信時間の各々にソフトウェア実行時間を記録した第２ログを生成する第１生成処理と、
前記第１生成処理によって生成された第２ログに基づいて、前記第１ソフトウェアと同一機能を実現する第２ソフトウェアに関する第２シミュレーションを実行することにより、前記ソフトウェア実行時間に前記対象制御装置が前記制御装置群の中の送信先制御装置に送信したことを示す送信データを生成する第２生成処理と、
前記第２生成処理によって生成された送信データと、前記ソフトウェア実行時間に前記対象制御装置が前送信先制御装置に送信したことを示す前記第２ログ内の送信データと、を照合し、照合結果を出力する照合処理と、
を実行することを特徴とする等価検証方法。

【請求項2】

請求項１に記載の等価検証方法であって、
前記第２ソフトウェアは、前記第１ソフトウェアをリファクタリングしたソフトウェアである、
ことを特徴とする等価検証方法。

【請求項3】

請求項１に記載の等価検証方法であって、
前記照合処理では、前記プロセッサは、前記両送信データに差分がない判定した場合、前記照合結果として前記両送信データに差分がないことを示す情報を出力する、
ことを特徴とする等価検証方法。

【請求項4】

請求項１に記載の等価検証方法であって、
前記照合処理では、前記プロセッサは、両送信データに差分があると判定した場合、前記照合結果として前記両送信データに差分があることを示す情報を出力する、
ことを特徴とする等価検証方法。

【請求項5】

請求項１に記載の等価検証方法であって、
前記第２生成処理では、前記プロセッサは、前記送信データと、前記照合結果と、を関連付けた第３ログを生成する、
ことを特徴とする等価検証方法。

【請求項6】

請求項５に記載の等価検証方法であって、
前記第２生成処理では、前記プロセッサは、前記照合結果が前記両送信データに差分があることを示す情報である場合、前記照合結果の件数を出力する、
ことを特徴とする等価検証方法。

【請求項7】

請求項５に記載の等価検証方法であって、
前記プロセッサは、前記制御装置群の各々の制御装置と、前記対象制御装置から前記制御装置に送信されるデータに含まれる信号の名称と、を対応付けた対応情報にアクセス可能であり、
前記第２生成処理では、前記プロセッサは、前記照合結果が前記両送信データに差分があることを示す情報である場合、前記対応情報を参照して、前記送信データに対応する特定の信号の名称を取得し、前記送信データと前記照合結果と前記特定の信号の名称とを関連付けて前記第３ログを生成する、
ことを特徴とする等価検証方法。

【請求項8】

請求項７に記載の等価検証方法であって、
前記対応情報は、さらに、前記信号が示す値のデータ内位置を対応付けており、
前記第２生成処理では、前記プロセッサは、前記対応情報を参照して、前記送信データが示す値が位置する特定のデータ内位置と、前記特定の信号の名称と、を取得し、前記送信データと前記照合結果と前記特定の信号の名称と前記特定のデータ内位置とを関連付けて前記第３ログを生成する、
ことを特徴とする等価検証方法。

【請求項9】

プロセッサに、
対象制御装置が制御装置群との間で送受信したデータおよび当該データの送受信時間を記録した第１ログに基づいて、前記対象制御装置の機能を実現する第１ソフトウェアに関する第１シミュレーションを実行することにより、前記対象制御装置が前記制御装置群との間で送受信したデータおよび当該データの送受信時間の各々にソフトウェア実行時間を記録した第２ログを生成する第１生成処理と、
前記第１生成処理によって生成された第２ログに基づいて、前記第１ソフトウェアと同一機能を実現する第２ソフトウェアに関する第２シミュレーションを実行することにより、前記ソフトウェア実行時間に前記対象制御装置が前記制御装置群の中の送信先制御装置に送信したことを示す送信データを生成する第２生成処理と、
前記第２生成処理によって生成された送信データと、前記ソフトウェア実行時間に前記対象制御装置が前送信先制御装置に送信したことを示す前記第２ログ内の送信データと、を照合し、照合結果を出力する照合処理と、
を実行させるための等価検証プログラム。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、等価検証を実行する等価検証方法、および等価検証プログラムに関する。

【背景技術】

【0002】

車載ネットワーク（車両内ネットワークとも呼ばれる）は、車両に搭載される機器の制御に用いられるネットワークである。具体的には、たとえば、車載ネットワークは、ＡＣＣ（Ａｄａｐｔｉｖｅ Ｃｒｕｉｓｅ Ｃｏｎｔｒｏｌ）システムやエンジンといった車両自体を制御する車両制御系ネットワークと、ドアやスイッチ、ステアリングといった車体を制御するボディ系ネットワークと、ディスプレイやオーディオ、エアコン、カーナビゲーションといった情報系の機器を制御する情報系ネットワークと、という３系統のネットワークを有する。３系統のネットワークは、各ネットワーク内のＥＣＵ（Ｅｌｅｃｔｒｏｎｉｃ Ｃｏｎｔｒｏｌ Ｕｎｉｔ）のような制御装置を介して相互に接続されて、ＥＣＵの高度化と配線の複雑化に対応するため、ＣＡＮ（Ｃｏｎｔｒｏｌｌｅｒ Ａｒｅａ Ｎｅｔｗｏｒｋ）、ＬＩＮ（Ｌｏｃａｌ Ｉｎｔｅｒｃｏｎｎｅｃｔ Ｎｅｔｗｏｒｋ）、ＦｌｅｘＲａｙといった通信規格に基づいてデータ通信される。

【0003】

車載ネットワークログとは、車載ネットワークから得られるログデータである。車載ネットワークは車種により異なるため、当然、車載ネットワークログも車種により異なる。具体的には、たとえば、たとえば、ＥＣＵのＩＤ、パラメータの割り当て、受信周期が車種により異なる。

【0004】

車載ネットワークの等価検証およびリグレッションテストでは、車載ネットワークに実装されるソフトウェアの変更前と変更後とで同じ車両ネットワーク信号を入力として、出力に違いが無いかが検証される。

【0005】

特許文献１のソフトウェア設計支援装置は、モデルベース開発で設計したモデルを記録したモデルデータ記憶部と、ソフトウェア要件記憶部とから、モデルのどの部分に要件が割り当てられているかをトレース分析部で分析し、分析結果と、リファクタリングで着目する要件を指定する分析要件入力部からリファクタリング実行部でリファクタリングを実施する。リファクタリングの結果、およびモデルデータ記憶部にあるモデルと、シミュレーション入力記憶部に保持された入力データと、から、シミュレーション実行及び結果比較部で、シミュレーションを実施し、結果に差分がないことを確認した上で、結果表示部でリファクタリングによる変更部分を強調表示する。

【0006】

特許文献２のソースコード等価性検証装置は、変更前ソースコードと変更前ソースコードを変更した変更後ソースコードとを対象に、それぞれ記号実行計算する記号実行計算部、記号実行計算部の記号実行計算結果である記号実行サマリに基づいて、変更前ソースコードと変更後ソースコードとの、同じ入力に対して同じ出力が得られることである等価性を検証するための等価性検証式を生成する等価性検証式生成部、等価性検証式生成部で生成された等価性検証式を検証する等価性検証式検証部、等価性検証式検証部における検証結果を用いて検証結果レポートを生成する検証結果生成部を有する。

【0007】

特許文献３の情報処理装置は、ログ差分生成部とログ比較部とを有する。ログ差分生成部は、変更前のソースコードである第１のソースコードから生成される第１のプログラムを実行して得られるログと変更後のソースコードである第２のソースコードから生成される第２のプログラムを実行して得られるログとの間で発生すると推定される差分を、第１のソースコードと第２のソースコードとの差分に基づいて推定ログ差分として生成する。ログ比較部は、第１のプログラムを実行して得られたログと第２のプログラムを実行して得られたログとの差分を実行ログ差分として抽出し、推定ログ差分と実行ログ差分とを比較する。

【先行技術文献】

【特許文献】

【0008】

【文献】特開２０１６‐４２３１７号公報

【文献】国際公開ＷＯ２０１６／０３８７４１号

【文献】国際公開ＷＯ２０１８／１２２９９０号

【発明の概要】

【発明が解決しようとする課題】

【0009】

しかしながら、上述した従来技術では、車載ネットワークログはハードウェア的な実機の要因から時間軸情報のズレが生じ、その影響により出力結果も完全に一致することは不可能である。その結果、人による目視確認が必須となり、多大な工数が必要となる。

【0010】

本発明は、等価検証の効率化を図ることを目的とする。

【課題を解決するための手段】

【0011】

本願において開示される発明の一側面となる等価検証方法は、プログラムを実行するプロセッサと、前記プログラムを記憶する記憶デバイスと、を有する等価検証装置が実行する等価検証方法であって、前記等価検証方法は、前記プロセッサが、対象制御装置が制御装置群との間で送受信したデータおよび当該データの送受信時間を記録した第１ログに基づいて、前記対象制御装置の機能を実現する第１ソフトウェアに関する第１シミュレーションを実行することにより、前記対象制御装置が前記制御装置群との間で送受信したデータおよび当該データの送受信時間の各々にソフトウェア実行時間を記録した第２ログを生成する第１生成処理と、前記第１生成処理によって生成された第２ログに基づいて、前記第１ソフトウェアと同一機能を実現する第２ソフトウェアに関する第２シミュレーションを実行することにより、前記ソフトウェア実行時間に前記対象制御装置が前記制御装置群の中の送信先制御装置に送信したことを示す送信データを生成する第２生成処理と、前記第２生成処理によって生成された送信データと、前記ソフトウェア実行時間に前記対象制御装置が前送信先制御装置に送信したことを示す前記第２ログ内の送信データと、を照合し、照合結果を出力する照合処理と、を実行することを特徴とする。

【発明の効果】

【0012】

本発明の代表的な実施の形態によれば、等価検証の効率化を図ることができる。前述した以外の課題、構成及び効果は、以下の実施例の説明により明らかにされる。

【図面の簡単な説明】

【0013】

【図1】図１は、等価検証装置のハードウェア構成例を示すブロック図である。

【図2】図２は、等価検証装置による等価検証例を示す説明図である。

【図3】図３は、車載ネットワークログファイルの一例を示す説明図である。

【図4】図４は、送受信ＩＤデータバッファの一例を示す説明図である。

【図5】図５は、車載ネットワークシミュレーションログファイルの一例を示す説明図である。

【図6】図６は、車載ネットワーク台帳の一例を示す説明図である。

【図7】図７は、車載ネットワーク差分結果ログファイルの一例を示す説明図である。

【図8】図８は、不一致信号リスト結果ファイルの一例を示す説明図である。

【図9】図９は、車載ネットワークログ再生処理１の事前設定例を示す説明図である。

【図10】図１０は、車載ネットワークログ再生処理１の一例を示すフローチャートである。

【図11】図１１は、ステップＳ１００１の具体例を示す説明図である。

【図12】図１２は、ステップＳ１００２の具体例１を示す説明図である。

【図13】図１３は、ステップＳ１００３の具体例１（前半）を示す説明図である。

【図14】図１４は、ステップＳ１００３の具体例１（後半）を示す説明図である。

【図15】図１５は、ステップＳ１００５の具体例を示す説明図である。

【図16】図１６は、ステップＳ１００６の具体例を示す説明図である。

【図17】図１７は、ステップＳ１００２の具体例２を示す説明図である。

【図18】図１８は、ステップＳ１００３の具体例２（前半）を示す説明図である。

【図19】図１９は、ステップＳ１００３の具体例２（後半）を示す説明図である。

【図20】図２０は、車載ネットワークログ再生処理２の一例を示すフローチャートである。

【図21】図２１は、ステップＳ２００１の具体例を示す説明図である。

【図22】図２２は、ステップＳ２００２の具体例１を示す説明図である。

【図23】図２３は、ステップＳ２００３の具体例１（前半）を示す説明図である。

【図24】図２４は、ステップＳ２００３の具体例１（後半）を示す説明図である。

【図25】図２５は、差分比較モジュールによる差分比較処理の一例を示すフローチャートである。

【図26】図２６は、ステップＳ２５０１～Ｓ２５０３の具体例１を示す説明図である。

【図27】図２７は、ステップＳ２５０１～Ｓ２５０３の具体例２を示す説明図である。

【図28】図２８は、ステップＳ２００６の具体例を示す説明図である。

【図29】図２９は、ステップＳ２００７の具体例を示す説明図である。

【図30】図３０は、ステップＳ２００２の具体例２を示す説明図である。

【図31】図３１は、ステップＳ２００３の具体例２（前半）を示す説明図である。

【図32】図３２は、ステップＳ２００３の具体例２（後半）を示す説明図である。

【図33】図３３は、ステップＳ２５０１、Ｓ２５０２、Ｓ２５０４の具体例を示す説明図である。

【図34】図３４は、ステップＳ２５０５の具体例１を示す説明図である。

【図35】図３５は、ステップＳ２５０５の具体例２を示す説明図である。

【発明を実施するための形態】

【0014】

＜等価検証装置のハードウェア構成例＞
図１は、等価検証装置１００のハードウェア構成例を示すブロック図である。等価検証装置１００は、プロセッサ１０１と、記憶デバイス１０２と、入力デバイス１０３と、出力デバイス１０４と、通信インターフェース（通信ＩＦ）１０５と、を有する。プロセッサ１０１、記憶デバイス１０２、入力デバイス１０３、出力デバイス１０４、および通信ＩＦ１０５は、バス１０６により接続される。プロセッサ１０１は、等価検証装置１００を制御する。記憶デバイス１０２は、プロセッサ１０１の作業エリアとなる。また、記憶デバイス１０２は、各種プログラムやデータを記憶する非一時的なまたは一時的な記録媒体である。記憶デバイス１０２としては、たとえば、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）、ＨＤＤ（Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅ）、フラッシュメモリがある。入力デバイス１０３は、データを入力する。入力デバイス１０３としては、たとえば、キーボード、マウス、タッチパネル、テンキー、スキャナがある。出力デバイス１０４は、データを出力する。出力デバイス１０４としては、たとえば、ディスプレイ、プリンタ、スピーカがある。通信ＩＦ１０５は、ネットワークと接続し、データを送受信する。

【0015】

また、記憶デバイス１０２は、車載ネットワークログファイル１２１と、車載ネットワークシミュレーションログファイル１２２と、車載ネットワーク台帳１２３と、車載ネットワーク差分結果ログファイル１２４と、不一致信号リスト結果ファイル１２５と、を記憶する。

【0016】

車載ネットワークログファイル１２１は、車両１１０のＥＣＵ群１１１から取得されたデータである。車載ネットワークログファイル１２１は、たとえば、ＣＡＮの規格に基づいたデータである。車載ネットワークシミュレーションログファイル１２２、車載ネットワーク差分結果ログファイル１２４、および不一致信号リスト結果ファイル１２５は、等価検証装置により生成されるデータである。車載ネットワーク台帳１２３は、車載ネットワークを流れる信号の仕様を規定するテーブルであり、あらかじめ設定される。車載ネットワーク台帳１２３は、等価検証装置１００外で等価検証装置１００がアクセス可能な他のコンピュータの記憶デバイス１０２に記憶されてもよい。

【0017】

また、記憶デバイス１０２は、送受信ＩＤデータバッファ１３０を有する。送受信ＩＤデータバッファは、変更前ＥＣＵソフトウェア１４１および変更後ＥＣＵソフトウェア１４２が受信したり送信したりするデータを一時的に保持する記憶領域である。変更前ＥＣＵソフトウェア１４１および変更後ＥＣＵソフトウェア１４２を区別しない場合には、単に、ＥＣＵソフトウェア１４０と表記する。

【0018】

また、記憶デバイス１０２は、変更前ＥＣＵソフトウェア１４１、変更後ＥＣＵソフトウェア１４２、車載ネットワークログ再生モジュール１５０、および差分比較モジュール１６０を記憶する。変更前ＥＣＵソフトウェア１４１は、等価検証対象となるＥＣＵの機能を実現するソフトウェアである。変更後ＥＣＵソフトウェア１４２は、変更前ＥＣＵソフトウェア１４１をリファクタリングしたソフトウェアである。したがって、変更後ＥＣＵソフトウェア１４２は、変更前ＥＣＵソフトウェア１４１と同一機能を実現するが、コードや変数が異なっている。また、たとえば、変更前ＥＣＵソフトウェア１４１のある機能がスパゲッティコードで記述されているが、変更後ＥＣＵソフトウェア１４２では当該ある機能が関数化されている。

【0019】

車載ネットワークログ再生モジュール１５０は、車載ネットワークログファイル１２１を再生するソフトウェアモジュールである。車載ネットワークログ再生モジュール１５０の詳細な処理内容は、図９および図２０で後述する。差分比較モジュール１６０は、同一ＥＣＵから送信されるデータを比較して差分があるか否かを判定するモジュールである。差分比較モジュール１６０の詳細な処理内容は、図２１で後述する。

【0020】

＜等価検証例＞
図２は、等価検証装置１００による等価検証例を示す説明図である。等価検証装置１００は、第１シミュレーション環境２０１と、第２シミュレーション環境２０２と、を構築する。第１シミュレーション環境２０１は、変更前ＥＣＵソフトウェア１４１を実行し、第２シミュレーション環境２０２は、変更後ＥＣＵソフトウェア１４２を実行する。

【0021】

第１シミュレーション環境２０１で用いられる送受信ＩＤデータバッファ１３０および車載ネットワークログ再生モジュール１５０をそれぞれ、送受信ＩＤデータバッファ１３１および車載ネットワークログ再生モジュール１５１と表記する。第２シミュレーション環境２０２で用いられる送受信ＩＤデータバッファ１３０および車載ネットワークログ再生モジュール１５０をそれぞれ、送受信ＩＤデータバッファ１３２および車載ネットワークログ再生モジュール１５２と表記する。

【0022】

第１シミュレーション環境２０１において、車載ネットワークログ再生モジュール１５１は、車載ネットワークログファイル１２１を取得し、変更前ＥＣＵソフトウェア１４１に渡す。変更前ＥＣＵソフトウェア１４１は、車載ネットワークログ再生モジュール１５１からの受信データを送受信ＩＤデータバッファ１３１に書き込み、変更前ＥＣＵソフトウェア１４１が生成した送信データを送受信ＩＤデータバッファ１３１に書き込む。車載ネットワークログ再生モジュール１５１は、送受信ＩＤデータバッファ１３１から読み込んだデータにシミュレーション実行時間を付与して、車載ネットワークシミュレーションログファイル１２２として出力する。

【0023】

第２シミュレーション環境２０２において、車載ネットワークログ再生モジュール１５２は、車載ネットワークシミュレーションログファイル１２２を取得し、変更後ＥＣＵソフトウェア１４２に渡す。変更後ＥＣＵソフトウェア１４２は、車載ネットワークログ再生モジュール１５２からの受信データを送受信ＩＤデータバッファ１３２に書き込み、変更後ＥＣＵソフトウェア１４２が生成した送信データを送受信ＩＤデータバッファ１３２に書き込む。車載ネットワークログ再生モジュール１５２は、送受信ＩＤデータバッファ１３２から読み込んだ送信データを車載ネットワーク差分結果ログファイル１２４に書き出す。

【0024】

差分比較モジュール１６０は、車載ネットワーク差分結果ログファイル１２４に書き出した送信データと、変更後ＥＣＵソフトウェア１４２が生成した送信データと、を比較する。一致していれば照合結果は「ＯＫ」となり、不一致であれば照合結果は「ＮＧ」となる。このように、両シミュレーション環境２０１，２０２から時間情報のズレが吸収された送信データが取得される。この時間情報のズレが吸収された両送信データを照合した差分結果を出力することにより、人による確認工数が削減される。

【0025】

なお、図２では、等価検証装置１００は、第１シミュレーション環境２０１に変更前ＥＣＵソフトウェア１４１を構築し、第２シミュレーション環境２０２に変更後ＥＣＵソフトウェア１４２を構築したが、第１シミュレーション環境２０１に変更後ＥＣＵソフトウェア１４２を構築し、第２シミュレーション環境２０２に変更前ＥＣＵソフトウェア１４１を構築してもよい。たとえば、変更後ＥＣＵソフトウェア１４２が、変更前ＥＣＵソフトウェア１４１よりも改悪された場合に有効である。

【0026】

＜各種データ＞
図１に示した車載ネットワークログファイル１２１、車載ネットワークシミュレーションログファイル１２２、車載ネットワーク台帳１２３、車載ネットワーク差分結果ログファイル１２４、不一致信号リスト結果ファイル１２５、および送受信ＩＤデータバッファ１３０について、図３～図８を用いて説明する。

【0027】

図３は、車載ネットワークログファイル１２１の一例を示す説明図である。車載ネットワークログファイル１２１は、フィールドとして、送受信時間３０１と、ＩＤ３０２と、送信／受信３０３と、データ３０４と、を有する。同一行の各フィールドの値の組み合わせが、車載ネットワークを流れる１つの送信データまたは受信データの車載ネットワークログを規定するエントリとなる。

【0028】

送受信時間３０１は、値として、その車載ネットワークログを送信または受信した時刻を記憶するフィールドである。なお、以降、ＡＡフィールドｂｂｂ（ＡＡはフィールド名、ｂｂｂは符号）の値を、ＡＡｂｂｂと表記する場合がある。たとえば、送受信時間３０１の値を、送受信時間３０１と表記する。

【0029】

ＩＤ３０２は、値として、その車載ネットワークログを示すデータを送信または受信したＥＣＵの識別情報を記憶するフィールドである。送信／受信３０３は、値として、その車載ネットワークログを示すデータを、ＥＣＵソフトウェア１４０の機能を実現する等価検証対象のＥＣＵが送信したか受信したかを示す情報を記憶するフィールドである。「送信」であれば、そのエントリは、等価検証対象のＥＣＵがＩＤ３０２で特定されるＥＣＵに送信したデータであり、「受信」であれば、そのエントリは、等価検証対象のＥＣＵがＩＤ３０２で特定されるＥＣＵから受信したデータである。データ３０４は、値として、その車載ネットワークログを示すデータの値とその位置（１Ｂｙｔｅ、２Ｂｙｔｅ、…、ＮＢｙｔｅ）をバイト単位で記憶するフィールドである。

【0030】

図４は、送受信ＩＤデータバッファ１３０の一例を示す説明図である。送受信ＩＤデータバッファ１３０は、フィールドとして、ＩＤ３０２と、送信／受信３０３と、データ長４０１と、データ４０２と、を有する。同一行の各フィールドの値の組み合わせが、送受信ＩＤデータを規定するエントリとなる。データ長４０１は、その送受信ＩＤデータの長さを示す。データ４０２は、値として、その送受信ＩＤデータの値とその位置（１Ｂｙｔｅ、２Ｂｙｔｅ、…、ＮＢｙｔｅ）をバイト単位で記憶するフィールドである。

【0031】

図５は、車載ネットワークシミュレーションログファイル１２２の一例を示す説明図である。車載ネットワークシミュレーションログファイル１２２は、車載ネットワークログファイル１２１と同一フィールド３０１～３０４を有する。ただし、各フィールド３０１～３０４の値は、第１シミュレーション環境２０１の車載ネットワークログ再生モジュール１５１からの出力結果となる。同一行の各フィールドの値の組み合わせが、車載ネットワークを流れる１つの送信データまたは受信データの車載ネットワークシミュレーションログを規定するエントリとなる。

【0032】

図６は、車載ネットワーク台帳１２３の一例を示す説明図である。車載ネットワーク台帳１２３は、フィールドとして、ＩＤ３０２と、送受信周期６０１と、位置６０２と、ビット幅６０３と、信号名６０４と、ファクタ６０５と、単位６０６と、最大値６０７と、最小値６０８と、を有する。同一行の各フィールドの値の組み合わせが、信号名６０４で特定される１つの信号の仕様を規定するエントリとなる。

【0033】

ＩＤ３０２は、ＥＣＵを一意に特定する識別情報であるため、当該ＥＣＵが受信可能な信号が複数あれば、１つのＩＤ３０２は複数のエントリに含まれる。送受信周期６０１は、値として、そのＥＣＵがその信号を含むデータを送信または受信する周期を記憶するフィールドである。位置６０２は、フィールドとして、その信号がその信号を含む受信データのどの位置６０２（バイト位置およびビット位置）に格納されているかを示す位置情報を記憶するフィールドである。

【0034】

ビット幅６０３は、値として、その信号を含む受信データ内でのその信号を示すビット列の幅を記憶するフィールドである。信号名６０４は、値として、その信号の種類をあらわす名称を記憶するフィールドである。

【0035】

ファクタ６０５は、値として、信号の物理値を正規化するための数値である。たとえば、信号の物理値の単位６０６が［ｋｍ／ｓ］で、かつ、第２シミュレーション環境２０２から［ｍ／ｓ］で当該物理量を出力させたい場合に、車載ネットワーク台帳１２３の当該信号のファクタ６０５に「０．００１」が設定される。これにより、物理量の正規化が可能となる。したがって、第２シミュレーション環境２０２からは、［ｋｍ／ｓ］ではなく［ｍ／ｓ］の単位６０６で物理量のデータが出力される。

【0036】

単位６０６は、値として、その信号をあらわす物理量の測定基準（ｒｐｍ、％、ｍ／ｓなど）を記憶するフィールドである。最大値６０７は、値として、その信号が採りうる最大の値（上限値）を記憶するフィールドである。最小値６０８は、値として、その信号が採りうる最小の値（下限値）を記憶するフィールドである。

【0037】

図７は、車載ネットワーク差分結果ログファイル１２４の一例を示す説明図である。車載ネットワーク差分結果ログファイル１２４は、フィールドとして、照合結果７０１と、送受信時間３０１と、ＩＤ３０２と、送信／受信３０３と、出力データ７０２と、入力データ７０３と、不一致信号名７０４と、を有する。同一行の各フィールドの値の組み合わせが、１つの車載ネットワーク差分結果ログを規定するエントリとなる。

【0038】

照合結果７０１は、送信データ（送信／受信３０３が「送信」）のエントリの出力データ７０２と入力データ７０３との比較した結果である。一致していれば照合結果７０１は「ＯＫ」となり、不一致であれば照合結果７０１は「ＮＧ」となる。

【0039】

出力データ７０２は、変更後ＥＣＵソフトウェア１４２の実行結果である。入力データ７０３は、車載ネットワークシミュレーションログファイル１２２から読み出された特定の送受信時間内のデータ（読込データ）である。ＩＤ３０２および位置６０２が同じ出力データ７０２と入力データ７０３とが比較される。

【0040】

不一致信号名７０４は、照合結果７０１が「ＮＧ」である信号の名称である。具体的には、たとえば、不一致信号名７０４は、車載ネットワーク台帳１２３における、照合結果７０１が「ＮＧ」であるＩＤ３０２と同一で、かつ、出力データ７０２（または入力データ７０３）の位置が位置６０２に対応するエントリの信号名である。

【0041】

図８は、不一致信号リスト結果ファイル１２５の一例を示す説明図である。不一致信号リスト結果ファイル１２５は、ＮＧデータ件数８０１と、不一致信号リスト８０２と、を含む。ＮＧデータ件数８０１は、車載ネットワーク差分結果ログファイル１２４において照合結果７０１が「ＮＧ」となったエントリ数である。不一致信号リスト８０２は、車載ネットワーク差分結果ログファイル１２４において照合結果７０１が「ＮＧ」となった各エントリからＩＤ３０２、位置６０２、ビット幅６０３、および信号名６０４を抽出したリストである。

【0042】

＜車載ネットワークログ再生処理１＞
つぎに、図９～図１９を用いて、車載ネットワークログ再生処理１について説明する。車載ネットワークログ再生処理１は、たとえば、プロセッサ１０１が、第１シミュレーション環境２０１の車載ネットワークログ再生モジュール１５１に実行させる処理である。

【0043】

図９は、車載ネットワークログ再生処理１の事前設定例を示す説明図である。（Ａ）は、車載ネットワークログ再生処理１に適用される車載ネットワークログファイル１２１の一例を示す。なお、１Ｂｙｔｅデータ３０４は、データ３０４の１Ｂｙｔｅの位置の値である。車載ネットワークログファイル１２１は、変更前ＥＣＵソフトウェア１４１で使用される。

【0044】

（Ｂ）は、送受信ＩＤデータバッファ１３１の記憶内容例を示す。ＩＤ３０２および送信／受信３０３には、車載ネットワークログファイル１２１のＩＤ３０２および送信／受信３０３が記録される。データ４０２の初期値は、“０”とする。

【0045】

図１０は、車載ネットワークログ再生処理１の一例を示すフローチャートである。プロセッサは、前回ＥＣＵソフトウェア実行時間に初期値を設定し、ＥＣＵソフトウェア実行時間に、当該初期値とＥＣＵソフトウェア実行周期時間とを加算した値を設定する（ステップＳ１００１）。ステップＳ１００１を具体例を挙げて説明する。

【0046】

図１１は、ステップＳ１００１の具体例を示す説明図である。ＥＣＵソフトウェア実行周期時間１１００を、たとえば、１０［ｍｓ］とする。前回ＥＣＵソフトウェア実行時間１１０１は、変更前ＥＣＵソフトウェア１４１による前回の実行時間である。初回の場合、前回が存在しないため、初期値として、たとえば、０．００１［ｓ］が設定される。図９（Ａ）に示した車載ネットワークログファイル１２１内の先頭エントリの送受信時間３０１である０．００１０２１［ｓ］を初期値にしてもよい。なお、当該初期値は、先頭エントリの送受信時間３０１以下の値とする。

【0047】

また、プロセッサ１０１は、前回ＥＣＵソフトウェア実行時間１１０１（の初期値）と、ＥＣＵソフトウェア実行周期時間１１００と、を加算して、ＥＣＵソフトウェア実行時間１１０２を算出する。このようにして、前回ＥＣＵソフトウェア実行時間１１０１の初期値と、ＥＣＵソフトウェア実行時間１１０２とが設定される。

【0048】

図１０に戻り、プロセッサ１０１は、車載ネットワークログファイル１２１から、送受信時間３０１が、前回ＥＣＵソフトウェア実行時間１１０１よりも大きく、かつ、ＥＣＵソフトウェア実行時間１１０２以下の範囲内のデータを読み込む（ステップＳ１００２）。ステップＳ１００２を具体例を挙げて説明する。

【0049】

図１２は、ステップＳ１００２の具体例１を示す説明図である。車載ネットワークログファイル１２１から、送受信時間３０１が、前回ＥＣＵソフトウェア実行時間１１０１である０．００１［ｓ］よりも大きく、かつ、ＥＣＵソフトウェア実行時間１１０２である０．０１１［ｓ］以下の範囲内のエントリが、読込データ１２００として読み込まれる。

【0050】

図１０に戻り、プロセッサ１０１は、読込データ１２００が受信データであれば、送受信ＩＤデータバッファ内の受信データに設定して、車載ネットワークシミュレーションログファイル１２２へ書き込む。また、プロセッサ１０１は、読込データ１２００が送信データであれば、送受信ＩＤデータバッファ１３１内の送信データで読込データ１２００の送信データを上書きし、車載ネットワークシミュレーションログファイル１２２へ書き込む（ステップＳ１００３）。ステップＳ１００３を具体例を挙げて説明する。

【0051】

図１３は、ステップＳ１００３の具体例１（前半）を示す説明図である。プロセッサ１０１は、読込データ１２００のうち送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４（受信データ）を、送受信ＩＤデータバッファ１３１におけるＩＤ３０２および送信／受信３０３が一致するエントリの１Ｂｙｔｅデータ４０２に上書きする。

【0052】

図１３の例では、送受信ＩＤデータバッファ１３１のＩＤ３０２が「ＡＡＡ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「００」が、読込データ１２００のＩＤ３０２が「ＡＡＡ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「０１」に上書きされる。

【0053】

送受信ＩＤデータバッファのＩＤ３０２が「ＢＢＢ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「００」が、読込データ１２００のＩＤ３０２が「ＢＢＢ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「１０」に上書きされる。

【0054】

送受信ＩＤデータバッファのＩＤ３０２が「ＣＣＣ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「００」が、読込データ１２００のＩＤ３０２が「ＣＣＣ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「０２」に上書きされる。

【0055】

また、プロセッサ１０１は、読込データ１２００のうち送信／受信３０３が「送信」であるエントリの１Ｂｙｔｅデータ３０４（送信データ）を、送受信ＩＤデータバッファ１３１におけるＩＤ３０２および送信／受信３０３が一致するエントリの１Ｂｙｔｅデータ４０２で上書きする。上書き後の読込データ１２００を、読込データ１３００とする。

【0056】

図１３の例では、読込データのＩＤ３０２が「ＸＸＸ」でかつ送信／受信３０３が「送信」であるエントリの１Ｂｙｔｅデータ３０４の値「２０」が、送受信ＩＤデータバッファのＩＤ３０２が「ＸＸＸ」でかつ送信／受信３０３が「送信」であるエントリの１Ｂｙｔｅデータ４０２の値「００」に上書きされる。

【0057】

読込データのＩＤ３０２が「ＹＹＹ」でかつ送信／受信３０３が「送信」であるエントリの１Ｂｙｔｅデータ３０４の値「００」が、送受信ＩＤデータバッファのＩＤ３０２が「ＹＹＹ」でかつ送信／受信３０３が「送信」であるエントリの１Ｂｙｔｅデータ４０２の値「００」に上書きされる。

【0058】

これにより、読込データ１２００内の受信データが送受信ＩＤデータバッファ１３１に設定され、読込データ１２００内の送信データが送受信ＩＤデータバッファ１３１内の送信データで上書きされる。

【0059】

図１４は、ステップＳ１００３の具体例１（後半）を示す説明図である。プロセッサ１０１は、読込データ１３００を、車載ネットワークシミュレーションログファイル１２２に書き込む。また、プロセッサ１０１は、車載ネットワークシミュレーションログファイル１２２に書き込まれたエントリの送受信時間３０１に、ＥＣＵソフトウェア実行時間１１０２である０．０１１［ｓ］を書き込む。これにより、読込データ１２００の送受信時間のズレが、ＥＣＵソフトウェア実行時間１１０２に吸収される。

【0060】

図１０に戻り、プロセッサ１０１は、車載ネットワークログファイル１２１に未処理のログがあるか否かを判断する（ステップＳ１００４）。未処理のログとは、ステップＳ１００２で読み込まれていない車載ネットワークログである。

【0061】

未処理のログがある場合（ステップＳ１００４：Ｙｅｓ）、ステップＳ１００５に移行し、未処理のログがない場合（ステップＳ１００１：Ｎｏ）、車載ネットワークログ再生処理１が終了する。図１２では、読込データ１２００として読み込まれていないエントリが車載ネットワークログファイル１２１にまだ存在するため、ステップＳ１００５に移行する。

【0062】

ステップＳ１００５では、プロセッサ１０１は、変更前ＥＣＵソフトウェア１４１を実行する（ステップＳ１００５）。ステップＳ１００５を具体例を挙げて説明する。

【0063】

図１５は、ステップＳ１００５の具体例を示す説明図である。プロセッサ１０１は、送受信ＩＤデータバッファ１３１の受信データを読み込んで、変更前ＥＣＵソフトウェア１４１の１周期分を実行する。具体的には、たとえば、プロセッサ１０１は、送受信ＩＤデータバッファの送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２（“０１”、“１０”、“０２”）を、それぞれ同エントリのＩＤ３０２（ＡＡＡ，ＢＢＢ，ＣＣＣ）からの受信データとして読み込む。

【0064】

プロセッサ１０１は、変更前ＥＣＵソフトウェア１４１の実行結果を送受信ＩＤデータバッファに書き込む。変更前ＥＣＵソフトウェア１４１の実行結果は、変更前ＥＣＵソフトウェア１４１内部の送信データであり、ここでは、たとえば、ＩＤ３０２がＸＸＸ、ＹＹＹのＥＣＵに送信される１Ｂｙｔｅデータ（“３０”、“００”）とする。したがって、プロセッサ１０１は、ＩＤ３０２がＸＸＸ、ＹＹＹのエントリの１Ｂｙｔｅデータ４０２に、“３０”および“００”を書き込む。

【0065】

図１０に戻り、プロセッサ１０１は、前回ＥＣＵソフトウェア実行時間１１０１およびＥＣＵソフトウェア実行時間１１０２をそれぞれ更新し（ステップＳ１００６）、ステップＳ１００２に戻る。ステップＳ１００６を具体例を挙げて説明する。

【0066】

図１６は、ステップＳ１００６の具体例を示す説明図である。（Ａ）は、前回ＥＣＵソフトウェア実行時間１１０１の更新例を示す。すなわち、次回の変更前ＥＣＵソフトウェア１４１の実行では、ＥＣＵソフトウェア実行時間１１０２が前回ＥＣＵソフトウェア実行時間１１０１になる。プロセッサ１０１は、前回ＥＣＵソフトウェア実行時間１１０１をＥＣＵソフトウェア実行時間１１０２で更新する。たとえば、前回ＥＣＵソフトウェア実行時間１１０１が０．００１［ｓ］で、ＥＣＵソフトウェア実行時間１１０２が０．０１１［ｓ］であれば、更新後の前回ＥＣＵソフトウェア実行時間１６０１は、０．０１１［ｓ］になる。

【0067】

（Ｂ）は、ＥＣＵソフトウェア実行時間１１０２の更新例を示す。プロセッサ１０１は、ＥＣＵソフトウェア実行時間１１０２にＥＣＵソフトウェア実行周期時間１１００を加算することにより、ＥＣＵソフトウェア実行時間１１０２の値を、０．０１１［ｓ］から０．０２１［ｓ］に更新する。更新後のＥＣＵソフトウェア実行時間１１０２をＥＣＵソフトウェア実行時間１６０２とする。

【0068】

これにより、ステップＳ１００２では、プロセッサ１０１は、車載ネットワークログファイル１２１から、送受信時間３０１が、前回ＥＣＵソフトウェア実行時間１６０１よりも大きく、かつ、ＥＣＵソフトウェア実行時間１６０２以下の範囲内のデータを読み込むことになる。

【0069】

図１７は、ステップＳ１００２の具体例２を示す説明図である。車載ネットワークログファイル１２１から、送受信時間３０１が、前回ＥＣＵソフトウェア実行時間１６０１である０．０１１［ｓ］よりも大きく、かつ、ＥＣＵソフトウェア実行時間１６０２である０．０２１［ｓ］以下の範囲内のエントリが、読込データ１７００として読み込まれる。

【0070】

図１８は、ステップＳ１００３の具体例２（前半）を示す説明図である。プロセッサ１０１は、読込データ１７００のうち送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４（受信データ）を、送受信ＩＤデータバッファ１３１におけるＩＤ３０２および送信／受信３０３が一致するエントリの１Ｂｙｔｅデータ４０２に上書きする。

【0071】

図１８の例では、送受信ＩＤデータバッファ１３１のＩＤ３０２が「ＡＡＡ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「０１」が、読込データ１７００のＩＤ３０２が「ＡＡＡ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「０５」に上書きされる。

【0072】

送受信ＩＤデータバッファのＩＤ３０２が「ＢＢＢ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「１０」が、読込データ１７００のＩＤ３０２が「ＢＢＢ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「２０」に上書きされる。

【0073】

また、プロセッサ１０１は、読込データ１７００のうち送信／受信３０３が「送信」であるエントリの１Ｂｙｔｅデータ３０４（送信データ）を、送受信ＩＤデータバッファ１３１におけるＩＤ３０２および送信／受信３０３が一致するエントリの１Ｂｙｔｅデータ４０２で上書きする。上書き後の読込データ１７００を、読込データ１８００とする。

【0074】

図１８の例では、読込データ１７００のＩＤ３０２が「ＸＸＸ」、送信／受信３０３が「送信」であるエントリの１Ｂｙｔｅデータ３０４の値「２０」が、送受信ＩＤデータバッファ１３１のＩＤ３０２が「ＸＸＸ」、送信／受信３０３が「送信」であるエントリの１Ｂｙｔｅデータ４０２の値「３０」に上書きされる。

【0075】

これにより、読込データ１７００内の受信データが送受信ＩＤデータバッファ１３１に設定され、読込データ１７００内の送信データが送受信ＩＤデータバッファ１３１内の送信データで上書きされる。

【0076】

図１９は、ステップＳ１００３の具体例２（後半）を示す説明図である。プロセッサ１０１は、読込データ１８００を、車載ネットワークシミュレーションログファイル１２２に書き込む。また、プロセッサ１０１は、車載ネットワークシミュレーションログファイル１２２に書き込まれたエントリの送受信時間３０１に、ＥＣＵソフトウェア実行時間１６０２である０．０２１［ｓ］を書き込む。これにより、読込データ１７００の送受信時間のズレが、ＥＣＵソフトウェア実行時間１６０２に吸収される。

【0077】

図１７では、読込データ１２００，１７００として読み込まれていないエントリが車載ネットワークログに存在しないため（ステップＳ１００４：Ｎｏ）、車載ネットワークログ再生処理１が終了する。

【0078】

＜車載ネットワークログ再生処理２＞
つぎに、図２０～図３５を用いて、車載ネットワークログ再生処理２について説明する。車載ネットワークログ再生処理２は、たとえば、プロセッサ１０１が、第２シミュレーション環境２０２の車載ネットワークログ再生モジュール１５２に実行させる処理である。送受信ＩＤデータバッファ１３２の初期状態は、図９（Ｂ）と同じである。

【0079】

図２０は、車載ネットワークログ再生処理２の一例を示すフローチャートである。プロセッサ１０１は、ステップＳ１００１と同様、前回ＥＣＵソフトウェア実行時間に初期値を設定し、ＥＣＵソフトウェア実行時間に、当該初期値とＥＣＵソフトウェア実行周期時間とを加算した値を設定する（ステップＳ２００１）。ステップＳ２００１を具体例を挙げて説明する。

【0080】

図２１は、ステップＳ２００１の具体例を示す説明図である。車載ネットワークログ再生処理１と同様、ＥＣＵソフトウェア実行周期時間１１００を、たとえば、１０［ｍｓ］とする。前回ＥＣＵソフトウェア実行時間２１０１は、変更後ＥＣＵソフトウェア１４２による前回の実行時間である。初回の場合、前回が存在しないため、初期値として、たとえば、車載ネットワークログ再生処理１と同じ０．００１［ｓ］が設定される。車載ネットワークログ再生処理１と同じ値であれば、図９（Ａ）に示した車載ネットワークログファイル１２１内の先頭エントリの送受信時間３０１である０．００１０２１［ｓ］を初期値にしてもよい。なお、当該初期値は、先頭エントリの送受信時間３０１以下の値とする。

【0081】

また、プロセッサ１０１は、前回ＥＣＵソフトウェア実行時間２１０１（の初期値）と、ＥＣＵソフトウェア実行周期時間１１００と、を加算して、ＥＣＵソフトウェア実行時間２１０２を算出する。このようにして、前回ＥＣＵソフトウェア実行時間２１０１の初期値と、ＥＣＵソフトウェア実行時間２１０２とが設定される。

【0082】

図２０に戻り、プロセッサ１０１は、車載ネットワークシミュレーションログファイル１２２から、送受信時間３０１が、前回ＥＣＵソフトウェア実行時間２１０１よりも大きく、かつ、ＥＣＵソフトウェア実行時間２１０２以下の範囲内のデータを読み込む（ステップＳ２００２）。ステップＳ２００２を具体例を挙げて説明する。

【0083】

図２２は、ステップＳ２００２の具体例１を示す説明図である。車載ネットワークログファイル１２１から、送受信時間３０１が、前回ＥＣＵソフトウェア実行時間２１０１である０．００１［ｓ］よりも大きく、かつ、ＥＣＵソフトウェア実行時間２１０２である０．０１１［ｓ］以下の範囲内のエントリが、読込データ２２００として読み込まれる。

【0084】

図２０に戻り、プロセッサ１０１は、読込データ２２００のうち受信データを、送受信ＩＤデータバッファ１３２内の受信データに設定して、車載ネットワーク差分結果ログファイル１２４の出力データ７０２へ書き込む。ステップＳ２００３を具体例を挙げて説明する。

【0085】

図２３は、ステップＳ２００３の具体例１（前半）を示す説明図である。プロセッサ１０１は、読込データ２２００のうち送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４（受信データ）を、送受信ＩＤデータバッファ１３２におけるＩＤ３０２および送信／受信３０３が一致するエントリの１Ｂｙｔｅデータ４０２に上書きする。

【0086】

図２３の例では、送受信ＩＤデータバッファ１３２のＩＤ３０２が「ＡＡＡ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「００」が、読込データ２２００のＩＤ３０２が「ＡＡＡ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「０１」に上書きされる。

【0087】

送受信ＩＤデータバッファ１３２のＩＤ３０２が「ＢＢＢ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「００」が、読込データ２２００のＩＤ３０２が「ＢＢＢ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「１０」に上書きされる。

【0088】

送受信ＩＤデータバッファ１３２のＩＤ３０２が「ＣＣＣ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「００」が、読込データ２２００のＩＤ３０２が「ＣＣＣ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「０２」に上書きされる。これにより、読込データ２２００内の受信データが送受信ＩＤデータバッファ１３２に設定される。

【0089】

図２４は、ステップＳ２００３の具体例１（後半）を示す説明図である。プロセッサ１０１は、読込データ２２００を、車載ネットワーク差分結果ログファイル１２４のＩＤ３０２、送信／受信３０３および出力データ７０２に書き込む。また、プロセッサ１０１は、車載ネットワーク差分結果ログファイル１２４に書き込まれたエントリの送受信時間３０１に、ＥＣＵソフトウェア実行時間２１０２である０．０１１［ｓ］を書き込む。これにより、読込データ１２００の送受信時間３０１が、車載ネットワーク差分結果ログファイル１２４の送受信時間３０１と一致する。図２０に戻り、プロセッサ１０１は、差分比較モジュール１６０を呼び出す（ステップＳ２００４）。

【0090】

図２５は、差分比較モジュール１６０による差分比較処理の一例を示すフローチャートである。プロセッサ１０１は、読み込んだ送信データと、送受信ＩＤデータバッファ１３２内の送信データとを、ＩＤ３０２をキーとして比較する（ステップＳ２５０１）。差分がない場合（ステップＳ２５０２：Ｎｏ）、読み込んだ送信データを車載ネットワーク差分結果ログファイル１２４の出力データ７０２に書き出し、該当エントリの照合結果７０１に「ＯＫ」を書き込み（ステップＳ２５０３）、図２０のステップＳ２００５に移行する。ステップＳ２５０１～Ｓ２５０３を具体例を挙げて説明する。

【0091】

図２６は、ステップＳ２５０１～Ｓ２５０３の具体例１を示す説明図である。読み込んだ送信データとは、読込データ２２００のうち、送信／受信３０３が「送信」であるエントリが示すデータである。具体的には、たとえば、プロセッサ１０１は、ＩＤ３０２の値「ＸＸＸ」をキーにして、読込データ２２００内の送信データを示すエントリ２６０１と、送受信ＩＤデータバッファ１３２内の送信データを示すエントリ２６０２とを比較する（ステップＳ２５０１）。

【0092】

この場合、エントリ２６０１の１Ｂｙｔｅデータ３０４とエントリ２６０２の１Ｂｙｔｅデータ４０２とは一致する（ステップＳ２５０２：Ｎｏ）。したがって、プロセッサ１０１は、車載ネットワーク差分結果ログファイル１２４のＩＤ３０２、送信／受信３０３および出力データ７０２に、一致した送信データを書き込み、かつ、当該書き込んだエントリの照合結果７０１に「ＯＫ」を書き込む。また、プロセッサ１０１は、車載ネットワーク差分結果ログファイル１２４に書き込まれたエントリの送受信時間に、ＥＣＵソフトウェア実行時間２１０２である０．０１１［ｓ］を書き込む（ステップＳ２５０３）。

【0093】

図２７は、ステップＳ２５０１～Ｓ２５０３の具体例２を示す説明図である。図２６と同様、プロセッサ１０１は、ＩＤ３０２の値「ＹＹＹ」をキーにして、読込データ２２００内の送信データを示すエントリ２７０１と、送受信ＩＤデータバッファ１３２内の送信データを示すエントリ２７０２とを比較する（ステップＳ２５０１）。

【0094】

この場合、エントリ２７０１の１Ｂｙｔｅデータ３０４とエントリ２７０２の１Ｂｙｔｅデータ４０２とは一致する（ステップＳ２５０２：Ｎｏ）。したがって、プロセッサ１０１は、車載ネットワーク差分結果ログファイル１２４のＩＤ３０２、送信／受信３０３および出力データ７０２に、一致した送信データを書き込み、かつ、当該書き込んだエントリの照合結果７０１に「ＯＫ」を書き込む。また、プロセッサ１０１は、車載ネットワーク差分結果ログファイル１２４に書き込まれたエントリの送受信時間３０１に、ＥＣＵソフトウェア実行時間２１０２である０．０１１［ｓ］を書き込む（ステップＳ２５０３）。

【0095】

図２０に戻り、プロセッサ１０１は、車載ネットワークシミュレーションログファイル１２２に未処理のログがあるか否かを判断する（ステップＳ２００５）。未処理のログとは、ステップＳ２００２で読み込まれていない車載ネットワークシミュレーションログである。

【0096】

未処理のログがある場合（ステップＳ２００５：Ｙｅｓ）、ステップＳ１００５に移行し、未処理のログがない場合（ステップＳ２００５：Ｎｏ）、車載ネットワークログ再生処理２が終了する。図２２では、読込データ２２００として読み込まれていないエントリが車載ネットワークシミュレーションログファイル１２２にまだ存在するため、ステップＳ２００６に移行する。

【0097】

ステップＳ２００６では、プロセッサ１０１は、変更後ＥＣＵソフトウェア１４２を実行する（ステップＳ２００６）。ステップＳ２００６を具体例を挙げて説明する。

【0098】

図２８は、ステップＳ２００６の具体例を示す説明図である。プロセッサ１０１は、送受信ＩＤデータバッファ１３２の受信データを読み込んで、変更後ＥＣＵソフトウェア１４２の１周期分を実行する。具体的には、たとえば、プロセッサ１０１は、送受信ＩＤデータバッファ１３２の送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２（“０１”、“１０”、“０２”）を、それぞれ同エントリのＩＤ３０２（ＡＡＡ，ＢＢＢ，ＣＣＣ）からの受信データとして読み込む。

【0099】

プロセッサ１０１は、変更後ＥＣＵソフトウェア１４２の実行結果を送受信ＩＤデータバッファ１３２に書き込む。変更後ＥＣＵソフトウェア１４２の実行結果は、変更後ＥＣＵソフトウェア１４２内部の送信データであり、ここでは、たとえば、ＩＤ３０２がＸＸＸ、ＹＹＹのＥＣＵに送信される１Ｂｙｔｅデータ（“３０”、“００”）とする。したがって、プロセッサ１０１は、ＩＤ３０２がＸＸＸ、ＹＹＹのエントリの１Ｂｙｔｅデータ４０２に、“３０”および“００”を書き込む。

【0100】

図２０に戻り、プロセッサ１０１は、前回ＥＣＵソフトウェア実行時間２１０１およびＥＣＵソフトウェア実行時間２１０２をそれぞれ更新し（ステップＳ２００７）、ステップＳ２００２に戻る。ステップＳ２００７を具体例を挙げて説明する。

【0101】

図２９は、ステップＳ２００７の具体例を示す説明図である。（Ａ）は、前回ＥＣＵソフトウェア実行時間２１０１の更新例を示す。すなわち、次回の変更前ＥＣＵソフトウェア１４１の実行では、ＥＣＵソフトウェア実行時間２１０２が前回ＥＣＵソフトウェア実行時間２１０１になる。

【0102】

プロセッサ１０１は、前回ＥＣＵソフトウェア実行時間２１０１をＥＣＵソフトウェア実行時間２１０２で更新する。たとえば、前回ＥＣＵソフトウェア実行時間２１０１が０．００１［ｓ］で、ＥＣＵソフトウェア実行時間２１０２が０．０１１［ｓ］であれば、更新後の前回ＥＣＵソフトウェア実行時間２９０１は、０．０１１［ｓ］になる。

【0103】

（Ｂ）は、ＥＣＵソフトウェア実行時間２１０２の更新例を示す。プロセッサ１０１は、ＥＣＵソフトウェア実行時間２１０２にＥＣＵソフトウェア実行周期時間１１００を加算することにより、ＥＣＵソフトウェア実行時間２１０２の値を、０．０１１［ｓ］から０．０２１［ｓ］に更新する。更新後のＥＣＵソフトウェア実行時間２１０２をＥＣＵソフトウェア実行時間２９０２とする。

【0104】

これにより、ステップＳ２００２では、プロセッサ１０１は、車載ネットワークシミュレーションログファイル１２２から、送受信時間３０１が、前回ＥＣＵソフトウェア実行時間２９０１よりも大きく、かつ、ＥＣＵソフトウェア実行時間２９０２以下の範囲内のデータを読み込むことになる。

【0105】

図３０は、ステップＳ２００２の具体例２を示す説明図である。車載ネットワークシミュレーションログファイル１２２から、送受信時間３０１が、前回ＥＣＵソフトウェア実行時間２９０１である０．０１１［ｓ］よりも大きく、かつ、ＥＣＵソフトウェア実行時間２９０２である０．０２１［ｓ］以下の範囲内のエントリが、読込データ３０００として読み込まれる。

【0106】

図３１は、ステップＳ２００３の具体例２（前半）を示す説明図である。プロセッサ１０１は、読込データ３０００のうち送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４（受信データ）を、送受信ＩＤデータバッファ１３２におけるＩＤ３０２および送信／受信３０３が一致するエントリの１Ｂｙｔｅデータ４０２に上書きする。

【0107】

図３１の例では、送受信ＩＤデータバッファ１３２のＩＤ３０２が「ＡＡＡ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「０１」が、読込データ１７００のＩＤ３０２が「ＡＡＡ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「０５」に上書きされる。

【0108】

送受信ＩＤデータバッファ１３２のＩＤ３０２が「ＢＢＢ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ４０２の値「１０」が、読込データ１７００のＩＤ３０２が「ＢＢＢ」でかつ送信／受信３０３が「受信」であるエントリの１Ｂｙｔｅデータ３０４の値「２０」に上書きされる。これにより、読込データ３０００内の受信データが送受信ＩＤデータバッファ１３２に設定される。

【0109】

図３２は、ステップＳ２００３の具体例２（後半）を示す説明図である。プロセッサ１０１は、読込データ３０００を、車載ネットワーク差分結果ログファイル１２４のＩＤ３０２、送信／受信３０３および出力データ７０２に書き込む。また、プロセッサ１０１は、車載ネットワーク差分結果ログファイル１２４に書き込まれたエントリの送受信時間３０１に、ＥＣＵソフトウェア実行時間２９０２である０．０２１［ｓ］を書き込む。これにより、読込データ１２００の送受信時間が、車載ネットワーク差分結果ログファイル１２４の送受信時間と一致する。図２０に戻り、プロセッサ１０１は、差分比較モジュール１６０を呼び出す（ステップＳ２００４）。

【0110】

図２５のステップＳ２５０２において、差分がある場合（ステップＳ２５０２：Ｙｅｓ）、プロセッサ１０１は、車載ネットワーク差分結果ログファイル１２４の出力データ７０２と入力データ７０３に比較したデータを書き出し、該当エントリに照合結果７０１として「ＮＧ」を書き出す（ステップＳ２５０４）。

【0111】

そして、プロセッサ１０１は、車載ネットワーク台帳１２３から差分箇所となるＩＤ３０２および位置を特定し、車載ネットワーク差分結果ログファイル１２４に不一致信号名７０４を追記し、不一致信号リスト結果ファイル１２５のＮＧデータ件数８０１および不一致信号リスト８０２を更新する（ステップＳ２５０５）。そして、図２０のステップＳ２００５に移行する。ステップＳ２５０１、Ｓ２５０２、Ｓ２５０４、Ｓ２５０５を具体例を挙げて説明する。

【0112】

図３３は、ステップＳ２５０１、Ｓ２５０２、Ｓ２５０４の具体例を示す説明図である。読み込んだ送信データとは、読込データ３０００のうち、送信／受信３０３が「送信」であるエントリが示すデータである。具体的には、たとえば、プロセッサ１０１は、ＩＤ３０２の値「ＸＸＸ」をキーにして、読込データ３０００内の送信データを示すエントリ３３０１と、送受信ＩＤデータバッファ１３２内の送信データを示すエントリ３３０２とを比較する（ステップＳ２５０１）。

【0113】

この場合、エントリ３３０１の１Ｂｙｔｅデータ３０４とエントリ３３０２の１Ｂｙｔｅデータ４０２とは一致しない（ステップＳ２５０２：Ｙｅｓ）。したがって、プロセッサ１０１は、車載ネットワーク差分結果ログファイル１２４に、キーとなるＩＤ３０２および送信／受信３０３の「送信」を書き込み、出力データ７０２にエントリ３３０２の１Ｂｙｔｅデータ４０２の“３３”、入力データ７０３にエントリ３３０１の１Ｂｙｔｅデータ３０４の“３０”を書き込み、かつ、当該書き込んだエントリの照合結果７０１に「ＮＧ」を書き込む。また、プロセッサ１０１は、車載ネットワーク差分結果ログファイル１２４に書き込まれたエントリ３３０３の送受信時間に、ＥＣＵソフトウェア実行時間２９０２である０．０２１［ｓ］を書き込む（ステップＳ２５０４）。

【0114】

図３４は、ステップＳ２５０５の具体例１を示す説明図である。Ｓ２５０５では、プロセッサ１０１は、照合結果７０１がＮＧとなったエントリのＩＤ３０２から、車載ネットワーク台帳１２３で参照すべきＩＤ３０２を特定し、照合結果７０１がＮＧとなったエントリの出力データ７０２（または入力データ７０３）から車載ネットワーク台帳１２３で参照すべき位置６０２を特定する。図３４では、ＩＤ３０２が「ＸＸＸ」で位置が「０」Ｂｙｔｅ、「０」Ｂｉｔ、ビット幅６０３が「８」であるエントリ３４００が特定される。プロセッサ１０１は、エントリ３４００から信号名６０４を取得し、照合結果７０１がＮＧのエントリ３３０３の不一致信号名７０４に取得した信号名を追記する。

【0115】

図３５は、ステップＳ２５０５の具体例２を示す説明図である。Ｓ２５０５では、さらに、プロセッサ１０１は、不一致信号リスト結果ファイル１２５のＮＧデータ件数８０１および不一致信号リスト８０２を更新する。今回、照合結果７０１がＮＧのエントリとしてエントリ３３０３が検出されたため、ＮＧデータ件数８０１は「０」から「１」に更新される。また、不一致信号リスト８０２には、車載ネットワーク台帳１２３において特定されたエントリ３４００のＩＤ３０２、位置、ビット幅および信号名からなるエントリが追記される。なお、送信データには１以上の信号が含まれるため、ＮＧデータ件数８０１よりも不一致信号リスト８０２のエントリ数が多くなることもある。

【0116】

上述した実施例にかかる等価検証方法は、下記（１）～（８）として構成することもできる。

【0117】

（１）プログラムを実行するプロセッサ１０１と、プログラムを記憶する記憶デバイス１０２と、を有する等価検証装置が実行する等価検証方法は、プロセッサ１０１が、対象ＥＣＵがＥＣＵ群との間で送受信したデータおよび当該データの送受信時間３０１を記録した車載ネットワークログファイル１２１に基づいて、対象ＥＣＵの機能を実現する変更前ＥＣＵソフトウェアに関する第１シミュレーションを実行することにより、対象ＥＣＵがＥＣＵ群との間で送受信したデータおよび当該データの送受信時間３０１の各々にソフトウェア実行時間を記録した車載ネットワークシミュレーションログファイル１２２を生成する第１生成処理（車載ネットワークログ再生モジュール１５１）と、第１生成処理によって生成された車載ネットワークシミュレーションログファイル１２２に基づいて、変更前ＥＣＵソフトウェアと同一機能を実現する変更後ＥＣＵソフトウェアに関する第２シミュレーションを実行することにより、ソフトウェア実行時間に対象ＥＣＵがＥＣＵ群の中の送信先ＥＣＵに送信したことを示す送信データを生成する第２生成処理（車載ネットワークログ再生モジュール１５２）と、第２生成処理によって生成された送信データと、ソフトウェア実行時間に対象ＥＣＵが前送信先ＥＣＵに送信したことを示す車載ネットワークシミュレーションログファイル１２２内の送信データと、を照合し、照合結果７０１を出力する照合処理（差分比較モジュール１６０）と、を実行する。

【0118】

（２）上記（１）において、変更後ＥＣＵソフトウェアは、変更前ＥＣＵソフトウェアをリファクタリングしたソフトウェアである。

【0119】

（３）上記（１）において、照合処理では、プロセッサ１０１は、両送信データに差分がない判定した場合、照合結果７０１として両送信データに差分がないことを示す情報を出力する。

【0120】

（４）上記（１）において、照合処理では、プロセッサ１０１は、両送信データに差分があると判定した場合、照合結果７０１として両送信データに差分があることを示す情報を出力する。

【0121】

（５）上記（１）において、第２生成処理では、プロセッサ１０１は、送信データと、照合結果７０１と、を関連付けた車載ネットワーク差分結果ログファイル１２４を生成する。

【0122】

（６）上記（５）において、第２生成処理では、プロセッサ１０１は、照合結果７０１が両送信データに差分があることを示す情報である場合、照合結果７０１の件数（ＮＧデータ件数８０１）を出力する。

【0123】

（７）上記（５）において、プロセッサ１０１は、ＥＣＵ群の各々のＥＣＵと、対象ＥＣＵからＥＣＵに送信されるデータに含まれる信号の名称と、を対応付けた車載ネットワーク台帳１２３にアクセス可能であり、第２生成処理では、プロセッサ１０１は、照合結果７０１が両送信データに差分があることを示す情報である場合、車載ネットワーク台帳１２３を参照して、送信データに対応する特定の信号の名称を取得し、送信データと照合結果７０１と特定の信号の名称とを関連付けて車載ネットワーク差分結果ログファイル１２４を生成する。

【0124】

（８）上記（７）において、車載ネットワーク台帳１２３は、さらに、信号が示す値のデータ内位置を対応付けており、第２生成処理では、プロセッサ１０１は、車載ネットワーク台帳１２３を参照して、送信データが示す値が位置する特定のデータ内位置と、特定の信号の名称と、を取得し、送信データと照合結果７０１と特定の信号の名称と特定のデータ内位置とを関連付けて車載ネットワーク差分結果ログファイル１２４を生成する。

【0125】

なお、本発明は前述した実施例に限定されるものではなく、添付した特許請求の範囲の趣旨内における様々な変形例及び同等の構成が含まれる。例えば、前述した実施例は本発明を分かりやすく説明するために詳細に説明したものであり、必ずしも説明した全ての構成を備えるものに本発明は限定されない。また、ある実施例の構成の一部を他の実施例の構成に置き換えてもよい。また、ある実施例の構成に他の実施例の構成を加えてもよい。また、各実施例の構成の一部について、他の構成の追加、削除、または置換をしてもよい。

【0126】

また、前述した各構成、機能、処理部、処理手段等は、それらの一部又は全部を、例えば集積回路で設計する等により、ハードウェアで実現してもよく、プロセッサ１０１がそれぞれの機能を実現するプログラムを解釈し実行することにより、ソフトウェアで実現してもよい。

【0127】

各機能を実現するプログラム、テーブル、ファイル等の情報は、メモリ、ハードディスク、ＳＳＤ（ＳｏｌＩＤ３０２ Ｓｔａｔｅ Ｄｒｉｖｅ）等の記憶装置、又は、ＩＣ（Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ）カード、ＳＤカード、ＤＶＤ（Ｄｉｇｉｔａｌ Ｖｅｒｓａｔｉｌｅ Ｄｉｓｃ）の記録媒体に格納することができる。

【0128】

また、制御線や情報線は説明上必要と考えられるものを示しており、実装上必要な全ての制御線や情報線を示しているとは限らない。実際には、ほとんど全ての構成が相互に接続されていると考えてよい。

【符号の説明】

【0129】

１００ 等価検証装置
１０１ プロセッサ
１０２ 記憶デバイス
１１１ ＥＣＵ群
１２１ 車載ネットワークログファイル
１２２ 車載ネットワークシミュレーションログファイル
１２３ 車載ネットワーク台帳
１２４ 車載ネットワーク差分結果ログファイル
１２５ 不一致信号リスト結果ファイル
１３０ 送受信ＩＤデータバッファ
１４１ 変更前ＥＣＵソフトウェア
１４２ 変更後ＥＣＵソフトウェア
１５０ 車載ネットワークログ再生モジュール
１６０ 差分比較モジュール
８０１ ＮＧデータ件数
８０２ 不一致信号リスト

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】

【図10】

【図11】

【図12】

【図13】

【図14】

【図15】

【図16】

【図17】

【図18】

【図19】

【図20】

【図21】

【図22】

【図23】

【図24】

【図25】

【図26】

【図27】

【図28】

【図29】

【図30】

【図31】

【図32】

【図33】

【図34】

【図35】