软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2012年
7期
1688-1701
,共14页
软件测试%测试用例%软件失效%软件缺陷%程序分析
軟件測試%測試用例%軟件失效%軟件缺陷%程序分析
연건측시%측시용례%연건실효%연건결함%정서분석
随机测试是实践中广泛采用的一种黑盒测试方法.近年来提出的适应性随机测试方法改进了随机测试的不足,仿真实验结果表明,改进效果取决于软件失效域的特征.提出以测试约束刻画软件失效域在输入域上的分布,探讨了基于现有的程序分析技术构造测试约束的过程,讨论了基于测试约束的软件失效域的特征分析方法.以一个实例软件验证所提出的测试约束构造过程及其软件失效域特征分析方法.测试约束揭示了软件故障的触发与传播的内在机制,基于测试约束的软件失效域的特征分析方法有助于改进测试用例的设计质量以及评价适应性随机测试方法的适用性.
隨機測試是實踐中廣汎採用的一種黑盒測試方法.近年來提齣的適應性隨機測試方法改進瞭隨機測試的不足,倣真實驗結果錶明,改進效果取決于軟件失效域的特徵.提齣以測試約束刻畫軟件失效域在輸入域上的分佈,探討瞭基于現有的程序分析技術構造測試約束的過程,討論瞭基于測試約束的軟件失效域的特徵分析方法.以一箇實例軟件驗證所提齣的測試約束構造過程及其軟件失效域特徵分析方法.測試約束揭示瞭軟件故障的觸髮與傳播的內在機製,基于測試約束的軟件失效域的特徵分析方法有助于改進測試用例的設計質量以及評價適應性隨機測試方法的適用性.
수궤측시시실천중엄범채용적일충흑합측시방법.근년래제출적괄응성수궤측시방법개진료수궤측시적불족,방진실험결과표명,개진효과취결우연건실효역적특정.제출이측시약속각화연건실효역재수입역상적분포,탐토료기우현유적정서분석기술구조측시약속적과정,토론료기우측시약속적연건실효역적특정분석방법.이일개실례연건험증소제출적측시약속구조과정급기연건실효역특정분석방법.측시약속게시료연건고장적촉발여전파적내재궤제,기우측시약속적연건실효역적특정분석방법유조우개진측시용례적설계질량이급평개괄응성수궤측시방법적괄용성.