权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

並行処理プログラムのテスト充分性評価技法の研究

并行处理程序测试充分性评估技术研究

基本信息

批准号：
04680035
负责人：
古川善吾
金额：
$ 1.02万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1992
资助国家：
日本
起止时间：
1992 至无数据
项目状态：
已结题

项目摘要

並行処理プログラムは、計算の効率化や資源の有効活用のために必要であり、実用化が進んでいる。逐次処理プログラムに比較すると、実行のタイミングによってプログラムの動作が変わるためにプログラムが複雑になるので、より系統的な開発技法が必要である。逐次処理プログラムにおいて実用的な信頼性向上手段として使用されているプログラムのテストについては、並行処理プログラムにおいてはほとんど研究されていない。プログラムのテスト作業では、(1)テストケース/データの作成、(2)プログラムをテストデータで実行するテストの実施、(3)実行結果の確認、(4)プログラムの正しさの程度を評価するためのテスト充分性の評価、が必要である。これまで、並行処理プログラムでは(2),(3)についてはいくつかの研究がなされているけれども、(1),(4)についてはほとんど研究がなされていない。本研究では、並行処理プログラムのテスト品質向上のために、テストケースやテストデータの作成技法あるいはプログラムの正しさの程度をテストによって評価するためのテスト充分性評価技法の確立を目的とした。具体的な並行処理プログラム記述言語(Ada,C等々)を例に採り、プログラムの構造の基づいてテスト基準の測定対象項目(「広域変数データフロー」と「ランデブー通路」等々)を検討し、それらを用いたテスト充分性評価技法の有効性と実用性を検証した。具体的には、以下のことを行なった。1.Ada並行処理プログラムについて、テスト基準の測定対象項目(「広域変数データフロー」と「ランデブー通路」)に基づいたテスト充分性評価の有効性と実用性を検証し、電子情報通信学会論文誌および情報処理学会論文誌で報告した。2.並行処理プログラムを実行したときに計測のために挿入した探針による影響を解析的に調べ、計測方法を確立して、International Computer Symposiumで発表した。3.C並行処理プログラムについて測定対象項目を定義し、項番1.や2.と同様の検討を行い、情報処理学会ソフトウェア工学研究会で報告した。

At the same time, it is necessary to optimize and calculate the availability of resources for the active use of such resources. One step at a time, we must make a comparison between each and every step of the way, and then make sure that the operation of the system is not necessary. One step at a time, one by one, one by one. The operation is completed, (1) the operation is completed, (2) the operation is completed, (2) the operation is performed, (3) the results are confirmed, (4) the operation is correct, and it is necessary. In the first place, please do some research. (2), (3). Please do some research. Please do some research. The purpose of this study is to determine the accuracy of the technique in this study. the purpose of this study is to determine the accuracy of the technique. The specific information of the system (Ada,C, etc.) is used to determine the image items (such as the number of data in the field, the number of data in the field, the path of the system, etc.). The method of determining the image item (such as the number of data in the domain, the path, etc.) is effective. For the specific information, the following information is available. At the same time, 1.Ada conducts data analysis and basic level measurement of image items ("domain data analysis" and "data acquisition access"). It is necessary to determine the adequacy and adequacy of the system, and the electronic communication society, the electronic communication society, the information society, the society, etc., and so on. two。 At the same time, you need to make sure that you can make sure that the calculation is correct, and that the International Computer Symposium table is available. 3.C. At the same time, it is necessary to determine the definition and definition of the image project. 2. I am sorry to hear the report of the Engineering Research Society.