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