【摘 要】
：
为解决航天器间信息流验证问题,文章提出三步走策略;首先采用了航天器信息流设计标准中的信息流分析方法;然后,从测试验证角度提出了对信息流描述的延伸方法;最后,借鉴软件测
【机 构】
：
北京空间飞行器总体设计部,北京空间飞行器通信卫星事业部
论文部分内容阅读
为解决航天器间信息流验证问题,文章提出三步走策略;首先采用了航天器信息流设计标准中的信息流分析方法;然后,从测试验证角度提出了对信息流描述的延伸方法;最后,借鉴软件测试设计理论等诸多方法,识别测试用例,并在此基础上完成航天器间信息流测试验证;该方法已在某深空探测器的测试设计中应用,保证信息流验证完备性的同时,能够有效增强测试用例设计的合理性及有效性,是一种十分有效的信息流验证思路.
其他文献
老师这样做勇挑重任。2010年年末，她永远地失去了培养她长大成人的重要亲人——姥爷，她本可以跟学校请假，但是由于学校行进管乐团要参加“上海之春”全国行进管乐比赛，她忍着巨大
就如何提高大学生的英语听力水平阐述了一些教学实践经验 ,提出提高大学生英语听力水平必须从两方面着手 :一是消除听力障碍 ,二是培养听力技巧。
On how to improve the le
黑龙江省6月14日颁布《黑龙江省气候资源探测与保护条例》，其中规定企业探测开发风能及太阳能资源必须经过气象部门批准，而且探测出来的资源属国家所有。这是我国首个规范气候
【出处】宋·苏洞《南塔寺》:“松错何知过百年,树根流水亦清涟。莫嫌寂寞无人到,多有人来正不然。”(这南塔寺的松树不知经过了几百年,树根底下的流水也清澈而有波纹。不要
汉维问候语的语用功能基本相同,但在问候语结构、称谓方式、问候内容、礼貌原则方面存在较大差异.文章对比汉维问候语的异同,有助于发现蕴含在词语表层下的深层文化内涵,加深
本文对语言学习中的错误进行具体分析,举例论证了学生可以通过犯错误来逐渐习得语法规则,说明纠正错误的过程就是语言习得的过程.文章进一步阐述了错误分析的重要性,并提出在
古汉语中"为"字带双宾语的结构都是"为动用法","为"字不含授予意义,从而证明《春秋左传注·僖公三十年》中"为晋君赐"非"有赐于君",而是被动句式.
目的 研究全膝关节置换术(total knee arthroplasty,TKA)后隐性失血的特点及影响因素,为临床工作提供参考依据. 方法对75例因膝关节骨性关节炎行初次单侧TKA患者(男21例,女54
目的:为探索妇幼保健机构服务项目的财政补偿方式、范围及强度,更好地落实财政补偿政策。方法:采用典型专题调查的方法,在不同经济水平的南方地区(江苏省)和北方地区(河北省)
目的 探讨适用于我国儿童功能性便秘(FC)的症状学诊断标准.方法 应用分层、整群随机抽样方法对中国北方五市(北京、天津、沈阳、长春和哈尔滨)常住人口中4～14岁的儿童进行问卷