JPH01217645A - Generating system for pseudo malfunction of microprocessor - Google Patents

Generating system for pseudo malfunction of microprocessor

Info

Publication number
JPH01217645A
JPH01217645A JP63044885A JP4488588A JPH01217645A JP H01217645 A JPH01217645 A JP H01217645A JP 63044885 A JP63044885 A JP 63044885A JP 4488588 A JP4488588 A JP 4488588A JP H01217645 A JPH01217645 A JP H01217645A
Authority
JP
Japan
Prior art keywords
malfunction
pseudo
microprocessor
contents
execution
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
JP63044885A
Other languages
Japanese (ja)
Other versions
JPH0769854B2 (en
Inventor
Kazuhide Hosaka
保坂 和秀
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.)
NEC Corp
Original Assignee
NEC 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 NEC Corp filed Critical NEC Corp
Priority to JP63044885A priority Critical patent/JPH0769854B2/en
Publication of JPH01217645A publication Critical patent/JPH01217645A/en
Publication of JPH0769854B2 publication Critical patent/JPH0769854B2/en
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

PURPOSE:To generate a pseudo malfunction of a microprocessor in the proper timing and with the proper contents by providing the malfunction generating instruction information and the malfunction contents specifying information that can be controlled by software. CONSTITUTION:A switch signal S1 which decides whether a microprocessor should be set in an execution mode for normal actions only or a monitor mode which can perform a pseudo action is supplied to an execution/monitor mode switch terminal 2 of a microprocessor chip 1. While a register 3 which can be controlled by software serves as a malfunction generation instructing information means and a malfunction contents specifying information memory means to store the malfunction generation instructing information showing the execution of a pseudo malfunction and the malfunction contents specifying information showing the contents of the pseudo malfunction. As described above, the malfunction generation instruction information and the malfunction contents specifying information which can be controlled by software are provided. Thus it is possible to generate a pseudo malfunction of a microprocessor in the proper timing and with the proper contents.

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はマイクロプロセッサの疑似誤動作発生方式に関
し、特にマイクロプロセッサに疑似誤動作を発生させて
エラーリカバリ動作を試験するためのマイクロプロセッ
サの疑似誤動作発生方式に関する。
[Detailed Description of the Invention] [Field of Industrial Application] The present invention relates to a method for generating a pseudo-malfunction in a microprocessor, and in particular, a method for generating a pseudo-malfunction in a microprocessor for testing error recovery operation by causing a pseudo-malfunction in a microprocessor. Regarding the method.

〔従来の技術〕[Conventional technology]

マイクロプロセッサの二重化構成などで、一方のマイク
ロプロセッサに疑似誤動作を実行させてエラーリカバリ
動作を試験するため、従来のマイクロプロセッサの疑似
”誤動作発生方式は、マイクロ−プロセッサ内部のフリ
ップフロップを接続したシフトモードでそれらの内部情
報を移動させて入出力するシフトバス機能を利用したり
、マイクロプロセッサの入力端子にスイッチなどを接続
して人手で入力信号を挿入したりすることにより、マイ
クロプロセッサに疑似誤動作を実行させている。
In a dual microprocessor configuration, one microprocessor performs a pseudo-malfunction to test the error recovery operation.The conventional method for generating a pseudo-malfunction in a microprocessor is to use a shift system that connects flip-flops inside the microprocessor. By using the shift bus function that inputs and outputs internal information by moving the internal information in the mode, or by manually inserting input signals by connecting a switch etc. to the input terminal of the microprocessor, it is possible to cause a pseudo malfunction in the microprocessor. is being executed.

〔発明が解決しようとする課題〕[Problem to be solved by the invention]

上述した従来のマイクロプロセッサの疑似誤動作発生方
式では、シフトバス機能を利用する場合は、ソフトウェ
アが走行中の評価環境で、わざわざソフトウェアの実行
を中断して、全く異なるシフトバス機能を用いた動作に
移行しなければならない。
In the conventional microprocessor pseudo-malfunction generation method described above, when using the shift bus function, it is necessary to interrupt the execution of the software in the evaluation environment where the software is running and perform operation using a completely different shift bus function. have to transition.

