UTMate

<正>单元测试现状单元测试可在软件生命周期早期揭示代码缺陷,从而减少代码缺陷遗留到开发后期所引起的更多费用。而在目前的应用场景下,假如规范地进行基于需求的测试用例设计,需要单独设计测试用例,然后再把相关的测试用例在单元测试工具中输入执行,这导致测试的效率比较低下。因此在实际的单元测试中只针对代码结构设计测试用例用来满足标准的覆盖率要求,这又导致测试的有效性不高,单元测试既费时费力又难以发现有价值的问题。     

面向对象开发方法的单元测试研究

简要介绍了面向对象开发方法的单元测试面临的特殊性问题并进行分析，探讨了面向对象单元测试采取的策略和测试用例的设计方法，最后对面向对象单元测试的充分性问题进行了讨论。     

特殊干扰部件单元测试方法研究

结合特殊干扰部件单元测试设备的研制，提出了一种适合于机动的小体积、低成本的特殊干扰部件单元测试方法。该方法利用微波暗箱模拟近似自由空间，采用空间辐射解决了干扰部件单元测试的难题。介绍了该方法的原理、设计实现以及应用概况。     

捷联惯性测量组合的一种新型测试方法

针对某型号导弹的单元测试提出了一种新型测试方法，并建立陀螺和加速度计的数学模型方程，根据工程应用对模型方程进行简化，推导出模型方程的各个系数，提供给控制系统进行实时补偿。该方法已成功地应用于某型号导弹的单元测试。     

航天嵌入式软件的单元测试方法探讨

合理有效的软件测试手段对于提高航天嵌入式软件的质量具有很重要的意义。文章从单元测试的实践出发,基于软件测试理论,对单元测试的方法和过程进行了分析,并简单介绍了某型号软件的单元测试情况。     

面向对象开发方法的单元测试研究

简要介绍了面向对象开发方法的单元测试面临的特殊性问题并进行分析,探讨了面向对象单元测试采取的策略和测试用例的设计方法,最后对面向对象单元测试的充分性问题进行了讨论.     

基于LDRA TESTBED的汇编语言软件测试方法研究

在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用     

嵌入式航天软件汇编代码覆盖测试方案

从插桩策略、覆盖率收集方法 2个方面设计实现了一种汇编代码覆盖测试方案,解决了嵌入式航天软件汇编代码覆盖测试没有工具支持的问题。针对嵌入式系统资源紧张、时序相关性强的特点,在研究汇编语言指令结构的基础上,制定了一套基于比特位表征方式的汇编插桩策略;提出了一种基于JTAG接口的通用覆盖率数据收集方案,解决了覆盖信息输出通道受限问题。实验结果及工程应用实例证明了方案的有效性和可行性。     

嵌入式汇编程序静态分析研究

在航天领域,嵌入式应用软件必须具备高可靠性,而测试是保证软件质量的重要手段,静态分析技术是一种重要的测试技术.文章介绍了静态分析技术的相关概念,实现工具的发展和现状,指出了出嵌入式汇编语言静态分析工具的研究重点和方向,为更深入地研究和使用这些工具提供了参考.     

80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

数据库自动设计工具DBADT

数据库自动设计工具DBADTD（DataBaseAutomaticDesignTool）是一个以扩展E-R模型为概念设计模型，以关系模型为逻辑设计模型，最终生成RDBMS的DDL语句的通用型关系数据库自动设计工具。针对数据库设计过程中需反复设计和优化的特点，引入面向对象技术，增强了信息的重要性，从而提高了数据库设计效率，DBADT具有E-R模型编辑、E—R模型集成、关系转换、关系规范化、关系优化、关系命名、生成DDL语句和数据字典查询等功能。     

自动驾驶仪单元测试舵面振动自动消除装置

文中介绍了采用辅助电路，消除自动驾驶仪单元测试舵面自振的方法及具体电路设计。     

vivi的汇编代码解读

ARM汇编语言的学习是很重要的,但又是枯燥的,所以学生兴趣不大,这一直是个教学的难点.本文通过对vivi的汇编代码解读,引导学生学习或进一步熟悉ARM汇编语言,有案例、有目的,能激发学生的学习兴趣,从而掌握ARM汇编语言.     

利用VFP报表实现条形码证件的制作方法

条形码证件是一种应用很广泛的证件，其制作一般都由专业公司完成，由于受版权等多种因素的制约，很多小的单位和部门都无法依据自己的意愿设计证件的样式。针对这种情况，可以利用VFP丰富的报表工具来自行制作符合要求的条形码证件。论文介绍了如何利用VFP报表设计制作条形码证件的方法及步骤。     

并行设计过程建模方法研究及其在导弹设计中的应用

设计过程建模及优化对于缩短产品开发周期和提高企业竞争力具有重大意义。根据所提出的自适应并行设计基本理论结构，采用面向对象(O-9:Object-Oriented）的设计方法，以及设计结构矩阵（DSM）为工具。综合提出了自适应并行设计过程建模方法，并以某地空导弹仪器舱结构设计为例，分析了其设计过程模型。最后对其时间效应进行了初步分析，指出了其优越性。     

用TP801—Z80单板机插补高次曲线的程序研制

在现代航天、航空工业中，有很多零件的表面是由高次曲线组成的，如导弹的尾翼、肋骨线、飞机的机翼等，如果在数控机床上用逐点比较法加工此类零件，不仅编程复杂，而且精度也不高。 本文根据“脉冲间隔插补法”“建立了插补二次曲线的统一数学模型，用汇编语言进行了程序设计，并由二次扩展到任意高次曲线的插补。在数控线切割机上进行了插补实验，验证了该方法的正确性和适用性。     

通过纯软件的方法测试数字处理器的故障敏感性

对于工作在高辐射太空中的飞行器而言，它不可避免会受到单粒子效应的影响。因此，如何预测飞行器中单粒子效应敏感区域以便加强保护措施是一件很重要的工作。但事实上，要预测单粒子效应对飞行器的影响并不容易。本文给出了一种通过纯软件来评测飞行器系统对单粒子效应的敏感程度的方法——软件故障注入法——这也是评测微电子电路可靠性极具前景的方法。该方法采用高效的汇编语言在汇编级实现，对目标系统不会造成损伤，并且使用方便。试验的结果表明，目标处理器对于单粒子翻转的敏感性大约为1．38％到2．35％，且寄存器的敏感性要高于内存区。     

地空导弹测试系统软件设计

介绍为某型地空导弹而研制的测试软件的设计(包括软件结构设计、流程设计、部分模块分析和数据结构设计)、原理和主要功用.给出了软件结构图测试流程图等.为避免“软件陷阱”,提出了直接驱动、适时响应、启动响应等5种方法.经多次单元测试、系统联试,证明该测试软件具有功能全、测试项目完整、程序合理等特点.最后指出,该测试软件的设计只是一次尝试,还有待于进一步完善.     

VB、VFP在型号研制中的应用

用VFP编制专用程序，进行产品的质量统计、计算质心并进行总体计算为分系统设计提供载荷等参数，可以减少差错，提高效率。是航天发射产品设计的重要工具。产品设计中，需要形成标准件外购件汇总表、备附件工具配套表、产品配套表等等，这些工作可以通过VB编制一定的程序来完成，避免了许多重复性的工作，减少设计人员的重复劳动。