CAJ | 학술논문

目前许多文献都讨论的受控马尔科夫链软件测试模型,是通过对部分假设条件进行特殊化处理后得到的,这将导致模型的适用范围较小且偏离实际应用.依据软件控制论思想,通过一系列新的制约条件的转换,提出一种改善的、测试资源约束下的受控马尔科夫链模型来消除已有模型的缺陷.同时,该模型能够在高效性、复杂性和适用性3方面达到一个平衡点.为了证明其有效,根据该模型设计了一种新的软件缺陷优化测试策略,并对该策略进行了仿真实验,将其与传统的随机测试策略进行了比较.实验结果表明,该模型具有较高的实用性和有效性.
목전허다문헌도토론적수공마이과부련연건측시모형,시통과대부분가설조건진행특수화처리후득도적,저장도치모형적괄용범위교소차편리실제응용.의거연건공제론사상,통과일계렬신적제약조건적전환,제출일충개선적、측시자원약속하적수공마이과부련모형래소제이유모형적결함.동시,해모형능구재고효성、복잡성화괄용성3방면체도일개평형점.위료증명기유효,근거해모형설계료일충신적연건결함우화측시책략,병대해책략진행료방진실험,장기여전통적수궤측시책략진행료비교.실험결과표명,해모형구유교고적실용성화유효성.