また、スイッチなどを接続する場合は、スイッチなとめ
付加により、マイクロプロセッサ内の回路の遅延時閘の
遅れが生じたり、追加するハードウェア量が増大したり
するなどの諸問題を招くとともに、固定的な誤動作しか
発生させることができない。
In addition, when connecting switches, etc., adding a switch at the end causes various problems such as a delay in the circuit delay in the microprocessor and an increase in the amount of hardware to be added. It is only possible to cause a certain malfunction.

このなめ、従来のマイクロプロセッサの疑似誤動作発生
方式は、いずれもマイクロプロセッサにある疑似誤動作
を発生させることはできても、その疑似誤動作を適切な
タイミングで発生させることができないという問題点が
ある。
For this reason, conventional microprocessor pseudo-malfunction generation methods have the problem that, although they can generate a certain pseudo-malfunction in the microprocessor, they cannot generate the pseudo-malfunction at an appropriate timing.

疑似誤動作を適切なタイミングで発生させることができ
ないのでは、誤動作がどのような状況の基に、どのよう
なタイミングで発生したのかを詳しく解析し、それぞれ
の場合に応じて、最適な処理を提供しなければならない
オペレーティングシステムの開発・評価などには、従来
のマイクロプロセッサの疑似誤動作発生方式は、不十分
な方式であるという欠点がある。
If it is not possible to cause a pseudo-malfunction to occur at an appropriate time, we will analyze in detail what kind of situation and timing the malfunction occurred, and provide the optimal treatment for each case. Conventional microprocessor pseudo-malfunction generation methods have the drawback of being insufficient for the development and evaluation of operating systems that must be carried out.

本発明の目的は、ソフトウェア制御可能な誤動作発生指
示情報と誤動作内容特定情報とを設けることにより、マ
イクロプロセッサに疑似誤動作を適切なタイミーングに
適切な内容で発生させることができるマイクロプロセッ
サの疑似誤動作発生方式を提供する゛ことにある。
An object of the present invention is to generate a pseudo-malfunction in a microprocessor that can cause a microprocessor to generate a pseudo-malfunction at an appropriate timing and with appropriate contents by providing software-controllable malfunction occurrence instruction information and malfunction content identification information. The purpose is to provide a method.

〔課題を解決するための手段〕[Means to solve the problem]

