共查询到20条相似文献，搜索用时 704 毫秒
1.
基于进化算法的进化测试就是一种有效的测试数据自动生成技术。提出了一种基于控制流图的测试数据生成算法,根据控制流图映射出所有可能的执行路径,然后根据不同的路径所形成的适值地形的导向进行搜索。 相似文献
2.
软件测试,特别是用户界面中的回归测试需要大量重复的手工劳动。AutoVue产品作为一款支持多种格式文件的软件,其测试用例具有特殊性。为了提高测试效率,提出一种基于SilkTest工具的自动化测试框架。在可行性分析的基础上,采用数据驱动和关键字驱动的混合模型设计,以XML文件存储测试信息,支持AutoVue产品的多个版本。从框架平台运行环境、框架测试流程、测试用时对比等方面进行了阐述。 框架具有可维护、用例运行执行范围选择方便的特点,对其它应用也有扩展性,大幅度提高了AutoVue产品的测试效率。 相似文献
3.
4.
针对变异测试代价大、无法广泛应用的问题,提出了一种在变异测试过程中引进测试用例选择以降低测试代价的方法.通过为每个变异体选择一定数量的测试用例,约束变异体允许执行的最大次数,从而减少无用功.测试用例的选择与变异体的变异程度相关,变异距离是描述源程序和变异体之间差异程度的指标,能够衡量测试集中有效测试用例的比例,进而指导... 相似文献
5.
本文提出了一种求最大完全子图的启发式着色算法.该算法通过为顶点着色将已知无向图划分为极大完全子图的并集,再根据各极大完全子图中顶点的多少选取最大完全子图.随后为提高算法执行效率,又对该算法提出了一种精简措施.最后将该算法运用于一集成电路测试数据编码压缩实验中,证明了该算法对求解最大完全子图的有效性. 相似文献
6.
为了提高求解0-1背包问题的效率,提出了两种贪心局部搜索算法,分别称为固定候选算法和变化候选算法.算法都以有效的方式构造好的初始解,随后执行局部搜索对其进行解质量上的改进.实验结果表明了两种算法的有效性、可行性及与价值密度贪心算法相比的优越性,同时进一步看出两种算法中变化候选算法相对较优,能够取得更好的结果. 相似文献
7.
为了节约软件测试成本,减少测试用例数量,提出了一种利用蚁群算法直接从UML活动图中生成测试用例的方法。通过对UML活动图和蚁群算法进行形式化规约,构造人工蚁群,然后依据DFS遍历由UML活动图转化的有向连通图G,最后生成测试用例。通过仿真模拟,对提出的方法进行验证以及对实验结果进行分析,证明了该算法的可行性和有效性。 相似文献
8.
介绍了当前的几种常用Web测试生成技术,提出了基于爬虫的Web测试生成技术,设计并实现了Web测试生成系统,该系统可以自动化完成爬取目标Web应用、处理分析爬取结果、生成测试用例、执行测试用例的功能,并且系统执行过程中输出的分析结果和测试用例可以被其他相关系统如测试覆盖分析系统利用。 相似文献
9.
回归测试是软件测试生命周期中的一个十分重要且成本昂贵的过程.在FitNesse基础上,设计并实现了一种自动化回归测试工具(Automated Regression Testing Tool,以下简称ARTT),该工具解析被测试系统SUT(System Under Test),自动生成运行在FitNesse环境下的测试用例框架及测试代码.实验结果表明,该工具对减少回归测试成本,提高回归测试效率具有十分重要的意义. 相似文献
10.
针对基于时间感知的测试用例优先排序问题,提出了整数线性规划与遗传算法相结合的混合求解算法.首先,基于整数线性规划,选择待测程序实体的覆盖量最大且满足时间约束的测试用例集;然后,根据程序实体覆盖矩阵对个体进行编码,以程序实体覆盖速率作为适应度函数,利用遗传算法对测试用例集进行排序.选择5个经典的基准开源项目进行实验,以分支和方法作为程序实体,时间约束分别为25%和75%.实验结果表明,混合算法收敛速度快、稳定性好,优于传统整数线性规划方法.该算法有助于尽早发现软件缺陷,降低回归测试成本. 相似文献
11.
基于组件Web应用程序的覆盖率准则和测试需求约简（英文） 总被引：1，自引：0，他引：1
为了更好地分析测试基于组件的Web应用,并抉择何时结束测试过程,提出了覆盖率准则的概念和测试需求约简的方法.首先,定义了4种覆盖率准则,并证明它们之间的包含关系.然后,使用一种转换算法将Web应用测试模型转换成一种可以约简测试需求集合的Web应用决策-决策图（WADD图）.最后,基于各种覆盖率准则,并通过分析图中各条边的等价和包含关系,约简测试需求集合.测试人员可以根据不同的测试环境需求选择不同测试需求集合.案例分析表明,在实际的Web应用中所定义的覆盖率准则确实存在线性包含关系.基于不同的测试覆盖率准则,测试需求集合平均可约简55%以上.随着覆盖率准则复杂度的提高,测试需求的规模也随之增大. 相似文献
12.
Spark是大数据内存计算系统的典型代表,通过内存缓存数据加速迭代型、交互型大数据应用的运行。基于时间窗口的数据分析是一类典型的大数据迭代型应用。基于Spark平台运行时间窗口数据分析应用,存在中间结果数据放置不均的问题,造成应用执行效率降低。针对上述问题,提出基于遗传算法的Spark中间结果数据迁移策略,通过考虑中间结果数据迁移时机、迁移数据规模,并使用遗传算法优化选取迁移数据放置位置,提高时间窗口应用执行效率。实验结果表明,在既有Spark平台中,采用该迁移策略可使时间窗口应用执行时间最大减少28.45%,平均减少21.59%。 相似文献
13.
Web应用程序自动化测试工具 总被引：1，自引：1，他引：0
在.NET框架下,研究Web应用自动化测试工具,并给出了设计和实现。该自动化工具包含两个子工具WebTester和WebReplay。前者实现了对测试用例的自动录制、回放,而后者则允许测试人员手工编写测试脚本,进行更为复杂的测试。实现的关键是采用了两个开源的框架Watin和HTMLParser。 相似文献
14.
林关成 《渭南师范学院学报》2012,(2):83-86
传统的支持向量机分类算法在优化过程中对所有支持向量都进行优化,增加了计算量,降低了训练效率.针对上述缺点,在分析样本模糊隶属关系的基础上,采用改进的K近邻算法为已知样本分配隶属度,根据训练样本的隶属关系,剔除非支持向量,减少训练样本,并将其用于中文网页的分类中,得到了较好的分类效果.仿真实验结果表明,改进后的方法不仅相对简单,而且在保证分类器性能的情况下,能有效地减少支持向量机的训练样本数,从而提高支持向量机的训练和测试速度. 相似文献
15.
王文霞 《雁北师范学院学报》2014,(2):10-13
同构图指的是在两个图中寻找顶点之间对应的映射,通过映射使得两图中的各条边也保持对应的关系。为了有效提高寻找有向同构图的时间效率、简化操作,首先研究了有向图同构的矩阵存储方式,并针对性的提出了用出入度序列来判断有向图的同构算法。与矩阵存储算法相比,该判定算法的时间更为简短。通过执行判定过程验证了算法的正确性。 相似文献
16.
In this paper we describe a system for visualizing correctness proofs of graph algorithms. The system has been demonstrated for a greedy algorithm, Prim's algorithm for finding a minimum spanning tree of an undirected, weighted graph. We believe that our system is particularly appropriate for greedy algorithms, though much of what we discuss can guide visualization of proofs in other contexts. While an example is not a proof, our system provides concrete examples to illustrate the operation of the algorithm. These examples can be referred to by the user interactively and alternatively with the visualization of the proof where the general case is portrayed abstractly. 相似文献
17.
Kyung T. Han 《Journal of Educational Measurement》2012,49(3):225-246
Successful administration of computerized adaptive testing (CAT) programs in educational settings requires that test security and item exposure control issues be taken seriously. Developing an item selection algorithm that strikes the right balance between test precision and level of item pool utilization is the key to successful implementation and long‐term quality control of CAT. This study proposed a new item selection method using the “efficiency balanced information” criterion to address issues with the maximum Fisher information method and stratification methods. According to the simulation results, the new efficiency balanced information method had desirable advantages over the other studied item selection methods in terms of improving the optimality of CAT assembly and utilizing items with low a‐values while eliminating the need for item pool stratification. 相似文献
18.
提出了一种新的网络仿真方法———基于TCP网络流量的多协议快速仿真方法。可以根据不同网络的差异模拟网络环境,来测试该网络的拓扑及频宽,以及测试网络协议的性能。提出了一些对TCP流量控制的算法,由实验证明可有效避免网络拥塞,并在仿真中加入新的功能,比较各种不同起始窗口大小对TCP效能的影响,发现在数据包丢失较少时,增大起始窗口大小对效能有正面的影响。 相似文献
19.
20.
Building an abstract model of the web application is the chief task of software test based on model, which is an efficient
way for testing the web application. One problem with current web application test technologies is the lack of tools for modeling
the whole web software, especially the lack of support for describing web application from the view of action and function.
This paper is concerned with providing the support for development and test of the web application. The presented novel model,
named component-based and tree-oriented web application development model (CBTOWADM), abstracts the web application as a tree
based on its system function and business process. CBTOWADM not only simplifies the design and development of the web application,
but also acts as the model middleware for software test. The basic model definition, the system framework and the application
in software test of CBTOWADM is described. 相似文献