面向變異分析的協(xié)議安全測(cè)試方法

章志燮 周 顥 趙保華

摘要：在基于構(gòu)造類別代數(shù)的協(xié)議描述上引入變異分析方法，由此提出了一種基于錯(cuò)誤模型的協(xié)議安全測(cè)試方法。通過(guò)設(shè)計(jì)針對(duì)構(gòu)造類別代數(shù)的變異算子，限制了協(xié)議中的錯(cuò)誤集合；應(yīng)用變異算子生成變異體集合，并消除其中的等價(jià)變異體；基于變異體構(gòu)造安全測(cè)試?yán)?。同比研究表明，采用基于錯(cuò)誤模型的變異分析方法，可以有效解決協(xié)議安全測(cè)試中忽視協(xié)議數(shù)據(jù)流處理過(guò)程、錯(cuò)誤集合無(wú)限和缺少結(jié)果判斷機(jī)制等問(wèn)題，限定協(xié)議可能存在的錯(cuò)誤集合，有利于測(cè)試的量化和評(píng)估，能夠更有針對(duì)性地進(jìn)行測(cè)試?yán)龢?gòu)造和測(cè)試結(jié)果判斷，提高測(cè)試能力。