本発明のマイクロプロセッサの疑似誤動作発生方式は、 (A>正常動作を行わせる実行モードにするか疑似誤動
作を行わせることができる監視モードにするーかを切替
える信号を入力する実行/監視モード切替え端子、 (B)前記疑似誤動作を行わせることを°示す誤動作発
生指示情報をソフトウェア制御可能なレジスタに記憶す
る誤動作発生指示情報記憶手段、 (C)前記疑似誤動作の内容を示す誤動作内容特定情報
をソフトウェア制御可能なレジスタに記憶する誤動作内
容特定情報記憶手段、(D)前記実行/監視モード切替
え端子に監視モードを示す信号が入力されているとき、
前記誤動作発生指示情報と前記誤動作内容特定情報とを
解読して、指示され特定された内容の前記疑似誤動作を
発生させる誤動作生成回路、 を備えて構成されている。
The pseudo-malfunction generation method of the microprocessor of the present invention is as follows: (A> Execution/monitoring mode switching in which a signal is input to switch between the execution mode in which normal operations are performed and the monitoring mode in which pseudo-malfunctions are caused. a terminal; (B) malfunction occurrence instruction information storage means for storing malfunction occurrence instruction information indicating that the pseudo malfunction is to be performed in a software controllable register; (C) malfunction content specifying information indicating the content of the pseudo malfunction; (D) when a signal indicating a monitoring mode is input to the execution/monitoring mode switching terminal;
A malfunction generation circuit that decodes the malfunction occurrence instruction information and the malfunction content specifying information and generates the pseudo malfunction of the instructed and specified content.

〔実施例〕〔Example〕

次に本発明の実施例について図面を参照して説明する。 Next, embodiments of the present invention will be described with reference to the drawings.

一第1図は本発明のマイクロプロセッサの疑似誤動作発
生方式の一実施例を示すブロック図である。
FIG. 1 is a block diagram showing an embodiment of a pseudo malfunction generation method for a microprocessor according to the present invention.

第1図において、マイクロプロセッサ・チップ1の実行
/監視モード切替え端子2は、このマイクロプロセッサ
を、正常動作のみを行わせる実行モードにするか、疑似
誤動作も行わせることができる監視モードにするかの切
替え信号St(実行モードの゛とき“1”、監視モード
のとき’O”)を入力する。
In FIG. 1, an execution/monitoring mode switching terminal 2 of a microprocessor chip 1 determines whether the microprocessor is placed in an execution mode in which it only performs normal operations, or in a monitoring mode in which it can also perform pseudo-malfunctions. A switching signal St (“1” when in execution mode, “O” when in monitoring mode) is input.

一方、ソフトウェア制御可能なレジスタ3は、誤動作発
生指示情報記憶手段および誤動作内容特定情報記憶手段
として、疑似誤動作を行わせることを示す誤動作発生指
示情報および疑似誤動作の内容を示す誤動作内容特定情
報を記憶する。
On the other hand, the software controllable register 3 serves as a malfunction occurrence instruction information storage means and a malfunction content specifying information storage means, and stores malfunction occurrence instruction information indicating that a pseudo malfunction is to be performed and malfunction content specifying information indicating the content of the pseudo malfunction. do.

第2図はソフトウェア制御可能なレジスタ3が有する疑
似誤動作関連情報とその機能を示す情報説明図である。
FIG. 2 is an information explanatory diagram showing pseudo-malfunction-related information and its functions that the software-controllable register 3 has.

第2図に示すように、ソフトウェア制御可能なレジスタ
3は、その一部である左端4ビツトに、それぞれ誤動作
発生指示情報である疑似誤動作オン/オフビットA(オ
ンのとき1”、オフのとき°−0”)、および3ビ・ソ
トの誤動作内容特定情報であるリード/ライト指定ビッ
トB(リードのとき“1”、ライトのとき“0”)、命
令/オペランド指定ビットC(命令のとき″1”、デー
タのとき“O”)、アドレス/データ指定ビットD(ア
ドレスのとき1”、データのとき°°O”)を記憶して
いる。
As shown in FIG. 2, the software controllable register 3 has a pseudo malfunction on/off bit A (1" when on, 1" when off), which is malfunction occurrence instruction information, in the leftmost 4 bits. °-0”), read/write designation bit B (“1” for read, “0” for write), which is 3-bit soto malfunction specific information, and instruction/operand designation bit C (for instruction "1" for data, "O" for data) and address/data designation bit D (1 for address, "°O" for data).

また、誤動作生成回路であるデコーダ4および制御信号
生成回路5,6,7.8は、実行/監視モード切替え端
子2に監視モードを示す切替え信号S1の“0”が入力
されているとき、疑似誤動作オン/オフビットAおよび
リード/ライト指定ビットB、命令/オペランド指定ビ
ットC,アドレス/データ指定ビットDを解読して、以
下に示すように、指示され特定された内容の疑似誤動作
を発生させる。
Further, the decoder 4 and the control signal generation circuits 5, 6, 7.8, which are malfunction generation circuits, generate pseudo Deciphers the malfunction on/off bit A, read/write designation bit B, instruction/operand designation bit C, and address/data designation bit D, and generates a pseudo malfunction with the specified contents as shown below. .

まず、デコーダ4は、レジスタ3の左端4ピツ)A、B
、C,Dを解読してその内容により、第2図に示すよう
に、マスク信号S2.S3゜S4.S5をそれぞれ発生
する。
First, the decoder 4 selects the leftmost 4 pits (A, B) of the register 3.
, C, D and the contents thereof, as shown in FIG. 2, a mask signal S2. S3゜S4. S5 is generated respectively.

