期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
改进型程序切片方法的测试需求约简技术研究 被引量:2
1
作者 张军 刘锋 +1 位作者 马竹娟 朱二周 《传感器与微系统》 CSCD 2017年第9期17-21,24,共6页
传统的测试用例集约简技术大多采用由测试需求集直接生成测试用例集的方法。该方法虽然能够约简测试用例集,但出现测试需求冗余,约简后的测试用例集不够精准等问题。针对这些问题,提出了一种基于六元结构表的程序切片方法。利用程序切... 传统的测试用例集约简技术大多采用由测试需求集直接生成测试用例集的方法。该方法虽然能够约简测试用例集,但出现测试需求冗余,约简后的测试用例集不够精准等问题。针对这些问题,提出了一种基于六元结构表的程序切片方法。利用程序切片精简测试代码,省去构造程序依赖图的复杂步骤;根据代码间的相互关系和模块间的耦合度,利用启发式算法约简测试需求;在约简后的测试需求上,精简测试用例集。将该方法应用到当前主流的Android平台上比较约简前后G,GRE的用例集。实验结果表明:约简后的测试需求集能够在获得较少的测试用例集的前提下保证较高的覆盖率。 展开更多
关键词 程序切片 测试需求约简 耦合度 六元结构表
下载PDF
面向需求覆盖的航天软件测试用例优化方法 被引量:15
2
作者 王红园 郭永飞 姬琪 《光学精密工程》 EI CAS CSCD 北大核心 2014年第1期228-234,共7页
研究了一种面向需求覆盖率的测试用例优化方法,用于提高测试效率,增加航天软件测试的有效性。该测试用例优化方法包括测试用例约简和测试用例设计两部分,目前已应用于某航天型号项目的测试过程中。文中分析了航天软件的特点,测试流程及... 研究了一种面向需求覆盖率的测试用例优化方法,用于提高测试效率,增加航天软件测试的有效性。该测试用例优化方法包括测试用例约简和测试用例设计两部分,目前已应用于某航天型号项目的测试过程中。文中分析了航天软件的特点,测试流程及测试过程中可采用的优化技术。研究了现有的测试用例约简方法,并改进了基于测试需求的约简方法,使之能够满足需求覆盖率的要求。之后,提出了一种基于需求关键词关联的测试用例设计方法,以确保达到预期的需求覆盖率。最后,将这种优化方法应用于工程实践,并进行了结果分析。应用结果表明,采用上述方法不但满足了需求覆盖率的要求并使测试用例设计的工作量降低了约39%,保证了测试充分性,并有效地提高了测试效率。 展开更多
关键词 软件测试 航天软件 需求覆盖 需求约简 用例设计
下载PDF
基于关联模式的回归测试用例约简模型 被引量:7
3
作者 陈静 杨美红 +1 位作者 王鲁 朱光慧 《计算机工程》 CAS CSCD 北大核心 2011年第2期63-65,68,共4页
针对回归测试过程中测试需求不断变更造成的测试用例数量大、测试效率低等问题,提出一种基于关联模式的回归测试用例约简模型。该模型对模块、测试需求及测试用例三者间的关联性进行纵向分析,对测试需求间的关联关系进行横向分析并约简... 针对回归测试过程中测试需求不断变更造成的测试用例数量大、测试效率低等问题,提出一种基于关联模式的回归测试用例约简模型。该模型对模块、测试需求及测试用例三者间的关联性进行纵向分析,对测试需求间的关联关系进行横向分析并约简测试需求,进而生成并约简测试用例,实现对修改后的软件进行有效的回归测试。 展开更多
关键词 关联分析 测试需求约简 回归测试 测试用例约简模型
下载PDF
云计算中隐私需求的建模与一致性检测 被引量:3
4
作者 王进 黄志球 《计算机研究与发展》 EI CSCD 北大核心 2015年第10期2395-2410,共16页
云计算中应用分层、服务外包以及数据的分布存储等特性引发了隐私保护的新挑战.如何刻画不同服务提供者的隐私需求,并保证不同参与方隐私需求在全局应用上一致无冲突是云计算隐私保护的一个核心问题.在对隐私需求的分类和建模目标系统... 云计算中应用分层、服务外包以及数据的分布存储等特性引发了隐私保护的新挑战.如何刻画不同服务提供者的隐私需求,并保证不同参与方隐私需求在全局应用上一致无冲突是云计算隐私保护的一个核心问题.在对隐私需求的分类和建模目标系统分析后,提出了一种综合考虑了数据、角色和目的的层次结构,并支持时序约束表达的声明式隐私需求描述语言DPPL.为验证不同隐私需求间的一致性,给出了该语言的形式化语义及对应的形式化建模算法.考虑到传统形式化验证由于空间爆炸而带来的实用性限制,进一步结合隐私活动的特征提出了隐私需求模型的约简方法.最后,通过实例分析和原型工具检验了所提出方法的可行性,并对于该方法目前尚存在的限制和未来工作进行了讨论. 展开更多
关键词 云计算 隐私需求 形式化模型 需求约简 声明式语言
下载PDF
基于矩阵行列变换的测试用例约简算法 被引量:9
5
作者 周冲波 楼俊钢 程龙 《计算机应用研究》 CSCD 北大核心 2013年第3期779-782,共4页
针对测试用例约简问题,定义了一种不会改变测试需求与测试用例覆盖关系的布尔运算。应用此运算,辅以不同的测试需求、用例集优先策略,经矩阵的列变换得到精简的测试需求集,然后使用行变换对测试用例集进行约简。该方法不受测试用例输入... 针对测试用例约简问题,定义了一种不会改变测试需求与测试用例覆盖关系的布尔运算。应用此运算,辅以不同的测试需求、用例集优先策略,经矩阵的列变换得到精简的测试需求集,然后使用行变换对测试用例集进行约简。该方法不受测试用例输入顺序的影响。实验表明,与一些常用的约简算法相比,提出的算法在有序树生成程序测试用例约简的几个实例上都能得到较优的用例集。 展开更多
关键词 软件测试 测试用例 测试需求约简 测试用例约简
下载PDF
一种混合测试用例约简和生成的方法 被引量:1
6
作者 李益 吴军华 《微电子学与计算机》 CSCD 北大核心 2018年第6期17-21,27,共6页
软件测试是软件开发的重要的环节,如何实现路径覆盖、提高测试效率是测试研究的关键问题.从测试需求着手,通过路径分析进行测试需求的约简;利用条件概率判定条件语句间的相关性以检测不可达路径;综合遗传算法和萤火虫算法,根据层接近度... 软件测试是软件开发的重要的环节,如何实现路径覆盖、提高测试效率是测试研究的关键问题.从测试需求着手,通过路径分析进行测试需求的约简;利用条件概率判定条件语句间的相关性以检测不可达路径;综合遗传算法和萤火虫算法,根据层接近度和分支距离设计适应度函数,根据萤火虫位置的更新进行遗传操作,从而减少冗余的测试用例,提高算法收敛性.将所提方法应用于基准程序,并与同类方法比较可知,该方法生成路径覆盖测试用例具有高效性. 展开更多
关键词 路径覆盖 需求约简 不可达路径 遗传算法 萤火虫算法
下载PDF
Coverage criteria and test requirement reduction for component-based web application 被引量:2
7
作者 顾静娴 许蕾 徐宝文 《Journal of Southeast University(English Edition)》 EI CAS 2010年第1期36-42,共7页
In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy... In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph(WADDGraph)which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria. 展开更多
关键词 web application coverage criteria test requirement reduction
下载PDF
RS-SVM forecasting model and power supply-demand forecast 被引量:4
8
作者 杨淑霞 曹原 +1 位作者 刘达 黄陈锋 《Journal of Central South University》 SCIE EI CAS 2011年第6期2074-2079,共6页
A support vector machine (SVM) forecasting model based on rough set (RS) data preprocess was proposed by combining the rough set attribute reduction and the support vector machine regression algorithm, because there a... A support vector machine (SVM) forecasting model based on rough set (RS) data preprocess was proposed by combining the rough set attribute reduction and the support vector machine regression algorithm, because there are strong complementarities between two models. Firstly, the rough set was used to reduce the condition attributes, then to eliminate the attributes that were redundant for the forecast, Secondly, it adopted the minimum condition attributes obtained by reduction and the corresponding original data to re-form a new training sample, which only kept the important attributes affecting the forecast accuracy. Finally, it studied and trained the SVM with the training samples after reduction, inputted the test samples re-formed by the minimum condition attributes and the corresponding original data, and then got the mapping relationship model between condition attributes and forecast variables after testing it. This model was used to forecast the power supply and demand. The results show that the average absolute error rate of power consumption of the whole society and yearly maximum load are 14.21% and 13.23%, respectively, which indicates that the RS-SVM forecast model has a higher degree of accuracy. 展开更多
关键词 rough set (RS) support vector machine (SVM) power supply and demand FORECAST
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部