共查询到20条相似文献，搜索用时 100 毫秒
1.
基于DD图理论能够获取覆盖整个路径的分支测试路径集合,但缺少精简无约束边集合的方法,分支测试用例选取复杂,工程应用更少。在DD图提炼无约束边集合的基础上,对程序路径树进行研究,提出通过循环计算路径树未被选中路径中包含的未被覆盖无约束边的个数,实现最优化分支覆盖测试路径集选择方法,满足基于DO-178B和GJB/Z141军用软件语句、分支和MC/DC测试覆盖指标要求。实际工程应用结果表明,该方法实现了优化测试用例,满足了测试充分性要求。 相似文献
2.
提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模,使用LTL公式描述测试覆盖标准,然后将该组LTL公式和描述状态行为的Promela模型输入SPIN模型检测工具,并利用模型检测工具自动生成相应的证据路径,最后结合正例将路径转化成满足相应覆盖标准的系统功能测试用例,并以电梯系统模型对该方法作出了诠释。 相似文献
3.
嵌入式应用领域的不断拓展,嵌入式系统的安全性和可信性越发重要,如何设计和测试一个可信的嵌入式系统是现在和未来研究的重点,尤其是嵌入式软件的可信测试技术与方法的研究。在分析软件运行剖面的基础上,依据分支路径和MM-路径测试技术,研究基于嵌入式系统的可信软件测试方法,提出一种代码覆盖和集成测试技术,用于结构覆盖测试和程序复杂度分析,指导可信软件代码设计和测试用例设计,提高软件测试效率和加速错误定位。 相似文献
4.
软件可靠性评估在软件测试中起着举足轻重的作用。本文研究了软件增长测试中可靠性评估的过程。给出了判断软件可靠性是否增长的方法,通过比较常用的M-O模型和J-M模型给出了如何选取合适的可靠性评估模型的方法,以及判断选择的拟合模型的准确性的方法,并根据选取的拟合评估模型估测出软件可靠性的一些参数,最终提出了一种新的软件增长测试中可靠性评估方案,用于指导软件可靠性测试的顺利进行。 相似文献
5.
介绍了软件可靠性的概念,从分析影响软件可靠性的因素开始,提出了提高软件可靠性的方法,进而引出了软件可靠性测试的定义以及进行软件可靠性测试的目的,阐述了进行软件可靠性测试的方法。 相似文献
6.
连顺金 《黎明职业大学学报》2001,(2):36-38
提出了求关键路径的另一方法，即利用我们所熟悉的求每对顶 间最短路径的Floyd算法来实现求AOE－网中的关键路径，使得求关键路径的算法在形式上简单些，更易让读理解、掌握。 相似文献
7.
倪步喜 《温州职业技术学院学报》2007,7(2):37-39
利用关键路径算法寻找工程项目中的关键活动具有一定的应用意义。针对项目管理中关键活动的确定和工期估算问题,选择AOE网络的邻接表作为存储结构,分析了AOE网络中寻找关键活动以及确定最长路径的算法,并给出了算法的完整源程序实现。用具体的算法和VC实现证明其可行性,并通过了实例程序的测试。 相似文献
8.
9.
基于基本路径测试的程序图自动生成的应用研究 总被引：1，自引：0，他引：1
解圣霞 《通化师范学院学报》2009,30(12):32-35
基本路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率．自动生成程序图是基于基本路径测试的测试用例自动生成过程的重要步骤,该文主要描述了从源程序出发,通过对程序语法结构的分析,自动生成程序图的方法,并且通过构建原型系统,证明了该方法的有效性． 相似文献
10.
介绍了一种基于神经网络级联算法的软件可靠性增长预测方法,阐述了该算法的具体步骤.对预测系统进行了定义,提出了预测手段,并对预测进行了度量.测试结果与传统方法比较,该方法的较优越性能. 相似文献
11.
张仙妮 《北京工业职业技术学院学报》2012,11(1):67-70
随着软件在科技领域中的广泛应用,软件可靠性与安全性越来越成为人们最关心的话题,在充分阐述了软件可靠性的定义的基础上,分析了软件可靠性的重要性,为保证软件可靠性,给出了相应的采取措施。同时对通信装备软件的可靠性现状进行了分析,提出为提高通信装备软件的可靠性,引入软件第三方测试的必要性和意义。 相似文献
12.
李曼 《江西电力职业技术学院学报》2021,34(8):52-54
软件测试中两种非常重要的方法就是黑盒测试和白盒测试,白盒测试的核心是针对被测软件的内部逻辑如何进行测试,白盒测试中一种很重要的方法就是逻辑覆盖法,该方法关注点是判定—条件表达式本身的复杂度,通过对程序逻辑结构的遍历来实现对程序的覆盖,遵循的基本原则是对程序代码中所有逻辑值均需测试真值和假值,实现更广泛的覆盖率,进而达到软件测试的目的. 相似文献
13.
逻辑覆盖是设计白盒测试方案的一种技术,白盒测试是软件测试技术的一种动态方法,是针对被测单元内部是如何进行工作的测试,是以覆盖测试与路径测试为基本策略。重点介绍白盒测试中的常用测试方法,并通过实例介绍实际运用白盒测试的技术。 相似文献
14.
宋婉娟 《湖北第二师范学院学报》2013,(8):56-59
基本路径测试和逻辑覆盖测试是白盒测试的两种基本测试方法,在具体的测试案例中,存在多种覆盖准则以及基本路径难以选择的问题。本文结合具体的案例探讨一下基本路径测试法和逻辑覆盖的应用,得出在白盒测试中,测试用例冗余时的选择标准。 相似文献
15.
介绍了一种基于神经网络级联算法的软件可靠性增长预测方法，阐述了该算法的具体步骤．对预测系统进行了定义，提出了预测手段，并对预测进行了度量．测试结果与传统方法比较，该方法的较优越性能． 相似文献
16.
软件测试是保证软件可靠性的主要手段,是发现并排除软件中隐藏错误和缺陷的重要途径,软件测试的最终结果就是把高质量的软件产品提交给用户。软件测试方法很多,其中的基本路径测试方法是白盒测试技术中解决复杂路径测试最有效的方法。实践证明,运用这一方法不但可以降低软件测试的工作量和复杂度,还可以提高软件测试的质量和效率。 相似文献
17.
程序运行时间是评价算法的时间复杂度的一种依据，是测试软件可靠性的重要因素之一。用高级语言编写的程序来测量程序运行时间容易实现，具有良好的可读性，但都是通过调用函数来实现的，测量的误差较大。用汇编语言测量程序的运行时间直接访问硬件，运行速度快，精度高。 相似文献
18.
《阿坝师范高等专科学校学报》2017,(3):121-122
基于求解单源最短路径问题的Dijkstra算法,提出在AOE网络中求取关键路径的一种新算法。该算法易于理解,适合在"数据结构与算法"课程教学改革中使用。 相似文献
19.
结合蚁群算法在解决分类问题方面的优势,以及中文网页内容特征值的离散性特点,提出一种改进的基于蚁群算法的网页分类方法。该算法通过携带类别信息的种群蚂蚁的爬行,在迭代过程中寻找一条最佳路径与之匹配,实现了Web页面的分类。最佳路径通过计算测试文档与每一类别的覆盖集合,进而比较最优覆盖集合得到。其中类别权重计算中引入了文字链接比和标签权值,进一步提高了分类精度。实验证明,引入类别覆盖集的蚁群分类算法能够取得更好的分类效果。 相似文献
20.
一种防止缓冲区溢出的整数溢出检测方法(英文) 总被引：2，自引：0，他引：2
为了防止由整数溢出引起的缓冲区溢出,提出了一种简化的基于路径松弛的整数溢出检测方法.表示动态分配缓冲区大小的整型变量发生溢出,极有可能引发缓冲区溢出.该检测方法基于这一发现,在动态测试之前先进行轻量级的静态分析,跟踪与动态分配缓冲区大小相关的关键变量,保存追踪的关键变量在不同地方的取值上限和下限,并将维护信息插入源代码中.测试时通过路径松弛,在执行路径上不仅考虑追踪变量的当前测试用例值,判断程序是否出现整数溢出,还根据插入的维护信息进一步考虑追踪变量可能的取值范围,判断程序是否有可能出现整数溢出.实例研究验证了该方法的有效性,并且与同类方法相比,减少了检测量,提高了检测效率. 相似文献