基于對象狀態(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è)計新型反饋機制,提升測試效率。 |
