公共文化服务平台

共 3 条记录，以下是 1-3

全选清除导出

排序方式：

一种改进的规划器算法在军用软件GUI测试用例自动生成中的应用被引量：1: 2010年; 以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事实文件进行划分,并对IPP规划器应用多事实文件处理算法进行扩展,扩展后的MF-IPP规划器能够处理多个事实文档,有效避免了组合爆炸问题的发生。将该方法应用到军用主控软件GUI(Graphical User Interface)测试用例自动生成中,主要思想是首先利用规划器生成初始测试用例,其次提出解扩展的方法来完善测试用例的生成。针对测试用例生成问题进行了比对分析,结果显示,MF-IPP可以很好地防止组合爆炸问题的发生。所生成的测试用例生成时间短、覆盖率高,不仅能够很好地辅助软件测试人员进行测试用例的编写,还能应用于自动化软件测试。; 李丽沈湘衡魏颖任佳阅王大勇; 关键词：GUI测试测试用例自动生成

基于体系结构的软件可靠性评估被引量：9: 2010年; 对软件可靠性评估的重要工具之一——基于体系结构的可靠性模型进行了实验验证。为了准确地分析软件模块间的调用关系并估算模块的可靠度,首先,依据评估方式的不同将基于体系结构的软件可靠性模型划分为合成型与分级型两类;然后,对软件体系结构的确定与软件模块的划分进行了分析,并阐述了模块可靠度和模块间转移概率的估算方法与步骤;最后,对某地面目标模拟源主控系统软件进行了实例分析。结果表明,实验系统的确定可靠度值为0.938,而合成型、分级型模型估计值分别为0.972和0.969,由此验证了两种模型的可应用性,为工程应用中实施基于体系结构的软件可靠性评估提供了参考。; 魏颖张波张波李丽沈湘衡陈媛; 关键词：软件可靠性评估

智能规划框架下的复杂线路连通检测方法: 2012年; 复杂电气设备在投入使用前必须对线路的连通情况进行检测,传统的方法是依据接线表进行对照检测,操作中存在大量冗余过程,而且人为标记冗余线路易出现漏检现象。提出一种新的线路连通检测方法,应用智能规划理论中的图规划算法,在接线表的基础上生成了专用检线表,在保证线路连通可靠性的同时,去除了冗余信息,提高了工作效率。通过对某航天测绘相机四种线路连通进行测试,去除的冗余线路分别占线路总数的35%、38%、48%和49%,并无漏检发生。; 王艳董智苹李丽沈湘衡

全选清除导出

共1页<1>

李丽