切替え信号Slが監視モードの“0”で、マスク信号S
2に“1”が発生した場合には、制御信号生成回路5が
、書込みデータバッファ10の内容をデータバス20に
、そのまま出力するか反転して出力するかを選択するマ
ルチプレクサ21に、反転して出力する動作を選択させ
る。
When the switching signal Sl is "0" in the monitoring mode, the mask signal S
When "1" occurs in 2, the control signal generation circuit 5 sends an inverted signal to the multiplexer 21 which selects whether to output the contents of the write data buffer 10 to the data bus 20 as is or inverted. to select the output operation.

このため、データバス20は、書込みデータバッファ1
0の内容を反転した疑似の誤りデータを受けて外部に送
出する。
Therefore, the data bus 20 is connected to the write data buffer 1.
It receives pseudo error data with the contents of 0 inverted and sends it to the outside.

次に、切替え信号S1が監視モードの“0”で、マスク
信号S3に“1”が発生した場合には、制御信号生成回
路6が、読出しデータバッファ11に読出されるデータ
バス20がらの情報を抑えて、読出しデータバッファ1
1に読出しデータを蓄えさせない。
Next, when the switching signal S1 is "0" in the monitoring mode and "1" is generated in the mask signal S3, the control signal generation circuit 6 generates information from the data bus 20 to be read out to the read data buffer 11. The read data buffer 1
1 does not store read data.

このなめ、読出しデータバッファ11は、読出しデータ
を消された疑似の誤りデータを持つこととなる。
As a result, the read data buffer 11 has pseudo error data in which the read data has been erased.

また、切替え信号S1が監視モードの“0”で、マスク
信号S4に1”が発生した場合には、制御信号生成回路
7が、命令バッファ12に読出されるデータバス20か
らの情報を抑えて、命令バッファ12に読出しデータを
蓄えさせない。
Further, when the switching signal S1 is "0" in the monitoring mode and "1" is generated in the mask signal S4, the control signal generation circuit 7 suppresses information from the data bus 20 that is read to the instruction buffer 12. , the instruction buffer 12 is not allowed to store read data.

このため、命令バッファ12は、命令情報を消された疑
似の誤り命令を持つこととなる。
Therefore, the instruction buffer 12 has a pseudo error instruction whose instruction information has been erased.

一方、切替え信号S1が監視モードの“0″で、マスク
信号S5に“1″が発生した場合には、制御信号生成回
路8が、メモリアドレスバッファ13の内容をアドレス
バス22に、そのまま出力するか反転して出力するかを
選択するマルチプレクサ23に、反転して出力する動作
を選択させる。
On the other hand, when the switching signal S1 is "0" in the monitoring mode and "1" is generated in the mask signal S5, the control signal generation circuit 8 outputs the contents of the memory address buffer 13 as is to the address bus 22. The multiplexer 23, which selects whether to invert or output the signal, selects the operation of inverting and outputting the signal.

このため、アドレスバス22は、メモリアドレスバッフ
ァ13の内容を反転した疑似の誤りアドレスを受けて外
部に送出する。
Therefore, the address bus 22 receives a pseudo error address obtained by inverting the contents of the memory address buffer 13 and sends it to the outside.

また、上記のマスク信号S2.S3.S4゜S5は、必
ずしも排他的ではないので、同時に二つ以上も発生させ
て二重の疑似誤動作を行わせることができる。
Moreover, the above mask signal S2. S3. Since S4 and S5 are not necessarily exclusive, two or more can be generated at the same time to cause double pseudo-malfunctions.

なお、本実施例では、アドレスの疑似誤動作を一括して
一種類にしているが、データの書込み時のアドレスに疑
似誤動作を発生させるか、データの読出し時のアドレス
に疑似誤動作を発生させるか、または命令の読出し時の
アドレスに疑似誤動作を発生させるかなどの細かい条件
を設定するようにすることも可能である。
Note that in this embodiment, the pseudo-malfunctions of addresses are collectively classified into one type, but it is possible to determine whether the pseudo-malfunction is generated at the address when writing data or when the pseudo-malfunction is generated at the address when reading data. Alternatively, it is also possible to set detailed conditions such as whether a pseudo-malfunction is caused at an address when reading an instruction.

