【摘 要】
：
本文对嵌入式控制软件系统及其测试系统体系结构进行分析,描述测试过程中的主要活动,结合数据库中的数据触发器技术,提出并设计了一种基于数据触发技术的自动化测试系统的设计方法,描述了基于该方法进行自动化测试系统设计的详细步骤.基于该方法,本文实现了一个自动化测试系统实例,说明该设计方法的正确性、有效性和可行性.
【出 处】
：
全国软件测试能力验证总结会暨中国宇航学会计算机应用专业委员会2006年学术年会
论文部分内容阅读
本文对嵌入式控制软件系统及其测试系统体系结构进行分析,描述测试过程中的主要活动,结合数据库中的数据触发器技术,提出并设计了一种基于数据触发技术的自动化测试系统的设计方法,描述了基于该方法进行自动化测试系统设计的详细步骤.基于该方法,本文实现了一个自动化测试系统实例,说明该设计方法的正确性、有效性和可行性.
其他文献
本文介绍了我国热处理能源消耗的现状,并从管理节能、设备节能、工艺节能三方面探讨了热处理的节能措施以适应我国进入WTO后,机械产品在国际上的竞争.
白亮层是渗氮零件表层一层特殊组织的称谓,它的存在,有利于提高零件的抗蚀性等,但有一大缺点就是具有一定的脆性,特别是对于航空零件,脆性的白层是不允许存在的.本文讨论了白亮层的形成机理以及相组成,通过分析找出控制白亮层脆性和去掉白层的方法,从而提高氮化质量,使氮化更有利于零件的工作.
本文介绍我厂研制的与引进瑞士AMP70热镦机配套的具有计算机集散式控制系统的锻坯余热等温正火自动生产线(可兼作二次加热齿坯等温正火).实践证明,自动线运行稳定可靠,生产的齿坯等温正火质量达到国外同类产品质量标准,硬度波动范围不超过25HB单位,显微组织为铁素体加片状珠光体.生产能力每小时5吨.
该文介绍了粘结剂渗透、试样直径、拉伸速度、涂层厚度、涂层表面平面度等因素，对测定结果的影响。喷涂过程中产生的残余应力，是影响涂层结合强度的关键因素，如何控制它，特别重要。
研究了高温合金表面施加ZrO/Ni梯度热障涂层在两种热冲击试验方式下（1.火焰喷射加工热和压缩空气冷却；2.电阻炉加热和20℃水冷却）的时效行为。实验结果表明，第一种试验条件下，涂层的抗热冲击性能随着涂层层数的增加而增加，而第二种却相反。因此，评价梯度涂层抗热冲击能力，必须选择合适的试验方法。对应用于航空发动机涡轮叶片的热障涂层，或在相似的热冲击条件下，涂层中成份呈梯度变化可大大提高其抗热冲击能力
该文利用自约束型热疲劳试验方法，研究了在３Ｃｒ２Ｗ８Ｖ钢表面上电沉积Ｃｏ－Ｃｒ＜，２＞Ｏ＜，３＞及Ｃｏ－ＣａＦ＜，２＞镀层对钢热疲劳性能的影响。对两者的热疲劳抗力进行了比较和分析。结果表明：复合镀层在热循环过程中产生循环软化效应。Ｃｏ－Ｃｒ＜，２＞Ｏ＜，３＞复合镀层可提高３Ｃｒ２Ｗ８Ｖ钢的热疲劳抗力，而Ｃｏ－ＣａＦ＜，２＞复合镀层则降低钢的热疲劳抗力。
随着软件系统复杂度的不断增长,特别是软件在航天等尖端领域的应用,使得软件的安全性保障成为迫切需要解决的问题.传统的软件工程方法由于技术手段和应用对象的不一致而难以解决软件安全性问题.针对高安全软件,技术手段必须从系统各类功能状态和相互作用关系来考虑其安全性问题,遍历各种可能的输入或状态跃迁关系,分析出安全关键性的软件成分和可能风险.本文调研总结了各类形式化验证方法,在技术方法上提出以轻量级形式化方
为了更好的进行航天软件的测试工作,解决硬件测试环境的局限性,提高测试技术水平,实现测试工作自动化,采用了全数字仿真技术搭建软件仿真测试环境的方法.本文描述了目前航天软件进行确认测试过程中使用的测试环境,介绍了硬件测试环境和用全数字仿真技术搭建的软件仿真测试环境在航天型号软件测试中的应用情况,重点通过对软、硬件测试环境的实际使用,对两种测试环境进行了分析,指出了软件仿真测试环境相较于硬件测试环境的优
目前在对实时控制系统的算法部分进行动态测试时,如何根据输入信号计算实时控制系统的预期输出,是一个难题,本文对如何应用MATLAB的实时控制系统动态仿真工具SIMULINK进行闭环控制系统的动态测试用例设计作出了一些探讨,分别从时域和频域讨论如何计算测试用例预期输出,并给出实际算例.
随着嵌入式系统在各行各业应用的迅速发展,其核心控制软件也变得日益庞大和复杂,实行有效的嵌入式软件测试显得越来越重要.本文首先分析了嵌入式软件的特点及嵌入式软件测试的重要性,接着阐述了一种有效的嵌入式软件测试工程化方法,并结合一个实际测试项目验证了该方法的有效性.