【摘 要】
：
针对航天软件高可靠性的特点,以发现程序中的错误为重要目的;为了使得整个软件得到多次多层的测试,发现存在于单元间接口的诸多问题,验证单元接口的一致性、正确性而采用集成
【机 构】
：
中国电子科技集团公司第三十二研究所
论文部分内容阅读
针对航天软件高可靠性的特点,以发现程序中的错误为重要目的;为了使得整个软件得到多次多层的测试,发现存在于单元间接口的诸多问题,验证单元接口的一致性、正确性而采用集成测试技术;集成测试方法主要包含非渐增式和渐增式两种测试方法;渐增式测试方法主要分为自顶向下、自底向上和三明治集成3种方法;根据航天型号软件极特殊的运行环境和特点,基于VC33航天型号软件采用深度优先自顶向下集成测试方法;实例验证,该方法能发现和改正模块接口错误,减少残留错误,降低航天软件开发风险与代价以及保证航天软件质量。
其他文献
静脉输液是指通过静脉给药及补充液体,是临床常用的抢救治疗手段.而对老年患者来说,更是抢救治疗的主要方法之一.鉴于老年人的机体特点及各种客观因素,在输液时若由于药物用
1临床资料 1.1一般资料本文报告了我院2000年7月～2003年5月间内科收治的扩张型心肌病患者16例,其中男性11例,女性5例,年龄43～78岁,平均67岁.合并高血压病7例,脑梗死5例,心
摘要：素质教育的全面实施，让体育教育被提上重要日程，增强学生的身体素质，成为教师必须要落实的一项重要任务。尤其是体育教师，应当革新教育理念，创新篮球训练方法，通过有效的训练方式调动学生的运动热情和积极性，促进学生身体素质的提升。在本文中，笔者结合训练实践，针对篮球训练方式进行探讨，以期提升小学篮球训练水平，促进学生篮球技能和身体素质的全面提升。 关键词：小学;篮球;训练方法 小学生是一个活泼好
摘要：在新课程改革背景之下，国家要求在小学教学中实现对学生的全面培养，除了重视文化课教学之外，学校还应当优化体育课程的进行效果，保证学生的身体素质，促进学生的全面发展。新课程背景之下，小学体育教学方式应当得到优化。在体育教学中，对学生的运动技能进行教学具备较高的重要性，其可以有效提升学生的运动能力，为学生的锻炼和身体发育打好基础。本文结合实际，分析了新课程背景之下小学体育运动技能的教学策略。 关
摘要：体育专业技术职称评定直接影响体育工作者的切身利益，但在以往的职称评定中，体育专业技术职称单一，体育专业技术职称只能通过教练员成绩和向上级输送运动员方面评选;体育事业编制的工作者从事行政工作，或其他非教练员工作等问题。针对上述问题，提出两个建议：一是提出鼓励体育事业编制的工作者专职或兼职教练员工作的建议;二是提出思考同文化类、教师类、医疗类等增加体育专业技术职称的多元评选的建议。 关键词：体
近年来,随着采矿业的蓬勃发展,地下矿突发火灾的危害程度也日益加剧。突发于矿井内的火灾不仅会导致矿井设备和资源的大量破坏与冻结,而且使井下工作人员的生命健康受到威胁
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
1 试验方法1.1 试验设计本试验设4个处理,3次重复,共12个小区,采取随机排列,4个处理为:收获前25d 追尿素,收获前20d 追尿素,收获前15d 追尿素,收获前10d 追尿素。尿素浓度为
摘要：小学体育作为学校体育的重要组成部分，如何合理的衔接好小学水平各阶段的教学内容，关系到我国民体质与社会发展，虽然《义务教育体育与健康课程标准》建立了一套较为完善、规范的体育课程管理体系，但是其对于不同阶段教学内容的相互衔接没有统一的规定和要求，以及体育教师对其理解的不同，导致各阶段教学内容无法合理衔接，造成体育课程脱节或重复现象的发生，影响了体育教学的质量和效果。因此本文针对问题，在基于运动技
摘要：夸美纽斯作为捷克伟大的民主教育家，具有丰富的教育伦理思想。他认为应该建立完整的学校教育体制，人的教育活动应该适应自然规律。他主张普及义务教育，强调“泛智”。形了一系列系统的教育主张。其中夸美纽斯的体育思想也具有非常重要当代价值，它对于我们今天学校体育的发展、体育教学制度的完善、大力推进体育强国建设都有非常积极的借鉴意义。 关键词：学校体育;体育教学;体育强国 夸美纽斯（1592-1670