基于上下文依赖规则覆盖的句子生成.doc

.(中国科学技术大学软件学院,合肥230027)(中国科学院软件研究所计算机科学重点实验室,北京100080)E—mail:******@,是上下文无关文法句子生成的主要方法,,,,—8331一(2005)17-0096-05文献标识码A中圈分类号TP3l1BasedonContext-.(SoftwareEngineeringSchoolofUniversityofScienceandTechnologyofChina,Hefei230027)(puterScience,InstituteofSoftware,ChineseAcademyofSciences,Beijing100080)Abstract:Rulecoverageisonemainmethodtogeneratesentencesforcontext-freegramnmrs,--dependentrulecoverageisproposedrecendy,ordingtothestructuresofdifferent~3Fanlnlars,-,whichisderivedfromrulecoverage-:sentencegeneration,context-******@mnunar,rulecoverage,context-dependentrulecoverage,testingl背景及研究现状在软件开发中经常用到文法,特别是编译器,调试器,浏览器,文档工具,软件分析工具,,,文法的句子生成至少可分为两类:一是句子枚举,需要能够按某种顺序生成所有句子(当然,句子集往往是无限的,实际上无法全部生成);二是测试集,需要按某种准则生成有代表性的句子(包括随机生成准则).这一类句子生成方法的研究对于软件开发尤为重要,,,,基础性工作是Pur-domr~,,,~等将其改进并扩展使其能用于上下文有关文法,~T等详细讨论了算法的一些缺陷和模糊之处,~,被广泛地使用在对编译器的测试工作14,,它只是简单地覆盖了所有的规则,,给定两个不同的文法G和G,,有文法G.,G圈1文法G-.G2若是规则覆盖产生句子集合W,w=i~l就能完全覆盖G.,,,:,,能根据不同文法生成精度更高的测试用例