中国科学技术大学学报
中國科學技術大學學報
중국과학기술대학학보
JOURNAL OF UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA
2010年
5期
505-512
,共8页
王嘉捷%蒋凡%程绍银%张晓菲%林锦滨
王嘉捷%蔣凡%程紹銀%張曉菲%林錦濱
왕가첩%장범%정소은%장효비%림금빈
软件演进%按需符号执行%测试生成%缺陷发现%静态分析%回归测试
軟件縯進%按需符號執行%測試生成%缺陷髮現%靜態分析%迴歸測試
연건연진%안수부호집행%측시생성%결함발현%정태분석%회귀측시
为了及时彻底地测试演进着的软件,提出了软件演进驱动的按需自动测试算法.首先,根据软件演进时源文件的文本更新,通过控制与数据依赖分析识别受影响的语义变化区域,再结合代码安全缺陷分析按需构造精简测试流图.接着,按需符号执行图中各条路径且缺陷关联路径优先,主动探测和求解缺陷触发条件以排除误报,在路径分支点按需克隆执行环境以避免路径前缀的重复执行,并及时求解路径条件以剪除不可行路径.最终,自动生成针对软件更新实现路径覆盖的精简测试例集合.目前已实现了测试工具原型,用其测试了多个开源软件,发现了OpenSSL代码中的真实缺陷.
為瞭及時徹底地測試縯進著的軟件,提齣瞭軟件縯進驅動的按需自動測試算法.首先,根據軟件縯進時源文件的文本更新,通過控製與數據依賴分析識彆受影響的語義變化區域,再結閤代碼安全缺陷分析按需構造精簡測試流圖.接著,按需符號執行圖中各條路徑且缺陷關聯路徑優先,主動探測和求解缺陷觸髮條件以排除誤報,在路徑分支點按需剋隆執行環境以避免路徑前綴的重複執行,併及時求解路徑條件以剪除不可行路徑.最終,自動生成針對軟件更新實現路徑覆蓋的精簡測試例集閤.目前已實現瞭測試工具原型,用其測試瞭多箇開源軟件,髮現瞭OpenSSL代碼中的真實缺陷.
위료급시철저지측시연진착적연건,제출료연건연진구동적안수자동측시산법.수선,근거연건연진시원문건적문본경신,통과공제여수거의뢰분석식별수영향적어의변화구역,재결합대마안전결함분석안수구조정간측시류도.접착,안수부호집행도중각조로경차결함관련로경우선,주동탐측화구해결함촉발조건이배제오보,재로경분지점안수극륭집행배경이피면로경전철적중복집행,병급시구해로경조건이전제불가행로경.최종,자동생성침대연건경신실현로경복개적정간측시례집합.목전이실현료측시공구원형,용기측시료다개개원연건,발현료OpenSSL대마중적진실결함.
