软件测试的控制论方法
外文标题 | SOFTWARE TESTING IN THE CONTEXT OF SOFTWARE CYBERNETICS |
文献类型 | 期刊 |
作者 | 蔡开元[1];李永超[2];景涛[3];白成刚[4] |
机构 | [1]北京航空航天大学自动控制系,北京航空航天大学自动控制系,北京航空航天大学自动控制系,北京航空航天大学自动控制系 北京100083,北京100083,北京100083,北京100083 [2]北京航空航天大学自动控制系,北京航空航天大学自动控制系,北京航空航天大学自动控制系,北京航空航天大学自动控制系 北京100083,北京100083,北京100083,北京100083 [3]北京航空航天大学自动控制系,北京航空航天大学自动控制系,北京航空航天大学自动控制系,北京航空航天大学自动控制系 北京100083,北京100083,北京100083,北京100083 [4]北京航空航天大学自动控制系,北京航空航天大学自动控制系,北京航空航天大学自动控制系,北京航空航天大学自动控制系 北京100083,北京100083,北京100083,北京100083 ↓ |
来源信息 | 年:2002卷:23期:5页码范围:448-454 |
期刊信息 | 航空学报ISSN:1000-6893 |
关键词 | 软件控制论;受控马尔可夫链;软件测试;自适应测试;随机测试 |
摘要 | 软件测试被认为是软件开发过程中理解最为不清的一环.部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化.软件测试的反馈机制迄今尚未形成.基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统.软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现.在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性. |
收录情况 | PKU |
所属部门 | 自动化科学与电气工程学院 |
链接地址 | http://d.g.wanfangdata.com.cn/Periodical_hkxb200205011.aspx |
DOI | 10.3321/j.issn:1000-6893.2002.05.011 |
人气指数 | 1 |
浏览次数 | 1 |
基金 | 国家自然科学基金; 国家高技术研究发展计划(863计划); 航空科研项目 |
全文
影响因子:
自动控制系
自动控制系
dc:title:软件测试的控制论方法
dc:creator:蔡开元;李永超;景涛,等
dc:date: publishDate:2002-09-25
dc:type:期刊
dc:format: Media:航空学报
dc:identifier: LnterrelatedLiterature:航空学报.2002,23(5),448-454.
dc:identifier:DOI:10.3321/j.issn:1000-6893.2002.05.011
dc: identifier:ISBN:1000-6893