您的位置： 专家智库 > >

国家自然科学基金(10376013)

作品数：1 被引量：11H指数：1
相关作者：张良驹李铎冯俊婷更多>>
相关机构：清华大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：核科学技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇核科学技术

主题

  • 1篇测试技术

机构

  • 1篇清华大学

作者

  • 1篇冯俊婷
  • 1篇李铎
  • 1篇张良驹

传媒

  • 1篇原子能科学技...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
安全软件验证与确认中的单元模块测试技术被引量：11
2008年
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中,软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术,着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面,并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。
李铎张良驹冯俊婷
全选 清除 导出
共1页<1>
聚类工具0