控制论方法在软件测试中的应用
文献类型 | 学位 |
作者 | 李永超[1] |
机构 | 北京航空航天大学 ↓ |
授予学位 | 硕士 |
年度 | 2003 |
学位授予单位 | 北京航空航天大学 |
语言 | 中文 |
关键词 | 软件控制论;软件测试;受控马尔可夫链;自适应控制;自适应测试;随机测试 |
摘要 | 软件测试的控制论方法把被测软件作为控制对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统.该文对被测软件进行受控马尔可夫链的建模,在受控马尔可夫链的框架内研究了控制论方法在软件测试中的应用—自适应软件测试的方法,并通过仿真对自适应软件测试在线估计问题进行讨论,发现自适应控制器的输出在绝大多数情况下与最优控制器的输出一致.通过对多软件系统的自适应测试,具有测试用例限制的自适应软件测试,构件软件的自适应测试进行仿真,对中国象棋软件进行实验研究,验证了自适应测试是对传统随机测试方法的改进,自适应测试能够完成用尽量少的测试代价检测到更多的软件缺陷这一目标. |
影响因子:
dc:title:控制论方法在软件测试中的应用
dc:creator:李永超
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media:北京航空航天大学
dc:identifier: LnterrelatedLiterature:北京航空航天大学.2003.
dc:identifier:DOI:
dc: identifier:ISBN: