SOFTWARE VERIFICATION APPARATUS

To provide a software verification apparatus for comparing and verifying an operation of verification target software and an operation of comparison target.SOLUTION: A verification target CPU simulator 101 simulates an operation of software of control target apparatus. Comparison target control simulation means 102 simulates an operation of software that is comparison target. A control target simulator 107 and 108 simulate an operation of the control target apparatus of the software. HUB 103 connects a plurality of simulation applications, and synchronization means 104 sets a verification target CPU simulator and the control target simulator 107 as a first group, sets the comparison target control simulation means and the control target simulator 108 as a second group, synchronizes in each of the groups before reaching an operation origin, and synchronizes between the groups after reaching the operation origin. Result display means 109 overlaps and displays operations of control target controlled by the verification target CPU simulator and the comparison target control simulation means.SELECTED DRAWING: Figure 1 【課題】検証対象ソフトウエアの動作と比較対象動作を比較・検証するソフトウエア検証装置を提供する。【解決手段】検証対象ＣＰＵシミュレータ１０１は、制御対象装置のソフトウエアの動作をシミュレートする。比較対象制御模擬手段１０２は、比較対象となるソフトウエアの動作をシミュレートする。制御対象物シミュレータ１０７及び１０８は、ソフトウエアの制御対象装置の動作を模擬する。ＨＵＢ１０３は、複数のシミュレータアプリケーションを接続し、同期手段１０４は、検証対象ＣＰＵシミュレータと制御対象物シミュレータ１０７を第一のグループ、比較対象制御模擬手段と制御対象物シミュレータ１０８を第二のグループとし、動作起点到達以前は各グループ内で同期し、動作起点到達以降はグループ間で同期する。結果表示手段１０９は、検証対象ＣＰＵシミュレータと比較対象制御模擬手段によってそれぞれ制御される制御対象物の動作を重ねて表示する。【選択図】図１