基于等价类划分的并行频繁闭项集挖掘算法

针对海量数据的关联规则挖掘问题,提出了一种有效的基于等价类划分的并行频繁闭项集挖掘算法.该算法在MapReduce框架下,通过等价类的产生与划分、数据集的分配、异步频繁闭项集挖掘和汇总等步骤,不但较好地解决了多节点间的负载均衡问题,而且易于获得可靠的频繁闭项集.实验表明,该算法能有效克服传统算法挖掘效率低、冗余规则较多的缺点,整体上具有较高的性能.

基于属性集等价类划分的数据约简

由于大型数据库中数据的高维、巨量 ,使得数据约简在数据库知识发现中起着越来越重要的作用 .现有的数据约简方法有 3类 :穷举选择法、启发式选择法和随机选择法 .这些方法效率低 ,可能丢失重要信息 ,效果都不理想 .属性集等价类划分可以在本质上标识出冗余属性和无关属性 ,并且可以快速、准确地计算等价类划分个数 ,使得数据约简更有效 。

等价类划分测试用例设计

等价类划分是黑盒测试的典型方法之一，通过把被测试程序所有可能的输入数据域划分成若干部分。从每一部分中选取少数有代表性的数据作为测试用例，可有效减少测试次数，极大提高软件测试效率，缩短软件开发周期．

黑盒测试之等价类划分

等价类划分是黑盒测试中常用的方法,使用等价类划分可以从不同的角度设计测试用例,以确保用最少的用例发现尽可能多的错误和缺陷.但事实上,没有一种方法能设计出全部测试方案,在对软件进行实际测试时,应配合使用多种方法,形成一种综合策略.

分布式计算中稳定性质的等价类划分

分布式计算中的稳定性质是那些在计算中一旦成立将保持成立的性质，如分布式死锁、分布式终止和分布式废码等．稳定性质检测是分布式计算中的重要问题，常通过构造一致全局系统状态来检测稳定性质．本文研究可以在任意系统状态上计算的稳定性质，基于相关事件的概念，定义了强稳定性质和局部稳定性质，证明了局部稳定性质是强稳定性质，存在不是局部稳定性质的强稳定性质和不是强稳定性质的稳定性质．证明了分布式废码是强稳定性质，修正了以前的结论．第一次给出了稳定性质的等价类分类，定义了在任意系统状态上稳定性质的语义．给出了检测强稳定性质的局部算法和控制算法，本文结论的理论意义在于揭示了稳定性质间的共性和异性，其实践意义在于可由一类稳定性质的检测算法得到另一类稳定性质的检测算法．

等价类划分法测试用例的设计与实现

黑盒测试也称功能测试,是软件测试中最重要的测试手段,其中等价类划分法是最简单常用的方法之一,本文探讨如何使用等价类划分法进行黑盒功能测试。等价类划分法是把所有可能的输入数据,即程序的输入域划分为若干部分(子集),然后从每一个子集中选取少数具有代表性的数据作为测试用例。所谓等价类是指某个输入域的子集合。在该子集合中。

一种基于数组的高效等价类划分算法

粗糙集理论是建立在等价类的基础上的,等价类划分算法的优劣会直接影响到属性约简和规则提取的效率.针对等价类基数排序算法中存在重复计算和空间开销较大的问题,提出了一种基于数组的等价类划分算法.算法的时间复杂度为O（｜U｜｜C｜）,空间复杂度为O｜U｜.最后通过具体案例验证了算法的执行过程。结果表明算法高效且正确可行。

基于等价类划分的黑盒测试用例设计与实现

等价类划分是黑盒测试中常用的方法之一,使用等价类划分可以从不同的角度设计测试用例,实现以用最少的用例发现尽可能多的错误和缺陷。

基于等价类划分的测试用例设计在软件评测中的应用

软件产品与项目的数量与复杂度的不断增加,对软件评测的工作效率及测试用例高覆盖率提出了挑战。本文通过等价类划分的介绍,划分原则的阐述,以及测试用例的实例设计,为软件评测提供了一种较好的应用方法。等价类划分法有助于提高软件评测人员的测试效率,即以相对少量的测试用例完成测试的高覆盖率。

《软件工程》中等价类划分法的讨论

软件测试是软件开发的一个重要环节,也是《软件工程》课程教学的一个重要内容。主要介绍了一类软件测试方法——黑盒测试中的等价类划分法,并结合一个例子分析了运用该方法设计测试用例的方案。

