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

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

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

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

基于Java语言的GIS系统在电信网管系统中的开发应用

随着计算机和通信业的迅速发展,人们对电信网络管理系统的要求越来越高,不仅需要拓扑图的显示,还要求系统能进行快速的故障定位,所以要求网管系统能与GIS系统结合.本文介绍了基于java语言的GIS系统的开发过程,及如何将GIS集成到综合电信网管系统中,并就实际开发中出现的问题提出相应的解决方案.     

层次分析法在飞机维修不安全事件影响因素评价中的应用

对飞机维修不安全事件的影响因素进行层次分解,构建层次矩阵;利用德尔菲法,导入不安全事件调查分析专家组成员对不安全事件的判断;结合层次分析法(AHP)对不安全事件影响因素进行定性和定量的评价。     

航天运输系统中软件复杂性度量与控制

用软件度量学的方法来科学地评估软件质量,能够更有力地对软件开发过程进行控制和管理,合理地组织和分配资源,制定切实可靠的软件开发计划,从而获得高质量的软件.     

pq阶亚循环群局部传递的图

所指的图是有限的、单的、无向的且无孤立点。如果图的自同构群分别在图的边集合和点集合上传递．分别称图是边传递的和点传递的。设G≤Aut（F），如果对于每个α∈V（Г），Gα在Г（α）上传递，则称Г是G-局部传递图。主要利用边传递、点传递和局部传递的关系及陪集图的理论，获得了关于pq（p、q是素数，p〉q）阶亚循环群局部传递的图的完全分类。获得的结果为：关于pq阶群局部传递的图或为弧传递图，或为二分的边传递图，或为一些边传递图的并。     

中国首次月球探测工程第一幅月面图像

2007年11月26日发布中国首次月球探测工程第一幅月面图像是由嫦娥一号卫星上的 CCD 立体相机获得的。CCD 相机采用线阵推扫的方式获取图像,轨道高度约200千米,每一轨的月面幅宽60千米,像元     

Pareto分布及其在可靠性设计资源分配等问题中的应用

ParetoⅠ型图是QC小组基本工具之一。介绍ParetoⅡ型图、Pareto分布、Pareto累积分布及连续型Pareto分布函数,推荐几种Pareto分布函数的数学模型,以可靠性设计资源分配实例说明Pareto分布在资源分配合理性分析中的应用,并提出了3种分配合理性指标。     

改进PointNetLK的点云智能配准与位姿图优化方法

针对空间在轨服务任务中的非合作目标相对位姿测量问题,提出一种目标可测部位点云的智能配准方法。首先,通过Straight Through滤波算法对半物理仿真平台采集得到的点云进行目标提取,以消除背景数据等杂乱信息;其次,改进PointNetLK神经网络点云配准算法,将提取后的点云数据作为输入,从而获得初步配准结果,解决非合作目标先验信息缺失导致的无法配准问题;最后,建立基于位姿图的优化模型,以降低配准误差,提高配准精度。实验结果表明,与传统迭代最近点(ICP)算法相比,配准综合误差从6.3598降低到1.7291,精度提高约 72.81% 单次耗时从33.16 s降低到4.2 s,效率提升约87.33%,与当前SM ICP等其他算法相比,也具有一定的优势。