今日頭條
官方微信
官方抖音
案例頻道北京廣利核系統工程有限公司 張運濤，何瑋，曹宗生，孟廣國
摘要：可編程邏輯器件在核電數字化儀控設備中的應用越來越廣泛。對可編程邏輯器件進行功能仿真是驗證其正確性及安全性的重要手段。核電標準明確提出要對可編程邏輯進行充分的仿真驗證。代碼覆蓋率是功能仿真驗證的重要指標，但代碼覆蓋率有局限性，較高的代碼覆蓋率下仿真測試不一定完備。本文首次將功能覆蓋率統計技術用于核電DCS產品可編程邏輯驗證。文中功能覆蓋率統計技術結合了受約束的隨機激勵方法來減小定向測試用例的工作量，并且采用斷言進行自動檢查提高了對結果正確性檢查的效率。在達到同等代碼覆蓋率的基礎上，通過采用功能覆蓋率統計技術達到了對被測對象的功能高覆蓋，進而保障了仿真驗證的充分性。目前功能覆蓋率統計技術已應用于DCS系統設備接口模塊的優選邏輯驗證。
關鍵詞：核電DCS；可編程邏輯；功能覆蓋率
在線預覽：功能覆蓋率統計用于核級可編程邏輯仿真驗證
摘自《自動化博覽》2017年6月刊
北京市公安局海淀分局備案號：11010802023656號