JPH01220044A - 言語処理プログラム検証方式 - Google Patents
言語処理プログラム検証方式Info
- Publication number
- JPH01220044A JPH01220044A JP63046510A JP4651088A JPH01220044A JP H01220044 A JPH01220044 A JP H01220044A JP 63046510 A JP63046510 A JP 63046510A JP 4651088 A JP4651088 A JP 4651088A JP H01220044 A JPH01220044 A JP H01220044A
- Authority
- JP
- Japan
- Prior art keywords
- random number
- sentence
- language processing
- processing program
- program
- 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
- 238000012790 confirmation Methods 0.000 claims abstract description 21
- 230000006870 function Effects 0.000 claims abstract description 12
- 238000012795 verification Methods 0.000 claims description 21
- 238000004519 manufacturing process Methods 0.000 claims description 7
- 238000000034 method Methods 0.000 claims description 6
- 238000012545 processing Methods 0.000 claims description 6
- 238000003780 insertion Methods 0.000 claims description 5
- 230000037431 insertion Effects 0.000 claims description 5
- 230000014509 gene expression Effects 0.000 claims 1
- 238000012360 testing method Methods 0.000 abstract description 10
- 238000013475 authorization Methods 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 239000000284 extract Substances 0.000 description 2
- 230000007849 functional defect Effects 0.000 description 2
- 230000036039 immunity Effects 0.000 description 2
- 230000007423 decrease Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000007689 inspection Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔概要〕
言語処理プログラムの動作の正当性を検証する言語処理
プログラム検証方式に関し、 検証プログラムを乱数的に自動的に作成して言語処理プ
ログラムの検証を高品質に行うことを目的とし、 言語処理プログラムの機能であるＩＦ文などの文を構成
する文／式・変数／定数などに対して、予め作成した生
成規則のうちから乱数的に選択して当該文に対する乱数
文を作成する生成規則選択部と、この生成規則選択部に
よって作成された乱数文の実行により引き起こされる結
果を、ｌ＋１！認文として当該乱数文に対応づけて挿入
する１１１！認文挿入部とを備え、これら作成および挿
入された乱数文およびｉ認文からなる一連の検証プログ
ラムを言語処理プログラムに実行させて動作の正当性の
検証を行うように構成する。
プログラム検証方式に関し、 検証プログラムを乱数的に自動的に作成して言語処理プ
ログラムの検証を高品質に行うことを目的とし、 言語処理プログラムの機能であるＩＦ文などの文を構成
する文／式・変数／定数などに対して、予め作成した生
成規則のうちから乱数的に選択して当該文に対する乱数
文を作成する生成規則選択部と、この生成規則選択部に
よって作成された乱数文の実行により引き起こされる結
果を、ｌ＋１！認文として当該乱数文に対応づけて挿入
する１１１！認文挿入部とを備え、これら作成および挿
入された乱数文およびｉ認文からなる一連の検証プログ
ラムを言語処理プログラムに実行させて動作の正当性の
検証を行うように構成する。
本発明は、言語処理プログラムの動作の正当性を検証す
る言語処理プログラム検証方式に関するものである。
る言語処理プログラム検証方式に関するものである。
言語処理プログラムは、適用分野（事務用、技術計算用
、システム記述用など）向き言語（ＣＯＢＯＬ、ＦＯＲ
ＴＲＡＮなど）に対応し、多数のシステムが作成されて
いる。この言語処理プログラムの機能の正当性の検査は
、マニュアルに基づき、各言語機能毎に検証用のプログ
ラムを作成・実行させ、その実行結果を予想した結果と
比較するといった手法が広く用いられている。
、システム記述用など）向き言語（ＣＯＢＯＬ、ＦＯＲ
ＴＲＡＮなど）に対応し、多数のシステムが作成されて
いる。この言語処理プログラムの機能の正当性の検査は
、マニュアルに基づき、各言語機能毎に検証用のプログ
ラムを作成・実行させ、その実行結果を予想した結果と
比較するといった手法が広く用いられている。
一般に、言語処理プログラムの機能は多く、これらの機
能の組み合せ結果となると、確認しなければならない機
能の数は無限大となる。このため、言語処理プログラム
の機能の正当性の確認には、多大な労力を費やしてきた
。このような背景から、言語処理プログラムの機能検査
における、大幅な労力を削減するための自動検証装置の
出現が要望されている。
能の組み合せ結果となると、確認しなければならない機
能の数は無限大となる。このため、言語処理プログラム
の機能の正当性の確認には、多大な労力を費やしてきた
。このような背景から、言語処理プログラムの機能検査
における、大幅な労力を削減するための自動検証装置の
出現が要望されている。
〔従来の技術と発明が解決しようとする問題点〕従来の
言語処理プログラムの正当性の確認検査は、予め人手に
よって作成した検証プログラムを実行させ、その結果を
みて正当性をヂエクするようにしている。このため、予
め作成した検証プログラムを用いた初回の検査時には多
くの機能欠陥を検出できるが、２度、３度と検査に用い
るに従って、機能欠陥の検出能力が急激に低下する、い
わゆる免疫性ができてしまい、品質の高い検証を行い難
いという問題点があった。
言語処理プログラムの正当性の確認検査は、予め人手に
よって作成した検証プログラムを実行させ、その結果を
みて正当性をヂエクするようにしている。このため、予
め作成した検証プログラムを用いた初回の検査時には多
くの機能欠陥を検出できるが、２度、３度と検査に用い
るに従って、機能欠陥の検出能力が急激に低下する、い
わゆる免疫性ができてしまい、品質の高い検証を行い難
いという問題点があった。
本発明は、検証プログラムを乱数的に自動的に作成して
言語処理プログラムの検証を高品質に行うことを目的と
している。
言語処理プログラムの検証を高品質に行うことを目的と
している。
第１図を参照して問題点を解決するための手段を説明す
る。
る。
第１図において、構文・意味記述ｌは、検証プログラム
を構成する文を乱数的に作成するための構文記述および
意味記述である。
を構成する文を乱数的に作成するための構文記述および
意味記述である。
生成規則選択部３は、構文・意味記述１から乱数的に該
当する構文・意味記述を取り出して乱数文を作成するも
のである。この乱数文が前の文の実行による影響を引き
継ぎつつ多数集まって検証プログラムが構成される。
当する構文・意味記述を取り出して乱数文を作成するも
のである。この乱数文が前の文の実行による影響を引き
継ぎつつ多数集まって検証プログラムが構成される。
確認文挿入部４は、乱数文の実行によって引き起こされ
る結果を、！構文として当該乱数文に対応づけて検証プ
ログラム６中に挿入するものである。これにより、検証
プログラム内に自分自身の正当性を確認する機構を内蔵
するため、自動的にチエツクを行うことが可能となる。
る結果を、！構文として当該乱数文に対応づけて検証プ
ログラム６中に挿入するものである。これにより、検証
プログラム内に自分自身の正当性を確認する機構を内蔵
するため、自動的にチエツクを行うことが可能となる。
本発明は、第１図に示すように、言語処理プログラムの
機能であるＩＦ文などに対応する構文・意味記述ｌを参
照して、生成規則選択部３が乱数的に１つの構文・意味
記述を取り出して乱数文を作成し、確認文挿入部４がこ
の乱数文の実行により引き起こされる結果を、確認文と
して当該乱数文に対応づけて検証プログラム６中に挿入
するようにしている。
機能であるＩＦ文などに対応する構文・意味記述ｌを参
照して、生成規則選択部３が乱数的に１つの構文・意味
記述を取り出して乱数文を作成し、確認文挿入部４がこ
の乱数文の実行により引き起こされる結果を、確認文と
して当該乱数文に対応づけて検証プログラム６中に挿入
するようにしている。
従って、これら乱数文および確認文を多数集めた検証プ
ログラム６を、被検証対象の言語処理プログラムに実行
させた場合に、自動判定部７が検証プログラム６の実行
による検証プログラム６の内部判定結果がＯＫでない場
合に、正常に機能しない旨を結果−覧表８に記載などす
ることにより、言語処理プログラムの動作検証を自動的
に行うことが可能となる。この際、乱数的に生成された
多数の検証プログラム６のうち任意のものを実行させる
ことにより、免疫性を回避し、作成者の能力や工数に依
存しない高品質の検証を行うことが可能となる。
ログラム６を、被検証対象の言語処理プログラムに実行
させた場合に、自動判定部７が検証プログラム６の実行
による検証プログラム６の内部判定結果がＯＫでない場
合に、正常に機能しない旨を結果−覧表８に記載などす
ることにより、言語処理プログラムの動作検証を自動的
に行うことが可能となる。この際、乱数的に生成された
多数の検証プログラム６のうち任意のものを実行させる
ことにより、免疫性を回避し、作成者の能力や工数に依
存しない高品質の検証を行うことが可能となる。
次に、第１図から第６図を用いて本発明の１実施例の構
成および動作を順次詳細に説明する。
成および動作を順次詳細に説明する。
第１図において、構文・意味記述１は、乱数文を作成す
るための構文記述および意味記述である。
るための構文記述および意味記述である。
これは、例えば第３図に示すようなものである（後述す
る）。
る）。
ＴＰｌ＆証プログラム）自動作成部２は、構文・意味記
述１から乱数的な検証プログラム６を自動的に作成する
ものであって、構文・意味記述１から乱数的に該当する
ものを取り出して乱数文を作成する生成規則選択部３、
乱数文による結果を検証するための確認文を挿入する確
認文挿入部４、および乱数文名およびその実行結果など
を格納する記号表４などから構成されている。
述１から乱数的な検証プログラム６を自動的に作成する
ものであって、構文・意味記述１から乱数的に該当する
ものを取り出して乱数文を作成する生成規則選択部３、
乱数文による結果を検証するための確認文を挿入する確
認文挿入部４、および乱数文名およびその実行結果など
を格納する記号表４などから構成されている。
検証プログラム６−１ないし６〜ｎは、ＴＰ自動作成部
２によって作成された、言語処理プログラムを検査（検
証）するためのプログラムである。
２によって作成された、言語処理プログラムを検査（検
証）するためのプログラムである。
自動判定部７は、検証プログラム６−１ないし６−ｎの
うちのいずれかを言語処理プログラムに実行させた結果
と、当該実行させた検証プログラム６−１ないし５−ｎ
に記述されている確認文の実行による内部判定結果、即
ちＯＫ／ＮＧの出力などを確認し、ＮＧの場合にエラー
表示を結果−・覧表８に印刷などして、自動的に言語処
理プログラムの検証を行うものである。
うちのいずれかを言語処理プログラムに実行させた結果
と、当該実行させた検証プログラム６−１ないし５−ｎ
に記述されている確認文の実行による内部判定結果、即
ちＯＫ／ＮＧの出力などを確認し、ＮＧの場合にエラー
表示を結果−・覧表８に印刷などして、自動的に言語処
理プログラムの検証を行うものである。
次に、第２図フローチャートに示す順次に従って、第３
図を用いて、第１図構成の動作を順次説明する。
図を用いて、第１図構成の動作を順次説明する。
第２図において、図中■は、構文・意味記述を入力する
（与える）、これは、例えば第３面構文・意味記述を与
えることを意味している。
（与える）、これは、例えば第３面構文・意味記述を与
えることを意味している。
図中■は、乱数文の作成を行う、これは、第４図図中０
から■に示す順序によって、第２行目に示す文に対応し
て第６行目および第７行目の記載のうち乱数的に第６行
目を選択し、かつ第１０行目および第１１行目の記載の
うち乱数的に第１０行目を選択して例えば“ＩＦ Ａ
≧３ ＴＨＥＮＢ −Ｎ ｕ ｍ ＋ Ｎ ｕ ｍ
”を生成し、更に、図中Ｏ（前者のＮｕｍに対する乱数
値例えば“５”）、■（後者のＮｕｍに対する乱数値例
えば“３”）を持つ乱数文を作成することを意味してい
る（第４図および第５図を用いて詳細に説明する）。こ
の結果、“ＩＦ Ａ≧３ＴＨＥＮＢ−５＋３２が生成
される。
から■に示す順序によって、第２行目に示す文に対応し
て第６行目および第７行目の記載のうち乱数的に第６行
目を選択し、かつ第１０行目および第１１行目の記載の
うち乱数的に第１０行目を選択して例えば“ＩＦ Ａ
≧３ ＴＨＥＮＢ −Ｎ ｕ ｍ ＋ Ｎ ｕ ｍ
”を生成し、更に、図中Ｏ（前者のＮｕｍに対する乱数
値例えば“５”）、■（後者のＮｕｍに対する乱数値例
えば“３”）を持つ乱数文を作成することを意味してい
る（第４図および第５図を用いて詳細に説明する）。こ
の結果、“ＩＦ Ａ≧３ＴＨＥＮＢ−５＋３２が生成
される。
図中■は、確認文の挿入を行う。これは、図中■で作成
した乱数文の実行によって引き起こされる結果、例えば
図中■の例では、Ａ≧３の条件が満足された場合に、５
＋３−８をＷｌ認文の形式で、当該乱数文に対応づけて
検証プログラム６中に挿入する（第５ｒＥＪを用いて詳
述する）。
した乱数文の実行によって引き起こされる結果、例えば
図中■の例では、Ａ≧３の条件が満足された場合に、５
＋３−８をＷｌ認文の形式で、当該乱数文に対応づけて
検証プログラム６中に挿入する（第５ｒＥＪを用いて詳
述する）。
図中■は、文の数かに個よりも大きいか否かを判別する
。ＹＥＳの場合には、検証プログラム６として予定した
数にの乱数文および確認文が対として作成されたので、
１つの検証プログラムの作成を終了する。Ｎｏの場合に
は、図中■から■を繰り返し実行する。
。ＹＥＳの場合には、検証プログラム６として予定した
数にの乱数文および確認文が対として作成されたので、
１つの検証プログラムの作成を終了する。Ｎｏの場合に
は、図中■から■を繰り返し実行する。
以上の処理によって、言語処理プログラムの機能を検証
するための乱数文および確認文が自動生成され、検証プ
ログラムが作成されることとなる。
するための乱数文および確認文が自動生成され、検証プ
ログラムが作成されることとなる。
同様に、検証プログラムの作成を続行し、検証プログラ
ムの数が十分（この例ではＮ）と判断される場合に全体
の処理を終了する。
ムの数が十分（この例ではＮ）と判断される場合に全体
の処理を終了する。
次に、第４図（イ）“ＩＦ ＡＩ≧３ ＴＨＥＮ
Ａ２＝Ａ２＋３”という文を、第３図に示すような生
成規則に従い、第４図に示す選択順序で生成する。ここ
で、第４図図中０から［相］は、第４図図中０から［相
］の記述にほぼ対応している。この作成された第４図（
イ）文によって引き起こされる状態変化をｆｌ！認する
確認文を、第５図に示すように作成する。これは、例え
ば第５図（イ）に示すように、“Ａ１が５、Ａ２が１の
値をもつとき″ （これらＡＩ、Ａ２の値は、乱数的に
生成される）、上記生成した第５図（イ）文（乱数文）
の次に、確認文として、”ＣＡＬＬ ＣＨＥＣＫ（１
０、Ａ２、↓、１０ｔｈ ｃｈｅｃｋ’） ”を挿
入する。ここで、先頭から第３番目の“４”が正解値で
ある。また、同様に、第５図（ロ）に示す場合（これは
条件が満足されない場合）には、正解値“５“が確認文
中に記載されている。このような処理は、第１図に示し
た構文・意味記述１の意味の記述（第３図の各行の括弧
内の記述）、および第６ｒＭの記号表によって行われる
。
Ａ２＝Ａ２＋３”という文を、第３図に示すような生
成規則に従い、第４図に示す選択順序で生成する。ここ
で、第４図図中０から［相］は、第４図図中０から［相
］の記述にほぼ対応している。この作成された第４図（
イ）文によって引き起こされる状態変化をｆｌ！認する
確認文を、第５図に示すように作成する。これは、例え
ば第５図（イ）に示すように、“Ａ１が５、Ａ２が１の
値をもつとき″ （これらＡＩ、Ａ２の値は、乱数的に
生成される）、上記生成した第５図（イ）文（乱数文）
の次に、確認文として、”ＣＡＬＬ ＣＨＥＣＫ（１
０、Ａ２、↓、１０ｔｈ ｃｈｅｃｋ’） ”を挿
入する。ここで、先頭から第３番目の“４”が正解値で
ある。また、同様に、第５図（ロ）に示す場合（これは
条件が満足されない場合）には、正解値“５“が確認文
中に記載されている。このような処理は、第１図に示し
た構文・意味記述１の意味の記述（第３図の各行の括弧
内の記述）、および第６ｒＭの記号表によって行われる
。
以上のように、乱数的に選択して作成した乱数文および
この乱数文の実行により引き起こされる結果（正解値）
をＣＡＬＬ文中に記載しておくことにより、これら乱数
文および確認文からなる検証プログラム６−１ないし６
−ｎのいずれかを実行させた場合に、自動判定部７が検
証プログラムの内部判定結果を確認することにより、自
動的に言語処理プログラムの検証を行うことが可能とな
る。第５図に示したＣＨＥＣＫというサブルーチンは、
正解値と、ｉｉ！認すべき変数の値とを比較し、一致し
たなら即復帰し、不一致ならテスト項目番号、コメント
など必要な情報を出力し、ＮＧが生じたことをフラグな
どで記憶しておくなどの操作を行うようにしている。
この乱数文の実行により引き起こされる結果（正解値）
をＣＡＬＬ文中に記載しておくことにより、これら乱数
文および確認文からなる検証プログラム６−１ないし６
−ｎのいずれかを実行させた場合に、自動判定部７が検
証プログラムの内部判定結果を確認することにより、自
動的に言語処理プログラムの検証を行うことが可能とな
る。第５図に示したＣＨＥＣＫというサブルーチンは、
正解値と、ｉｉ！認すべき変数の値とを比較し、一致し
たなら即復帰し、不一致ならテスト項目番号、コメント
など必要な情報を出力し、ＮＧが生じたことをフラグな
どで記憶しておくなどの操作を行うようにしている。
第６図は記号表側を示す、これは、１つの検証プログラ
ムに１つ設けられるものであって、全ての乱数文の名前
例えばＡｔ％Ａ２、Ａ３、・・・ＡＮと、これら乱数文
の実行結果８．５．４・・・とを少なくとも格納したも
のである。これを用いて、６１１認文などを作成するよ
うにしている。
ムに１つ設けられるものであって、全ての乱数文の名前
例えばＡｔ％Ａ２、Ａ３、・・・ＡＮと、これら乱数文
の実行結果８．５．４・・・とを少なくとも格納したも
のである。これを用いて、６１１認文などを作成するよ
うにしている。
尚、第４図図中“×”は、第３図（１４−１）と（１４
−２）との間に、第３行目の右辺１．−Ｂに確定すると
いう操作が入ることを表す。
−２）との間に、第３行目の右辺１．−Ｂに確定すると
いう操作が入ることを表す。
以上説明したように、本発明によれば、構文・意味記述
ｌを参照して乱数的に乱数文およびこの乱数文の実行に
よって引き起こされる結果を確認文として当該乱数文に
対応づけて挿入した複数の異なる検証プログラム６−１
ないし６−ｎを作成する構成を採用しているため、検証
プログラム６−１ないし６−ｎのうちのいずれかを被検
証対象の言語処理プログラムに実行させ、自動判定部７
が検証プログラムの実行による内部判定結果を確認し、
ＯＫでない場合に、正常に機能しない旨を結果−覧表８
に自動的に記載させて検証することができる。また、乱
数的に生成された多数の検証プログラム６−１ないし６
−ｎのうちの任意のものを実行させることにより、免疫
性を回避して高品質の検証を行うことが可能となる。
ｌを参照して乱数的に乱数文およびこの乱数文の実行に
よって引き起こされる結果を確認文として当該乱数文に
対応づけて挿入した複数の異なる検証プログラム６−１
ないし６−ｎを作成する構成を採用しているため、検証
プログラム６−１ないし６−ｎのうちのいずれかを被検
証対象の言語処理プログラムに実行させ、自動判定部７
が検証プログラムの実行による内部判定結果を確認し、
ＯＫでない場合に、正常に機能しない旨を結果−覧表８
に自動的に記載させて検証することができる。また、乱
数的に生成された多数の検証プログラム６−１ないし６
−ｎのうちの任意のものを実行させることにより、免疫
性を回避して高品質の検証を行うことが可能となる。
第１図は本発明の１実施例構成図、第２図は本発明の動
作説明フローチャート、第３図は構文・意味記述例、第
４図は本発明の動作説明図、第５図は本発明に係わる乱
数文および確認文例、第６図は記号表側を示す。 図中、１は構文・意味記述、２はＴＰ（検証プログラム
）自動作成部、３は生成規則選択部、４はｆＩ認文挿入
部、６．６−１から６−ｎは検証プログラム、７は自動
判定部、８は結果−覧表を表す。 人９：８月 の １ 笑方艷干ア１肩４成し〕涜 １
凹 （イ） 乃 ５ 凹 記号表側 乃 ６ 図
作説明フローチャート、第３図は構文・意味記述例、第
４図は本発明の動作説明図、第５図は本発明に係わる乱
数文および確認文例、第６図は記号表側を示す。 図中、１は構文・意味記述、２はＴＰ（検証プログラム
）自動作成部、３は生成規則選択部、４はｆＩ認文挿入
部、６．６−１から６−ｎは検証プログラム、７は自動
判定部、８は結果−覧表を表す。 人９：８月 の １ 笑方艷干ア１肩４成し〕涜 １
凹 （イ） 乃 ５ 凹 記号表側 乃 ６ 図
Claims (1)
- 【特許請求の範囲】 言語処理プログラムの動作の正当性を検証する言語処理
プログラム検証方式において、 言語処理プログラムの機能であるＩＦ文などの文を構成
する文／式／変数／定数などに対して、予め作成した生
成規則のうちから乱数的に選択して当該文に対する乱数
文を作成する生成規則選択部（３）と、 この生成規則選択部（３）によって作成された乱数文の
実行により引き起こされる結果を、確認文として当該乱
数文に対応づけて挿入する確認文挿入部（４）とを備え
、 これら作成および挿入された乱数文および確認文からな
る一連の検証プログラム（６）を言語処理プログラムに
実行させて動作の正当性の検証を行うように構成したこ
とを特徴とする言語処理プログラム検証方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63046510A JPH01220044A (ja) | 1988-02-29 | 1988-02-29 | 言語処理プログラム検証方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63046510A JPH01220044A (ja) | 1988-02-29 | 1988-02-29 | 言語処理プログラム検証方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH01220044A true JPH01220044A (ja) | 1989-09-01 |
Family
ID=12749256
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP63046510A Pending JPH01220044A (ja) | 1988-02-29 | 1988-02-29 | 言語処理プログラム検証方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH01220044A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7062760B2 (en) | 2000-06-23 | 2006-06-13 | Nec Corporation | System and method for measuring syntax coverage percentage |
| JP2007128372A (ja) * | 2005-11-04 | 2007-05-24 | Hitachi Information & Communication Engineering Ltd | コンピュータプログラムのテストプログラム生成方法 |
-
1988
- 1988-02-29 JP JP63046510A patent/JPH01220044A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7062760B2 (en) | 2000-06-23 | 2006-06-13 | Nec Corporation | System and method for measuring syntax coverage percentage |
| JP2007128372A (ja) * | 2005-11-04 | 2007-05-24 | Hitachi Information & Communication Engineering Ltd | コンピュータプログラムのテストプログラム生成方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Nuseibeh et al. | Leveraging inconsistency in software development | |
| Bowen | Formal specification and documentation using Z: A case study approach | |
| Gervasi et al. | Lightweight validation of natural language requirements | |
| Wang et al. | Formalizing and integrating the dynamic model within OMT | |
| US10747641B2 (en) | System and method for cause point analysis for effective handling of static analysis alarms | |
| JP6719798B1 (ja) | 論理結合型プログラムが実行時に発生する非同期型アルゴリズムの正統性の検証を実施可能にするためのプログラム | |
| JPH01220044A (ja) | 言語処理プログラム検証方式 | |
| JPH10240575A (ja) | 大量データファイル一括更新処理プログラムの検査方法 | |
| Wrenn et al. | Reading Between the Lines: Student Help-Seeking for (Un) Specified Behaviors | |
| Bahill et al. | How the testing techniques for a decision support system changed over nine years | |
| Mitchell et al. | Advanced software testing-vol. 3: Guide to the istqb advanced certification as an advanced technical test analyst | |
| Engle et al. | Software Maintenance Exercises for a Software Engineering Project Course | |
| Machado et al. | Automatic test-case generation | |
| JP2005134691A (ja) | ネットワークを経由した教育システムの自動採点装置 | |
| Saifan et al. | Using formal methods for test case generation according to transition-based coverage criteria | |
| Dyer et al. | Correctness verification: Alternative to structural software testing | |
| JPH0756732A (ja) | テスト結果検証プログラム生成方法およびこれを用いるテスト結果自動検証方法 | |
| CN115455903A (zh) | 一种验证操作符的系统 | |
| JPH01261737A (ja) | 言語プロセッサの検査自動管理方式 | |
| JPH07200356A (ja) | チェックリスト自動消込みシステム | |
| JP3570578B2 (ja) | 文書データベース管理装置と文書データベース管理装置における文書型を評価して文書を生成する際のノードの停止性を検査する方法 | |
| JP2002073373A (ja) | 修正確認検査項目を元に周辺・類似機能を確認する検査プログラムを抽出するプログラム検査装置 | |
| Goldstein | Summary of MYCROFT: A system for understanding simple picture programs | |
| Massey et al. | X Meets Z: Verifying Correctness in the Presence of POSIX Threads. | |
| JPH07160714A (ja) | 日本語文校正装置 |