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