基于“BOPPPS”模式的“黑盒测试技术-等价类划分法”教学设计与实践

探讨针对高校软件测试专业课程中课堂教学气氛沉闷、学生被动接受知识、无法形成有效教学过程评价和激发学生自主学习行为的问题,结合当前教育部提倡加快建设高水平本科教育全面提高人才培养能力“以学生为中心”的教学模式,对传统知识讲授型课堂教学做了改进。使用“BOPPPS”模式在软件测试课程中以《黑盒测试技术-等价类划分法》为例进行教学设计和具体实践,探索该模式在教学设计逻辑、教学方式方法和授课效果方面的优势。

黑盒测试技术概述及等价类划分法

黑盒测试是把测试对象看做一个黑盒子，完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明具体的黑盒测试用例设计方法包括等价类划分法、边界值分析法、错误推测法、因果图法、判定表驱动法、正交试验设计法、功能图法、场景法等。

判定表驱动和等价类划分在软件测试中的组合应用

判定表驱动法是应用广泛且测试效果较好的一种动态黑盒测试方法,但该方法在处理输入条件为非逻辑值时存在局限性。在分析了判定表驱动法和等价类划分法的特点后,通过示例阐述了两者结合的测试方案,该方案可提高测试的效率和有效性。

针对VxWorks电力工控终端的模糊测试方法

VxWorks是电力工控终端广泛采用的实时嵌入式操作系统。电力工控系统中,嵌入式系统大多被裁剪、运行周期长,系统中可能长期存在未知漏洞。现有模糊测试方法未考虑嵌入式终端系统特点,对VxWorks系统适用性差。因此,文章提出针对VxWorks电力工控终端的模糊测试方法,选取WDB RPC接口及在其上运行的RPC协议作为测试对象,结合等价类划分技术和滑动窗口位翻转算法生成模糊测试用例,并基于边界值分析技术对用例进行验证。实验结果表明,所提方法能有效挖掘VxWorks系统内存崩溃漏洞。

SQL注入漏洞多等级检测方法研究

在深入分析SQL(structured query language)注入攻击特点、攻击方式及SQL注入漏洞相关防御机制的基础上,依据防御度的高低对SQL注入漏洞进行分级。将漏洞分级作为SQL注入模糊测试用例等价类划分的依据,对SQL注入参数进行优化选择后,模拟黑客攻击的方式主动地、有针对性地进行检测。SQL注入参数的等价类划分保证了模糊测试过程的完备性和无冗余性。

黑盒测试技术在指控分系统软件测试中的应用

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以指控分系统软件测试为例,详细介绍了软件黑盒测试的几种方法,以及如何采用黑盒测试技术来设计切实可行的测试用例,实践证明,应用这些黑盒测试技术在该系统软件测试的用例设计中,极大地提高了测试效率,取得了较好的效果,具有一定的推广价值。

基于谓词抽象的测试用例约简生成方法

针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。

基于混合粒子群的IMX系统组合测试用例集生成

测试用例生成是组合测试领域的关键任务。针对国际航空运输协会的全球航空公司综合管理系统在软件测试中面临的测试用例冗余问题,分析粒子群算法生成单个测试用例时不同参数取值以及取值对结果的影响,以此为基础提出一种以one-test-at-a-time为扩展策略的混合粒子群组合测试用例集生成算法。以全球航空公司综合管理系统中的参数为实验数据,实验表明,该方法在生成尽可能少的组合测试用例集上是有效的,且可以减小该系统组合测试用例集规模,提高待测软件系统的测试效率。

实时软件测试用例构造方法研究

在分析实时软件特征的基础上，从任务组合和等价类划分两个主要环节探讨了软件测试用例构造策略，总结出六项基本规则，并将这些规则应用于一项大型工程软件的测试，使测试用例数减少到接近最低程度，时间和费用降低50％以上。

信息系统中正区域快速求解算法研究

正区域是粗糙集理论中最重要的概念之一,求解正区域一般算法的时间复杂度为O(|C||U|2)。为了提高正区域求解效率,提出一种快速等价类划分算法,并应用于正区域求解过程中,使求正区域算法的时间复杂度降低为O(|C||U|)。然后,提出负区域的概念,证明了在负区域中求解正区域的性质,并给出改进后的算法,使求解正区域的时间复杂度进一步降低为max{O(|C||U-POS{a1}(D)|),O(|U|)。理论分析和实验结果表明,该算法是正确的、高效的。