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