论文部分内容阅读
软件单元测试是核电厂数字化安全系统开发过程中一项重要的独立验证与确认活动，也是 软件工程实践的一个基础，测试用例设计是这项测试工作的一个难点，但目前核电领域仍缺少这 方面的研究。 本文从安全系统软件单元测试中的实际难点出发，根据IAEA 技术报告给出的建议，通过实 例详细论述了三种测试用例设计方法在数字化安全系统软件单元测试中应用，并根据具体测试要 求，给出设计策略，为进一步的测试工作做了有意义的探索。