<object id="qseaa"></object> <s id="qseaa"></s>
案例頻道北京廣利核系統工程有限公司 董玲玲 曹宗生 李旗 劉元
摘要：在核安全級軟件的測試中，單元測試是必不可少的測試手段之一。目前，部分核安全級軟件采用函數式編程語言OCaml開發，但針對該語言開發的核安全級軟件進行單元測試，尚缺乏具體的執行標準，通過確認測試來補充。本文提出采用第三方測試工具Kaputt對OCaml開發的核安全軟件進行單元測試的方法，介紹Kaputt的測試模式、測試執行過程，及測試后分析關鍵字的覆蓋率，以判斷測試是否完備。該方法已在自主化核安全級軟件測試中進行實踐，取得良好的效果。
關鍵詞：函數式編程；OCaml；Kaputt；單元測試
摘自《自動化博覽》2017年5月刊
電話：010-62669087 控制網版權所有未經許可不得轉載
地址：北京市海淀區上地十街輝煌國際5號樓1416室(100085)
版權所有 控制網 京ICP備14036844-2號 
北京市公安局海淀分局備案號：11010802023656號
x
| 1.我有以下需求： | |
|
|
|
| 2.詳細的需求： | |
| * | |
| 姓名: | * |
| 單位: | |
| 電話: | * |
| 郵件: | * |
今日頭條
官方微信
官方抖音
<object id="qseaa"></object> <s id="qseaa"></s>