JP2019032656A - Verification system and verification method - Google Patents

Verification system and verification method Download PDF

Info

Publication number
JP2019032656A
JP2019032656A JP2017152591A JP2017152591A JP2019032656A JP 2019032656 A JP2019032656 A JP 2019032656A JP 2017152591 A JP2017152591 A JP 2017152591A JP 2017152591 A JP2017152591 A JP 2017152591A JP 2019032656 A JP2019032656 A JP 2019032656A
Authority
JP
Japan
Prior art keywords
program
processing
new program
processing result
verification system
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.)
Granted
Application number
JP2017152591A
Other languages
Japanese (ja)
Other versions
JP7027721B2 (en
Inventor
宗彦 前田
Munehiko Maeda
宗彦 前田
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
IHI Corp
Original Assignee
IHI Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by IHI Corp filed Critical IHI Corp
Priority to JP2017152591A priority Critical patent/JP7027721B2/en
Publication of JP2019032656A publication Critical patent/JP2019032656A/en
Application granted granted Critical
Publication of JP7027721B2 publication Critical patent/JP7027721B2/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Abstract

To make it easier to execute a regression test.SOLUTION: A verification system compares a current program with a new program. The current program is implemented in a detection device and executes processing on the basis of an input from a sensor. The new program executes the processing on the basis of the input and partly changes from the current program. The verification system comprises: a sensor; a storage unit which is incorporated in a detection device and stores the new program, wherein the detection device outputs a sensor output and a processing result obtained by the current program; and comparison determination means for determining whether or not the processing result of the current program and the processing result of the new program are identical except for the processing result relating to the change from the new program.SELECTED DRAWING: Figure 1

Description

本発明は、検証システム及び検証方法に関するものである。   The present invention relates to a verification system and a verification method.

ソフトウェアの改良や機能の追加等の改変を行う際には、改変箇所以外の部分が現行のソフトウェアと同様に機能するかを調べる回帰テストを行う必要がある。例えば、特許文献1には、プログラム修正前後の実行結果を比較して、プログラムの不具合を判定する回帰テスト支援システムが開示されている。   When making modifications such as improving the software or adding functions, it is necessary to perform a regression test to check whether the parts other than the modified part function in the same way as the current software. For example, Patent Document 1 discloses a regression test support system that compares execution results before and after program correction to determine a program defect.

特開2015−176455号公報Japanese Patent Laying-Open No. 2015-176455

しかしながら、このような回帰テストを、多数のセンサまたは情報量の大きいセンサ等の入力を用いるソフトウェアに対して実行する場合、センサデータの組み合わせが多数となる。回帰テストにおいて、このような多数のセンサデータの組み合わせを入力として用いると、回帰テストに時間がかかり、回帰テストの手順が繁雑となる。   However, when such a regression test is executed for software using inputs such as a large number of sensors or a sensor having a large amount of information, there are a large number of combinations of sensor data. If such a combination of a large number of sensor data is used as an input in the regression test, the regression test takes time, and the regression test procedure becomes complicated.

本発明は、上述する問題点に鑑みてなされたもので、回帰テストの実行を容易とすることを目的とする。   The present invention has been made in view of the above-described problems, and an object thereof is to facilitate execution of a regression test.

本発明は、上記課題を解決するための手段として、以下の構成を採用する。   The present invention adopts the following configuration as means for solving the above-described problems.

第1の手段として、検出装置に実装されると共にセンサからの入力に基づいて処理を実行する現行プログラムと、上記入力に基づいて処理を実行すると共に上記現行プログラムから一部が変更された新プログラムとの比較を行う検証システムであって、センサと、センサ出力及び上記現行プログラムによって得られる処理結果を出力する処理手段とを有する検出装置に組み込まれ、上記新プログラムが記憶される記憶手段と、上記新プログラムからの変更点に関わる処理結果を除いて、上記現行プログラムの処理結果と上記新プログラムの処理結果とが同一であるか判定する比較判定手段とを有する、という構成を採用する。   As a first means, a current program that is mounted on the detection device and executes processing based on an input from a sensor, and a new program that executes processing based on the input and is partially modified from the current program Is a verification system for comparison with a sensor, and is incorporated in a detection device having a sensor and a processing means for outputting a sensor output and a processing result obtained by the current program, and a storage means for storing the new program; Except for the processing result related to the change from the new program, a configuration is adopted in which comparison determination means for determining whether the processing result of the current program is the same as the processing result of the new program is adopted.

第2の手段として、上記第1の手段において、上記比較判定手段による判定結果を保存する判定記憶手段を有する、という構成を採用する。   As a second means, a configuration is adopted in which the first means has a determination storage means for storing the determination result by the comparison determination means.

第3の手段として、上記第2の手段において、上記判定記憶手段には、上記判定結果が、上記現行プログラムと上記新プログラムとで同一でない場合における、上記現行プログラムの処理結果及び上記新プログラムの処理結果が保存される、という構成を採用する。   As a third means, in the second means, the determination storage means stores the processing result of the current program and the new program when the determination result is not the same between the current program and the new program. A configuration is adopted in which the processing result is stored.

第4の手段として、上記第2または3の手段において、上記判定記憶手段には、上記判定結果が、上記現行プログラムと上記新プログラムとで同一でない場合における、上記センサ出力が保存される、という構成を採用する。   As a fourth means, in the second or third means, the judgment storage means stores the sensor output when the judgment result is not the same in the current program and the new program. Adopt the configuration.

第5の手段として、上記第1〜4のいずれかの手段において、上記比較判定手段による判定結果を外部へと送信する通信手段を備える、という構成を採用する。   As a fifth means, any one of the first to fourth means includes a communication means for transmitting the determination result by the comparison determination means to the outside.

第5の手段として、検出装置に実装されると共にセンサからの入力に基づいて処理を実行する現行プログラムと、上記入力に基づいて処理を実行すると共に上記現行プログラムから一部が変更された新プログラムとの比較を行う検証方法であって、上記検出装置内において、上記現行プログラムと上記新プログラムとによる処理を並行して行い、上記現行プログラムによる処理の処理結果と、上記新プログラムによる処理の処理結果とを比較する、という構成を採用する。   As a fifth means, a current program that is mounted on the detection device and executes processing based on an input from a sensor, and a new program that executes processing based on the input and is partially modified from the current program In the detection device, the processing by the current program and the new program are performed in parallel, the processing result of the processing by the current program, and the processing of the processing by the new program The configuration of comparing the results is adopted.

本発明によれば、実際に現行プログラムが実装される検出装置に、新プログラムを記憶した検証システムが組み込まれており、センサからの入力を用いて現行プログラムと新プログラムとに並列処理させる。これにより得られる現行プログラム及び新プログラムの各々の処理結果から、新プログラムにおける変更点に関わる処理結果を除き、比較判定手段により比較する。したがって、実際に稼働している検出装置のセンサによるデータに基づいて回帰テストを実施することができ、入力データのパターンを用意する必要がないため、回帰テストの実行を容易とすることができる。   According to the present invention, a verification system that stores a new program is incorporated in a detection apparatus that actually implements the current program, and the current program and the new program are processed in parallel using the input from the sensor. The processing results relating to the changes in the new program are excluded from the processing results of the current program and the new program obtained in this way, and the comparison / determination means compares them. Accordingly, the regression test can be performed based on the data from the sensor of the detection device that is actually operating, and it is not necessary to prepare the pattern of the input data, so that the regression test can be easily performed.

本発明の一実施形態における障害物検出装置及び検証システムのブロック図である。It is a block diagram of the obstacle detection apparatus and verification system in one embodiment of the present invention. 本発明の一実施形態における検証システムの動作を示すフローチャートである。It is a flowchart which shows operation | movement of the verification system in one Embodiment of this invention.

以下、図面を参照して、本発明に係る検証システム1の一実施形態について説明する。
なお、本実施形態における検証システム1は、コンピュータのCPU、メモリ等のハードウェアと、プログラムを含むソフトウェアとが協働することにより構成されている。
Hereinafter, an embodiment of a verification system 1 according to the present invention will be described with reference to the drawings.
The verification system 1 in the present embodiment is configured by cooperation of hardware such as a computer CPU and memory and software including a program.

本実施形態の検証システム1が障害物検出システム100と共に組み込まれる自動運転車両A(検出装置)は、周囲の障害物を検出しながら自律走行する自動車である。自動運転車両Aは、障害物検出システム100と、検証システム1とを有している。   An autonomous driving vehicle A (detection device) in which the verification system 1 of this embodiment is incorporated together with the obstacle detection system 100 is an automobile that autonomously travels while detecting surrounding obstacles. The autonomous driving vehicle A has an obstacle detection system 100 and a verification system 1.

障害物検出システム100は、自動運転車両Aに搭載され、レーダ装置110(センサ)と、プログラム処理部120(処理手段)と、記憶部130とを有しており、自動運転車両Aの付近における障害物の有無を検出する装置である。また、障害物検出システム100は、レーダ装置110からの情報に基づいて障害物の有無を判定する障害物検出プログラムP1(現行プログラム)を記憶部130に記憶しており、障害物検出プログラムP1を実行することにより障害物を検出している。なお、障害物検出システム100は、回帰テストが実行される段階においては、障害物検出プログラムP1の処理結果を自動運転車両Aの制御システムに出力する。   The obstacle detection system 100 is mounted on the autonomous driving vehicle A, has a radar device 110 (sensor), a program processing unit 120 (processing means), and a storage unit 130, and is located in the vicinity of the autonomous driving vehicle A. This device detects the presence or absence of obstacles. The obstacle detection system 100 stores an obstacle detection program P1 (current program) for determining the presence or absence of an obstacle based on information from the radar device 110 in the storage unit 130. The obstacle detection program P1 is stored in the obstacle detection program P1. Obstacles are detected by executing. The obstacle detection system 100 outputs the processing result of the obstacle detection program P1 to the control system of the autonomous driving vehicle A when the regression test is executed.

このような障害物検出システム100が複数の自動運転車両Aに搭載されており、そのそれぞれにおいて、検証システム1による回帰テストが実行される。なお、障害物検出システム100の障害物検出プログラムP1及び新プログラムP2は、自動運転車両Aに搭載された処理コンピュータにインストールされている。   Such an obstacle detection system 100 is mounted on a plurality of autonomous driving vehicles A, and a regression test by the verification system 1 is executed in each of them. The obstacle detection program P1 and the new program P2 of the obstacle detection system 100 are installed in a processing computer mounted on the autonomous driving vehicle A.

検証システム1は、障害物検出プログラムP1と、新プログラムP2との回帰テストを行うシステムであり、プログラム処理部2と、プログラム記憶部3(記憶手段)と、比較判定部4(比較判定手段)と、データ記憶部5(判定記憶手段)と、通信部6とを有している。プログラム処理部2は、レーダ装置110からレーダ情報を取得し、プログラム記憶部3に記憶された新プログラムP2に基づいて、処理を実行する。プログラム記憶部3には、回帰テストの対象となる新プログラムP2が記憶されている。新プログラムP2は、障害物検出プログラムP1の一部を改変したプログラムであり、レーダ装置110のデータ入力を用いる。   The verification system 1 is a system that performs a regression test between the obstacle detection program P1 and the new program P2, and includes a program processing unit 2, a program storage unit 3 (storage unit), and a comparison determination unit 4 (comparison determination unit). And a data storage unit 5 (determination storage means) and a communication unit 6. The program processing unit 2 acquires radar information from the radar device 110 and executes processing based on the new program P2 stored in the program storage unit 3. The program storage unit 3 stores a new program P2 to be subjected to a regression test. The new program P2 is a program obtained by modifying a part of the obstacle detection program P1, and uses data input of the radar apparatus 110.

比較判定部4は、プログラム処理部120及びプログラム処理部2よりレーダ情報を取得すると共に、障害物検出プログラムP1の処理結果と、新プログラムP2の処理結果とを比較し、改変箇所以外における処理結果が同一となっているかを検証し、検証結果をデータ記憶部5に保存する。   The comparison / determination unit 4 acquires radar information from the program processing unit 120 and the program processing unit 2 and compares the processing result of the obstacle detection program P1 with the processing result of the new program P2. Are verified, and the verification result is stored in the data storage unit 5.

データ記憶部5には、比較判定部4による比較結果が保存される。また、データ記憶部5には、障害物検出プログラムP1と新プログラムP2とで改変箇所以外における処理結果が異なる場合の、障害物検出プログラムP1の出力結果及び新プログラムP2の出力結果と、レーダ装置110のレーダ情報が保存される。通信部6は、データ記憶部5に保存されたデータを定期的に自動運転車両Aから車両外に設けられる外部システム200へと出力する無線通信手段である。   The data storage unit 5 stores a comparison result by the comparison determination unit 4. The data storage unit 5 also includes an output result of the obstacle detection program P1 and an output result of the new program P2 when the obstacle detection program P1 and the new program P2 have different processing results except for the modified portion, and a radar apparatus. 110 radar information is stored. The communication unit 6 is a wireless communication unit that periodically outputs data stored in the data storage unit 5 from the autonomous driving vehicle A to an external system 200 provided outside the vehicle.

外部システム200は、自動運転車両Aの外部に設けられるコンピュータに実装され、複数の通信部6から取得したデータに基づいて、新プログラムP2の開発及び修正等を行うシステムである。   The external system 200 is mounted on a computer provided outside the autonomous driving vehicle A, and is a system that develops and corrects the new program P2 based on data acquired from the plurality of communication units 6.

障害物検出システム100が搭載された複数の自動運転車両Aは、それぞれ、通常と同様に運転が実行される。これにより、各自動運転車両Aの障害物検出プログラムP1及び新プログラムP2には、レーダ装置110により取得された周囲のレーダ情報が入力される。各自動運転車両Aがそれぞれ異なるルートまたは状況で運転されるため、各自動運転車両Aの障害物検出プログラムP1及び新プログラムP2には、それぞれ異なるレーダ情報が入力されることとなる。   The plurality of autonomous driving vehicles A on which the obstacle detection system 100 is mounted are each driven in the same manner as usual. Thereby, the surrounding radar information acquired by the radar apparatus 110 is input to the obstacle detection program P1 and the new program P2 of each autonomous driving vehicle A. Since each autonomous driving vehicle A is driven by a different route or situation, different radar information is input to the obstacle detection program P1 and the new program P2 of each autonomous driving vehicle A.

次に、検証システム1による検証方法を図2のフローチャートを参照して説明する。
初めに、レーダ装置110から取得したレーダ受信データを用いたプログラム処理部120と、プログラム処理部2とによる並行処理が完了すると、比較判定部4は、障害物検出プログラムP1及び新プログラムP2の処理結果を取得する(ステップS1)。そして、比較判定部4は、予め記憶している新プログラムP2の改変箇所の情報に基づいて、改変箇所に関わるデータを比較対象となる処理結果から除外する(ステップS2)。
Next, a verification method by the verification system 1 will be described with reference to the flowchart of FIG.
First, when parallel processing by the program processing unit 120 using the radar reception data acquired from the radar device 110 and the program processing unit 2 is completed, the comparison determination unit 4 performs processing of the obstacle detection program P1 and the new program P2. A result is acquired (step S1). And the comparison determination part 4 excludes the data regarding a modification location from the process result used as a comparison object based on the information of the modification location of the new program P2 memorize | stored beforehand (step S2).

次に、比較判定部4は、改変箇所(変更点)に関わるデータが除外された処理結果を比較し、全て同一となっているかを検証する(ステップS3)。ステップS3において、処理結果が同一である場合、すなわち判断がYESの場合には、「処理結果が同一である」という情報のみをデータ記憶部5へと保存する(ステップS4)。また、処理結果が同一でない場合、すなわち判断がNOの場合には、比較判定部4は、「処理結果が同一でない」という情報と、障害物検出プログラムP1及び新プログラムP2のそれぞれの処理結果と、処理に用いられたレーダ情報とをデータ記憶部5へと保存する(ステップS5)。   Next, the comparison / determination unit 4 compares the processing results from which the data related to the modified part (changed point) is excluded, and verifies whether all are the same (step S3). If the processing results are the same in step S3, that is, if the determination is YES, only the information “the processing results are the same” is stored in the data storage unit 5 (step S4). When the processing results are not the same, that is, when the determination is NO, the comparison / determination unit 4 determines that the information indicating that the processing results are not the same, the respective processing results of the obstacle detection program P1 and the new program P2. The radar information used for the processing is stored in the data storage unit 5 (step S5).

検証システム1は、このようなフローを繰り返し実行することにより、データ記憶部5に複数回の回帰テスト(検証)の結果を蓄積する。さらに、検証システム1は、例えば、自動運転車両Aのメンテナンス時等の任意のタイミングでデータ記憶部5に記憶された、判定結果、処理結果及びレーダ情報を含むデータを通信部6により外部システム200へと送信する。   The verification system 1 accumulates the results of a plurality of regression tests (verifications) in the data storage unit 5 by repeatedly executing such a flow. Furthermore, the verification system 1 uses the communication unit 6 to transmit the data including the determination result, the processing result, and the radar information stored in the data storage unit 5 at an arbitrary timing such as during maintenance of the autonomous driving vehicle A to the external system 200. Send to.

このような本実施形態における検証システム1は、自動運転車両Aに実装されているため、実際の自動運転車両Aの運行に伴って取得される障害物検出システム100のレーダ情報を用いて、随時、障害物検出プログラムP1と、新プログラムP2との並行処理による処理結果を比較、検証することができる。したがって、検証システム1は、様々なパターンのレーダ情報を入力として用いた回帰テストを実施することができ、回帰テストの実施が容易である。   Since the verification system 1 in this embodiment is mounted on the autonomous driving vehicle A, the radar information of the obstacle detection system 100 acquired along with the actual operation of the autonomous driving vehicle A is used as needed. The processing results of the parallel processing of the obstacle detection program P1 and the new program P2 can be compared and verified. Therefore, the verification system 1 can perform a regression test using radar information of various patterns as an input, and the regression test can be easily performed.

また、本実施形態における検証システム1は、「処理結果が同一でない」という情報と、障害物検出プログラムP1及び新プログラムP2のそれぞれの処理結果をデータ記憶部5へと保存する。これにより、データ記憶部5には、「処理結果が同一でない」場合の処理結果を蓄積することができ、どのような状況で障害物検出プログラムP1と新プログラムP2とで処理結果が異なるのかを確認することができ、新プログラムP2の修正を行うことが容易となる。   Further, the verification system 1 according to the present embodiment stores the information that “the processing results are not the same” and the processing results of the obstacle detection program P1 and the new program P2 in the data storage unit 5. As a result, the data storage unit 5 can store the processing results when “the processing results are not the same”. Under what circumstances, the processing results differ between the obstacle detection program P1 and the new program P2. It can be confirmed and it becomes easy to correct the new program P2.

また、本実施形態における検証システム1は、判定結果を外部システム200へと無線通信にて送信する通信部6を有している。これにより、自動運転車両Aのように移動可能な装置や、取り外すことの難しい装置等に障害物検出プログラムP1が実装されている場合においても、検証システム1の検証結果を回収することが容易である。   Moreover, the verification system 1 in this embodiment has the communication part 6 which transmits a determination result to the external system 200 by radio | wireless communication. Thereby, even when the obstacle detection program P1 is implemented in a movable device such as the autonomous driving vehicle A or a device that is difficult to remove, the verification result of the verification system 1 can be easily collected. is there.

以上、図面を参照しながら本発明の好適な実施形態について説明したが、本発明は上記実施形態に限定されるものではない。上述した実施形態において示した各構成部材の諸形状や組み合わせ等は一例であって、本発明の趣旨から逸脱しない範囲において設計要求等に基づき種々変更可能である。   As mentioned above, although preferred embodiment of this invention was described referring drawings, this invention is not limited to the said embodiment. Various shapes, combinations, and the like of the constituent members shown in the above-described embodiments are examples, and various modifications can be made based on design requirements and the like without departing from the spirit of the present invention.

上記実施形態においては、検証システム1は、障害物検出プログラムP1と新プログラムP2との処理結果を比較しているが、本発明はこれに限定されない。検証システム1の比較検証の対象となるプログラムは、各種センサからの入力を用いて処理を行うものであれば、その種類を限定されるものではない。また、検証システム1が実装される装置は、自動運転車両Aに限定されず、例えば踏切装置や、道路状況を監視するシステム等としても良い。   In the above embodiment, the verification system 1 compares the processing results of the obstacle detection program P1 and the new program P2, but the present invention is not limited to this. The type of program to be compared and verified by the verification system 1 is not limited as long as it performs processing using inputs from various sensors. Moreover, the apparatus in which the verification system 1 is mounted is not limited to the autonomous driving vehicle A, and may be, for example, a railroad crossing apparatus, a system for monitoring road conditions, or the like.

また、検証システム1は、比較判定部4による判定結果のみをデータ記憶部5に記憶し、適宜、通信部6による無線通信で送信しても良い。この場合、通信部6によるデータ通信量を上記実施形態よりも減少させることができるため、外部システム200と素早く通信することができる。   In addition, the verification system 1 may store only the determination result by the comparison determination unit 4 in the data storage unit 5 and appropriately transmit by wireless communication by the communication unit 6. In this case, since the amount of data communication by the communication unit 6 can be reduced as compared with the above embodiment, it is possible to communicate with the external system 200 quickly.

また、上記実施形態では、障害物検出プログラムP1の処理結果と、新プログラムP2の処理結果とが同一でない場合に、障害物検出プログラムP1及び新プログラムP2のそれぞれの処理結果と、処理に用いられたレーダ情報とをデータ記憶部5に記憶するものとしたが、本発明はこれに限定されない。データ記憶部5には、処理結果が同一でない場合に、障害物検出プログラムP1及び新プログラムP2のそれぞれの処理結果のみを記憶するものとしてもよい。また、データ記憶部5には、処理結果が同一でない場合に、レーダ情報のみを記憶するものとしてもよい。   In the above embodiment, when the processing result of the obstacle detection program P1 and the processing result of the new program P2 are not the same, the processing results of the obstacle detection program P1 and the new program P2 are used for the processing. The radar information is stored in the data storage unit 5, but the present invention is not limited to this. The data storage unit 5 may store only the processing results of the obstacle detection program P1 and the new program P2 when the processing results are not the same. The data storage unit 5 may store only radar information when the processing results are not the same.

1 検証システム
2 プログラム処理部
3 プログラム記憶部
4 比較判定部
5 データ記憶部
6 通信部
100 障害物検出システム
110 レーダ装置
120 プログラム処理部
130 記憶部
200 外部システム
A 自動運転車両
P1 障害物検出プログラム
P2 新プログラム
DESCRIPTION OF SYMBOLS 1 Verification system 2 Program processing part 3 Program storage part 4 Comparison determination part 5 Data storage part 6 Communication part 100 Obstacle detection system 110 Radar apparatus 120 Program processing part 130 Storage part 200 External system A Self-driving vehicle P1 Obstacle detection program P2 New program

Claims (6)

検出装置に実装されると共にセンサからの入力に基づいて処理を実行する現行プログラムと、前記入力に基づいて処理を実行すると共に前記現行プログラムから一部が変更された新プログラムとの比較を行う検証システムであって、
センサと、センサ出力及び前記現行プログラムによって得られる処理結果を出力する処理手段とを有する検出装置に組み込まれ、
前記新プログラムが記憶される記憶手段と、
前記新プログラムからの変更点に関わる処理結果を除いて、前記現行プログラムの処理結果と前記新プログラムの処理結果とが同一であるか判定する比較判定手段と
を有することを特徴とする検証システム。
Verification that is implemented in the detection apparatus and that executes a process based on an input from a sensor, and compares the new program that executes a process based on the input and that is partially modified from the current program A system,
Incorporated in a detection device having a sensor and processing means for outputting a sensor output and a processing result obtained by the current program;
Storage means for storing the new program;
A verification system comprising: a comparison / determination unit that determines whether the processing result of the current program and the processing result of the new program are the same except for a processing result related to a change from the new program.
前記比較判定手段による判定結果を保存する判定記憶手段を有することを特徴とする請求項1記載の検証システム。   The verification system according to claim 1, further comprising a determination storage unit that stores a determination result by the comparison determination unit. 前記判定記憶手段には、前記判定結果が、前記現行プログラムと前記新プログラムとで同一でない場合における、前記現行プログラムの処理結果及び前記新プログラムの処理結果が保存されることを特徴とする請求項2記載の検証システム。   The processing result of the current program and the processing result of the new program when the determination result is not the same between the current program and the new program are stored in the determination storage unit. 2. The verification system according to 2. 前記判定記憶手段には、前記判定結果が、前記現行プログラムと前記新プログラムとで同一でない場合における、前記センサ出力が保存されることを特徴とする請求項2または3に記載の検証システム。   The verification system according to claim 2 or 3, wherein the determination storage means stores the sensor output when the determination result is not the same between the current program and the new program. 前記比較判定手段による判定結果を外部へと送信する通信手段を備えることを特徴とする請求項1〜4のいずれか一項に記載の検証システム。   The verification system according to claim 1, further comprising a communication unit that transmits a determination result by the comparison determination unit to the outside. 検出装置に実装されると共にセンサからの入力に基づいて処理を実行する現行プログラムと、前記入力に基づいて処理を実行すると共に前記現行プログラムから一部が変更された新プログラムとの比較を行う検証方法であって、
前記検出装置内において、前記現行プログラムと前記新プログラムとによる処理を並行して行い、前記現行プログラムによる処理の処理結果と、前記新プログラムによる処理の処理結果とを比較することを特徴とする検証方法。
Verification that is implemented in the detection apparatus and that executes a process based on an input from a sensor, and compares the new program that executes a process based on the input and that is partially modified from the current program A method,
In the detection apparatus, the processing according to the current program and the new program are performed in parallel, and the processing result of the processing by the current program is compared with the processing result of the processing by the new program. Method.
JP2017152591A 2017-08-07 2017-08-07 Verification system and verification method Active JP7027721B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2017152591A JP7027721B2 (en) 2017-08-07 2017-08-07 Verification system and verification method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2017152591A JP7027721B2 (en) 2017-08-07 2017-08-07 Verification system and verification method

Publications (2)

Publication Number Publication Date
JP2019032656A true JP2019032656A (en) 2019-02-28
JP7027721B2 JP7027721B2 (en) 2022-03-02

Family

ID=65523476

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2017152591A Active JP7027721B2 (en) 2017-08-07 2017-08-07 Verification system and verification method

Country Status (1)

Country Link
JP (1) JP7027721B2 (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPWO2021166167A1 (en) * 2020-02-20 2021-08-26
WO2022004324A1 (en) * 2020-07-03 2022-01-06 日立Astemo株式会社 Vehicle control device
WO2024070810A1 (en) * 2022-09-29 2024-04-04 日立Astemo株式会社 Software verification system, and vehicle control device

Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH02297637A (en) * 1989-05-12 1990-12-10 Japan Electron Control Syst Co Ltd Control unit inspecting device
JPH03189738A (en) * 1989-12-19 1991-08-19 Toyota Motor Corp Memory contents comparing device
JP2005276040A (en) * 2004-03-26 2005-10-06 Hitachi Information Systems Ltd Degrade confirming examining method and system, and program for the same
JP2012163999A (en) * 2011-02-03 2012-08-30 Azbil Corp Engineering device
JP2012203580A (en) * 2011-03-24 2012-10-22 Hitachi Ltd Transition test support system, transition test support program, and transition test support method
US20140092252A1 (en) * 2011-05-12 2014-04-03 Magna Electronics Inc. System and method for annotating video
JP2014106875A (en) * 2012-11-29 2014-06-09 Denso Corp On-vehicle program update device
JP2015108937A (en) * 2013-12-04 2015-06-11 中国電力株式会社 Output file verification system
JP2015114952A (en) * 2013-12-13 2015-06-22 株式会社日立製作所 Network system, monitoring control unit, and software verification method

Patent Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH02297637A (en) * 1989-05-12 1990-12-10 Japan Electron Control Syst Co Ltd Control unit inspecting device
JPH03189738A (en) * 1989-12-19 1991-08-19 Toyota Motor Corp Memory contents comparing device
JP2005276040A (en) * 2004-03-26 2005-10-06 Hitachi Information Systems Ltd Degrade confirming examining method and system, and program for the same
JP2012163999A (en) * 2011-02-03 2012-08-30 Azbil Corp Engineering device
JP2012203580A (en) * 2011-03-24 2012-10-22 Hitachi Ltd Transition test support system, transition test support program, and transition test support method
US20140092252A1 (en) * 2011-05-12 2014-04-03 Magna Electronics Inc. System and method for annotating video
JP2014106875A (en) * 2012-11-29 2014-06-09 Denso Corp On-vehicle program update device
JP2015108937A (en) * 2013-12-04 2015-06-11 中国電力株式会社 Output file verification system
JP2015114952A (en) * 2013-12-13 2015-06-22 株式会社日立製作所 Network system, monitoring control unit, and software verification method

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPWO2021166167A1 (en) * 2020-02-20 2021-08-26
WO2021166167A1 (en) * 2020-02-20 2021-08-26 三菱電機株式会社 Verification device
DE112020006774T5 (en) 2020-02-20 2022-12-01 Mitsubishi Electric Corporation verification device
WO2022004324A1 (en) * 2020-07-03 2022-01-06 日立Astemo株式会社 Vehicle control device
WO2024070810A1 (en) * 2022-09-29 2024-04-04 日立Astemo株式会社 Software verification system, and vehicle control device

Also Published As

Publication number Publication date
JP7027721B2 (en) 2022-03-02

Similar Documents

Publication Publication Date Title
JP5798332B2 (en) Vehicle information acquisition system and vehicle information acquisition method
JP2019032656A (en) Verification system and verification method
JP2016167199A5 (en)
JP6865572B2 (en) Automotive risk-based control
KR101675869B1 (en) Method, server and computer-readable recording media for updating software of electronic control unit of vehicle
CN108566407B (en) Method for establishing communication connection with tire pressure monitoring system, device and electronic equipment thereof
JP6552674B1 (en) Inspection system
JP2017126219A (en) Driving support device
JP5375888B2 (en) Communication device
JP5849990B2 (en) In-vehicle control device and in-vehicle control system
JP2016085721A (en) Image processor
US20200363214A1 (en) Method for using a feature-based localization map for a vehicle
JP2023115229A (en) Mobility control system, method, and program
JP2019079189A (en) Information processing device, information processing system, and program
JP7091728B2 (en) Portable devices and vehicles
JP6516933B2 (en) Display control apparatus and display control method
KR101601074B1 (en) ECU Updating Apparatus, ECU Updating Method and ECU Updating Network using the same
JP2016215900A (en) On-vehicle device and communication system
JP3876883B2 (en) Link travel time statistical data processing method, link travel time statistical data processing device, and link travel time statistical data structure
JP2019196920A (en) Diagnostic device
JPWO2019082645A1 (en) Electronic control device and diagnostic method of map data
KR102528362B1 (en) Evaluation method and system for autonomous driving
US11372397B2 (en) Systems and methods for use in facilitating a manufacturing operation
JP6602418B1 (en) Vehicle motion prediction device and vehicle motion prediction method
US10417068B2 (en) Information processing apparatus, information processing method, and computer program product

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20200408

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20210105

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20210226

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20210622

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20210816

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

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20220118

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20220131

R151 Written notification of patent or utility model registration

Ref document number: 7027721

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R151