基于對(duì)象狀態(tài)一致性的軟件動(dòng)態(tài)更新測(cè)試方法

基本信息

申請(qǐng)?zhí)?/td> CN202011444437.6 申請(qǐng)日 -
公開(kāi)(公告)號(hào) CN112363954B 公開(kāi)(公告)日 2021-07-30
申請(qǐng)公布號(hào) CN112363954B 申請(qǐng)公布日 2021-07-30
分類(lèi)號(hào) G06F11/36(2006.01)I;G06F8/71(2018.01)I;G06F8/30(2018.01)I 分類(lèi) 計(jì)算;推算;計(jì)數(shù);
發(fā)明人 黃頔;趙澤林;馬曉星 申請(qǐng)(專(zhuān)利權(quán))人 山東中創(chuàng)軟件工程股份有限公司
代理機(jī)構(gòu) 南京樂(lè)羽知行專(zhuān)利代理事務(wù)所(普通合伙) 代理人 李玉平
地址 250014 山東省濟(jì)南市千佛山東路41-1號(hào)
法律狀態(tài) -

摘要

摘要 本發(fā)明公開(kāi)一種基于對(duì)象狀態(tài)一致性的軟件動(dòng)態(tài)更新測(cè)試方法,包括如下步驟:步驟一、基于既定規(guī)則自動(dòng)生成測(cè)試文件(包含雙版本執(zhí)行器和每個(gè)參數(shù)的狀態(tài)構(gòu)造器),并采用抽取字面值的方法提高狀態(tài)構(gòu)造器的可靠性;步驟二、執(zhí)行基于模糊思想的動(dòng)態(tài)更新測(cè)試。每輪工具根據(jù)狀態(tài)構(gòu)造器隨機(jī)生成一組測(cè)試輸入,并由雙版本執(zhí)行器同時(shí)運(yùn)行兩版本程序。隨后比較對(duì)象狀態(tài),將產(chǎn)生不一致的特殊輸入加入種子池,指導(dǎo)下一輪生成更符合條件的輸入。本發(fā)明可以自動(dòng)構(gòu)建測(cè)試用例,減輕人工負(fù)擔(dān);利用特殊字面量,加速構(gòu)造合法的對(duì)象狀態(tài);并且借助模糊的思想,設(shè)計(jì)新型反饋機(jī)制,提升測(cè)試效率。