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

並行処理プログラムを対象としたテストケース生成技法の確立

并行处理程序测试用例生成技术的建立

基本信息

批准号：
11780222
负责人：
片山徹郎
金额：
$ 1.22万
依托单位：
University of Miyazaki (2000)Nara Institute of Science and Technology (1999)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2000
项目状态：
已结题

项目摘要

本研究では、並行処理プログラムのためのテストケース生成技法の有効性の検証、および、テストケースを自動的に生成するツールの開発を行なう。昨年度までに、並行処理プログラムのための新たなテスト基準である、相互作用列テスト基準(Interaction Sequences Testing Criteria(ISTC_k))を提案し、既に提案済みの並行処理プログラムの動作を把握するためのモデルである、事象相互作用グラフを用いて、このモデル上で、相互作用列テスト基準を満足するテストケースを生成するためのアルゴリズムを考案した。今年度は、このアルゴリズムを実装することにより、テストケース自動生成システムを開発し、生成システムおよび生成技法の評価を行なう予定であった。ここで、提案した相互作用列テスト基準では、相互作用列の長さに関する変数kを導入しており、このkの値を大きくすれば、より詳細なテストが行なえる反面、テストに必要な時間が増大するという特徴がある。すなわち、被テストプログラムの実行の振舞いや特徴とテストに費やせるコストとを考慮して、この変数kの値を決定しなければならない。また、kの値を大きくすればテストは詳細に行なうことになるが、具体的にどのような誤りが発見できるのかについては、検討していなかった。そこで今年度において、テストケース自動生成システムの開発を進めるよりも先に、相互作用列テスト基準における変数kの値について、定性的な評価を行なうことが重要と考えるに至った。以上で述べた、相互作用列テスト基準における変数kの値に対しての特徴とその考察に関して、情報処理学会全国大会で発表する予定である。

This study examines the effectiveness of parallel processing generation techniquesの検证, および, テストケースをautomatically generate するツールの开発を行なう. Yesterday's test, parallel processing test, new test benchmark, and interaction sequence test (Interaction Sequences Testing Criteria (ISTC_k)) Proposal, Proposal, Parallel Processing, Action Grasp, Event Phase Interaction グラフを用いて、このモデル上で、Interaction column テストBenchmarkを満足するテストケースをGenerationするためのアルゴリズムをKao caseした. This year's は、このアルゴリズムを実装することにより、テストケース is automatically generatedステムを开発し、Generation システムおよびGeneration Techniqueの Comment価を行なう下注であった.ここで、Proposal したInteraction sequence てストbaseline では、Interaction sequence の长さに关する変numberkを Import しており、このkの夤を大きくすれば、よりDetailsなテストが行なえる Opposite、テストにNecessary timeが Increase大するという特徴がある.すなわち、为テストプログラムの実行の真动いや特徴とテストに飞やせるコストとをConsiderationして、この変numberkの値をDecisionしなければならない.また、kの値を大きくすればテストはDetailed に行なうことになるが、Specific The にどのような mistaken りが発见できるのかについては, 検取していなかった.そこでThis year's において, テストケース automatically generate システムの开発を入めるよりも前に, interaction columnなストBenchmarkにおける変num kの値について、Qualitative なvaluation価を行なうことがimportantとtestえるに～った. The above is a summary of the above, the interaction list and the benchmark number kの夤に対しての特徴とそのinvestigation and the National Conference of the Information Processing Society are scheduled to be completed.