核电厂安全系统软件单元测试的安全审评

来源 :核安全 | 被引量 : 0次 | 上传用户:lengxiang520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件单元测试过程在核电厂安全系统软件的测试以及范围更广泛的验证与确认工作中占有重要的地位。软件单元测试过程是一个综合的、系统化的过程,它应满足软件测试相关的文档要求。在对软件单元测试过程进行审查时,要关注它对软件安全需求的覆盖情况、软件内部结构的覆盖情况以及工作的独立性。
其他文献
农业、农村、农民"三农"问题的核心是农民问题,农民问题的核心又是农民增收问题,关系到社会稳定和现代化建设大局.当前,全国有5800万人还没有解决温饱问题,我省农村年均人平
铁路行业饭店共有135家,由于体制,机制及历史原因,大部分处于亏损状态,铁路庐峰饭店就是其中一家,庐峰饭店隶属于上海铁路局多元经营总公司管理,地处上海火车站东侧,
我国幅员辽阔、物产丰富、民族众多,糕点食品种类繁多、并各具民族风格,形成各地方的帮式。由于历史的原因,上海的糕点除本帮外,还有苏式、广式、京式、潮式、宁式、绍式、杨式、
家庭承包经营作为我国农村土地经营的基本模式,不管在何时何处都必须坚持,这一点应该不动摇.但是并不意味着这一模式在农村经济的发展过程中必须一成不变.家庭经营只是土地低
汇总调查数据,2005年上海市零售商业网点面积达到3200万平方米左右,2006年、2007年平均每年增加400万平方米左右,增量基本与前两年持平。
针对山东省李品种老化、落后的实际,从引进国外的李资源中,筛选出大果、优质、早实丰产、多抗李新品种福腾,表现早实丰产性强、果大质优、高产稳产、适应性广,是一个综合性状
上海珠江投资有限公司系广东珠江投资股份有限公司全资子公司,公司致力于地产业及其他多种领域的产业投资,目前已取得多个项目拓展的良好前景。开发产品涵盖住宅、写字楼、服务
上海燎申(集团)有限公司,总注册资本1.8亿元,员工500多人,严格通过ISO9001—2000国际质量体系认证,是融通商业投资、工业投资、商务楼投资、金融投资四大模块于一体的多元化集团公司