JPH04271440A - 試験項目自動生成方式 - Google Patents
試験項目自動生成方式Info
- Publication number
- JPH04271440A JPH04271440A JP3032619A JP3261991A JPH04271440A JP H04271440 A JPH04271440 A JP H04271440A JP 3032619 A JP3032619 A JP 3032619A JP 3261991 A JP3261991 A JP 3261991A JP H04271440 A JPH04271440 A JP H04271440A
- Authority
- JP
- Japan
- Prior art keywords
- test item
- branch
- test
- microprogram
- valid
- 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 |
|---|---|---|---|
| JP3032619A JPH04271440A (ja) | 1991-02-27 | 1991-02-27 | 試験項目自動生成方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3032619A JPH04271440A (ja) | 1991-02-27 | 1991-02-27 | 試験項目自動生成方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04271440A true JPH04271440A (ja) | 1992-09-28 |
Family
ID=12363868
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3032619A Pending JPH04271440A (ja) | 1991-02-27 | 1991-02-27 | 試験項目自動生成方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04271440A (ja) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5729676A (en) * | 1993-12-10 | 1998-03-17 | Nec Corporation | Method of generating data for evaluating programs |
| US5926638A (en) * | 1996-01-17 | 1999-07-20 | Nec Corporation | Program debugging system for debugging a program having graphical user interface |
| WO2011070695A1 (ja) * | 2009-12-07 | 2011-06-16 | 三菱電機株式会社 | シーケンス変換装置 |
| JP2012059202A (ja) * | 2010-09-13 | 2012-03-22 | Nec Commun Syst Ltd | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム |
-
1991
- 1991-02-27 JP JP3032619A patent/JPH04271440A/ja active Pending
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5729676A (en) * | 1993-12-10 | 1998-03-17 | Nec Corporation | Method of generating data for evaluating programs |
| US5926638A (en) * | 1996-01-17 | 1999-07-20 | Nec Corporation | Program debugging system for debugging a program having graphical user interface |
| WO2011070695A1 (ja) * | 2009-12-07 | 2011-06-16 | 三菱電機株式会社 | シーケンス変換装置 |
| JPWO2011070695A1 (ja) * | 2009-12-07 | 2013-04-22 | 三菱電機株式会社 | シーケンス変換装置 |
| JP2012059202A (ja) * | 2010-09-13 | 2012-03-22 | Nec Commun Syst Ltd | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP4396994B2 (ja) | リソース・ファイルの翻訳検証方法、装置、およびプログラム | |
| TW517209B (en) | Introspective editor system program and method for software translation using a facade class | |
| US20130159975A1 (en) | Detecting a broken point in a web application automatic test case | |
| JP6440895B2 (ja) | ソフトウェア分析装置及びソフトウェア分析方法 | |
| US20050235260A1 (en) | User interface application development device and development method | |
| US10628140B2 (en) | Program code generation apparatus | |
| JPH04271440A (ja) | 試験項目自動生成方式 | |
| JP6107455B2 (ja) | テストスケジュール決定装置、プログラム | |
| JP2021015481A (ja) | 情報処理プログラム、情報処理方法、及び情報処理装置 | |
| US8843896B2 (en) | Metamodeling contextual navigation of computer software applications | |
| CN103106119B (zh) | 程序自动生成装置和程序自动生成方法 | |
| JP5343840B2 (ja) | プログラムの解析装置及び解析方法 | |
| CN111400159A (zh) | 测试报告处理方法、装置、电子设备及计算机存储介质 | |
| JP2009176076A (ja) | プログラム生成装置，プログラム生成方法，プログラム及びプログラム媒体 | |
| JPH01261737A (ja) | 言語プロセッサの検査自動管理方式 | |
| JPH03139722A (ja) | オンラインプログラム作成方式 | |
| JPH0675816A (ja) | ループ処理誤り検出装置 | |
| JPH07160536A (ja) | 対話型システムのプログラムテスト支援装置 | |
| JPH02259831A (ja) | オンラインプログラム生成装置 | |
| JPH07306801A (ja) | プログラムテスト実行方式 | |
| JP2022177585A (ja) | エラーチェックプログラム、情報処理装置およびエラーチェック方法 | |
| JPH0546552A (ja) | オンライン環境追加方式 | |
| JPH03257637A (ja) | チェック項目自動抽出機構 | |
| JPH07168711A (ja) | プログラム管理方法 | |
| JPH05204699A (ja) | デバッグ時識別子探索方式 |