《軟體測試中的若干組合結構研究》是依託蘇州大學,由殷劍興擔任項目負責人的面上項目。
基本介紹
- 中文名:軟體測試中的若干組合結構研究
- 項目類別:面上項目
- 項目負責人:殷劍興
- 依託單位:蘇州大學
項目摘要,結題摘要,
項目摘要
隨著計算機技術的飛速發展,軟體系統變得越來越龐大。軟體開發帶來了對於軟體系統測試的許多挑戰。組件之間的互動作用量大而且複雜,難以預料。在理論上,人們可對組件之間所有可能的互動作用逐一進行測試, 但這樣的窮試方法在實踐上顯然是不可行的。在這樣的背景下,組合測試作為一種科學、有效的軟體測試方法受到了組合數學和軟體工程領域中諸多學者的高度重視和密切關注,成為目前非常活躍的一個研究領域。研究的焦點是組合測試用例集的生成問題,即如何針對具體待測軟體系統,構建規模儘可能小的測試用例集,以便在保證錯誤檢測和定位能力的前提下儘可能降低測試成本、提高測試效率。本項目瞄準當前軟體系統測試面臨的挑戰和組合設計領域前沿,研究作為軟體測試用例集的變強度覆蓋陣、定位陣和檢測陣等若干組合結構的構造問題、最佳化問題及其相關問題。項目研究成果的取得將為軟體測試提供新的組合方法和新的組合測試用例集。
結題摘要
隨著計算機技術的飛速發展,軟體系統變得越來越龐大。軟體開發帶來了對於軟體系統測試的許多挑戰。組件之間的互動作用量大而且複雜,難以預料。在這樣的背景下,組合測試作為一種科學、有效的軟體測試方法受到了組合數學和軟體工程領域中學者的高度重視和密切關注。本項目對軟體測試用例集包括覆蓋陣、定位陣和檢測陣的構造問題和最優性問題,以及相關的問題展開了較為深入的研究,取得了實質性的研究進展。 研究成果包括:給出了構造任意強度正交陣列的疊加方法,從而解決了Hedayat, Sloane and Stufken 提出的一個問題 (Orthogonal Arrays, pp. 220);找到了混合水平檢測陣列的最優性判別準則, 並運用組合方法和最佳化算法構造了多類達到該下界的最優檢測陣列,為軟體測試提供了新的組合方法和新的組合測試用例集。項目實施的四年間,項目組在SCI源期刊上發表學術論文14篇,其中 1 篇發表在統計學頂級期刊《The Annals of Statistics》上,4 篇發表在資訊理論頂級期刊《IEEE Trans. IT》上。