面向嵌入式軟件缺陷檢測的動(dòng)態(tài)測試用例生成.pdf

1、軟件漏洞是軟件在設(shè)計(jì)實(shí)現(xiàn)時(shí)由于軟件功能自身的復(fù)雜性和抽象性，導(dǎo)致在具體實(shí)現(xiàn)時(shí)由于考慮不周全所引起的缺陷。軟件漏洞所造成的危害嚴(yán)重，開發(fā)人員需要盡最大可能在軟件發(fā)布之前修復(fù)軟件中存在的安全隱患，軟件測試一直以來都是軟件安全領(lǐng)域的研究熱點(diǎn)，而用于軟件測試的測試用例對(duì)于發(fā)現(xiàn)軟件中存在的缺陷起著至關(guān)重要的作用，研究測試用例的自動(dòng)生成技術(shù)不僅能降低測試人員繁重的工作，而且能有效減少軟件公司在軟件測試方面的測試成本，可以說是一個(gè)極具研究價(jià)值的課題。

2、
　　測試用例生成技術(shù)的典型代表Fuzzing測試技術(shù)，具有生成用例速度快，應(yīng)用廣泛的特點(diǎn)，但由于Fuzzing測試技術(shù)本身缺乏對(duì)程序的理解，生成測試用例的過程具有很大的隨機(jī)性，導(dǎo)致生成的測試用例難以保證測試效率。針對(duì)以上問題本文所做工作包括以下四方面:
　　(1)研究Valgrind中間語言和插裝過程
　　對(duì)中間語言的不同定義和表現(xiàn)形式進(jìn)行了介紹，對(duì)程序的插裝原理和插裝時(shí)機(jī)進(jìn)行了分析，通過插裝輔助代碼收集程序中的分支

3、條件。
　　(2)研究污點(diǎn)數(shù)據(jù)流
　　對(duì)污點(diǎn)數(shù)據(jù)的識(shí)別，傳播形式進(jìn)行了分析，在污點(diǎn)數(shù)據(jù)分析的基礎(chǔ)上介紹了正向分析法，提出比正向分析效率更高的逆向分析，根據(jù)逆向分析的思想提出了函數(shù)依賴關(guān)系，由依賴關(guān)系生成函數(shù)依賴矩陣，通過依賴矩陣確定引起異常的函數(shù)調(diào)用初始點(diǎn)。
　　(3)研究路徑遍歷
　　通過污點(diǎn)數(shù)據(jù)分析確定敏感區(qū)域，提出基于敏感區(qū)域覆蓋的路徑遍歷，并對(duì)實(shí)現(xiàn)思想進(jìn)行了介紹，并針對(duì)路徑遍歷技術(shù)中存在的一些路徑問題進(jìn)行