Kaputt在核安全级软件单元测试上应用研究.PDFVIP

■ 70 Column 专栏 核电仪控 Kaputt在核安全级软件 单元测试上的应用研究 Research of Kaputt Application in the Unit Testing of Nuclear Safety Grade Software ★北京广利核系统工程有限公司 董玲玲，曹宗生，李旗，刘元 摘要：在核安全级软件的测试中，单元测试是必不可少 1　引言 的测试手段之一。目前，部分核安全级软件采用函数式 编程语言OCaml开发，但针对该语言开发的核安全级 近年来，随着计算机软件在尖端领域的应用，如 软件进行单元测试，尚缺乏具体的执行标准，通过确认 航空领域、轨道交通领域、核电领域，人们与软件的接 测试来补充。本文提出采用第三方测试工具Kaputt对 触越来越多，软件已成为人们生活中的必需品，如果软 OCaml开发的核安全软件进行单元测试的方法，介绍 Kaputt的测试模式、测试执行过程，及测试后分析关键 件系统的任何一个环节工作失败或遭受攻击都会带来难 字的覆盖率，以判断测试是否完备。该方法已在自主化 以预料的后果，给人们的生产和生活带来巨大的灾难， 核安全级软件测试中进行实践，取得良好的效果。 甚至造成不可恢复的创伤，因此软件安全的重要性与日 关键词：函数式编程；OCaml；Kaputt；单元测试 [1] 剧增 。 Abstract: In nuclear software testing, the unit testing 单元测试在软件开发过程中起到举足轻重的作 is one of the essential testing methods. At present, 用，它能以较高的效率发现软件中潜在的缺陷，在这个 a part of nuclear safety grade software adopted 阶段修改缺陷的成本较低[2] 。单元测试是保证软件质量 the functional programming language OCaml for development, but the unit test of nuclear safety 的重要手段。核安全级产品的可靠性一直是核电领域的 grade software developed by OCaml lacks specific 关注点，函数式编程语言OCaml逐渐应用在核安全级 execution standard, and supplement by validation 软件的开发，为防止软件在使用中出现重大事故，需 tests. This article presents a method of unit testing 要对核安全级软件进行完备的测试，因此对OCaml开 for nuclear safety software developed by OCaml 发软件的测试工作的需求显得尤为迫切。众所周知， using third party test tool Kaputt, and introduces