以上のべたように、本実施例のマイクロプロセッサの疑
似誤動作発生方式は、ソフトウェア制御可能な誤動作発
生指示情報と誤動作内容特定情報とを設けることにより
、疑似誤動作を発生させるか、また発生させるとき、ど
のような種類のものをどのようなタイミングで発生させ
るかを、ソフトウェア開発者、特にオペレーティングシ
ステムの開発者に委ねたことにより、マイクロプロセッ
サの二重化を採用し、信頼性の向上を計るフォールト・
トーレラント・システムの開発をする場合などにおいて
、オペレーティングシステムや外部周辺回路に関するエ
ラー処理の開発やデバッグなどが容易に効率良く行える
こととなる。
As described above, the microprocessor pseudo-malfunction generation method of the present embodiment generates a pseudo-malfunction by providing software-controllable malfunction occurrence instruction information and malfunction content specification information, and when generating a pseudo-malfunction, By leaving it up to the software developer, especially the operating system developer, to decide what kind of things should happen and when, the fault control system employs redundant microprocessors and improves reliability.
When developing a tolerant system, the development and debugging of error handling related to the operating system and external peripheral circuits can be easily and efficiently performed.

特にフォールト・トーレラント・システムでは、誤動作
が発生した場合におけるリカバリを受は持つオペレーテ
ィングシステムの品質が極めて重要である。
Particularly in fault-tolerant systems, the quality of the operating system that provides recovery in the event of a malfunction is extremely important.

このため、オペレーティングシステムのエラー処理は、
誤動作がどのようなタイミングで発生したか、メモリの
内容が破壊されているか、メモリのどの場所が破壊され
ているか、プロセッサ内のレジスタの内容が破壊されて
いるか、リトライ(再試行)が可能か、など様々な解析
を行う必要があり、それらのエラー処理は、誤動作が発
生したタイミングにより、多岐に渡ることとなるので、
それらを詳細に評価するためには、本実施例のマイクロ
プロセッサの疑似誤動作発生方式を使用して、ソフトウ
ェアで様々な疑似誤動作を、発生させたいタイミングに
自由に発生させることが重要である。
For this reason, the operating system's error handling is
When did the malfunction occur? Are the contents of memory corrupted? What location in memory is corrupted? Are the contents of registers within the processor corrupted? Is retry possible? It is necessary to perform various analyzes such as , etc., and the error handling will vary depending on the timing of the malfunction.
In order to evaluate them in detail, it is important to use the microprocessor pseudo-malfunction generation method of this embodiment to freely generate various pseudo-malfunctions using software at desired timings.

〔発明の効果〕〔Effect of the invention〕

以上説明したように、本発明のマイクロプロセッサの疑
似誤動作発生方式は、ソフトウェア制御可能な誤動作発
生指示情報と誤動作内容特定情報とを設けることにより
、マイクロプロセッサに疑似誤動作を適切なタイミング
に適切な内容で発生させることができるという効果を有
している。
As explained above, the microprocessor pseudo-malfunction generation method of the present invention provides software-controllable malfunction occurrence instruction information and malfunction content identification information, so that a pseudo-malfunction is generated in the microprocessor at an appropriate timing and with appropriate content. It has the effect that it can be generated in

【図面の簡単な説明】[Brief explanation of the drawing]

第1図は本発明のマイクロプロセッサの疑似誤動作発生
方式の一実施例を示すブロック図、第2図はソフトウェ
ア制御可能なレジスタが有する疑似誤動作関連情報とそ
の機能を示す情報説明図である。
FIG. 1 is a block diagram showing an embodiment of a pseudo-malfunction generating method for a microprocessor according to the present invention, and FIG. 2 is an information explanatory diagram showing information related to pseudo-malfunctions possessed by software-controllable registers and their functions.

Claims (1)

