论文部分内容阅读
本文以最新的软件工程以及软件测试理论为基础,结合实践,探讨了航天软件的测试技术,包括静态测试以及动态测试方面的内容,深入讲述了软件测试的方法,测试的准则,并根据自己的测试实践总结了软件测试的模型,试图形成一种工程化的航天软件测试方案。
航天软件测试技术的研究
【摘 要】
：
本文以最新的软件工程以及软件测试理论为基础,结合实践,探讨了航天软件的测试技术,包括静态测试以及动态测试方面的内容,深入讲述了软件测试的方法,测试的准则,并根据自己的
【机 构】
：
中国科学院空间中心;
【发表日期】
：
2004年期
其他文献
通过访谈的方法,对现居中国的来自美国圣菲的外籍教师Angelo进行访谈,总结了其故乡的民俗概况,将中国东北部(以赫哲族为代表)民俗与美国圣菲民俗进行对比分析,结果表明,圣菲
互联网的迅猛发展,催生了新媒体的繁荣。在新媒体面前,传统媒体面临着挑战和抉择,让传统媒体生产的内容插上新媒体传播的翅膀,实现融合发展,已是大家的共识。2018年8月21日,
城市地下管线对于现代城市正常运行具有非常重要的影响,一方面是保障城市运行的重要基础设施和“生命线”,另一方面受历史和地理因素的影响,当前我国城市地下管线存在着设备老旧、分布不合理且过于密集等特点,成为影响城市运行和居民正常生活的潜在危害隐患,甚至成为当地居民的“夺命线”。本研究主要是通过现代化的设备,探明了南充市供水管线的分布情况,通过严格的规划,建立了一套完善的供水管线动态信息管理系统,为城镇建
<正> 华莱士·史蒂文斯(1879—1955)是美国文学史上与埃兹拉·庞德、T·S·艾略特、威廉·卡罗斯·威廉斯一样重要的诗人。他大气晚成,四十四岁才发表第一部诗集《簧风琴》。
土地资源的合理利用,一直以来都是国家急需解决的一大难题,当然,也是广大学者长期研究的重要课题。与此相关的经济、社会和生态效益将受到土地利用的结构调整的直接影响。土
目的：探讨细胞凋亡抑制蛋白Livin、Survivin在32例胰腺癌组织、10例正常胰腺组织中的表达情况、临床意义以及与胰岛素样生长因子-2（Insulin-like growth factor-2，IGF-2）表达的相
目的：(1)探讨NOB1(N in one binding protein)蛋白在食管鳞状细胞癌(Esophageal squamous cell carcinoma,ESC)和食管腺癌(esophageal adenocarcinoma,EAC)组织中的表达及其临
目的建立心肾综合征(CRS)阳虚水泛证、CRS气虚血瘀证及健康对照的血清蛋白质组表达图谱,初步鉴定其差异表达的蛋白质。方法选择CRS患者35例,其中阳虚水泛证组20例;气虚血瘀证