今日頭條
官方微信
官方抖音
案例頻道北京廣利核系統(tǒng)工程有限公司 董玲玲 曹宗生 李旗 劉元
摘要：在核安全級(jí)軟件的測(cè)試中，單元測(cè)試是必不可少的測(cè)試手段之一。目前，部分核安全級(jí)軟件采用函數(shù)式編程語言O(shè)Caml開發(fā)，但針對(duì)該語言開發(fā)的核安全級(jí)軟件進(jìn)行單元測(cè)試，尚缺乏具體的執(zhí)行標(biāo)準(zhǔn)，通過確認(rèn)測(cè)試來補(bǔ)充。本文提出采用第三方測(cè)試工具Kaputt對(duì)OCaml開發(fā)的核安全軟件進(jìn)行單元測(cè)試的方法，介紹Kaputt的測(cè)試模式、測(cè)試執(zhí)行過程，及測(cè)試后分析關(guān)鍵字的覆蓋率，以判斷測(cè)試是否完備。該方法已在自主化核安全級(jí)軟件測(cè)試中進(jìn)行實(shí)踐，取得良好的效果。
關(guān)鍵詞：函數(shù)式編程；OCaml；Kaputt；單元測(cè)試
在線預(yù)覽：Kaputt在核安全級(jí)軟件單元測(cè)試上的應(yīng)用研究
摘自《自動(dòng)化博覽》2017年5月刊
北京市公安局海淀分局備案號(hào)：11010802023656號(hào)