【特許請求の範囲】 (A)正常動作を行わせる実行モードにするか疑似誤動
作を行わせることができる監視モードにするかを切替え
る信号を入力する実行/監視モード切替え端子、 (B)前記疑似誤動作を行わせることを示す誤動作発生
指示情報をソフトウェア制御可能なレジスタに記憶する
誤動作発生指示情報記憶手段、 (C)前記疑似誤動作の内容を示す誤動作内容特定情報
をソフトウェア制御可能なレジスタに記憶する誤動作内
容特定情報記憶手段、 (D)前記実行/監視モード切替え端子に監視モードを
示す信号が入力されているとき、前記誤動作発生指示情
報と前記誤動作内容特定情報とを解読して、指示され特
定された内容の前記疑似誤動作を発生させる誤動作生成
回路、 を備えることを特徴とするマイクロプロセッサの疑似誤
動作発生方式。
[Claims] (A) An execution/monitoring mode switching terminal that inputs a signal for switching between an execution mode in which normal operation is performed and a monitoring mode in which pseudo-malfunctions are caused; (B) the pseudo-malfunction Malfunction occurrence instruction information storage means for storing malfunction occurrence instruction information indicating that a malfunction is to be performed in a software controllable register; (C) storing malfunction content specifying information indicating the content of the pseudo malfunction in a software controllable register; (D) When a signal indicating a monitoring mode is input to the execution/monitoring mode switching terminal, a malfunction content specifying information storage means decodes the malfunction occurrence instruction information and the malfunction content specifying information and specifies the instruction. A pseudo-malfunction generation method for a microprocessor, comprising: a malfunction generation circuit that generates the pseudo-malfunction of the content.
JP63044885A 1988-02-26 1988-02-26 Pseudo malfunction generation method of microprocessor Expired - Lifetime JPH0769854B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP63044885A JPH0769854B2 (en) 1988-02-26 1988-02-26 Pseudo malfunction generation method of microprocessor

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP63044885A JPH0769854B2 (en) 1988-02-26 1988-02-26 Pseudo malfunction generation method of microprocessor

Publications (2)

Publication Number Publication Date
JPH01217645A true JPH01217645A (en) 1989-08-31
JPH0769854B2 JPH0769854B2 (en) 1995-07-31

Family

ID=12703944

Family Applications (1)

Application Number Title Priority Date Filing Date
JP63044885A Expired - Lifetime JPH0769854B2 (en) 1988-02-26 1988-02-26 Pseudo malfunction generation method of microprocessor

Country Status (1)

Country Link
JP (1) JPH0769854B2 (en)

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6010350A (en) * 1983-06-30 1985-01-19 Fujitsu Ltd Test equipment of error processing function of computer
JPS6244300A (en) * 1985-08-23 1987-02-26 三菱重工業株式会社 Linen sorting apparatus

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6010350A (en) * 1983-06-30 1985-01-19 Fujitsu Ltd Test equipment of error processing function of computer
JPS6244300A (en) * 1985-08-23 1987-02-26 三菱重工業株式会社 Linen sorting apparatus

Also Published As

Publication number Publication date
JPH0769854B2 (en) 1995-07-31

Similar Documents

Publication Publication Date Title
US5751942A (en) Trace event detection during trace enable transitions
US5491793A (en) Debug support in a processor chip
EP1324190B1 (en) Data processing system having a read-modify-write unit
JP2005317023A (en) Breakpoint logic unit, debug logic, and breakpoint method for data processing apparatus
US5987585A (en) One-chip microprocessor with error detection on the chip
JPH1078889A (en) Microcomputer
JPS593642A (en) Control register processing system
US7100027B1 (en) System and method for reproducing system executions using a replay handler
JPH01217645A (en) Generating system for pseudo malfunction of microprocessor
JP4009461B2 (en) Semiconductor device
CN112534414A (en) Software trace message receiver peripheral
JPS6158051A (en) False trouble generating system
JPH0764869A (en) Method for controlling error ceneration for test in storage device and device therefor
JPS6270947A (en) Control system for debug interruption
JPS59129995A (en) Storage device
JPH03105630A (en) Error correcting system
JPH0315948A (en) Address bus test system
JPS60193046A (en) Detecting system for instruction exception
JPH038029A (en) Microprogram controller
JPH01169639A (en) Memory
JPH06161804A (en) Information processor
JPH0368035A (en) Information processor
JPH01142948A (en) Symbolic debugger for microcomputer
JP2001273167A (en) Hardware break circuit
JP2002268916A (en) Method and device for verifying program