软件测试用例生成与约简算法研究

对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。     

超新星遗骸

在这张昏暗的超新星遗骸Simeis 147的细致组合影像里，视线很容易迷失在繁复的丝状结构中。这个超新星遗骸的估计年龄大约是40000年，也就是说来自这次大爆炸的光，约在4万年前首次传抵地球。     

“阿波罗”时代舱外影像记录者

近日，随着美国联邦地区法院宣布，美国联邦政府起诉“阿波罗”14号飞船航天员埃德加·米歇尔（EdgarMitchell）一案，正式进入审理程序，遂招致舆论界议论纷纷。这段陈年公案的焦点是“阿波罗”14号登月任务时安装在着陆舱的一台数据采集照相机（DataAcquisitionCamera，DAC）。     

面向问题域的需求工程应用

文章阐述了需求工程与问题域的相关概念及内在联系,分析了上下文图描述问题与问题域的不足,及面向问题域分析方法的必要性,讨论了如何用问题图的形式描述问题及其问题域,从而明确、详细地反映出需求是如何被满足的.     

排列图在实验室质量管理中的应用

利用排列图法对实验室2005至2009年的内部审核不符合项进行了分析。实验室内部审核不符合项主要集中在记录的控制、设备的管理、测试方法及确认、文件的控制四个方面,不符合项产生的根本原因是人为因素。运用排列图法分析实验室质量问题的产生原因简便、可靠、有效。     

冰形表面激光光带中心线快速提取方法

在风洞结冰模型3D冰形测量中，激光三角测量法相对传统测量方法检测速度快、精确度高，具有极高研究价值。然而由于冰体对激光透射严重，影响激光中心线提取精度从而影响测量精度。针对此问题，提出一种冰形表面激光光带中心线快速提取方法。该算法具体实现步骤为:首先，采用基于三维块匹配去噪算法对图像进行降噪，并对图像进行视觉显著性计算，分割出光带区域；其次，求取梯度图并转换至频域空间，根据图像频谱特征求取能量中心区域；最后，对区域采用灰度重心法求取中心线亚像素级位置。采用冰箱冻结的半径已知圆柱冰块评估该算法，测得算法处理时效为28.57FPS，使用该算法的冰形轮廓重建精度达到0.017mm。实验证明算法满足冰形在线测量技术要求，为开展结冰实验中结冰生长过程在线三维检测技术奠定技术基础。     

MDS图在液态模锻工艺过程单片机仿真控制系统中的应用

本文介绍了液态模锻工艺过程单片机仿真控制系统的设计方法，包括液态模锻工艺程确立、逻辑量确立、硬件系统设计、ＭＤＳ图的建立及软件实现，在工艺设备的逻辑性控制中应用ＭＤＳ图控制结构设计的控制器可方便方便地实现ＰＬＣ的控制功能，也可主便地实现其他娄字逻辑系统的控制功能。     

低空区域预告图制作规范及本地化研究

民航原有的低空区域预告图制作规范,更多适用于大中型飞机,对于机型小、天气条件要求高、飞行员入门条件低的通航飞行有些不适用。本文针对通航训练基地飞行学院的特点,就低空区域预告图的制作规范、流程、标准等进行了探讨,提出补充影响学院教学训练航空气象安全的重要天气;细化降雨强度的标准;细化低空风分层;实施可调低空区域预告图底图范围、天气区的标注方式及云的描述;规范低层区域预告图制作时次;规范低空区域预告图制作流程;统一低层预告图制作软件。     

航空软件配置管理系统设计和关键技术研究

从军工软件配置管理的需求出发,结合国军标的开发库、受控库和产品库的三库配置管理体系,阐述某自主知识产权的＂航空软件配置管理系统＂的总体设计思路,指出该配置管理系统实现的关键技术为软件配置库的存储设计方法和文件的增量存储和差异比较技术。说明系统软件配置库的存储设计思路和方案,采用编辑图和贪心算法实现文件的增量存储和差异比较技术的解决方案。总结系统的特点和优点,说明系统下一步发展及扩充的几个方向。