【摘 要】
：
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认（V＆LV），以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V＆V过程中的重
【基金项目】
：
国家自然科学基金资助项目(10376013)
论文部分内容阅读
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认（V＆LV），以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V＆V过程中的重要环节，主要目的是验证和确认软件代码开发过程中，软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术，着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面，并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。
其他文献
【正】 目前,国内形势和国际形势的发展,都要求我们加强对会计历史的研究,并把它提到一个新的水平。然而全面论述会计史并非本文以及笔者所能胜任的,本文仅就财务会计的一个
笔者采用焦虑状态／特性询问表对社区60对丧偶老人再婚前后及60对未丧偶老人进行测查，结果表明丧偶者再婚前后焦虑抑郁分明显高于未丧偶者，丧偶者再婚前后及男性与女性丧偶者比较
《汉语大词典》是一部“古今兼收,源流并重”的大型语文词典。按理,对历史文献上出现的古今词语都应该收录。但由于这部词典出于多人之手,词语漏收现象十分严重。对此前人多
苏州,素有“鱼米之乡”的美誉,“上有天堂,下有苏杭”,代表了人们对她的赞美和向往。苏州地区河网开发较早,有一定的水利基础。但是解放前这里河网零乱,浅窄不畅,洪水没有出
向水合氯醛麻醉的大鼠海马内微量注射肾上腺素α、β受体激动剂,观察其对血压和心率的影响。 海马内注射α受体激动剂可乐宁1.5μg或β受体激动剂异丙肾上腺素1.5μg分别使血
试验从武汉市郊6个地块的小麦中分期、分部位取样,采用常规的细菌分离方法分离到26株内生菌,经形态学、培养及生理生化特征鉴定,它们分别属于蜡状芽孢杆菌(B.cereus)、多粘芽
电阻材料是用来制作电阻仪器、测量仪表以及其它工业装置中电阻元件的基础材料。广义而言,凡是利用物质的固有电阻特性来制造不同功能元件的材料均称电阻材料,如制作发热体
从本期开始将陆续推出暨南大学丁友刚及姚姿翻译的Kaplan和Norton系列访谈。本文是1998年12月,Kaplan教授首次访问印度,并在清奈市举办的印度工业联合会的第二届“全面成本管
姜广辉讲演,吴国龙、普庆玲整理,中华书局2013年7月出版,全书共296页,22万字。本书主要分两大部分。第一部分即开头语,系作者之易学观。此部分从《易经》之定位、近代研究《
俄罗斯目前正在建立健全相关的银行、金融、基金、资助、保障和诚信体系，以保证高等教育经费的筹措、借贷、使用、还债等进入良性和有序的状态。高等教育经费资源的优化配置部