高信頼ソフトウェアを実現する強力なテストケース生成手法の開発

开发强大的测试用例生成方法以实现高可靠性软件

• 批准号: 17700033
• 负责人: 土屋 達弘
• 金额: $ 1.28万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17700033/
• 关键词: 組み合わせテスト; ペアワイズ法; 全ペア法; ソフトウェアテスト; 組合わせテスト; JUnit

本研究では,ソフトウェア開発におけるテスト工程の効率化を目的として,ペアワイズ法に基づいた不具合検出能力の高い,強力なテストケースの設計手法の研究・開発を行った.まず,昨年度から研究を行ってきた,テストケース実行のためのオーバヘッドを考慮したテスト生成法を完成させると共に,その定量的評価を行った.ここで実行のためのオーバヘッドとは,新しいテストケース実行の際に生じるコストのことである.例えば,プリンタや複写機のテストでは,テストケースの実行の際に,用紙トレイや印刷対象の大きさなどを設定することが必要だが,そのためのコストをモデル化したものと考えることができる.提案した生成法は2種類ある.一つは,グリーディー法と呼ばれる良いテストケースを一つずつ求めていく手法の拡張である.もう一つは,既存手法で得られたテストケースの集合に対し,実行のオーバヘッドが少なくなるよう,それらをスケジュールするという手法である.実験の結果,後者の手法の方が,オーバヘッドの少ないテストを比較的安定して生成することが分かった.更に,これまでの研究成果を総括する意味で,本課題にて実施した研究を含む,ペアワイズ法に関連した研究の体系化を行った.この結果はサーベイ論文の形で,電子情報通信学会論文誌において発表した.具体的には,約60の関連研究を精査し,それらをテストケースの生成法に基づいて分類した.また,実用の助けになるように,これまで知られている実際のシステムへの適用結果に関しても概説し,適用上の陥穽についても議論した.

The purpose of this study is to improve the efficiency of engineering projects by using the method. A research on the design technique of a strong and powerful なテストケースののの开発を行った.まず, last year's から research を行ってきた, テストケース実行のためのオーバヘッドを CONSIDER したテストGeneration Methodドとは,新しいテストケース実行の间に生じるコストのことである. Example えば,プリンタやFu Writing machine のテストでは, テストケースの実行の记に, using paper トレイやprinting 対向の大きさなどを settings ProposalたGeneration method は 2 types ある.一つは, グリーディー法と氰れる好いテストケースを一つずつ requestめていくtechniqueの拡张である.もう一つは, existing technique でGETられたテストケースのassembleに対し,実行のオーバヘッドが小なくなるよう,それらをスケジュールするというtechniqueである.実The result of 験の, the method of the latter is square, and the stable and stable production of オーバヘッドの小ないテストを is comparatively stableが分かった.Modernに,これまでのResearch resultsを総するmeaningで,This topicにて実事した Researchをcontainsむ, ペアワイズにrelated した research の行った.このRESULTS はサーベイthesis のmorphosis で, electronic situation Journal of the Journal of Communications and Communications Technology. The details are as follows: About 60 related studies are carefully examined.ストケースのGeneration methodにbasedづいてClassificationした.また,実用のhelpけになるように,これまで知られている実记のシステムへのapplicable result に关してもGeneral talk し, applicable upper の陥穽についても Discussion した.

项目成果

Model Checking Active Database Rules under Various Rule Processing Strategies

各种规则处理策略下的模型检查活动数据库规则

• 发表时间: 2006
• 期刊: 情報処理学会論文誌(トランザクション)データベース 47・SIG19
• 作者: Eun-Hye Choi;Tatsuhiro Tsuchiya;Tohru Kikuno
• 通讯作者: Tohru Kikuno

テスト実行コストを考慮したペアワイズテストセット生成法の提案,

考虑测试执行成本的成对测试集生成方法的提议，

• 发表时间: 2007
• 期刊: 電子情報通信学会技術研究報告 107,255
• 作者: 紀本眞;土屋達弘;菊野亨
• 通讯作者: 菊野亨

ディペンダブルシステム-高信頼システム実現のための耐故障・検証・テスト技術-

可靠系统 - 实现高可靠系统的容错、验证和测试技术 -

• 发表时间: 2005
• 作者: 米田友洋;梶原誠司;土屋達弘
• 通讯作者: 土屋達弘

ペアワイズテストーソフトウェアテストの効率化を求めて

成对测试 - 寻找更高效的软件测试

• 发表时间: 2007
• 期刊: 電子情報通信学会論文誌D J90-D, 10
• 作者: 土屋達弘;菊野亨
• 通讯作者: 菊野亨

Describing and Verifying Integrated Services of Home Network Systems

描述和验证家庭网络系统的集成服务

• 发表时间: 2005
• 期刊: Proc.of 12th Asia-Pacific Software Engineering Conference (APSEC 2005)
• 作者: Leelaprute;P.;Nakamura M.;Tsuchiya;T.;Matsumoto K.;Kikuno;T.
• 通讯作者: T.