模型面向过程式语言切片工具的实现.pdfVIP

第15卷第1期 辽宁省交通高等专科学校学报 V01．15NO．1 201 3年2月 Feb． 2O1 3 OFLIAONINGPROVINCIALCOLLEGEOFCOMMUNICATIONS JOURNAL 文章编号：1008—3812(2013)01—017—04 模型面向过程式语言切片工具的实现 李天慧 (辽宁现代服务职业技术学院，辽宁沈阳 110164) C 摘 要 本文以一种自定义的小型面向过程式语言(Similar Language，简称SCL)作为实 验语言，在图论和编译技术的基础上，提出了一种分层次切片面向过程式程序的新方法，描述了实 现SCL语言切片工具的完整方案。 关键词 程序切片；分层次切片；SCL语言；切片工具 中图分类号：TP311 文献标识码：A 1 引言 (2)SCL语言的变量有四种基本类型，分别 为整型、布尔型和字符型和空类型(void)。变量 程序切片技术(programslicing)是一种非 常重要的程序分解技术…。它用于从源程序中抽 的声明和对变量的赋值分成两个语句完成。 取一些开发人员感兴趣的程序片段组成新的程 (3)SCL程序中使用的分隔符和C语言中的 序。开发人员通过分析这个程序片段来了解源程 分隔符一致。 序的行为．以达到辅助程序理解的目的。 (4)本文把函数调用看作是一个表达式语 一个程序的切片是这个程序中与切片准则相 句，因此可以把它作为计算语句的一种进行处 关联的语句组成的集合。切片准则是一个二元组 理。 (n，V)，其中n是程序中某个语句所在的行的标 (5)为了便于处理，本文定义SCL语言只包 识，V是在n点定义或使用的变量或变量集合。 含while这种循环结构。 程序切片的概念是由Mark．Weiser博士于(6)一个SCL程序是由一个主函数和若干个 1979年首次提出的．经过三十多年的发展，程序普通函数组成。主函数以main为标识符，一般 切片在理论和应用研究上都取得了丰硕的成果。 位于程序中其他函数的后面。 目前程序切片已经作为一种重要的技术广泛地应 用于软件测试、软件调试、软件度量、逆向工程 等领域。 2 SCL的文法说明 2．1 SCL语言特征 明(vardec)。 本文仿照C语言的机制。从C语言中删除 (8)SCL源程序中不含有注释部分。 数组、指针和结构体等复杂的结构，得到了C语 2．2 SCL语言文法的形式化说明 言的一个子集作为模型语言。以下是SCL语言的 本文采用语法分析器生成模块规定的格式 特征说明： 来表示SCL语言的文法，如图1所示。 (1)SCL程序的基本结构包含函数层和语句 层两个基本的层次。函数层包含对全局变量的定 义以及所有函数的定义，语句层是由三种基本结 构所构成的语句集合。 收稿日期：2013—02-06 作者简介：李天慧(1984一)，女。辽宁沈阳人，学士，助教。研究方向：计算机软件与理论。 ·17· 辽宁省交通高等专科学校学报