JPH01169641A - ソフトエラー検出方式 - Google Patents
ソフトエラー検出方式Info
- Publication number
- JPH01169641A JPH01169641A JP62326995A JP32699587A JPH01169641A JP H01169641 A JPH01169641 A JP H01169641A JP 62326995 A JP62326995 A JP 62326995A JP 32699587 A JP32699587 A JP 32699587A JP H01169641 A JPH01169641 A JP H01169641A
- Authority
- JP
- Japan
- Prior art keywords
- program
- data
- error
- user
- value
- 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
Landscapes
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明はソフトウェア開発、保守システムに係り、特に
ラフ１〜ウエアの開発、保守工数低減、期間短縮、信頼
性向上に好適なソフトウェアのエラーを自動的に検出し
、その発生位置を明示するソフトエラー検出方式に関す
る。
ラフ１〜ウエアの開発、保守工数低減、期間短縮、信頼
性向上に好適なソフトウェアのエラーを自動的に検出し
、その発生位置を明示するソフトエラー検出方式に関す
る。
従来の方式は、岡本正行著ｒＰＡｓｃＡＬプログラミン
グ入門」工学図書株式会社、Ｐ７７に記載のように変数
の値が指定範囲を越えた場合にハードウェアおよびオペ
レーティングシステム（Ｏ８）がチエツクを行っていた
。また、ＨＩ ＴＡＣマニュ−フル８０８０−３−２５
７−４０．Ｐｉ ３４に記載のようにエラー発生箇所等
のトレースバック情報を表示する手段はあった。配列の
添字の範囲についても同様であった。
グ入門」工学図書株式会社、Ｐ７７に記載のように変数
の値が指定範囲を越えた場合にハードウェアおよびオペ
レーティングシステム（Ｏ８）がチエツクを行っていた
。また、ＨＩ ＴＡＣマニュ−フル８０８０−３−２５
７−４０．Ｐｉ ３４に記載のようにエラー発生箇所等
のトレースバック情報を表示する手段はあった。配列の
添字の範囲についても同様であった。
上記従来技術はユーザがプログラム中の任意の場所によ
り詳細なチエツク項目を記述できる様には配慮されてお
らず、これをユーザがプログラムで行う場合には、チエ
ツク部、エラー時のデータ値出力部、トレースバック情
報出力部を陽に記述する必要があった。
り詳細なチエツク項目を記述できる様には配慮されてお
らず、これをユーザがプログラムで行う場合には、チエ
ツク部、エラー時のデータ値出力部、トレースバック情
報出力部を陽に記述する必要があった。
本発明の目的はユーザがプログラム中にチエツク項目を
記述することにより、エラー時のデータ値、トレースバ
ック情報の表示を可能とし、これを用いてユーザプログ
ラムの開発、保守効率の向上と信頼性向上を目的とする
。
記述することにより、エラー時のデータ値、トレースバ
ック情報の表示を可能とし、これを用いてユーザプログ
ラムの開発、保守効率の向上と信頼性向上を目的とする
。
上記目的は、ユーザがハードウェアおよびオぺレーティ
ングシステム（Ｏ８）から成るシステムに、チエツクす
べきデータおよびデータ間の関係を受は渡し、システム
がこれらの情報を用いて、データ間の関係を調べ、関係
を満足しない場合にデータの値とデータ間の関係とユー
ザプログラム中の位置を出力すると共に、チエツク結果
をユーザプログラムに戻すことにより達成される。
ングシステム（Ｏ８）から成るシステムに、チエツクす
べきデータおよびデータ間の関係を受は渡し、システム
がこれらの情報を用いて、データ間の関係を調べ、関係
を満足しない場合にデータの値とデータ間の関係とユー
ザプログラム中の位置を出力すると共に、チエツク結果
をユーザプログラムに戻すことにより達成される。
ユーザはプログラム中に変数の値の取り得る範囲や変数
と変数との大小関係等を記述しておき、プログラムの実
行時にシステムが上記関係をチエツクする。それによっ
て、ユーザは入力データやプログラムのロジックのエラ
ーの原因および箇所を知り、エラ対策が容易に行え、プ
ログラム開発、保守の効率向上が達成できる。また、実
行時にチエツクを行うことにより、これらチエツク結果
が全て正常の場合には、プログラムの計算結果の信頼性
も向上する。
と変数との大小関係等を記述しておき、プログラムの実
行時にシステムが上記関係をチエツクする。それによっ
て、ユーザは入力データやプログラムのロジックのエラ
ーの原因および箇所を知り、エラ対策が容易に行え、プ
ログラム開発、保守の効率向上が達成できる。また、実
行時にチエツクを行うことにより、これらチエツク結果
が全て正常の場合には、プログラムの計算結果の信頼性
も向上する。
以下、本発明の実施例を図を用いながら説明する。
第１図はユーザプログラムの例である。１１はサブルー
チン名称、１２はシステムに渡すチエツク情報１３．１
４と、チエツク結果を受けとる変数１−５の例を示す。
チン名称、１２はシステムに渡すチエツク情報１３．１
４と、チエツク結果を受けとる変数１−５の例を示す。
１６はチエツク結果に基づく分岐命令、１７はユーザプ
ログラムの命令の番号の例を示す。１４チエツクすべき
第１番目のデータが■であり、第２番目のデータがＪで
あることを示す。１３はデータ間の関係で、第１番目の
データエの値が第２番目のデータＪの値より大きいとい
う関係を示す。ユーザプログラム１１が実行され、命令
１２を実行する番になると、関係１３とデータ１４がシ
ステムに渡され、チエツクされる。
ログラムの命令の番号の例を示す。１４チエツクすべき
第１番目のデータが■であり、第２番目のデータがＪで
あることを示す。１３はデータ間の関係で、第１番目の
データエの値が第２番目のデータＪの値より大きいとい
う関係を示す。ユーザプログラム１１が実行され、命令
１２を実行する番になると、関係１３とデータ１４がシ
ステムに渡され、チエツクされる。
第２図はシステムにおけるチエツクのフローチャー１−
を示す。ユーザプログラム１１に制御が移り、命令１２
が実行されると、まず最初に２１でデータの関係をチエ
ツクし、その結果が正常な場合、すなわち、第１図１２
の例ではＩ＞Ｊの場合には、２３において、ＣＨＥＣＫ
の値がＯにセラトされる。一方、Ｉ＞Ｊでない場合には
、２４に制御が移りシステムは関係１３とデータ１４を
プリン１〜し、２５でユーザプログラム中の位置、すな
わち、１１のプログラム名５ＵＢＩと、プログラム中の
命令番号２をプリン１−する。さらに、プログラム５Ｕ
ＢＩを参照している主プログラム中の命令位置もプリン
トする。そして、ＣＨＥＣＫの値を１にセットしてから
ユーザプログラム１１に戻り、命令１２における左辺Ｅ
ＲＲにＣＨＥＣＫの値Ｏ又は１を代入する。ユーザプロ
グラムでは命令１６の例の様に変数ＥＲＲの値を調べる
ことにより、チエツクの結果を用いてプログラムの流れ
を変更する。
を示す。ユーザプログラム１１に制御が移り、命令１２
が実行されると、まず最初に２１でデータの関係をチエ
ツクし、その結果が正常な場合、すなわち、第１図１２
の例ではＩ＞Ｊの場合には、２３において、ＣＨＥＣＫ
の値がＯにセラトされる。一方、Ｉ＞Ｊでない場合には
、２４に制御が移りシステムは関係１３とデータ１４を
プリン１〜し、２５でユーザプログラム中の位置、すな
わち、１１のプログラム名５ＵＢＩと、プログラム中の
命令番号２をプリン１−する。さらに、プログラム５Ｕ
ＢＩを参照している主プログラム中の命令位置もプリン
トする。そして、ＣＨＥＣＫの値を１にセットしてから
ユーザプログラム１１に戻り、命令１２における左辺Ｅ
ＲＲにＣＨＥＣＫの値Ｏ又は１を代入する。ユーザプロ
グラムでは命令１６の例の様に変数ＥＲＲの値を調べる
ことにより、チエツクの結果を用いてプログラムの流れ
を変更する。
第３図３１は、第１図１２の例を簡単化した例である。
ユーザプログラム中で必要となるチエツクには、ａ≦Ｘ
≦ｂの形のものが頻繁に現われる。
≦ｂの形のものが頻繁に現われる。
第３図の例は第１図１２における関係１３を省略して、
ａ≦Ｘ≦ｂの形専用のチエツクを行うことにより、関係
を解析する手間を省略すると共に、この場合専用のハー
ドウェア又はソフトウェアを用いることにより、チエツ
クの高速化を計るものである。
ａ≦Ｘ≦ｂの形専用のチエツクを行うことにより、関係
を解析する手間を省略すると共に、この場合専用のハー
ドウェア又はソフトウェアを用いることにより、チエツ
クの高速化を計るものである。
第４図４１は、大小、等しい、等しくない、等の値開の
関係ではなく、集合に対するチエツクの例を示す。この
例は要素数がＮである集合Ａの中に値Ｘが含まれている
かチエツクを行うものである。Ｘが含まれている場合に
正常とみなされ、ＩＣＨＥＣＫの値がＯとなり、そうで
ない場合にはエラーとして、Ｘの値、Ａの値、プログラ
ム中の位置がプリントされてＩＣＨＥＣＫの値が１とな
る。
関係ではなく、集合に対するチエツクの例を示す。この
例は要素数がＮである集合Ａの中に値Ｘが含まれている
かチエツクを行うものである。Ｘが含まれている場合に
正常とみなされ、ＩＣＨＥＣＫの値がＯとなり、そうで
ない場合にはエラーとして、Ｘの値、Ａの値、プログラ
ム中の位置がプリントされてＩＣＨＥＣＫの値が１とな
る。
本実施例によれば、スカラー量を取る変数間の値の正当
性、および、集合に対する正当正のチエツクと、エラー
時の値やプログラム中の位置を明確に知ることができる
。また、頻繁に現われるａ≦Ｘ≦ｂの型のチエツクを高
速化が可能となる。
性、および、集合に対する正当正のチエツクと、エラー
時の値やプログラム中の位置を明確に知ることができる
。また、頻繁に現われるａ≦Ｘ≦ｂの型のチエツクを高
速化が可能となる。
これらのチエツク命令をプログラム中に記述しておくこ
とにより、入力データ中あるいはプログラムロジック中
に存在するエラーをプログラム実行時に検出する事が可
能となり、さらに、プログラム中での位置が明確になる
ことで、プログラム開発、保守時の効率を向上し、完成
したプログラムの信頼性を向上することが可能となる。
とにより、入力データ中あるいはプログラムロジック中
に存在するエラーをプログラム実行時に検出する事が可
能となり、さらに、プログラム中での位置が明確になる
ことで、プログラム開発、保守時の効率を向上し、完成
したプログラムの信頼性を向上することが可能となる。
特に、複数のプログラマにより一つのプログラムを開発
する場合において、他人の作成したデータを充分にチエ
ツクすることにより、エラーが発生した場合の原因光が
明確になるために、開発効率が著しく向上する。
する場合において、他人の作成したデータを充分にチエ
ツクすることにより、エラーが発生した場合の原因光が
明確になるために、開発効率が著しく向上する。
本発明によれば、プログラマがチエツクしたい内容、す
なわち、データ間の関係と、データを記述することによ
り、システムがそれらのチエツク実行し、エラー時には
そのデータの内容とプログラム中の位置をプリントする
。この方式を用いてプログラマがデータ間の関係を随所
に記述しておくことにより、入力データやプログラムの
ミスを容易に発見できるので、プログラムの開発および
保守の効率を向上する効果がある。さらに、厳重な実行
時チエツクを行った結果として得られた計算結果の信頼
性を向」ニする効果がある。
なわち、データ間の関係と、データを記述することによ
り、システムがそれらのチエツク実行し、エラー時には
そのデータの内容とプログラム中の位置をプリントする
。この方式を用いてプログラマがデータ間の関係を随所
に記述しておくことにより、入力データやプログラムの
ミスを容易に発見できるので、プログラムの開発および
保守の効率を向上する効果がある。さらに、厳重な実行
時チエツクを行った結果として得られた計算結果の信頼
性を向」ニする効果がある。
第１図は本発明の一実施例であるユーザプログラムでの
記述表示図、第２図は第１図のチエツク命令を実行する
システムのフローチャート、第３図は第１図のチエツク
に頻繁に現れる例を簡略に記述した説明図、第４図は第
１図のチエツク内容に集合演算を記述した説明図である
。 １１・・・ユーザプログラム、１２・・・チエツク命令
。 ２４．２５ エラー検出時の出力内容。
記述表示図、第２図は第１図のチエツク命令を実行する
システムのフローチャート、第３図は第１図のチエツク
に頻繁に現れる例を簡略に記述した説明図、第４図は第
１図のチエツク内容に集合演算を記述した説明図である
。 １１・・・ユーザプログラム、１２・・・チエツク命令
。 ２４．２５ エラー検出時の出力内容。
Claims (1)
- １、命令格納装置と命令を実行する装置から構成される
計算機システムにおいて、データの値を比較する手段と
、比較結果からエラーを検出する手段とエラー情報を出
力する手段を設けたことを特徴とするソフトエラー検出
方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP62326995A JPH01169641A (ja) | 1987-12-25 | 1987-12-25 | ソフトエラー検出方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP62326995A JPH01169641A (ja) | 1987-12-25 | 1987-12-25 | ソフトエラー検出方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH01169641A true JPH01169641A (ja) | 1989-07-04 |
Family
ID=18194131
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP62326995A Pending JPH01169641A (ja) | 1987-12-25 | 1987-12-25 | ソフトエラー検出方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH01169641A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7084660B1 (en) | 2005-04-04 | 2006-08-01 | International Business Machines Corporation | System and method for accelerated detection of transient particle induced soft error rates in integrated circuits |
-
1987
- 1987-12-25 JP JP62326995A patent/JPH01169641A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7084660B1 (en) | 2005-04-04 | 2006-08-01 | International Business Machines Corporation | System and method for accelerated detection of transient particle induced soft error rates in integrated circuits |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Goddard | Software FMEA techniques | |
| US5038348A (en) | Apparatus for debugging a data flow program | |
| Kopetz et al. | Software reliability | |
| US4520440A (en) | Test verification of processor architecture having a partial instruction set | |
| US6415436B1 (en) | Mechanism for cross validating emulated states between different emulation technologies in a dynamic compiler | |
| US5859962A (en) | Automated verification of digital design | |
| US3618042A (en) | Error detection and instruction reexecution device in a data-processing apparatus | |
| US10140476B2 (en) | Tracing processing activity | |
| US7155351B2 (en) | Method for verifying the calculator core of a microprocessor or a microcontroller | |
| JPS60142747A (ja) | 命令再実行制御方式 | |
| McCullough | Implementing the smalltalk-80 system: The tektronix experience | |
| Flanagan et al. | Assume-guarantee model checking | |
| JPS6049937B2 (ja) | マイクロプログラム制御のデ−タ処理装置 | |
| Ozarin | Developing rules for failure modes and effects analysis of computer software | |
| Addy | A case study on isolation of safety-critical software | |
| CN117312137A (zh) | 一种面向中断驱动程序的原子性违反缺陷检测方法及装置 | |
| JP3114909B2 (ja) | プログラマブルコントローラの演算エラー処理方法 | |
| JP3263999B2 (ja) | プログラム内容解析装置 | |
| EP0526054A2 (en) | Monitoring execution of a computer program to provide test coverage analysis | |
| JPS6146535A (ja) | 擬似エラ−設定制御方式 | |
| JPH01306932A (ja) | データ処理装置の試験方法 | |
| KR950005523B1 (ko) | 프로그램어블 로직 콘트롤러의 스텝 런 처리방법 | |
| JP2967741B2 (ja) | Ｃｐｕ互換性テスト装置 | |
| SU1524055A1 (ru) | Устройство дл контрол программ | |
| CN117742787A (zh) | 一种指令数据冲突诊断方法、电子设备及存储介质 |