摘要
软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析 ,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况 ,软件测试的控制论方法将软件测试问题当作控制问题 ,被测软件当作被控对象 ,软件测试策略当作相应的控制器 ,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科 ,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略 ,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试 ,并与随机测试进行比较 ,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。
The controlled Markov chains (CMC) approach to software testing wakes the software testing as a control problem. The software under test serves as a controlled object that is modeled as a CMC, and the software testing strategy serves as the corresponding controller. They constitute a closed-loop feedback system, and the testing strategy is designed and optimized in accordance with testing goals, giving a priori in the setting of the theory of CMC. The CMC approach justifies the idea of software cybernetics, which is defined as the interplay between software theory/engineering and control theory/engineering. This paper presents an adaptive approach to the software testing problem and the simulation results show that the adaptive software testing is feasible and is superior to the random testing.
出处
《航空学报》
EI
CAS
CSCD
北大核心
2002年第5期448-454,共7页
Acta Aeronautica et Astronautica Sinica
基金
国家杰出青年科学基金 (6982 5 10 3 )
国家 863计划(2 0 0 1AA113 192 )
航空科学基金 (0 1F5 10 2 5 )资助项目
