【摘 要】
:
软件测试是保证软件质量的重要手段。本文结合某卫星型号嵌入式星载软件的工程实施介绍Ada语言软件测试的工具和方法。
【机 构】
:
上海航天控制工程研究所,同济大学软件学院
论文部分内容阅读
软件测试是保证软件质量的重要手段。本文结合某卫星型号嵌入式星载软件的工程实施介绍Ada语言软件测试的工具和方法。
其他文献
社会发展和高等教育的改革迫切需要高校教师不断提升教学能力。在阐述教师教学能力构成的基础上,分析了教师教学能力提升对提高教学质量、深化教学改革和教师专业发展的重要
娄多峰 ,男 ,教授、主任医师 ,汉族 ,192 9年 3月 10日出生于河南省原阳县祝楼村、中医世家。他是全国名老中医药专家 ,国务院颁发的政府特殊津贴获得者 ,河南风湿病医院创始
<正> “茶为万病之药”,茶叶作为人类健康的绿色保护神已有五千年之久,饮茶风糜全球,茶神保健五洲。茶文化的发展史上,茶叶最早是以药材面世的,后逐步演变为饮料,又成了中华
以木棉(Bombax malabaricum)花为原料,采用蒸馏水、乙醇、3%柠檬酸为提取溶剂,大孔树脂吸附、乙醇洗脱分离纯化,研究木棉花红色素提取工艺及分离纯化。结果表明,用3%柠檬酸提
关于挪用公款后而未使用的案件该如何定性,刑法理论界主要有两种观点,一种观点认为不成立犯罪,另一种主流观点认为应该成立犯罪。但在主流观点里面,对于"挪而未用"的行为是构
本文从组织理论的视角出发,对组织中惯性的形成根源进行了探讨。并在此基础上分析了组织惯性在组织变革中的作用机理与作用方式,认为无论从组织变革中的理想模式选择方面还是
<正>明万历年间,政府的赋役越来 越重。随之全国各地几乎连 年遭灾。先秦晋,后河洛,继之齐、鲁、 吴越、荆楚、三辅,并出现全国性的 大旱灾。万历、崇祯年间,旱灾变得 越来越
在城乡二元结构背景下,由于农村饮用水安全法律保障的正义价值迷失和制度缺位,农村饮用水安全已经成为我国经济、社会快速发展过程中需要解决的一个突出的环境问题和社会问题
本文阐述了当前技工类院校应用电子专业课程设置中存在的问题,提出了课程设置改革的几点设想建议,并根据要求实施新课程设置教学的一些做法和成效。
为了测度工业的节能减排全要素生产率,引入了加权的非径向非角度的Malmquist指数,并且对其进行了分解。对30个省的实证发现:节能减排全要素生产率在持续增长,其中东部表现最