软件测试的控制论方法

摘要：

软件测试被认为是软件开发过程中理解最为不清的一环.部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化.软件测试的反馈机制迄今尚未形成.基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统.软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现.在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性.

关键词：软件控制论、受控马尔可夫链、软件测试、自适应测试、随机测试

所属期刊栏目：23

分类号：O231;TP311.53(控制论、信息论（数学理论）)

资助基金：国家自然科学基金;国家高技术研究发展计划（863计划）;航空科研项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：448-454