飞行控制软件单元测试的实施

被引量 : 4次 | 上传用户:waly7208346
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
飞行控制软件是一个系统复杂、高安全性要求的嵌入式系统软件。单元测试处在软件测试前期,它是提高软件质量的焦点。单元测试是对程序代码设计中的最小单元进行正确性检验的测试工作。飞行控制软件的单元测试是从软件生命周期最早期开始,保证软件质量,是第一个环节,也是最重要的环节。本文针对航天嵌入式软件的特点,为保证其高可靠性,作者根据测试理论和飞行控制计算机的特点提出了如何实施单元测试。首先对当前软件单元测试现状进行分析,了解单元测试实施的现状和存在的问题。接着,了解软件测试的基本理论和和单元测试相关的测试方法。在这些方法的基础上,提出单元测试过程和单元测试用例设计方法,单元测试的过程是建立单元测试测试模型的基础,也是测试策略的表现。测试用例设计方法是工程实践的基础。本文对于单元测试用例设计的方法主要描述基于需求的测试用例设计方法和基于覆盖率的用例设计方法。在单元测试过程研究和单元测试设计用例设计方法的基础上,以一个型号测试项目为实例,建立测试模型,描述单元测试活动开展情况,解决单元测试中可能出现的问题,通过单元测试的实施,深入分析单元测试的结果。单元测试的结果表明,这种单元测试过程设计是合理的,用例设计方法是充分的。以此所设计的单元测试模型是满足飞行控制计算机软件评测工作的特殊性要求。这种单元测试实施方法,是充分的、可追溯的、效率较的测试方法。在本文最后,对全文进行了总结,并对下一步工作提出了展望。
其他文献
动漫产业作为21世纪的新兴创意产业,得到了社会的广泛关注。有关统计显示,截至2008年底,我国已经初步建成20个国家级动漫基地,超过30个动漫产业园区正在规划建设。动漫产业正
正确评价我国矿业上市公司的经营业绩对于我国矿业的发展有重大的意义。作为一种崭新的公司治理和经营业绩的评价方式,经济增加值(Economic Value Added,以下简称EVA)的应用
改革开放以来,我国社会主义建设事业蓬勃发展,人们生活水平日趋富裕,我国政府和人民也越来越重视居民生活质量问题。2002年江泽民在中国共产党第十六次全国代表大会上指出:“
民族地区城镇化建设得到了较大程度的发展。在城镇化进程赋予经济繁荣的同时,民族地区经济与文化,现代与传统的双重张力不仅涵化了民族地区的民族文化生态结构,也使青少年的
车辆在桥梁上行驶时会产生激励从而导致车辆本身和桥梁产生振动,移动车辆在桥梁结构内产生的动荷载效应要比相应的静荷载效应大。设计规范中通常采用“冲击系数”来考虑车辆
医疗纠纷历来是人们关注的热点问题。特别是《侵权责任法》在2009年12月26日获得通过,其中对医疗侵权进行了全新的定义。这部法律对隐私权和“赔礼道歉”这种侵权解决方式的
本实验探讨刺山柑总黄酮的醇溶超声提取、大孔吸附树脂分离的最佳条件,及其抗炎、镇痛、调节免疫以及对大鼠佐剂性关节炎的干预作用。以新疆吐鲁番野生刺山柑果实为原料,正交
集市是民俗生活的重要组成部分,也是民俗文化传承的载体之一。本文选取了山东省淄博市周村区现存的四、九集作为个案,从城市、集市和民间的参与三个角度来分析城市中定期集市
现代教育技术尤其是网络技术的发展推动着教学模式、教学内容、教学方法、教学手段及教学过程的改革,使师生关系发生着深刻的变化。为适应社会发展的要求,新的教育观要求发挥
外汇市场的巨大交易量和丰厚的潜在套利利润,使得外汇套利的相关研究得到学者的持续关注。马明从货币价值的一价定律出发,构造了全球无套利汇率矩阵,建立了一套利用汇率矩阵