软件自适应测试方法技术

软件自适应测试方法：（１）根据可控马尔可夫链模型，得到以下方程：ｖ（ｊ）＝＊＊＊；ｊ＝２，３，Ｋ，Ｎ；（２）由控制器方程，在软件测试过程中，每一步选取的测试决策应满足：Ａ↓［ｔ］＝ａｒｇｍｉｎ｛ｗ（ｉ）／θ↓［ｉ］｝；（３）如果被测软件参数Ｎ和θ↓［ｉ］已知，就可直接根据上述公式求得测试决策，从而逐步把测试进行下去；（４）利用自适应测试，在每步测试中通过在线估计系统参数（Ｎ和θ↓［ｉ］）；（５）利用估计值求得最优测试决策，逐步把测试进行下去，直到剔除所有缺陷。（*该技术在2024年保护过期，可自由使用*）

【技术实现步骤摘要】

本专利技术涉及一种软件缺陷测试方法，特别是一种。
技术介绍
自适应控制系统是通过在线实时了解被控对象，不断调节控制器，使系统的性能达到技术要求或最优。自适应系统有三大要素一是在线的实时的了解对象；二是有一个可调环节；三是使系统性能达到要求或最优。自适应控制可以分为直接自适应控制和间接自适应控制。在间接自适应控制中，被控对象的参数未知，首先在线估计对象参数，利用估计值对控制器参数进行调整使系统性能指标达到要求；而在直接自适应控制中，不对对象参数进行估计，直接通过调整控制器参数使改进系统性能。自适应测试的理论基础是以自适应控制系统为基础，即受控马尔可夫链。以软件测试为例，自适应测试方法把被测软件当作控制对象，利用受控马尔可夫链理论设计和优化软件测试策略，并把测试策略作为控制器和被测软件构成一个闭环反馈系统，它是软件测试的控制论方法的具体实现。K.Y.Cai，“AControlled Markov Chains Approach to Software Testing”，working paper，2000描述了受控马尔可夫链，受控马尔可夫链由五元素模型描述&;lt;S，A，{A本文档来自技高网...

【技术保护点】
软件自适应测试方法，其特征在于包括下列步骤：（１）根据可控马尔可夫链模型，得到以下方程：ｖ（ｊ）＝＊＊＊；ｊ＝２，３，Ｋ，Ｎ表示当软件系统缺陷数（状态）为ｊ时，最优决策ｉ（即控制器输出）的选取应该使得ｗ↓［ｊ］（ｉ）／θ↓［ ｉ］最小；当ｗ↓［ｊ］（ｉ）≡ｗ（ｉ）时，最优控制器为：ｍｉｎ｛ｗ（ｉ）／θ↓［ｉ］｝；（２）由控制器方程，在软件测试过程中，第ｔ步选取的测试决策应满足：Ａ↓［ｔ］＝ａｒｇｍｉｎ｛ｖ（ｊ）｝＝ａ↓［ｔ］；这里ｔ＝１，２，Ｋ； （３）如果被测软件参数Ｎ和θ↓［ｉ］已知，就可直接根据上述公式求得测试决策，从而逐步把测...

【技术特征摘要】
1.软件自适应测试方法，其特征在于包括下列步骤(1)根据可控马尔可夫链模型，得到以下方程v(j)=minl≤i≤m{wj(i)jθi+v(j-1)};j=2,3,K,N]]>表示当软件系统缺陷数(状态)为j时，最优决策i(即控制器输出)的选取应该使得wi(i)/θi最小；当wj(i)≡w(i)时，最优控制器为 (2)由控制器方程，在软件测试过程中，第t步选取的测试决策应满足At＝arg min{v(j)}＝αt；这里...

【专利技术属性】
技术研发人员：蔡开元，胡海，顾博，白成刚，李永超，江昌海，
申请(专利权)人：北京航空航天大学，
类型：发明
国别省市：11[中国|北京]