面向图文法的体系结构测试方法研究.pdf

第26卷 哈尔滨师范大学 自然科学学报 Vo1．26，No．12010 第 1期 NATURALSCIENCESJOURNALOFHARBINNORMALUNIVERSITY 面 向图文法的体系结构测试方法研究 张 迪，伦立军 (哈尔滨师范大学) 【摘要】 针对 目前体系结构描述语言对体系结构动态行为描述方面的不足而t 难以生成测试路径问题 ，提出一种基于超边 图文法的软件体系结构测试技术，首先用 超边 图文法表示软件体系结构，同时用实体语言EL描述体系结构，然后根据 EL描 述导出接 口互联图IIG，再根据测试覆盖准则，生成测试路径，最后 以Client／Server为 例验证该方法的有效性． 关键词：软件体 系结构测试 ；图文法；接 口互联图；测试路径 用例生成技术 】，BertolinoA提出从软件体系结 0 引言 构描述中导出测试用例的思想 J．从 以上测试 在体系结构层描述软件系统设计是一个关键 看，缺乏对描述软件体系结构动态行为方面的体 问题，为了对被测系统进行有效地描述和管理，需 系结构描述语言，难以生成测试路径问题． 要使用体系结构描述语言对系统体系结构描述． 用超边图文法刻画软件体系结构，然后根据 图文法做为一种形式化方法能直接支持用户定义 描述语言导出接 口互联 图，以结点间关系定义路 的图语言，从而直接支持定制的体系结构风格和 径并给出测试覆盖准则，生成覆盖测试路径．最后 该风格特定语境下的体系结构构造和操纵…．因 以Client／Server体系结构为例，给出超边图文法 此面向图文法的测试即注意到体系结构信息，又 推导及描述过程 ，根据测试覆盖准则，生成覆盖测 注意到体系结构动态行为信息． 试路径． Rekers针对可视化语言中的应用提出了上文 1 基本概念 相关图文法LGG ，RozenbergG针对嵌人方法的 研究提出上下文无关图文法NLC J，CourcelleB 软件体系结构包含系统构件、连接件和约束 针对上下文无关 图文法的研究提出超边 图文法 集合，反映不同人员需求集合及展示由构件、连接 HRG ．超边图文法是一种特殊上下文无关图文 件和约束定义的系统在实现时满足系统不同人员 法，其中的产生式左端是一个超边，即一个带有固 需求的原理集合 定数 目边的非终结点，每条边都与某周边结点相 1．1 软件体系结构 连，图文法产生式右端指定某些结点为外部结点， 定义 1 软件体系结构是系统构件、连接件 要求每个产生式左端超边所带边和右端外部结点 和约束 的集合，可形式表示为 SA=(Comps， 一 一 对应．MucciniH等人研究了使用软件体系结 Conn，Cons)，其中Comp={Comps．I，Comps．C}是 构指导代码测试，并探讨被测系统规格说明与其 构件集，构件是一个数据单元或一个计算单元，由 实现之间的一致性测试 问题 J，JinZhenyi用 构件接 口集 Comps．i和构件 内部实现模块 Wright语言，从结构描述角度研究了Wright测试 Comps．c组成，Conn={Conn．R，Corm．C}是连接 收稿 日期：2009—12—31 第 1期