软件测试的控制论方法

软件测试的控制论方法

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

作 者： 蔡开元 李永超 景涛 白成刚   作者单位： 北京航空航天大学,自动控制系,北京,100083  刊 名： 航空学报  ISTIC EI PKU 英文刊名： ACTA AERONAUTICA ET ASTRONAUTICA SINICA  年，卷(期)： 2002 23(5)  分类号： O231 TP311.53  关键词： 软件控制论   受控马尔可夫链   软件测试   自适应测试   随机测试