语义描述集成环境研究

来源 :长沙理工大学 | 被引量 : 2次 | 上传用户:jcm917
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件理解方法和工具的研究是当前软件产业的重要课题。软件理解就是通过一定的工具和方法来弄清一个软件是“做什么”以及“如何做”,是开发软件系统构筑体系含义和行为的智力模型的过程。理解一个软件系统实际上是抽象该系统的更高层描述的过程。抽象过程的目标产品就是软件理解模型,软件理解模型包含来自现实世界的对象及其相互关系,而忽略程序设计领域中一些不太重要的细节。蕴涵在软件源代码中的语义是软件程序的语法和词法的隐表达,它是软件编制者的设计意图与设计决策在软件开发过程中的直接体现,也是人类思维向机器思维转换的高层产物,因此从程序的语义中抽取符合人类思维过程的设计思想与设计决策将是一条直接有效的途径。同时从这一角度出发来探索能够实现软件理解自动化、智能化的算法和工具必定有着十分重大的意义。另外,近年来,程序语言发展得很快,出现了很多的语言,语言的功能和结构也有了本质的改变。程序理解工具必须能够适应这种多语言多功能的变化。因此,本论文着重探讨建立一个语义描述集成环境,能够处理多种程序语言,从软件源代码中提取用户关心的语义信息,帮助用户准确、迅速、全面、多层次地理解软件系统。本文的主要工作:1.提出语义描述集成环境模型。针对当前的软件理解工具存在的不足,提出语义描述集成环境模型。语义描述集成环境模型在文法基础上提供软件理解和分析技术的通用支撑环境,在该环境上能够应用较广泛的软件理解和分析技术从软件源代码中提取用户关心的语义信息,并通过说明或图形可视化地显示,从而能够帮助用户快速地理解软件。2.语义描述集成环境的设计与实现。设计语义描述集成环境的各个模块,并且用VC++编程实现其各个模块的重要功能,基于其上可以实现一定程序理解的应用。3.语义描述集成环境应用实例。以抽取C语言函数定义为例子说明语义描述集成环境的使用。
其他文献
由于市场竞争的加剧和客户需求的快速变化,制造企业,特别是开发生产大型复杂产品的企业,对产品结构定义和配置管理提出了新的要求,而基于PDM构架的产品结构定义和配置管理是
近年来,由于计算机和网络技术的高速发展,企业信息化的成本已不再高昂。各行各业都在建设自己的信息化平台。传统的钢铁交易市场也在建立自己的网上信息平台,让用户在因特网
下一代网络是以IP技术为核心的,可以提供包括语音、数据和多媒体等业务的综合开放的网络。软交换作为下一代网络的核心控制设备,已经成为电信界和计算机界共同关注的研究热点。
随着计算机网络应用的普及,网络安全已经成为不容忽视的问题。如今数据加密、病毒防护程序、防火墙、入侵检测等网络安全防护措施日趋成熟。防火墙能够阻断大多数来自外部的
本文将对RDM和TRDM中的基于常规角色的转授权与撤销机制进行扩展,扩展后的模型称为基于角色的带时限的转授权与撤销模型(TemporalRole-basedDelegationandRevocationModel,TRDR
本文通过研究Linux 2.6.10内核IPsec框架与跟踪IPsec v2最新标准RFC4301,讨论了IPsec v2框架下VPN与防火墙的联合设计,同时研究了32位嵌入式系统开发和Linux内核移植,最后实
作为一种新兴的短距离高速无线通信技术,超宽带(Ultra-Wideband,UWB)通信已成为诸如无线USB、无线1394等高速无线应用中的关键技术。本论文针对采用m序列为扩频码、BPSK为调制
近年来,随着多媒体技术和网络技术的飞速发展,Internet上的音频和视频等多媒体应用层出不穷,这些应用需要网络提供端到端的QoS控制和保证。当今的Internet只能提供尽力而为的服
生物信息学以计算机、网络为工具,用数学等科学理论、方法和技术研究生物大分子,主要包括脱氧核糖核酸(DNA)和蛋白质(Protein)的序列、结构和功能。生物序列的比对,是生物信
近年来,在多种科学领域,大量数据都可以转化为不确定图,例如:社会网络、蛋白质交互网络等。通过不确定图,可以形象地看到信息间的结构关系,也可以从节点获得数据信息。如何从现有的