【摘 要】
：
软件测试是软件质量保障的基础,而单元测试是软件测试中不可或缺的重要环节.充分的单元测试对发现和排除软件中的缺陷非常有效,并且花费成本较小.基于航天器软件其较高的软件
【机 构】
：
北京控制工程研究所,北京轩宇信息技术有限公司
论文部分内容阅读
软件测试是软件质量保障的基础,而单元测试是软件测试中不可或缺的重要环节.充分的单元测试对发现和排除软件中的缺陷非常有效,并且花费成本较小.基于航天器软件其较高的软件可靠性、健壮度等设计要求特点,归纳总结航天器软件单元测试的常见典型问题.结合航天器软件单元测试的具体实践,提出了“白-黑-白”盒混合的单元测试方法,旨在提高单元测试的质量与效率,从而保证航天器软件可靠性.
其他文献
通过对12例百草枯中毒患者的抢救与护理，总结出血液灌流和综合护理的重要性。
在不久前举行的春季糖酒会上,多家名酒企业不约而同地推出具有滋补或其他功能的＂健康白酒＂。五粮液推出＂贵泓国荞酒＂,泸州老窖推出＂泸州绿豆大曲＂,洋河则推出＂双沟莜清＂。在酒业巨头
从数字教材的术语、内涵、类型三个方面对数字教材的概念进行解析,并分别对数字教材与纸质教材及融媒体教材、数字教材与教学资源、数字教材与在线课程、数字教材与电子书等
21世纪以来,国际意识形态的竞争不仅没有随着冷战的结束消散反而愈演愈烈,国家间相互关系影响也由于全球性力量对民族国家长期主导式的超越而日渐突出,关于世界性理念与制度
森林资源可持续性评价是森林资源管理决策的重要依据 ,但是目前的手工操作方法存在着获取指标困难等问题。随着“数字林业”项目的发展 ,全国各地建立起了数据丰富的森林资源
该文主要讨论了Ｇａｕｓｓ－Ｗｅｉｅｒｓｔｒａｓｓ算子（Ｗｎ）在给定点对ＬｉｐｓｃｈｉｔＺ函数类的逼近误差以及某些高阶逼近问题，并得到了（Ｗｎ）的局部Ｎｉｋｏｌｓｋｉｉ常数。
近年来,随着新闻爆出的层出不穷的校园欺凌、霸凌事件,引起了社会各界对校园欺凌事件的关注。校园攻击性行为不论对于施暴者还是承受者来说,均严重影响他们的身心健康。对于
文章介绍了目前计算悬挑楼梯较为常见的3种方法以及各自的优缺点,以某实际工程的π形钢筋混凝土悬挑楼梯的尺寸和配筋为基础,采用通用有限元软件ABAQUS进行计算分析并与该工
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
依托精准农业大数据,提出了一种在WEB应用程序中访问精准农业专家系统时,数据挖掘算法与大数据的接口设计方案.以目前我国农业中大数据的基本特征为切入点,介绍了精准农业中