魏波
- 作品数：12 被引量：36H指数：4
- 供职机构：北京跟踪与通信技术研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 基于形式化模型的航天测控软件系统测试
- 软件系统测试是一种重要的测试类别.作为大规模安全攸关系统,航天测控软件系统软件数量多、信息交换关系复杂、安全可靠性要求高,对航天测控软件系统开展软件系统测试是工程实践中的一个难题.结合工程实例,提出了一种基于形式化模型的...
- 张卫祥刘文红魏波
- 关键词：测试用例生成航天器控制
- 文献传递
- 卫星点波束覆盖区域算法研究被引量：9
- 2009年
- 本文根据立体空间中点、线、面之间的几何关系,对卫星天线点波束覆盖地球表面区域的算法进行了研究,给出其解析方法及其相应的计算机软件编程算法。
- 李德治窦朝晖吕波魏波
- 关键词：点波束
- 基于过程与场景分析的航天应用软件测试方法被引量：7
- 2020年
- 航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。
- 张卫祥张敏窦朝晖马贤颖魏波
- 关键词：测试用例生成软件测试
- 一种基于遗传算法的测试用例优先排序方法被引量：11
- 2015年
- 通过测试用例优先排序技术对软件测试用例的执行次序进行优化,能够有效地提高软件测试效率,是软件测试理论研究的一个热点课题.设计了一种新的针对测试点覆盖的测试用例优先排序技术评价指标APTC,可以更好地适用于功能测试或黑盒测试;以APTC及其改进指标APTC_C为基础,提出一种基于遗传算法的智能化测试用例优先排序方法,针对测试点覆盖分别设计了其编码策略、适应度函数、选择算子、交叉算子和变异算子;给出了具体的算法步骤并使用试验数据进行了方法验证,结果表明,该方法可提高软件测试效率和自动化水平,能够取得较好的应用效果.
- 张卫祥魏波杜会森
- 关键词：软件测试遗传算法评价指标黑盒测试
- 一种基于遗传算法的测试用例优先排序方法
- 通过测试用例优先排序技术对软件测试用例的执行次序进行优化,能够有效地提高软件测试效率,是软件测试理论研究的一个热点课题。设计了一种新的针对测试点覆盖的测试用例优先排序技术评价指标APTC,可以更好地适用于功能测试或黑盒测...
- 张卫祥魏波杜会森
- 关键词：软件测试遗传算法评价指标黑盒测试
- 基于模拟退火算法的智能测试优化
- 2022年
- 把智能化技术应用于软件测试领域,解决测试优化等技术难题,已成为近来的研究热点之一。针对基于用户需求的测试用例优先排序问题,提出了一种基于模拟退火算法的智能化求解方法,能够有效提高软件测试效率。首先,介绍了基于需求的测试优先排序问题的一般性表述,给出了测试用例评价指标及测试用例距离的定义;其次,提出了基于模拟退火算法的问题解决思路,设计了包括状态表达方法、领域定义及搜索方法、降温函数及热平衡、退火结束方式等在内的算法要素,给出了算法基本流程、求解步骤和实现方式;最后利用实验验证了算法的有效性。实验结果表明,该方法具有很好的全局寻优能力,整体效果上优于随机测试。
- 张卫祥王泗宏魏波齐玉华刘凤菊
- 关键词：软件测试测试用例智能测试模拟退火算法
- 基于数据源识别和驱动分析的软件系统测试方法被引量：5
- 2021年
- 航天测控软件系统安全关键等级高,其质量直接决定航天任务成败,具有架构庞大、软件配置项多、内外接口复杂、数据传递路径长、处理实时性强等特点,软件系统测试的要求高且难度大,目前存在系统测试需求不清晰、测试针对性差等实际问题;航天测控软件系统是典型的数据驱动型软件系统,针对其特点,文章提出了一种基于数据源识别和数据流分析的软件系统测试方法,开展了数据源识别、数据流路径分析、数据状态分析和获取、系统级数据流顺序图生成等关键技术研究,给出了该方法的推荐工作流程;该方法已在多个航天测控中心软件系统测试中应用,实践表明,针对数据驱动型软件系统,该方法可以显著提高系统测试的设计有效性和测试效率。
- 魏波张慧颖司倩然
- 关键词：数据驱动软件系统测试航天测控系统
- SQL SERVER数据自动安装的设计与实现被引量：1
- 2007年
- 以SQLDMO技术为基础,设计了一种实现SQL SERVER应用数据自动安装的方案,并给出了采用C#语言对该方案的实现过程。对同类需要预置数据安装的软件系统具有借鉴和参考价值。
- 魏波吕波董锐丁永和
- 关键词：SQL-DMO数据库
- 遥测软件中支持公式计算二次开发的设计方法被引量：1
- 2010年
- 针对遥测公式的二次开发能力要求,提出了三种设计方法,分别是公式组合、组件组合和脚本方式。通过对三种方法的介绍和分析,得到的结论是公式组合+组件组合的方式最为可行,为遥测处理公式的复用提供了有效的解决方案。
- 吕波周鑫魏波
- 关键词：遥测二次开发
- 参数依赖型软件参数更动测试策略和方法
- 2022年
- 参数依赖型软件是指初始化时读取并解析配置参数,并据此进行任务处理的软件,航天测控软件是典型的参数依赖型软件;航天测控软件具有明显的领域软件特征,多采用领域工程分析技术,实现业务处理逻辑和具体任务参数的分离,达到仅通过修改任务配置参数而适应高强度型号任务的目的;通过对参数依赖型软件架构、应用模式的分析,提出一种对参数依赖特性进行验收测试、参数更动测试的流程、策略和方法;并基于该方法,对远程数据交互软件进行了参数依赖特性测试,测试结果表明,该方法具有测试覆盖性强、测试重点突出、测试效率高的特点。
- 魏波张卫祥齐玉华刘凤菊
- 关键词：软件测试
