一致性测试的静态需求测试研究.pdfVIP

第35卷 第24期 计 算 机 工 程 2009年12月 Vo1．35 No24 ComputerEngineering September2009 · 博士论文 · 文章编号：10ol卜’3428(2009)24_-0036_‘03 文献标识码：A 中圈分类号：TP393 一 致性测试的静态需求测试研 究 邢 熠 ，，叶新铭 。 (1．中国科学院计算技术研究所，北京 100080；2．内蒙古大学计算机学院，呼和浩特 010021；3 中国科学院研究生院，北京 100049) 曩 要：针对一致性测试中的静态需求测试通常采用手工方法而产生的效率低问题，提出一种基f统计学习的方法，包括静态需求的关联 规则表示，并对采样的协议数据进行关联规则挖掘，如果得到的规则与需求规则一致，静态需求就可以得到统计上的测试检验。该方法在 OSPFv3协议测试中取得了较好的效果。 关健词：静态需求；一致性测试 ；采样；关联规则 StudyonStaticRequirementTestofConformanceTest XING Yi1,2,3 ． YEXin．ming (1．InstituteofComputingTechnology，ChineseAcademyofSciences，Beijing100080；2．CollegeofComputerScience， InnerMongoliaUniversity，Hohhot010021：3．GraduateUniversityofChineseAcademyofSciences．Beijing100049) [Abstract]Thispaperpresentsastatisticallearningmethodtodealwithstaticrequirementtestofcolltormancetestwhichisusuallydealtwith handymehtodsSOithasvery low efficiency Staticrequirementisdemonstratedasruleknowledge Thesamplingdataare mined tOproduce associationrules．Ifstaticrequirementcomplieswithassociationrules，staticrequirementsarestatisticallycorrectThemethodachievesgoodresults whenapplyingwiht OSPFv3protocolconformancetest． [Keywords]staticrequirement；conformancetest；sampling；associationrule 1 概述 在这个静态需求_卜存存缺陷。 符号化是一致性测试集成控制和数据测试的一项新技 2 产生式表示法 术，包括符号的生成和执行。现在符号技术的研究主要集中 产生式表示法义称为产生式规则表示法，模型中的每一 在协议的动态需求，动态需求是指协议的行为需求。但是根 条规则称为一个产生式 。 据 ISO9646ll规定，协议一致性测试不仅包括动态需求，而 产生式通常用于表示具有因果关系的知识，其基本形式 且包括静态需求。静态需求是指协议中关于属性的描述。由 是：P Q，其中，P是产生式的前提，用于指出该产生式是 于属性不易建模，因此这些需求的测试经常采用的方法是人 否可用的条件 ；O是一组