中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
LFC语言检验方法的研究
作者: 吴端仪
答辩日期: 2006-06-05
授予单位: 中国科学院软件研究所
授予地点: 软件研究所
学位: 博士
关键词: LFC语言 ; 上下文无关文法(CFG) ; 软件的检验
摘要: LFC语言是以上下文无关语言为数据类型的函数式语言,在形式规约获取系统SAQ中用作形式规约语言。LFC语言的检验分成两部分:即上下文无关文法检验和LFC函数检验。本文以LFC语言的检验方法为研究目标,根据这两部分的性质和要求,本文设计了文法检验子系统和函数检验子系统,提出均匀的规则覆盖算法和基于等价类划分的分层覆盖算法。本文的研究从以下两个方面分别进行。 在文法检验部分,为帮助用户提高上下文无关文法定义的效率和质量,设计了用于检验文法的工具系统。该系统可以按照用户给出的文法和测试用例进行分析判断,根据分析的结果判断文法定义的正确性以及产生错误的位置,也可以仅根据用户输入的文法生成句子集,再通过生成的句子集实例来判断文法的定义是否正确。在文法检验子系统中,采用了对于文法检验较为实用又能够相互补充的四种方法生成句子,包括规则覆盖,均匀的规则覆盖,上下文依赖的规则覆盖以及句子枚举。其中均匀的规则覆盖生成算法是由作者提出一种用于文法检验的句子生成方法,生成的句子长度较基于规则覆盖生成的句子更加均匀,便于用户进行判断和辨别。 在函数检验部分,本文利用句子生成算法生成的句子集作为测试用例,用作函数的输入参数,并显示运算结果。在函数检验子系统中,采用了三种方法生成句子,包括规则覆盖,上下文依赖的规则覆盖以及句子枚举算法。针对LFC函数的特点,提出基于等价类划分的分层覆盖句子生成算法。为了提高系统的自动化程度,函数检验子系统中增加了判断结果数据类型的测试函数,以提高函数定义的有效性。
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/5636
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
10001_200328015004339吴端仪_null.doc(1067KB)----限制开放-- 联系获取全文

Recommended Citation:
吴端仪. LFC语言检验方法的研究[D]. 软件研究所. 中国科学院软件研究所. 2006-06-05.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[吴端仪]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[吴端仪]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace