JPH01244551A - Software specification verifying system - Google Patents
Software specification verifying systemInfo
- Publication number
- JPH01244551A JPH01244551A JP63071618A JP7161888A JPH01244551A JP H01244551 A JPH01244551 A JP H01244551A JP 63071618 A JP63071618 A JP 63071618A JP 7161888 A JP7161888 A JP 7161888A JP H01244551 A JPH01244551 A JP H01244551A
- Authority
- JP
- Japan
- Prior art keywords
- test
- test data
- data
- software
- test result
- 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
- 238000012360 testing method Methods 0.000 claims abstract description 205
- 238000005457 optimization Methods 0.000 claims description 30
- 238000012795 verification Methods 0.000 claims description 25
- 238000000034 method Methods 0.000 claims description 11
- 230000005856 abnormality Effects 0.000 description 5
- 230000000694 effects Effects 0.000 description 3
- 238000010586 diagram Methods 0.000 description 2
- 230000010365 information processing Effects 0.000 description 2
- 230000001914 calming effect Effects 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000007654 immersion Methods 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
Abstract
Description
【発明の詳細な説明】 〔産業上の利用分野〕 本発明は情報処理装置分野に利用される。[Detailed description of the invention] [Industrial application field] INDUSTRIAL APPLICABILITY The present invention is utilized in the field of information processing equipment.
本発明は、情報処理装置で使用されるソフトウエアを作
成したとき、作成されたソフトウェアがソフトウェア仕
様を満足しているかどうかの試験を行うソフトウェア仕
様検証方式に関する。The present invention relates to a software specification verification method for testing whether the created software satisfies the software specifications when the software is created to be used in an information processing device.
本発明は、作成されたソフトウェアが所定のソフトウェ
ア仕様を満足するかどうかを試験するソフトウェア仕様
検証方式において、
ソフトウェアを検証するだめの試験データとその試験結
果を記録した試験項目知識ベースと、試験結果に異常が
起きた場合の最適な処理ルールを記録した試験最適化ル
ールベースと、試験結果）・レースファイルとを有し、
前記試験項目知識ベースから試験データを選択して試験
対象ソフトウェア実装装置へ入力し、その試験結果をあ
らかしめ与えられた試験結果と比較し、この比較結果を
基に前記試験最適化ルールベースを用いて次試験データ
を選択し、試験結果を前記試験結果トレースファイルに
記録するようにすることにより、前記試験項目知識ベー
スと、前記試験最適化ルールベースとを作成するだけて
、自動的にソフトウェア仕様検証ができるようにしたも
のである。The present invention provides a software specification verification method for testing whether or not created software satisfies predetermined software specifications. It has a test optimization rule base that records the optimal processing rules when an abnormality occurs, and a race file (test results).
Select test data from the test item knowledge base, input it to the test target software implementation device, compare the test results with the given test results, and use the test optimization rule base based on the comparison results. By selecting the next test data and recording the test results in the test result trace file, you can create the test item knowledge base and the test optimization rule base, and automatically update the software specifications. This allows for verification.
従来、ソフトウェア仕様の検証は、対象ソフトウェアが
実装すべき機能を明示した仕様書を基に、検証作業自体
は任意に任されていた。そのために、ソフトウェア仕様
の検証方式としては、対象ソフトウェアに直接確認デー
タを与えて人手によって確認する方法や、確認データを
組み込んだテストプログラムを利用する方法が一般的で
あった。Conventionally, software specification verification was based on a specification document that specified the functions that the target software should implement, and the verification work itself was left to the discretion of the user. For this reason, common methods for verifying software specifications include providing verification data directly to the target software and performing manual verification, or using a test program that incorporates verification data.
前述した従来のソフトウェア仕様検証方式は、検証方式
自体が確立されていないことから、検証漏れの可能性や
、テストプログラムが非汎用的であるという欠点があっ
た。今後、特に通信分野においては、０５１（開放形ン
ステム相互接続）規格のコンフォーマンス試験が義務化
される状況であり、どの製品に対しても同一レベルで仕
様検証を行う必要性が高い。The conventional software specification verification method described above has drawbacks such as the possibility of omission of verification and non-university of the test program because the verification method itself has not been established. In the future, especially in the communications field, conformance testing of the 051 (open system interconnection) standard will become mandatory, and there is a strong need to perform specification verification at the same level for all products.
本発明の目的は、前述の問題点を解決し、仕様検証者が
各々テストプロクラムを作成する必要をなくし、検証対
象ソフトウェアが変更されたときは、試験項目が格納さ
れた試験項目知識ベースと、仕様検証を最適化する最適
化ルールベースとを作成するだけで仕様検証ができるソ
フトウェア仕様検証方式を提供することにある。An object of the present invention is to solve the above-mentioned problems, eliminate the need for each specification verifier to create a test program, and when the software to be verified is changed, the test item knowledge base storing the test items, The object of the present invention is to provide a software specification verification method that enables specification verification simply by creating an optimization rule base that optimizes specification verification.
本発明は、作成されたソフトウェアが所定のソフトウェ
ア仕様を満足するかどうかを試験する手段を備えたソフ
トウェア仕様検証方式において、検証対象ソフトウェア
に対応する試験項目知識ベースを格納する知識ベース部
と、試験最適化ルールベースを格納する最適化ルールベ
ース部と、試験結果トレースファイルを格納する試験結
果ファイル部と、前記試験項目知識ベースから試験項目
を選択し取り出す試験データ選択手段と、取り出された
試験データをそのあらかじめ与えられた試験結果を含ん
で前記試験結果トレースファイルに記録する入力データ
トレース手段と、取り出された試験データを試験対象ソ
フトウェア実装装置に入力する試験データ入力手段と、
前記試験対象ソフトウェア実装装置での実行結果を受信
する試験結果受信手段と、この受信された試験結果を前
記試験結果トレースファイルに記録するとともに前記あ
らかじめ与えられた試験結果との比較を行いその結果を
出力する試験結果データトレース手段と、出力された比
較結果を基に前記試験最適化ルールベースを用いて次試
験データを選択する選択信号を前記試験データ選択手段
へ出力する最適化試験データ選択手段とを含むことを特
徴とする。The present invention provides a software specification verification method that includes a means for testing whether created software satisfies predetermined software specifications, and includes a knowledge base unit that stores a test item knowledge base corresponding to software to be verified; an optimization rule base unit that stores an optimization rule base; a test result file unit that stores a test result trace file; a test data selection unit that selects and retrieves test items from the test item knowledge base; and retrieved test data. input data tracing means for recording the test results including the test results given in advance in the test result trace file; and test data input means for inputting the retrieved test data into the software implementation device under test.
a test result receiving means for receiving the execution result of the software implementation device under test, and recording the received test result in the test result trace file, comparing it with the test result given in advance, and outputting the result. a test result data tracing means for outputting; and an optimized test data selection means for outputting a selection signal for selecting the next test data using the test optimization rule base based on the output comparison result to the test data selection means; It is characterized by including.
試験項目知識ベースには、試験対象ソフトウェアに対応
して、そのソフトウェアを検証するための試験データと
そのあらかじめ与えられた試験結果とが記録される。ま
た試験最適化ルールベースには、ソフトウェア動作に異
常が起きた場合最適な次試験データを選択しさらに異常
原因の判断を行うルール群が記録される。そして、試験
データ選択手段、入力データトレース手段および試験デ
ータ入力手段により、前記試験項目知識ベース中から試
験データが選択取り出され、試験対象ソフトウエア実装
装置に入力され、そこでの試験結果が、試験結果受信手
段により受信され、試験結果トレース手段により、この
受信された試験結果と前記あらかじめ与えられた試験結
果との比較が行われ、最適化試験データ選択手段により
、この比較結果を基に前記最適化ルールベースを用いて
次試験データを選択する選択信号が発生され、前記試験
データ選択手段に入力される。そして試験結果は試験結
果トレースファイルに記録される。In the test item knowledge base, corresponding to the software to be tested, test data for verifying the software and test results given in advance are recorded. The test optimization rule base also records a group of rules for selecting optimal next test data when an abnormality occurs in software operation, and further determining the cause of the abnormality. Then, test data is selected from the test item knowledge base by the test data selection means, input data tracing means, and test data input means, and is input into the test target software implementation device, and the test results therein are used as test data. The received test result is received by the receiving means, the test result tracing means compares the received test result with the test result given in advance, and the optimization test data selection means performs the optimization based on the comparison result. A selection signal for selecting next test data using the rule base is generated and input to the test data selection means. The test results are then recorded in a test result trace file.
従って、前記試験項目知識ベースと、前記試験最適化ル
ールベースとを作成するのみで、自動的にソフトウェア
仕様検証を行うことが可能となる。Therefore, by simply creating the test item knowledge base and the test optimization rule base, software specification verification can be performed automatically.
以下、本発明の実施例について図面を参照して説明する
。Embodiments of the present invention will be described below with reference to the drawings.
第１図は本発明の一実施例を示すブロック構成図である
。FIG. 1 is a block diagram showing one embodiment of the present invention.
本実施例は、作成されたソフトウェアが所定のソフトウ
ェア仕様を満足するかどうかを試験する手段を備えたソ
フトウェア仕様検証方式において、検証対象ソフトウェ
アに対応して、そのソフトウェアを検証するためのあら
かじめ与えられた試験結果を含む試験データが記録され
た試験項目知識ベース１１ａを格納する知識ベース部１
１と、ソフトウェア動作に異常が起きた場合、最適な次
試験データを選択しさらに異常原因の判断を行うルール
群が記録された試験最適化ルールベース１２ａを格納す
る最適化ルールベース部１２と、試験結果トレースファ
イルを格納する試験結果ファイル部Ｉ３と、試験項目知
識ベース１１ａから試験データを選択し取り出す試験デ
ータ選択手段１４と、取り出された試験データを試験結
果トレースファイル１３ａに記録する試験結果トレース
手段１５と、取り出された試験データを試験対象ソフト
ウェア実装装置１０に入力する試験データ入力手段１６
と、試験対象ソフトウェア実装装置１０での試験結果を
受信する試験結果受信手段１７と、この受信された試験
結果を試験結果トレースファイル１３ａに記録するとと
もに前記あらかじめ与えられた試験結果との比較を行い
その結果を出力する試験結果トレース手段１８と、出力
された比較結果を基に試験最適化ルールベース１２ａを
用いて次試験データを選択する選択信号２０を試験デー
タ選択手段１４へ出力する最適化試験データ選択手段１
９を含んでいる。なお、第１図において→は制御の流れ
を示し、→はデータの流れを示す。This embodiment is a software specification verification method that includes means for testing whether created software satisfies predetermined software specifications. A knowledge base unit 1 stores a test item knowledge base 11a in which test data including test results are recorded.
1, an optimization rule base unit 12 that stores a test optimization rule base 12a in which a group of rules for selecting optimal next test data and further determining the cause of the abnormality when an abnormality occurs in software operation; A test result file section I3 that stores a test result trace file, a test data selection means 14 that selects and retrieves test data from the test item knowledge base 11a, and a test result trace that records the retrieved test data in the test result trace file 13a. means 15, and test data input means 16 for inputting the retrieved test data into the test target software implementation device 10.
and a test result receiving means 17 that receives the test results of the software implementation device under test 10, records the received test results in the test result trace file 13a, and compares them with the test results given in advance. Optimization test that outputs a selection signal 20 for selecting the next test data to the test data selection means 14 using the test result tracing means 18 which outputs the results and the test optimization rule base 12a based on the outputted comparison results. Data selection means 1
Contains 9. In FIG. 1, → indicates the flow of control, and → indicates the flow of data.
本発明の特徴は、第１図において、試験項目知識ベース
１１ａを格納する知識ベース部１１と、試験最適化ルー
ルベース１２ａを格納する最適化ルールベース部１２ト
、試験結果トレースファイル１３ａ ヲ格納する試験結
果ファイル部１３と、試験データ選択手段１４と、入力
データトレース手段１５と、試験データ入力手段１６と
、試験結果受信手段１７と、試験結果トレース手段１８
と、最適化試験データ選択手段１９とを設けたことにあ
る。The features of the present invention are as shown in FIG. 1, a knowledge base section 11 stores a test item knowledge base 11a, an optimization rule base section 12 stores a test optimization rule base 12a, and a test result trace file 13a. Test result file section 13, test data selection means 14, input data tracing means 15, test data input means 16, test result receiving means 17, and test result tracing means 18
and an optimization test data selection means 19.
次に、本実施例の動作について第２図に示す流れ図を参
照して説明する。Next, the operation of this embodiment will be explained with reference to the flowchart shown in FIG.
ここで、試験対象とするソフトウェアが実装された試験
対象ソフトウェア実装装置１０は、試験データ入力手段
１６と、試験結果受信手段１７とのインタフエースのみ
が定められているだけで、試験対象ソフトウェアが単独
であることや、さらに試験用のソフトウェアを組み込む
ことは規定しない。Here, the test target software implementation device 10 in which the test target software is installed has only the interfaces between the test data input means 16 and the test result receiving means 17, and the test target software can be installed independently. It does not stipulate that the software be installed or that testing software be incorporated.
試験対象ソフトウェア実装装置１０のソフトウェア仕様
を検証するための試験データおよびそのあらかじめ与え
られた試験結果は、試験項目知識ベース１１ａ に記録
され知識ベース部１１に格納される。Test data for verifying the software specifications of the software implementation device under test 10 and test results given in advance are recorded in the test item knowledge base 11a and stored in the knowledge base section 11.
ソフトウェア仕様検証方式が動作を開始すると、まず、
試験データ選択手段１４により試験項目知識ベース１１
ａから第１番目の試験データがあらかじめ与えられた試
験結果を含んで取り出され（ステップＳ１）、第１番目
の取り出された試験データが入力データトレース手段１
５によって試験結果トレースファイル１３ａに記録され
る（ステップＳ２）。When the software specification verification method starts operating, first,
Test item knowledge base 11 by test data selection means 14
The first test data including the test result given in advance is extracted from a (step S1), and the first extracted test data is input to the input data tracing means 1.
5 is recorded in the test result trace file 13a (step S2).
この記録が行われた後で、試験データ入力手段１６によ
って、試験対象ソフトウェア実装装置１０へ第１番目の
試験データが入力される（ステップＳ３）。After this recording is performed, the first test data is input to the test target software implementation device 10 by the test data input means 16 (step S3).
そして、それに対応する試験対象ソフトウェア実装装置
１０から出力された試験結果は、試験結果Ｏ
受信半没１７によって受信され（ステップＳ、’Ｉ）、
試験結果トレース手段１８によって試験結果１−レース
ファイル１３ａ に記録される。そして１、二の記録が
行われた後、試験項目知識ベース１１ａから取り出され
た前記あらかじめ５．えられた試験結果と、試験結果受
信手段１７からの試験結果とを比較しその結果を出力す
る（ステップＳ ５ ） 。Then, the test results outputted from the corresponding test target software implementation device 10 are received by the test result O reception half-immersion 17 (step S, 'I),
The test result tracing means 18 records the test result 1 in the race file 13a. After 1 and 2 are recorded, 5. is extracted from the test item knowledge base 11a. The obtained test result is compared with the test result from the test result receiving means 17, and the result is output (step S5).
その比較結果を基に試験最適化ルールベース１２ａのル
ールを適応し、最適化試験データ選択手段１９において
次に選択する試験データを選択しその選択信号２０を出
力する（ステップＳ６）。この場合の選択ルールは、エ
ラー発生時に、同一原因エラーによって正常に試験がで
きないと思われる試験データのスキップ、エラー原因確
認のための試験データの実行等、ソフトウェア仕様検証
を最適化するだめのルールが定義される。Based on the comparison result, the rules of the test optimization rule base 12a are applied, and the optimization test data selection means 19 selects the next test data to be selected and outputs the selection signal 20 (step S6). In this case, the selection rules are rules to optimize software specification verification when an error occurs, such as skipping test data that cannot be tested normally due to the same error cause, and executing test data to confirm the cause of the error. is defined.
試験データ選択手段１４は選択信号２０の入力により、
次に選択する試験データが存在するか否かの判断を行う
（ステップＳ７）。ここで試験データがないと判断され
ると、試験結果トレースファイル１３ａに試験終了を出
力しくステップＳ９）、ソフトウェア仕様検証を終了す
る。By inputting the selection signal 20, the test data selection means 14 selects
Next, it is determined whether test data to be selected exists (step S7). If it is determined that there is no test data, a test end message is output to the test result trace file 13a (step S9), and the software specification verification is ended.
試験データがあると判断されると、最適化試験データ選
択手段１９において選択された試験データを試験項目知
識ベース１１ａから取り出しくステップＳ８）、これを
入力として前記処理を終了まで繰り返す。When it is determined that there is test data, the test data selected by the optimization test data selection means 19 is extracted from the test item knowledge base 11a in step S8), and the above process is repeated until the end using this as input.
以上説明したように、本発明は、試験項目知識ベースと
試験最適化ルールベースとを作成するだけて、試験対象
通信ソフトウェア実装装置に手を加えることなく自動的
にソフトウェア仕様検証を行うことができろ効果がある
。また、ソフトウェア仕様検証を自動化することにより
試験データの見逃しＸ）試験ミスをなくし、ソフトウェ
ア仕様検証Ｏ４＞憎頼性を著しく向−卜させろとともに
、試験の均一化を言ｊることができ、さらにソフトウェ
ア仕様検証を最適化するルールを持つために試験で誤り
が発見された場合など、有効な試験項目のみ実行し試験
効率を著しく向上させろことができる効果がある。As explained above, the present invention can automatically perform software specification verification without modifying the communication software implementation device to be tested by simply creating a test item knowledge base and a test optimization rule base. It has a calming effect. In addition, by automating software specification verification, it is possible to eliminate missed test data ( Because it has rules for optimizing software specification verification, it has the effect of significantly improving testing efficiency by executing only valid test items, such as when an error is discovered during testing.
第１図は本発明の一実施例を示すブロンク構成図。
第２図はその動作を示す流れ図。
１０・・・試験対象ソフトウェア実装装置、１１・・知
識ベース部、１１ａ・・・試験項目知識ベース、１２・
・・最適化ルールベースＬ １２ａ・・・試験Ｍ 適化
ルールベース、１３・・・試験結果ファイル部、ＩＪ、
ａ ・試験結果トレースファイル、１４・・・試験デー
タ選択手段、１５・・入力データトレース手段、１６・
・・試験データ入力手段、１７・・・試験結果受信手段
、１８・試験結果トレース手段、１９・最適化試験デー
タ選択手段、２０・・選択信号、８１〜Ｓ９・・・ステ
ップ。
特許出願人 日本電気株式会ン！
代理人 弁理士 井 出 直 孝
１ ？FIG. 1 is a block diagram showing an embodiment of the present invention. FIG. 2 is a flowchart showing the operation. 10...Test target software implementation device, 11...Knowledge base section, 11a...Test item knowledge base, 12.
...Optimization rule base L 12a...Test M optimization rule base, 13...Test result file section, IJ,
a Test result trace file, 14... Test data selection means, 15... Input data tracing means, 16.
...Test data input means, 17. Test result receiving means, 18. Test result tracing means, 19. Optimization test data selection means, 20. Selection signal, 81-S9.. Steps. Patent applicant: NEC Corporation! Agent Patent Attorney Nao Takashi Ide 1?
Claims (1)
を満足するかどうかを試験する手段を備えたソフトウェ
ア仕様検証方式において、 検証対象ソフトウェアに対応する試験項目知識ベース（
１１ａ）を格納する知識ベース部（１１）と、試験最適
化ルールベース（１２ａ）を格納する最適化ルールベー
ス部（１２）と、 試験結果トレースファイル（１３ａ）を格納する試験結
果ファイル部（１３）と、 前記試験項目知識ベースから試験項目を選択し取り出す
試験データ選択手段（１４）と、取り出された試験デー
タをそのあらかじめ与えられた試験結果を含んで前記試
験結果トレースファイルに記録する入力データトレース
手段（１５）と、取り出された試験データを試験対象ソ
フトウェア実装装置（１０）に入力する試験データ入力
手段（１６）と、 前記試験対象ソフトウェア実装装置での実行結果を受信
する試験結果受信手段（１７）と、この受信された試験
結果を前記試験結果トレースファイルに記録するととも
に前記あらかじめ与えられた試験結果との比較を行いそ
の結果を出力する試験結果データトレース手段（１８）
と、出力された比較結果を基に前記試験最適化ルールベ
ースを用いて次試験データを選択する選択信号（２０）
を前記試験データ選択手段へ出力する最適化試験データ
選択手段（１９）と を含むことを特徴とするソフトウェア仕様検証方式。[Claims] 1. In a software specification verification method that includes means for testing whether created software satisfies predetermined software specifications, a test item knowledge base (
11a), an optimization rule base section (12) that stores a test optimization rule base (12a), and a test result file section (13) that stores a test result trace file (13a). ), test data selection means (14) for selecting and retrieving test items from the test item knowledge base, and input data for recording the retrieved test data, including the test results given in advance, in the test result trace file. tracing means (15); test data input means (16) for inputting retrieved test data into the software implementation device under test (10); and test result receiving means for receiving the execution results of the software implementation device under test. (17), and test result data tracing means (18) that records the received test results in the test result trace file, compares them with the test results given in advance, and outputs the results.
and a selection signal (20) for selecting the next test data using the test optimization rule base based on the output comparison results.
an optimization test data selection means (19) for outputting the optimization test data selection means (19) to the test data selection means.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63071618A JPH01244551A (en) | 1988-03-25 | 1988-03-25 | Software specification verifying system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63071618A JPH01244551A (en) | 1988-03-25 | 1988-03-25 | Software specification verifying system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH01244551A true JPH01244551A (en) | 1989-09-28 |
Family
ID=13465817
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP63071618A Pending JPH01244551A (en) | 1988-03-25 | 1988-03-25 | Software specification verifying system |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH01244551A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0689202A (en) * | 1992-09-08 | 1994-03-29 | Pfu Ltd | Automatic generation device for test result report of software and test result report generation method |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS58222343A (en) * | 1982-06-18 | 1983-12-24 | Fujitsu Ltd | Automatic discriminating system of difference of data |
| JPS6065349A (en) * | 1983-09-21 | 1985-04-15 | Hitachi Ltd | Generating system of test data |
| JPS6312027A (en) * | 1986-07-02 | 1988-01-19 | Nec Corp | Job control language expert system |
-
1988
- 1988-03-25 JP JP63071618A patent/JPH01244551A/en active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS58222343A (en) * | 1982-06-18 | 1983-12-24 | Fujitsu Ltd | Automatic discriminating system of difference of data |
| JPS6065349A (en) * | 1983-09-21 | 1985-04-15 | Hitachi Ltd | Generating system of test data |
| JPS6312027A (en) * | 1986-07-02 | 1988-01-19 | Nec Corp | Job control language expert system |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0689202A (en) * | 1992-09-08 | 1994-03-29 | Pfu Ltd | Automatic generation device for test result report of software and test result report generation method |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP5139070B2 (en) | Method and apparatus for secure parameterization according to IEC 61508 SIL1 to 3 or EN954-1 categories 1 to 4 | |
| EP1504347B1 (en) | Automated software testing system and method | |
| CN110737584A (en) | Service data testing method and device based on block chain and computer equipment | |
| JPH02264329A (en) | Automatic program generating device | |
| JPH08190587A (en) | Simulation system for application process | |
| CN112905459B (en) | Service interface testing method and device, electronic equipment and storage medium | |
| EP1548581A2 (en) | Methods, apparatus and programs for system development | |
| CN110716843B (en) | System fault analysis processing method and device, storage medium and electronic equipment | |
| US20050203717A1 (en) | Automated testing system, method and program product using testing map | |
| KR101252358B1 (en) | Apparatus and method for testing plc command | |
| JP2546157B2 (en) | Program test method | |
| CN107203373B (en) | Interface control acquiring method, interface control testing method, interface control acquiring device and interface control testing device | |
| JPH01244551A (en) | Software specification verifying system | |
| CN115987821A (en) | Gateway routing test method and device | |
| CN114675948A (en) | DAG data model dynamic scheduling method and system | |
| CN115878448A (en) | Database test method, distributed database and storage medium | |
| JPH1139363A (en) | Data verification system | |
| JPH05177503A (en) | Parameter setting confirmation device in nc machine tool | |
| CN111752823A (en) | Method, device and equipment for testing vehicle-mounted power supply application software | |
| JPH0713809A (en) | Program evaluation system | |
| JPH1065762A (en) | Automatic testing simulator for communication software and automatic testing method therefor | |
| Maloku et al. | SDL-based feasible test generation for communication protocols | |
| JP2002323992A (en) | Device and method for generating test case condition | |
| JP2003223204A (en) | Programming method of programmable controller, system thereof and recording medium thereof | |
| JPH03295339A (en) | Test system for protocol verification |