等价类测试与划分研究.pdfVIP

第 l9卷 第 7期 计 算 机 技 术 与 发 展 v(，ll9 N()7 2009年 7月 OMP[JTERTECHNOL()【Y A＼TJDEV l()PMENT JI1I 2009 等价类测试与划分研究 范明红，浦云明，汪志华 (集美大学计算机工程学院，福建 厦门361021) 摘 要：在研究等价类测试时，可以根据可靠性理论的健壮性和单 ／多缺陷假设，将等价类副舒为弱一般等价类、强一般等 价类、弱健壮等价类和强健壮等价类四种 ，其中弱健壮等价类就是传统软件工程所讨论的等价类测试方法 等价类测试 的数学基础是等价关系和划分，划分保证了等价类测试 的完备性和无冗余性。在分析等价关系时，只要计算 出集合上的 划舒即可。文中给出了划舒的实例，表明了从划分研究等价关系的台理性。提出了等价类没计的 则和等价类测试用例 的设计方法 关键词：等价关系；等价类 ：划分 ；测试用例；软件可靠性 中图分类号：TP31l 文献标识码 ：A 文章编号：J673一-629X(2009，07一O062—04 StudyofEquivalenceTestingandPartitioning FAN Ming—hong，PU gun—uring，WANGZhi—hua (SchoolofComputerEngineering，JimeiUniversity，Xiamen361021，China) Abstiact：Thereretwofactorsofequivalenceclassinreliabilitytht~ry，oneisrobustnc2ss，andtheotherODeissir,gleormultipledefects， thebetWOfactorsreusedinthestudy0fqeuivalence．Theequivalencecla isdi,isihleintorourtypesacmrdingtothesetwofacrora、 which reweakequivalence，strongqeuivalence，weakrobustqeuivalenceand,s~ongrobustequivalence．TheweakIOlOustequivalenceis di~ussde insoftwareengineering Theqeuivalencerelationsandpartitionrethebasis~)ftheequivalencetaetirqg．Pertitioningguarna tees thecompletenessnadnon～redundnacyofqeuivalencetesting．St yontheprtitoinitLgb dor,ls．etismustwhenstudyqeuivalerlce．The partitoiningexampleisprovidedinthepaper，anditisavailablethattheqeuivalenceISqeualtopartitioning．Theprincipleofqeuivalence testingispmvided．nadthetestcasesofqeuivalencetesting aredesigned． Keywords：equivalencerelation；qeuivalenceclasses；partitoin；testcase；softwarereliabiliw 0 引 言 +)的取值，以及一个略小于最小值 (min一)的取值 ，共 等价类测试实现了完备测试和避免冗余。等价类 7个取值元素，对于 个变量的函数，健 宅测法 测试重复边界值测试的两个基本因素，即健壮性和单 ／ 生6n+1个测试用例。最坏情况测试是基于可靠性理 多缺陷假