基于對象狀態(tài)一致性的軟件動態(tài)更新測試方法

基本信息

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

摘要

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