JPH01155438A - Compiler test system - Google Patents
Compiler test systemInfo
- Publication number
- JPH01155438A JPH01155438A JP62314653A JP31465387A JPH01155438A JP H01155438 A JPH01155438 A JP H01155438A JP 62314653 A JP62314653 A JP 62314653A JP 31465387 A JP31465387 A JP 31465387A JP H01155438 A JPH01155438 A JP H01155438A
- Authority
- JP
- Japan
- Prior art keywords
- compiler
- test
- grammar
- error
- expected 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
- 238000012360 testing method Methods 0.000 title claims abstract description 66
- 238000006243 chemical reaction Methods 0.000 claims description 4
- 238000010998 test method Methods 0.000 claims description 4
- 230000000717 retained effect Effects 0.000 claims 1
- 230000007547 defect Effects 0.000 abstract description 8
- 238000000034 method Methods 0.000 description 6
- 238000012986 modification Methods 0.000 description 5
- 230000004048 modification Effects 0.000 description 5
- 238000010586 diagram Methods 0.000 description 4
- 230000000694 effects Effects 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 230000000052 comparative effect Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 210000001050 stape Anatomy 0.000 description 1
Abstract
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は計算機システムのコンパイラ試験方式に係り、
特にコンパイラの文法・構文チェック及びコンパイルさ
れた目的プログラムの実行結果比較によりコンパイラの
試験を行うコンパイラ試験方式に関する。[Detailed Description of the Invention] [Field of Industrial Application] The present invention relates to a compiler testing method for a computer system,
In particular, the present invention relates to a compiler testing method for testing a compiler by checking the grammar and syntax of the compiler and comparing the execution results of compiled target programs.
計算機システムは、一般に高級言語からコンパイラによ
り展開される機械語によって動作するものが多く、命令
の組合せを含めた使い勝手がコンパイラによって左右さ
れる。Many computer systems generally operate using machine language developed by a compiler from a high-level language, and usability, including instruction combinations, is influenced by the compiler.
従来、コンパイラの試験方式としては１例えば特開昭６
２−６００３７号公報に記載のように、コンパイラを開
発改造した際、改造前コンパイラと改造後コンパイラに
よってコンパイルされた目的プログラムを比較し、その
差異をリストにして出力する方式が知られている。Conventionally, the compiler test method was 1, for example, Japanese Patent Application Laid-Open No.
As described in Japanese Patent No. 2-60037, a method is known in which, when a compiler is developed or modified, a target program compiled by the compiler before modification and the compiler after modification is compared and the differences are output as a list.
上記従来技術は、コンパイラの改造を行った際の改造前
と改造後のコンパイラにより出力された目的プログラム
を対象とした比較試験であり、改造前コンパイラに潜在
不良があった場合、改造後コンパイラにも同様に潜在不
良が残る可能性があり、潜在不良検出に対して効果が薄
く、また別プロセスで新規開発されたコンパイラの試験
に適用できないという問題がある。The above conventional technology is a comparative test that targets the target programs output by the compiler before and after the modification when the compiler is modified, and if there is a latent defect in the compiler before modification, Similarly, there is a problem that latent defects may remain, which makes it less effective in detecting latent defects, and that it cannot be applied to testing newly developed compilers in a separate process.
本発明の目的は、試験ステートメント群を自動生成し、
コンパイラの文法・構文チェックの試験、コンパイルさ
れた目的プログラムの実行結果と期待値との比較を行い
、開発・改造に関係なく連続したコンパイラの自動試験
方式を提供することにある。The purpose of the present invention is to automatically generate a group of test statements,
The objective is to provide a continuous automatic test method for compilers, regardless of development or modification, by testing the compiler's grammar/syntax check and comparing the execution results of the compiled target program with expected values.
本発明のコンパイラ試験方式は、乱数データを発生する
手段と、コンパイラが各高水準言語の文法・構文上でコ
ンパイルの際、チェックを行う規則、情報を保持する手
段と、前記乱数データをもとに、前記コンパイラの規則
、情報にしたがって高水準言語の試験ステートメント群
を生成する手段と、前記生成された試験ステートメント
群から高水準言語インタプリタにより期待値を作成する
手段と、前記生成された試験ステートメント群をコンパ
イラでコンパイルせしめ、コンパイラの文法・構文チェ
ックを試験する手段と、前記コンパイルにより作成され
た目的プログラムを実行し、その実行結果と前記期待値
を比較することにより、コンパイラの機械語への変換動
作を試験する手段とを有することを特徴とするものであ
る。The compiler test method of the present invention includes a means for generating random number data, a means for holding rules and information that the compiler checks when compiling on the grammar and syntax of each high-level language, and a means for holding information based on the random number data. means for generating a group of high-level language test statements according to the rules and information of the compiler; means for creating an expected value from the generated test statement group using a high-level language interpreter; and the generated test statement. A compiler compiles the group using a compiler, tests the grammar/syntax check of the compiler, executes the target program created by the compilation, and compares the execution result with the expected value. The method is characterized by comprising means for testing a conversion operation.
乱数データは外部からの入力と内部からの自動生成によ
り発生せしめる。コンパイラの試験ステートメント群は
、この発生させた乱数データを使用して、自動生成する
が、その際、該ステートメントデータに関するコンパイ
ラの文法・構文上の規則・情報を、高水準言語文抜書群
が文法・構文上許可される範囲内で提供する。生成され
た文法・構文上圧しい試験ステートメント群はファイル
に順次格納される。Random number data is generated by external input and internal automatic generation. The compiler's test statement group is automatically generated using this generated random number data, but at that time, the compiler's grammar/syntax rules and information regarding the statement data are analyzed by the High-Level Language Sentence Collection.・Provide within the range permitted by the syntax. The generated test statements, which are overwhelming in terms of grammar and syntax, are sequentially stored in a file.
コンパイラの試験は、２つのフェーズによって実施され
る。第１フエーズでは、ファイルに格納されている試験
ステートメント群をコンパイラでコンパイルすることに
より、コンパイラの文法・構文チェックを試験する。第
２フエーズでは、コンパイルにより作成された目的プロ
グラムを実行し、その実行結果と高水準インタプリタに
よる期待値との結果比較により、コンパイラの機械語へ
の変換が正しく行われたかどうかを試験する。これによ
り、コンパイラの試験を人手を介さずに自動的に連続し
て実施することができる。Compiler testing is performed in two phases. In the first phase, the compiler compiles a group of test statements stored in a file, thereby testing the grammar/syntax check of the compiler. In the second phase, the target program created by compilation is executed, and by comparing the execution result with the expected value by the high-level interpreter, it is tested whether the conversion into machine language by the compiler has been performed correctly. Thereby, compiler tests can be automatically and continuously performed without human intervention.
以下、本発明の一実施例を図面を参照して詳細に説明す
る。なお、実施例では、プログラム言語はＰＬ／Ｉで説
明するが、他の言語でも同様である。Hereinafter, one embodiment of the present invention will be described in detail with reference to the drawings. In the embodiment, the programming language is PL/I, but the same applies to other languages.
第１図は本発明のコンパイラ試験方式の一実施例のシス
テム構成例を示す、Ｗ中、１は外部からの入力と内部か
らの自動発生による乱数データを発生する乱数発生部で
ある。９はコンパイラが各高水言準語の文法・構文上で
コンパイルの際、チェックを行う規則・情報を保持する
高水準言語文法群である。この高水準言語文法群９は各
プログラム言語ごとに持っている。FIG. 1 shows an example of a system configuration of an embodiment of the compiler testing method of the present invention. In W, 1 is a random number generator that generates random number data by input from the outside and automatic generation from the inside. 9 is a high-level language grammar group that holds rules and information that the compiler checks on the grammar and syntax of each high-level language language when compiling. This high-level language grammar group 9 is provided for each programming language.
２は高水準言語文抜書群９の情報にしたがって、コンパ
イラの文法・構文上許可される範囲内ですべての組合せ
を可能とした各高水準言語の試験ステーメント、データ
を、乱数発生部１の乱数データを用いて自動生成する試
験ステートメント群生成部である。１０はこの自動生成
したステートメント、データを格納する試験ステートメ
ント群ファイルである。６は試験ステートメント群ファ
イル１０のソース（試験ステートメント群）から高水準
言語インタプリタ６１により期待値を作成する期待値作
成部である。2, the random number generator 1 generates test statements and data for each high-level language that allow all combinations within the range allowed by the grammar and syntax of the compiler, according to the information in the high-level language collection 9. This is a test statement group generator that automatically generates test statements using random number data. 10 is a test statement group file that stores the automatically generated statements and data. Reference numeral 6 denotes an expected value creation unit that creates expected values from the source (test statement group) of the test statement group file 10 using the high-level language interpreter 61.
３は試験ステートメント群ファイル１０に格納されてい
る試験ステートメント群をコンパイラ３１でコンパイル
することにより、コンパイラ３１の文法・構文チェック
を試験する文法・構文チェック試験部である。なお、コ
ンパイラ３１で作成された目的プログラムは目的プログ
ラムファイル３２に格納される。４は文法・構文チェッ
ク試験部３によるコンパイル結果に対し、文法・構文上
のエラーの有無をチェックするコンパイル結果判定部で
ある。５は作成された目的プログラムを実行する目的プ
ログラム実行部である。Reference numeral 3 denotes a grammar/syntax check test section which tests the grammar/syntax check of the compiler 31 by compiling the test statement group stored in the test statement group file 10 with the compiler 31. Note that the target program created by the compiler 31 is stored in the target program file 32. Reference numeral 4 denotes a compilation result determination unit that checks the compilation results obtained by the grammar/syntax check test unit 3 for grammatical/syntax errors. Reference numeral 5 denotes a target program execution unit that executes the created target program.
７は目的プログラム実行部５の実行結果と期待値作成部
６で得られた期待値とを比較する実行結果比較部である
。８はコンパイル結果判定部４や実行比較部７でコンパ
イラ３１の文法・構文チェックエラーや機械語への変換
エラーが得られた際、エラー情報を出力するエラー出力
部である。Reference numeral 7 denotes an execution result comparison unit that compares the execution result of the target program execution unit 5 with the expected value obtained by the expected value creation unit 6. Reference numeral 8 denotes an error output unit that outputs error information when the compile result determination unit 4 or the execution comparison unit 7 detects a grammar/syntax check error or a machine language conversion error in the compiler 31.
第２図は第１図の処理フローを示したもので、以下、第
２図に従って第１図の動作を説明する。FIG. 2 shows the processing flow of FIG. 1, and the operation of FIG. 1 will be explained below with reference to FIG.
ステップ１０１
コンパイラ試験のためのステートメント・データ生成に
用いる乱数データを乱数発生部１で発生する。乱数発生
部ｌでは、実行結果比較部７、エラー出力部８等の出力
と内部からの自動発生により乱数データを発生する。Step 101 The random number generator 1 generates random number data used to generate statement data for compiler testing. The random number generation section 1 generates random number data by outputs from the execution result comparison section 7, error output section 8, etc., and automatic generation from within.
入元Ｌｊ↓立裟
乱数発生部１で発生された乱数データをもとに、試験ス
テートメント群生成部２は、高水準言語文法要群９によ
り提供される情報を参照しながら試験ステートメントを
生成する。第３図はステートメント生成の際参照される
文法書群９の一部であるステートメント生成基本規則テ
ーブルを示す図、第４図はステートメント生成時、ステ
ートメント・ステータスを保持するステートメント生成
状態チエッカ−を示す図である。Based on the random number data generated by the random number generator 1, the test statement group generator 2 generates test statements while referring to the information provided by the high-level language grammar essential group 9. . Figure 3 shows a statement generation basic rule table that is part of the grammar book group 9 that is referred to when generating a statement, and Figure 4 shows a statement generation status checker that maintains the statement status when generating a statement. It is a diagram.
たとえば、第４図に示されるω〜Ｏのステートメントを
生成する場合、まず最初に高水準言語文法書群９内のス
テートメント・テーブルから、ランダムに選択されたス
テートメントが■で示すｒＩＦＪであると１次に選択さ
れるべきものは、第３図のステートメント基本規則テー
ブル３０１から先行３０２に対する、後続３０３の値が
１である「式」だけとなる。For example, when generating the statement ω~O shown in FIG. What should be selected next is only the "expression" in which the value of the successor 303 is 1 for the preceding 302 from the statement basic rule table 301 in FIG.
こぎで、ランダムに「式」だけを選択する確率が低い、
そこで第５図に示す０ＦＦＳＥＴテーブル５０１を設け
、次に選択されるべきステートメント・テーブルポイン
タを格納しておく、ステートメントを選択する場合、ス
テートメント・テーブルをダイレクトに選択するのでは
なく、０ＦＦＳＥＴテーブル５０１内の有効なステート
メント・テーブルポインタを使用する。このように、０
ＦＦＳＥＴテーブル５０１を使用することにより、次に
くるステートメントを限定された範囲内で効率良くラン
ダムに選択することができる。The probability of randomly selecting only the "formula" in rowing is low.
Therefore, the 0FFSET table 501 shown in FIG. 5 is provided to store the statement table pointer to be selected next. Use a valid statement table pointer. In this way, 0
By using the FFSET table 501, the next statement can be efficiently and randomly selected within a limited range.
またこの時、ステートメント基本規則テーブル３０１に
より、先行、後続ステートメントの正当性をチェックし
、更に、■のｒＩＦＪと［式」が生成されたという状態
を示すための、第４図内のステートメント生成状態チエ
ッカ−４０１の段数４０３の第１段に対するステータス
４０２の現段数とステータス４０２のｒＩＦＪとステー
タス４０２の［式」のチエッカ−に値１を格納する。At this time, the validity of the preceding and subsequent statements is checked using the statement basic rule table 301, and the statement generation state shown in FIG. The value 1 is stored in the checker of the current stage number of the status 402, rIFJ of the status 402, and [formula] of the status 402 for the first stage of the stage number 403 of the checker 401.
これにより、ステートメント生成中の現状態を常に監視
することができ１次のステートメント生成を容易にする
。This makes it possible to constantly monitor the current state during statement generation, making it easier to generate the first statement.
同様にして、第４図のＯＣ）＠（ｉ）のステートメント
が生成される。生成した試験ステートメント群は順次、
試験ステートメント群ファイル１０に格納される。Similarly, the statement OC)@(i) in FIG. 4 is generated. The generated test statements are sequentially
It is stored in the test statement group file 10.
このようにして、試験ステートメントの文法・構文上の
誤りは、第３図のステートメント生成基本規則テーブル
３０１、第４図のステートメント生成状態チエッカ−４
０１等の文法群によって防ぐことが可能となる。In this way, errors in the grammar and syntax of test statements can be detected using the statement generation basic rule table 301 in FIG. 3 and the statement generation status checker 4 in FIG.
This can be prevented using a grammar group such as 01.
ステップ１０３
試験ステートメント群生成部２によって生成され試験ス
テートメント群ファイル１ｏに格納された試験ステート
メント群を文法・構文チェック試験部３が読込み、コン
パイラ３１によってコンパイルし、目的プログラムを作
成する。作成した目的プログラムは目的プログラムファ
イル３２に格納する。Step 103 The test statement group generated by the test statement group generation section 2 and stored in the test statement group file 1o is read by the grammar/syntax check test section 3 and compiled by the compiler 31 to create a target program. The created target program is stored in the target program file 32.
ステーブ１０４
コンパイル結果判定部４が文法・構文チェック試験部３
によるコンパイル結果を入力し、文法・構文上のエラー
の有無をチェックする。エラーがあった場合、試験ステ
ートメント群は文法・構文上正しく生成されていないの
で、コンパイラ３１の文法・構文チェックで不良がある
と判断し、ステップ１０８の処理を実行する。この時、
ステップ１０５，１０６，１０７の処理は実行されない
。Stave 104 compile result judgment section 4 is syntax check test section 3
Input the compilation results and check for grammatical and syntactical errors. If there is an error, the test statement group has not been generated correctly in terms of grammar and syntax, so it is determined that there is a defect in the grammar and syntax check by the compiler 31, and the process of step 108 is executed. At this time,
The processes of steps 105, 106, and 107 are not executed.
エラーがない場合、ステップ１０５，１０６，１０７の
処理を順次実行する。If there is no error, steps 105, 106, and 107 are sequentially executed.
ステップ１０５
試験ステートメント群ファイル１０に格納されている試
験ステートメント群を期待値作成部６が入力し、高水準
言語インタプリタ６１により実行後期待値を作成する。Step 105 The expected value creation unit 6 inputs the test statement group stored in the test statement group file 10, and the high-level language interpreter 61 creates an expected value after execution.
ステップ１０Ｂ
文法・構文チェック試験部３で作成され目的プログラム
ファイル３２に格納された目的プログラムを目的プログ
ラム実行部５で実行し、実行値を得る。Step 10B: The target program created by the grammar/syntax check test unit 3 and stored in the target program file 32 is executed by the target program execution unit 5 to obtain an execution value.
スーツプ１０７
目的プログラム実行部５で得た実行値と期待値作成部６
により作成した期待値とを実行結果比較部７で比較し、
比較結果エラーの場合、機械語へのコンパイル時にコン
パイラ３１に不良があると判断し、ステップ１０８の処
理を実行する。Suitup 107 Execution value obtained by target program execution unit 5 and expected value creation unit 6
The execution result comparison unit 7 compares the expected value created by
If the comparison result is an error, it is determined that there is a defect in the compiler 31 during compilation into machine language, and the process of step 108 is executed.
ステープ１０８
コンパイル結果比較部４と実行結果比較部７でエラーが
あった場合、エラーの詳細情報を、エラー出力部８によ
って出力印字を行う。Stape 108 If there is an error in the compile result comparison section 4 and the execution result comparison section 7, detailed information about the error is output and printed by the error output section 8.
上記ステップ１０１〜１０８の繰返しによって、人手に
よる介入なしに、自動的にコンパイラ３１の多種多様な
ステートメント等の組合せの試験を有効に実施すること
が可能になる。By repeating steps 101 to 108, it becomes possible to automatically and effectively test a wide variety of combinations of statements, etc. of the compiler 31 without manual intervention.
以上説明したように、本発明によれば、プログラム言語
のコンパイラ試験において、対象コンパイラが行う文法
・構文チェックの多種多様な組合せについて、乱数デー
タにより自動生成したステートメント、データを用いて
、コンパイル、実行した結果と、インタプリタにより実
行した結果を比較することにより、コンパイラの不良を
確実に検出することができる。更に、一つの試験終了後
に自動的に別ステートメント、データを自動作成しコン
パイラの試験を行うことにより、あらゆる組合せのステ
ートメント、データについて、連続的にコンパイラの試
験を実施することでき、コンパイラ試験を短期間に行う
ことに優れた効果を有する。As explained above, according to the present invention, in a compiler test of a programming language, statements and data automatically generated using random number data are used to compile and execute various combinations of grammar and syntax checks performed by the target compiler. Comparing the results obtained with the results executed by the interpreter makes it possible to reliably detect compiler defects. Furthermore, by automatically creating another statement and data and testing the compiler after one test is completed, the compiler can be tested continuously for all combinations of statements and data, reducing compiler testing in a short period of time. It has excellent effects when used in between.
第１図は本発明のコンパイラ試験方式の一実施例のシス
テム構成例を示す図、第２図は第１図の動作を説明する
ための処理フローを示す図、第３図はステートメント生
成の際参照される文法置溝の一部であるステートメント
生成基本テーブルを示す図、第４図はステートメント生
成時、ステートメント・ステータスを保持するステート
メント生成状態チエッカ−を示す図、第５図は次に選択
するステートメント・テーブルポインタを格納しておく
０ＦＦＳＥＴテーブルを示す図である。
１・・・乱数発生部。
２・・・試験ステートメント群生成部。
３・・・文法・構文チェック試験部、
４・・・コンパイル結果判定部。
５・・・目的プログラム実行部。
６・・・期待値作成部、 ７・・・実行結果比較部、８
・・・エラー出力部、 ９・・・高水準言語文法置部、
１０・・・試験ステートメント群ファイル。
第３図
第５図FIG. 1 is a diagram showing an example of a system configuration of an embodiment of the compiler testing method of the present invention, FIG. 2 is a diagram showing a processing flow for explaining the operation of FIG. 1, and FIG. Figure 4 shows the statement generation basic table, which is part of the referenced grammar setting groove. Figure 4 shows the statement generation status checker that maintains the statement status when generating a statement. Figure 5 shows the next selection. FIG. 3 is a diagram showing an 0FFSET table that stores statement table pointers. 1...Random number generator. 2...Test statement group generator. 3... Grammar/syntax check test section, 4... Compilation result judgment section. 5...Target program execution section. 6... Expected value creation section, 7... Execution result comparison section, 8
...Error output section, 9.High-level language grammar section,
10...Test statement group file. Figure 3 Figure 5
Claims (1)
コンパイラの試験方式において、 乱数データを発生する手段と、 コンパイラが各高水準言語の文法・構文上でコンパイル
の際、チェックを行う規則、情報を保持する手段と、 前記乱数データをもとに、前記コンパイラの規則、情報
にしたがって高水準言語の試験ステートメント群を生成
する手段と、 前記生成された試験ステートメント群から高水準言語イ
ンタプリタにより期待値を作成する手段と、 前記生成された試験ステートメント群をコンパイラでコ
ンパイルせしめ、コンパイラの文法・構文チェックを試
験する手段と、 前記コンパイルにより作成された目的プログラムを実行
し、その実行結果と前記期待値を比較することにより、
コンパイラの機械語への変換動作を試験する手段とを有
することを特徴とするコンパイラ試験方式。(1) In a compiler test method that develops a high-level programming language into a target program, a means for generating random number data and rules and information for the compiler to check during compilation based on the grammar and syntax of each high-level language are retained. means for generating a group of high-level language test statements based on the random number data according to the rules and information of the compiler; and generating an expected value from the generated test statement group using a high-level language interpreter. means for compiling the generated test statement group with a compiler and testing the grammar/syntax check of the compiler; executing the target program created by the compilation and comparing the execution result with the expected value. By doing so,
1. A compiler testing method, comprising: means for testing a compiler's conversion operation into machine language.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP62314653A JPH01155438A (en) | 1987-12-12 | 1987-12-12 | Compiler test system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP62314653A JPH01155438A (en) | 1987-12-12 | 1987-12-12 | Compiler test system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH01155438A true JPH01155438A (en) | 1989-06-19 |
Family
ID=18055919
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP62314653A Pending JPH01155438A (en) | 1987-12-12 | 1987-12-12 | Compiler test system |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH01155438A (en) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2003526135A (en) * | 1998-11-16 | 2003-09-02 | インシグニア・ソリューションズ・ピーエルシー | Computer system, computer readable storage medium and method of operating the medium, and method of operating a computer system |
| JP2007128372A (en) * | 2005-11-04 | 2007-05-24 | Hitachi Information & Communication Engineering Ltd | Method of generating test program for computer program |
| JP2014044678A (en) * | 2012-08-28 | 2014-03-13 | Toshiba Corp | Compiler evaluation device, method, and program |
-
1987
- 1987-12-12 JP JP62314653A patent/JPH01155438A/en active Pending
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2003526135A (en) * | 1998-11-16 | 2003-09-02 | インシグニア・ソリューションズ・ピーエルシー | Computer system, computer readable storage medium and method of operating the medium, and method of operating a computer system |
| JP2007128372A (en) * | 2005-11-04 | 2007-05-24 | Hitachi Information & Communication Engineering Ltd | Method of generating test program for computer program |
| JP2014044678A (en) * | 2012-08-28 | 2014-03-13 | Toshiba Corp | Compiler evaluation device, method, and program |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5581696A (en) | Method using a computer for automatically instrumenting a computer program for dynamic debugging | |
| Xu et al. | Regression test selection for AspectJ software | |
| US5651111A (en) | Method and apparatus for producing a software test system using complementary code to resolve external dependencies | |
| CN101739339B (en) | Program dynamic dependency relation-based software fault positioning method | |
| JPH0748182B2 (en) | Program error detection method | |
| US8972784B2 (en) | Method and device for testing a system comprising at least a plurality of software units that can be executed simultaneously | |
| CN116089302A (en) | Method for detecting UNSAFE code fragment defects in Rust programming language | |
| Curzon et al. | A Verified Compiler for a Structured Assembly Language. | |
| US20020129336A1 (en) | Automatic symbol table selection in a multi-cell environment | |
| JPH01155438A (en) | Compiler test system | |
| CN113836023B (en) | Compiler security testing method based on architecture cross check | |
| Barabanova et al. | Modeling and Investigating a Race Condition Detection Algorithm for Multithread Computational Systems | |
| Carver et al. | Deterministic execution testing of concurrent Ada programs | |
| CN113434385A (en) | Method and system for automatically generating test case for software model inspection tool | |
| JPH0981371A (en) | Automatic version-up method and device for source code | |
| JPH10214205A (en) | Module checking device | |
| JPH01177165A (en) | Definition-quotation relation checking system for array | |
| KARAPATEAS | RETARGETING AN ASSEMBLY OPTIMIZER FOR THE MIPS/SCALE ASSEMBLY | |
| JPH02183834A (en) | Program developing method using compiler | |
| JP2005141406A (en) | Compiler inspection system and compiler inspection program | |
| JPH03263129A (en) | Compiler/debugger method | |
| CN117908900A (en) | Coagulometer user software development method | |
| CN116521550A (en) | Compiler testing method, testing device and storage medium | |
| JPH07319729A (en) | Software debugging method | |
| JPS58169637A (en) | Compile processing system |