一、Extracting Objects from Ada83 Programs: A Case Study(论文文献综述)
王丽[1](2011)在《C++静态代码检测语法树构建方法研究》文中进行了进一步梳理软件系统的可靠性越来越被人们重视,尤其在安全性要求苛刻的场合,如航天飞行器、汽车和某些工业控制系统。软件安全分析是可靠性保证的重要手段之一。静态分析技术不需要执行程序并能从中发现早期的安全漏洞而受到广泛的关注,在软件安全分析中发挥着重要作用。由于软件规模不断扩大,静态分析使用人工走查已经越来越不现实。一个可信的自动化静态分析工具具有十分高的使用价值和前景。语法树作为代码解析的重要基础,是对代码进行静态分析的起点。通过构建语法树,可对程序进行匹配分析,获取代码相关信息。本文研究了C++源代码静态检测系统的语法树模块构建方法,提出了一种基于关系存储模式的关系语法树模型。首先对C++文法构成进行深入分析,然后设计针对C++的词法分析和语法分析模块,并且借助Lex和Yacc工具构建一个合法C++程序的“超集”的语法树。通过上述方法生成的语法树可以被转化成为中间数据存储模型,为静态检测系统后端提供重要基础。本文利用Visual Studio2008开发工具结合Lex、Yacc工具实现一个运行于Windows环境下的C++语法树模块。支持包括词法、语法、浅层与深层语义分析在内的多层次分析,从而能以可信方式检测安全漏洞。可以检测出关联文件检测才能引发的安全漏洞,实现对分布在不同文件中的关联代码的检查。该模块能够识别所有符合标准C++语法的源程序,为提取C++源代码信息的后续工作提供了基础。最后通过实验数据结果分析,验证了该模块的覆盖率和准确性。
吴康[2](2007)在《面向多语言混合编程的嵌入式测试软件设计与实现》文中指出随着嵌入式应用范围的不断扩大,嵌入式软件的测试已经越来越引起开发人员的关注。嵌入式软件测试与通用软件的测试相比,有其特殊性。嵌入式软件只能在需求所指定的硬件平台上执行;嵌入式软件的开发环境和运行环境也是不一致的,因此即使宿主机环境下测试再充分,也不能说明在目标机环境下运行该软件就不出问题。并且嵌入式系统比一般的系统对可靠性的要求更高,嵌入式系统安全性的失效可能会导致灾难性的后果。因此,国内外都对嵌入式软件测试进行了大量的研究,针对嵌入式软件测试的系统也层出不穷。同时,在嵌入式软件的开发中,由于汇编跟硬件的紧密结合性,而高级语言使用方便灵活,所以也存在一部分使用汇编同高级语言混合编写的嵌入式软件。然而,目前国内外的大多数测试平台只能针对一种语言编写的程序进行测试,或者通过不同的配置实现对不同的语言进行测试,而不能同时同步的进行多种语言测试,更不能进行汇编与高级语言混合编写的嵌入式软件的测试。鉴于这种情况,有必要对嵌入式软件测试,特别是混合编程的软件测试进行研究,探索新的方法,构建新的测试平台和开发新的测试系统。本文通过分析嵌入式软件测试的主要特点和方法,以及目前发展的一些状况,需要解决的问题,在过去研究开发的测试平台及系统的基础上,主要针对由汇编和C语言混合编写的嵌入式软件,探索并提出新的测试方法。由于在多语言混合编写的嵌入式软件测试中,汇编和C语言的结构不尽相同,完成代码覆盖测试非常困难,所以本文提出并设计了一种新的分析处理机制,通过Linux下Lex和Yacc两个工具构造词法语法分析器,使其可以自动对代码种类进行判别,并且将汇编代码部分和C语言代码部分采用构造基本块的方法,统一为结构化格式。在程序插桩上,调用GCC对C语言部分进行插桩,并构造一种类似GCC插桩机制,对汇编部分进行插桩,使源程序可以一并由GCC完成覆盖测试,再通过GCOV对编译后产生的两个文件进行分析,得到程序的语句覆盖率和分支覆盖率,以此来判断软件设计是否存在缺陷。
乔文军[3](2007)在《嵌入式软件测试平台的研究与实现》文中研究表明随着计算机技术的飞速发展,嵌入式系统的硬件规模和性能得到了极大提高,相应的,嵌入式系统软件和应用软件的规模也日益提高,在整个嵌入式系统开发周期中所占的比重越来越大,复杂程度也越来越高。软件的质量对整个产品的质量起到了决定性的作用。因此我们迫切需要一种针对嵌入式领域的测试工具来提高软件的质量和可靠性,缩短软件的开发周期。覆盖测试是嵌入式软件测试中的重要环节。覆盖测试的关键技术是对程序代码的分析和处理。本文在对专业覆盖测试工具及其实现方法进行深入细致分析的基础上,着重研究了插装方法和技术,提出了利用改进的插装方式来实现嵌入式软件源程序插装的方法,同时提出了一个宿主机和目标机交联测试的模型。传统的嵌入式软件覆盖率测试主要采用插装目标代码的方式,而本文主要以插装源代码的方式,构建了一个嵌入式软件测试平台ARMT,该测试平台主要实现了词法分析,语法分析和插装,串口通信,显示以及测试用例选择等功能。ARMT测试平台的硬件测试环境由PC机和EasyARM2100实验系统共同组成,EasyARM2100实验系统采用的是Philips公司的LPC2114。本文的最后,在PC机和EasyARM2100系统交联的测试环境中,通过实例验证了测试平台的实用性和覆盖率测试结果的正确性。
徐剑峰[4](2006)在《C-Java自动程序转换系统原型的设计和实现》文中研究指明在经济快速发展的今天,人们对成本和效率有了更高的要求。为了打破平台对用户的束缚,充分利用已有的成果,节省重新开发的费用,平台迁移或软件重用已经变得越来越重要。 因而,源代码转换技术被广泛的运用在软件维护、遗留系统的现代化改造以及软件逆向工程等领域中。它具有重大研究价值和经济价值,不但可以避免重复劳动,提高软件生产的效率和质量,而且可以将大量的遗产系统转化为易演化系统,从而充分有效地利用这些遗留系统。 本文所阐述的就是与此相关的研究。论文中详细描述了一个C—Java转换系统原型的设计和实现。本文借鉴了编译系统的功能实现方法,通过该转换系统中各个部分功能程序相应地分析和处理,逐步地对源程序的词法、语法等方面的语言特性加以分析,将源程序代码解构为可直接进行翻译转换的语言单词符号,并对它们进行相应地转换,最终产生出可正确运行和易于理解的目标代码。 我们在文中对现有的几种移植方法进行了分析和研究。分析表明在将程序库移植到Java中和将它们与Java整合时,这些方法暴露出了各自的局限性和不足。借鉴这些经验,我们制定了转换的设计原则,并遵循这些原则设计了一套有效可行的转换规则。为了显示这种方法的可行性,我们根据设计的方案实现了一个转换系统的原型并选择一些实例来对转换后的代码进行评价。 其中,将C的指针转换为Java的引用是从C到Java进行转换的一个核心问题。基于指针的块模型,我们提供了一个改进的转换策略。实验结果表明这种方法能产生与源代码功能等价的且易于维护的代码。 目前,我们实现的转换系统已经可以把C语言描述的一些经典算法转换为Java程序,如最短路径算法,快速排序算法等。 本文所阐述的内容为实现异种程序设计语言的程序代码转换,提高程序代码的可移植性和重用性提供了有意义的思路和实现方法。
张文嘉[5](2006)在《面向领域的嵌入式组件技术研究》文中进行了进一步梳理软件复用是运用现存系统的软件制品或工程知识构造新系统,避免重复劳动的解决方案,它被视为解决软件危机,提高软件生产效率和质量的现实可行的途径。软件复用的核心技术是组件技术,是近几年迅速发展并受到高度重视的一门学科分支。组件技术已经广泛渗透到传统软件的开发之中,使得开发的效率大大提高,而在嵌入式领域却较少引入类似的技术,研究嵌入式组件的目的是将组件技术应用于嵌入式软件的开发。本文结合实时系统研究室先期技术研究“面向客用汽车电子嵌入式软件开发平台及关键技术”和863项目子课题“智能家电软件构件化开发集成平台”,对嵌入式组件技术进行了研究,分析了当前非嵌入式领域和嵌入式领域的组件模型,根据嵌入式系统的特点,研究了面向不同领域的嵌入式组件技术,在吸收已有嵌入式组件技术优点的基础上,提出了面向两种特定领域的嵌入式组件实现模型:基于任务间通信的嵌入式组件模型,基于汇编源代码的嵌入式组件实现模型。其中,基于任务间通信的嵌入式组件模型是种新的嵌入式组件模型;该模型资源消耗小、有实时调度能力、无需大量底层支持;基于汇编源代码的嵌入式组件实现模型也是一种处于探索阶段的组件实现模型,其直接对源代码进行封装复用,是一种源代码级的组件复用技术。嵌入式组件模型是面向特定领域的,同时应该具有多样性。文中针对汽车电器应用领域和智能家电控制领域提出了采用两种不同的嵌入式组件模型,并结合课题说明了这两种面向领域的嵌入式组件实现模型的设计方法和应用实例。讨论了组件技术应用于嵌入式系统的方法,介绍了组件化嵌入式软件的开发过程,本文最后讨论了用XML语言来描述组件的方法和XML技术在嵌入式组件开发中的应用,提出了组件XML描述文档的设计方案。通过在汽车电器领域和智能家电控制领域分别应用两种嵌入式组件实现模型,证明了嵌入式组件技术的有效性,组件化软件开发技术对嵌入式系统是有效可行的,它能提高嵌入式软件的开发效率和质量。
王小康[6](2006)在《面向客用汽车电器领域的嵌入式组件研究与开发》文中指出软件复用是运用现存系统的软件制品或工程知识构造新系统,避免重复劳动的解决方案,它被视为解决软件危机,提高软件生产效率和质量的现实可行的途径。软件复用关键技术之一的领域工程技术,是近几年迅速发展并受到高度重视的一门学科分支。领域工程技术已经广泛渗透到传统软件的开发之中,使得面向特定领域的软件开发效率大大提高,如:本文中阐述的客用汽车电器领域的嵌入式软组件开发。本文对领域工程技术进行了较为深入的探讨。首先,分析了组件和组件框架的概念,对三种通用组件模型进行分析比较;其次,在面向领域的组件化嵌入式软件开发技术方面也进行了深入的研究,不仅分析了嵌入式系统的软硬件特点和有关嵌入式组件的概念,而且探讨了通用组件模型和嵌入式系统之间的关系;最后,研究了面向领域的组件化嵌入式软件的开发技术,阐述了领域工程的概念和领域工程的三个重要活动:领域分析、领域设计、领域实现,也详细的阐述了应用工程的概率以及领域工程和应用工程的关系,然后还阐述了需求工程和组件库的有关理论。在进行了大量理论研究之后,结合预研课题“面向客用汽车电子嵌入式软件开发平台及关键技术”的需要,本文将面向领域的组件化嵌入式软件开发技术应用于汽车电器领域。首先,对汽车电子领域进行了详细的领域分析,然后把领域研究范围限制在客用汽车电器领域,然后对该子领域进行了详细分析;其次,对其进行领域设计,得出了该领域的DSSA图;再次,根据领域分析和领域设计的结果进行该领域的部分实现,在实现过程中用到了项目组提出的针对汽车电器领域的嵌入式组件模型-ECMBIC;最后涉及了组件库管理和实现结果的分析。
胡卫[7](2006)在《软件复用技术的研究及在TAFS中的应用》文中认为随着计算机的普及,其应用领域也随之扩大,某些计算机的应用已经潜移默化的改变着人们的生产和生活方式。在计算机系统中,软件是灵魂,硬件是身体,软件控制硬件要做什么,如何去做,硬件则表现在如何接受软件的输入,如何表现软件作用后的输出。软件和硬件是组成一个计算机系统中不可或缺的部分,而衡量计算机的发展速度往往是按照发展最缓慢的组成部分作为参考标准的。就目前情况看,计算机硬件始终遵循所谓的摩尔定律高速发展,而软件生产却由于种种原因,发展比较滞后,这大大延缓了整个计算机产业的发展,导致软件危机的出现。 软件复用是为了解决软件危机和克服开发日益复杂的软件系统而提出的一种方法。其主要思路来源于对硬件结构化的思想,即标准化的硬件设备可以重复生产相同功能的硬件,所有硬件通过系统总线连接起来构成一个硬件系统,并且采用不同的硬件,可以构成不同的计算机硬件系统。通过类比而引入软件总线的概念,使用功能通用的软件组件的实现复杂的软件系统,通过使用不同的软件组件来建立不同的软件系统,从而构造不同的计算机系统。 软件构件技术就是基于上述思想而提出。构件技术存在许多不同的标准,流行的有三种。它们有许多相同的共性,例如都包含接口,都是均可划分的功能模块等。 COM是一种软件构件技术,也是目前应用较多的软件构件技术之一。在Win32平台下,COM己成为一个技术标准被广泛推广,而其后版本DCOM已支持分布式应用。本文着重说明了COM标准规范,COM接口的设计原理,以及使用COM技术构建软件系统,COM的优势等。并通过一些C++的代码的声明给出实现COM细节的一些元素,如接口的实现的结构体。最后论述了怎样使用Visual C++开发工具开发和使用COM组件。同时也实现了一个基于COM组件的税务稽查档案管理系统。 税务稽查档案管理系统是一套应用软件系统,它解决了通常人工搜集整理数据带来效率低下,和案件资料无法完整的长期保存等问题。该系统利用计算机技术实现办公自动化和无纸化,既有利于档案资料的存放,又由于文件资料全部挂在网上,可以最大限度的实现资源的共享和快速查找定位,效率远远超过传统的人工操作。 税务稽查档案管理系统的设计充分体现了COM思想,将系统的各个部分按功能划分,编写成COM组件形式,然后通过一个框架将所有功能部件组装起来,为了提高开发效率,程序中使用了一些第三方组件,事实证明,软件开
奚雪峰[8](2004)在《嵌入式软件测试技术研究和典型测试案例实现》文中研究表明针对嵌入式软件的特点,讨论现有主要的测试技术,结合改进的V模型,提出了一种嵌入式软件测试流程管理方案,主要讨论了测试的流程管理和各阶段测试方法应用。最后,介绍了该方案在实际工程项目中的应用情况。本文的创新之处在于改进了现有的V模型,使其更加适合嵌入式软件测试的需要;同时针对程序控制结构的覆盖测试,提出了自动化生成测试用例的思路,并设计了自动化工具的主要程序框架。另外,本文还讨论了在实验阶段,基于V模型的基础上,采用一些自动化测试方法的体会,如测试脚本和测试工具的应用。
朱建浩[9](2004)在《软件体系结构设计方法的研究与应用》文中研究指明软件体系结构逐渐成为软件工程的重要研究领域,并最终作为一门学科得到了业界的普遍认同。在基于构件和体系结构的软件开发方法下,程序开发模式也相应地发生了根本变化。软件开发不再是“算法+数据结构”,而是“构件开发+基于体系结构的构件组装”。软件体系结构作为开发文档和中间产品,开始出现在软件过程中。 本文首先对已有的几种软件体系结构设计方法进行了研究,并逐一分析了各种方法所存在的不足之处。然后在这些软件体系结构设计方法的基础上,提出一种新的软件体系结构设计方法。在这个方法中不仅强调了功能需求,还着重要求开发出一组体系结构需求。另外还强调了采用迭代增量的方法来构建软件体系结构。并采用开发者熟悉的UML机制来描述软件体系结构,使具体事项之间的映射更为接近,并能得到商业工具的支持。本文还对软件体系结构风格还进行了研究,并重点对C2软件体系结构风格进行了研究。最后,在B2C电子商务中,结合C2软件体系结构风格对本文所提出的软件体系结构设计方法进行了应用。
二、Extracting Objects from Ada83 Programs: A Case Study(论文开题报告)
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、Extracting Objects from Ada83 Programs: A Case Study(论文提纲范文)
(1)C++静态代码检测语法树构建方法研究(论文提纲范文)
摘要 |
Abstract |
1 绪论 |
1.1 研究目的和意义 |
1.2 国内外研究现状 |
1.3 研究内容 |
1.4 论文的组织结构 |
2 静态检测方法与工具概述 |
2.1 软件的动态测试与静态分析 |
2.2 静态分析方法 |
2.3 静态检测工具 |
2.4 Lex与Yacc工具 |
2.5 C++安全编程规则 |
2.6 本章小结 |
3 核心技术研究 |
3.1 C++代码解析方法 |
3.2 C++语法树构建 |
3.3 符号表组织 |
3.4 内存管理机制 |
3.5 本章小结 |
4 C++静态检测语法树设计与验证 |
4.1 功能需求分析 |
4.2 C++词法分析设计 |
4.3 C++语法分析设计 |
4.3.1 数据对象声明 |
4.3.2 函数与函数指针声明 |
4.3.3 条件选择与循环 |
4.3.4 异常处理文法 |
4.3.5 类文法 |
4.3.6 表达式文法与操作符 |
4.3.7 语句 |
4.3.8 模板 |
4.4 Lex中C++词法分析模块的实现 |
4.4.1 预处理语句词法 |
4.4.2 注释语句块词法 |
4.4.3 C++关键字词法 |
4.4.4 数字常量词法 |
4.4.5 运算符词法 |
4.4.6 标识符词法 |
4.5 Yacc中C++语法树模块的实现 |
4.5.1 语法分析开始符号 |
4.5.2 C++语句语法树构建 |
4.5.3 C++语法中的类型及其语法树构建 |
4.5.4 类的语法树的构建 |
4.5.5 类模板的语法树构建 |
4.5.6 表达式的处理 |
4.6 C++语法树覆盖率和准确性验证 |
4.6.1 测试用例的设计和选择 |
4.6.2 测试结果与分析 |
4.7 本章小结 |
结论 |
参考文献 |
致谢 |
(2)面向多语言混合编程的嵌入式测试软件设计与实现(论文提纲范文)
摘要 |
Abstract |
第一章 引言 |
1.1 课题背景 |
1.2 课题综述 |
1.3 本人主要工作 |
1.4 章节安排 |
第二章 嵌入式软件测试研究综述 |
2.1 嵌入式软件测试的定义 |
2.2 嵌入式软件测试的对象 |
2.3 嵌入式软件测试的环境 |
2.4 嵌入式软件测试过程模型 |
2.4.1 W 模型 |
2.4.2 H 模型 |
2.5 嵌入式软件测试的分类 |
2.5.1 按测试阶段分类 |
2.5.2 根据测试时是否运行被测程序分类 |
2.5.3 从测试是否针对系统的内部结构和逻辑处理过程分类 |
2.5.3.1 黑盒测试 |
2.5.3.2 白盒测试 |
2.5.3.3 灰盒测试 |
2.6 嵌入式软件测试的主要评测方法 |
2.6.1 覆盖评测 |
2.6.1.1 语句覆盖 |
2.6.1.2 分支覆盖 |
2.6.1.3 决策覆盖 |
2.6.2 质量评测 |
2.7 小结 |
第三章 嵌入式软件测试工具及国内外研究 |
3.1 嵌入式软件测试工具 |
3.1.1 纯软件测试工具 |
3.1.2 纯硬件测试工具 |
3.1.3 软硬结合测试工具 |
3.2 嵌入式软件测试研究现状 |
3.2.1 国外对嵌入式软件测试的研究 |
3.2.1.1 CodeTest |
3.2.1.2 Logiscope |
3.2.1.3 Testware |
3.2.2 国内对嵌入式软件测试的研究 |
3.2.3 多语言混合编写嵌入式软件测试的研究现状 |
3.3 小结 |
第四章 面向多语言混合编程的嵌入式测试软件总体设计 |
4.1 面向多语言混合编程的嵌入式测试软件技术路线 |
4.1.1 多语言混合编程的特点 |
4.1.2 面向多语言混合编程的嵌入式测试软件实现方式 |
4.1.3 面向多语言混合编程的嵌入式测试软件技术路线 |
4.2 面向多语言混合编程的嵌入式测试软件功能与运行环境 |
4.3 面向多语言混合编程的嵌入式测试软件总体框架 |
4.3.1 面向多语言混合编程的嵌入式测试软件总体框架概述 |
4.3.2 功能测试模块 |
4.3.3 代码性能测试模块 |
4.3.4 数据分析和文档报告模块 |
4.3.5 通信接口转换模块 |
4.4 小结 |
第五章 面向多语言混合编程嵌入式软件的覆盖测试 |
5.1 分析处理模块 |
5.1.1 程序扫描模块 |
5.1.1.1 程序扫描模块算法及流程 |
5.1.1.2 程序扫描模块数据结构 |
5.1.2 预处理模块 |
5.1.2.1 预处理方案 |
5.1.2.2 预处理算法及流程图 |
5.1.3 词法分析器 |
5.1.3.1 Lex 与Yacc 简介 |
5.1.3.2 词法分析器设计 |
5.1.3.3 应用Lex 和Yacc 实现词法分析器 |
5.2 覆盖测试 |
5.2.1 基本块 |
5.2.2 程序插桩 |
5.2.2.1 GCC 的插桩原理 |
5.2.2.2 汇编的插桩原理 |
5.2.3 GCOV 分析及应用 |
5.2.3.1 GCOV 的工作原理 |
5.2.3.2 GCOV 文件格式分析 |
5.2.3.3 GCOV 的数据处理和分析原理 |
5.2.3.4 GCOV 的应用 |
5.3 小结 |
第六章 结束语 |
6.1 全文总结 |
6.2 进一步的工作 |
致谢 |
参考文献 |
个人简历、在学期间的研究成果及发表的学术论文 |
(3)嵌入式软件测试平台的研究与实现(论文提纲范文)
摘要 |
ABSTRACT |
注释表 |
第一章 绪论 |
1.1 课题研究的背景 |
1.2 课题研究的意义 |
1.3 国内外研究现状 |
1.4 课题研究内容 |
1.5 论文的组织结构 |
第二章 嵌入式软件测试技术 |
2.1 软件测试概述 |
2.1.1 软件测试的目的 |
2.1.2 软件测试的类型 |
2.1.3 软件测试的等级 |
2.2 嵌入式软件测试 |
2.2.1 嵌入式软件的测试策略 |
2.2.2 嵌入式软件测试的主要方法 |
2.3 嵌入式软件覆盖率测试 |
2.4 嵌入式软件测试的主要评测方法 |
2.4.1 覆盖评测 |
2.4.2 质量评测 |
2.5 通用的嵌入式软件测试模型介绍 |
2.6 国外嵌入式软件测试工具的分析和比较 |
2.6.1 CodeTEST |
2.6.2 Logiscope |
2.6.3 Testware |
2.7 小结 |
第三章 测试平台ARMT 的嵌入式硬件系统 |
3.1 嵌入式系统概述 |
3.1.1 嵌入式硬件 |
3.1.2 嵌入式软件 |
3.2 ARM7 系统简介 |
3.3 EasyARM2100 开发板简介 |
3.3.1 JTAG 接口电路 |
3.3.2 串口电路 |
3.3.3 EasyARM2100 实验系统框图 |
3.4 ADS 集成开发环境介绍 |
3.5 本章小结 |
第四章 嵌入式软件测试平台ARMT 的设计 |
4.1 ARMT 测试平台的技术方案 |
4.1.1 ARMT 的实现方式 |
4.1.2 ARMT 的测试模式 |
4.1.3 ARMT 测试平台的插装技术 |
4.2 ARMT 的功能需求和运行环境 |
4.3 ARMT 平台的模型图 |
4.4 ARMT 的模块设计 |
4.4.1 词法语法分析器 |
4.4.2 插装模块 |
4.4.3 通信模块 |
4.4.4 测试用例的选择 |
4.4.5 显示模块 |
4.5 本章小结 |
第五章 ARMT 测试平台的实现 |
5.1 词法分析和语法分析 |
5.2 控制流图的生成和简化 |
5.3 程序的插装 |
5.3.1 程序的语句插装 |
5.3.2 程序的分支插装 |
5.4 测试用例的生成 |
5.5 通信模块的实现 |
5.6 显示模块的实现 |
5.7 本章小结 |
第六章 ARMT 测试平台的应用 |
6.1 ARMT 测试平台界面 |
6.2 ARMT 测试应用 |
6.3 测试结果分析 |
6.4 本章小结 |
第七章 总结与展望 |
7.1 课题总结 |
7.2 课题研究的展望 |
参考文献 |
致谢 |
在学期间的研究成果 |
附录A:C 的词法 |
附录B:C 的语法 |
(4)C-Java自动程序转换系统原型的设计和实现(论文提纲范文)
摘要 |
ABSTRACT |
第1章 前言 |
1.1 选题背景 |
1.2 研究目标 |
1.3 研究内容 |
1.4 论文结构 |
第2章 相关知识准备 |
2.1 程序转换技术简介 |
2.2 C语言的演变和现状 |
2.3 JAVA语言的特性 |
2.4 相关的编译知识 |
第3章 转换系统的基本思想和总体设计 |
3.1 语言转换的一些经验 |
3.2 几种转换技术和移植策略的分析 |
3.3 转换前考虑的因素 |
3.4 转换系统的基本思想 |
3.5 转换系统的设计原则 |
3.6 转换系统的总体设计 |
第4章 转换系统的具体设计和分析 |
4.1 词法结构 |
4.2 类型 |
4.3 类型转换 |
4.4 字符和字符处理函数 |
4.5 字符串和字符串处理函数 |
4.6 表达式和语句 |
4.7 存储类和内存管理 |
4.8 函数 |
4.9 数组 |
4.10 指针 |
4.11 C预处理器 |
4.12 常用库函数 |
第5章 转换系统原型的实现 |
5.1 转换系统原型的实现流程 |
5.2 实现工具JAVACC简介 |
5.3 BNF简介 |
5.4 JAVACC源程序的分析 |
5.5 JAVACC源文件的实现过程 |
5.6 访问者模式简介 |
5.7 访问者模式设计 |
第6章 系统运行效果 |
6.1 转换实例 |
6.2 对比分析 |
6.3 运行效果总结 |
第7章 总结和展望 |
7.1 本文所做的工作 |
7.2 本文的意义和创新之处 |
7.3 进一步的工作 |
参考文献 |
读研期间发表的文章和参加的科研活动 |
致谢 |
论文独创性声明 |
论文使用授权声明 |
附录 |
(5)面向领域的嵌入式组件技术研究(论文提纲范文)
第一章 绪论 |
1.1 研究背景 |
1.2 嵌入式系统与开发 |
1.3 软件复用技术简介 |
1.4 国内外研究现状 |
1.5 本文的研究内容 |
1.6 本文的组织 |
第二章 基于组件的软件开发 |
2.1 引言 |
2.2 组件和框架 |
2.3 组件化软件开发的主要内容 |
2.3.1 领域工程 |
2.3.2 应用工程 |
2.3.3 组件库技术 |
2.4 通用组件模型 |
2.4.1 COM/DCOM |
2.4.2 CORBA |
2.4.3 JavaBeans/EJB |
2.4.4 模型间的分析比较 |
2.5 本章小结 |
第三章 组件化嵌入式软件开发技术 |
3.1 引言 |
3.2 嵌入式系统的特点 |
3.2.1 嵌入式系统的硬件特点 |
3.2.2 嵌入式系统的软件特点 |
3.3 嵌入式组件 |
3.3.1 嵌入式组件的概念 |
3.3.2 通用组件模型和嵌入式系统 |
3.4 组件化嵌入式软件的开发过程 |
3.4.1 组件的发布 |
3.4.2 组件的管理 |
3.4.3 组件的组装 |
3.5 面向特定领域的嵌入式组件 |
3.6 本章小结 |
第四章 基于汇编源代码组件的复用技术 |
4.1 引言 |
4.2 基本思想 |
4.3 框架的生成及封装 |
4.4 代码组件的生成及封装 |
4.5 本章小结 |
第五章 基于任务间通信的嵌入式组件模型 |
5.1 引言 |
5.2 组件模型框架 |
5.3 采用 ECMBIC 模型的系统运行过程 |
5.4 ECMBIC 模型的特性 |
5.5 ECMBIC 模型的扩展 |
5.6 应用实例 |
5.6.1 汽车电子技术概述 |
5.6.2 面向汽车电器的领域分析 |
5.6.3 平台中组件模型的实现 |
5.7 本章小结 |
第六章 组件化开发过程中的组件描述 |
6.1 引言 |
6.2 XML 技术和组件描述 |
6.2.1 XML 的基本特点 |
6.2.2 XML 的应用程序接口 |
6.2.3 XML DTD 和XML Schema |
6.2.4 采用XML 描述组件 |
6.3 组件 XML 描述文档的设计 |
6.4 组件描述文档的传递过程 |
6.5 本章小结 |
第七章 结束语 |
7.1 全文总结 |
7.2 下一步的工作 |
致谢 |
参考文献 |
个人简历、在学期间的研究成果及发表的学术论文 |
一、个人简历 |
二、科研项目 |
三、发表论文 |
四、获奖情况 |
(6)面向客用汽车电器领域的嵌入式组件研究与开发(论文提纲范文)
摘要 |
Abstract |
第一章 绪论 |
1.1 研究背景 |
1.2 嵌入式系统与嵌入式组件开发 |
1.3 软件复用技术 |
1.4 国内外研究现状 |
1.5 本文的研究内容 |
1.6 本文的组织 |
第二章 组件、组件框架和组件模型 |
2.1 引言 |
2.2 组件和组件框架 |
2.3 三种通用组件模型 |
2.3.1 COM/DCOM |
2.3.2 CORBA |
2.3.3 JavaBeans/EJB |
2.3.4 三种组件标准分析比较 |
2.4 本章小结 |
第三章 面向领域的嵌入式组件开发技术 |
3.1 嵌入式系统的特点 |
3.1.1 嵌入式系统的硬件特点 |
3.1.2 嵌入式系统的软件特点 |
3.2 嵌入式组件 |
3.2.1 嵌入式组件的概念 |
3.2.2 嵌入式组件模型 |
3.3 面向领域的组件化嵌入式软件开发 |
3.3.1 领域工程 |
3.3.2 应用工程 |
3.3.3 两类工程的比较 |
3.3.4 需求工程 |
3.3.5 组件库 |
3.4 本章小结 |
第四章 汽车电子领域的嵌入式组件开发 |
4.1 汽车电子系统领域简介 |
4.1.1 汽车电子系统 |
4.1.2 汽车电控系统 |
4.1.3 汽车电器系统 |
4.1.4 客用汽车电器系统 |
4.2 汽车电器领域分析模型定义 |
4.3 客用汽车电器的领域设计 |
4.4 客用汽车电器的领域实现 |
4.4.1 客用汽车电器的领域组件 |
4.4.2 嵌入式组件模型-ECMBIC |
4.4.3 实例-车载性能/健康状况监测系统 |
4.5 实现结果分析 |
4.6 组件库管理 |
4.7 本章小结 |
第五章 结束语 |
5.1 全文总结 |
5.2 下一步的工作 |
参考文献 |
致谢 |
个人简历、在学校期间参与的研究项目 |
一、个人简历 |
二、科研项目 |
(7)软件复用技术的研究及在TAFS中的应用(论文提纲范文)
1. 总论 |
1.1 研究背景及课题来源 |
1.2 所面临的实际问题 |
1.2.1 特定领域分析 |
1.2.2 领域软件提取 |
1.2.3 领域软件的管理 |
1.3 解决方法 |
1.4 本文主要工作及段落组织 |
2. 软件复用技术概述 |
2.1 软件复用的概念 |
2.2 软件复用技术的发展 |
2.3 国内外研究现状 |
2.4 软件复用的分类 |
2.5 软件复用技术的优点 |
2.6 软件复用的意义 |
2.7 本章小结 |
3. 软件复用关键技术——软件构件技术 |
3.1 构件的概念 |
3.2 构件的分类 |
3.3 构件模型、技术、特点 |
3.4 构件接口技术 |
3.5 本章小结 |
4. COM技术规范及其应用 |
4.1 COM简史 |
4.2 COM的概念 |
4.3 COM构件原理 |
4.3.1 COM接口 |
4.3.2 COM结构特点 |
4.3.3 COM库 |
4.3.4 COM构件运行机制 |
4.4 为什么使用COM |
4.5 COM基本概念的C++描述方式 |
4.6 本章小结 |
5. 基于构件的TAFS设计 |
5.1 需求及功能设计 |
5.2 系统部分组件开发和使用 |
5.2.1 ActiveX技术简介 |
5.2.2 ActiveX控件开发环境简介 |
5.2.3 图片显示控件的开发 |
5.2.4 图片显示控件的测试和使用 |
5.3 设计系统的相关技术 |
5.3.1 树形控件结构 |
5.3.2 以可执行文件为粒度的复用技术 |
5.3.3 分层查询技术 |
5.3.4 分布式数据库设计与实现 |
5.3.5 权限管理 |
5.3.6 数据转储和备份 |
5.3 系统所使用的组件及其来源 |
5.4 系统设计框图 |
5.5 本章小结 |
6. 全文总结 |
参考文献 |
致谢 |
附录: 攻读硕士学位期间发表的论文 |
(8)嵌入式软件测试技术研究和典型测试案例实现(论文提纲范文)
摘要 |
ABSTRACT |
第一章 绪论 |
1.1 背景 |
1.2 论文的组织 |
第二章 软件测试 |
2.1 引言 |
2.2 软件测试基本概念 |
2.2.1 软件测试的目的 |
2.2.2 软件测试数据流图 |
2.2.3 测试执行机制 |
2.2.4 其它相关概念 |
2.3 软件测试的策略 |
2.3.1 单元测试 |
2.3.2 集成测试 |
2.3.3 系统测试 |
2.3.4 确认测试 |
2.4 软件测试技术 |
2.4.1 静态测试和动态测试 |
2.4.2 黑盒测试 |
2.4.3 白盒测试 |
2.4.4 基本路径覆盖测试 |
2.4.5 回归测试 |
2.5 嵌入式软件的测试 |
2.5.1 意义 |
2.5.2 目前的研究热点 |
第三章 嵌入式软件测试方案 |
3.1 引言 |
3.2 改进的V模型 |
3.2.1 需求分析与确认测试 |
3.2.2 概要设计与系统测试 |
3.2.3 详细设计与集成测试 |
3.2.4 混沌状态 |
3.3 嵌入式软件测试的策略 |
3.4 嵌入式软件测试环境的建立 |
3.5 嵌入式软件的需求测试 |
3.5.1 基本原理 |
3.5.2 测试设计 |
3.5.3 测试实现 |
3.5.4 测试执行 |
3.6 嵌入式软件的设计测试 |
3.6.1 基本原理 |
3.6.2 测试设计 |
3.6.3 测试实现 |
3.6.4 测试执行 |
3.7 嵌入式软件的单元测试 |
3.7.1 基本原理 |
3.7.2 测试设计 |
3.7.3 测试实现 |
3.7.4 测试执行 |
3.8 嵌入式软件的集成测试 |
3.8.1 基本原理 |
3.8.2 测试设计 |
3.8.3 测试实现 |
3.8.4 测试执行 |
第四章 测试用例的生成 |
4.1 引言 |
4.2 面向控制结构的测试原理 |
4.2.1 状态测试 |
4.2.2 循环结构测试 |
4.3 面向控制结构的测试用例自动生成 |
4.3.1 设计思路 |
4.3.2 程序简单架构图 |
4.3.3 后续的工作 |
第五章 基于脚本的测试执行自动化 |
5.1 引言 |
5.2 基本原理 |
5.3 脚本实现 |
5.3.1 借助工具录制脚本 |
5.3.2 手工编写脚本 |
第六章 嵌入式软件测试工具 |
6.1 引言 |
6.2 工具一:Rational Test RealTime |
6.2.1 简介 |
6.2.2 主要应用 |
6.3 工具二:万用型嵌入式软件测试平台CodeTEST |
6.3.1 简介 |
6.3.2 主要应用 |
6.3.3 解决方案 |
第七章 典型测试案例的实现 |
7.1 案例描述 |
7.2 案例实现 |
7.2.1 测试环境建立 |
7.2.2 测试设计 |
7.2.3 测试实现 |
7.2.4 测试执行 |
7.3 案例测试评估与提高 |
7.3.1 优点 |
7.3.2 不足 |
7.3.3 改进的内容 |
第八章 总结和展望 |
8.1 工作总结 |
8.2 今后的研究方向 |
附录:测试文档模板 |
参考文献 |
致谢 |
作者简介 |
(9)软件体系结构设计方法的研究与应用(论文提纲范文)
中文摘要 |
英文摘要 |
引言 |
第一章 软件体系结构的发展与研究状况 |
1.1 软件体系结构的兴起 |
1.2 软件体系结构的定义 |
1.3 软件体系结构的概念 |
1.3.1 构件的概念及特点 |
1.3.2 连接件的概念及特点 |
1.3.3 约束(配置) |
1.4 软件体系结构的意义 |
1.4.1 对系统分析的意义 |
1.4.2 对软件开发的意义 |
1.4.3 对软件复用的意义 |
1.4.4 对系统演化的意义 |
第二章 软件体系结构设计方法 |
2.1 软件体系结构设计方法的元模型 |
2.2 体系结构设计方法的分析 |
2.2.1 工件驱动的方法 |
2.2.2 用例驱动的方法 |
2.2.3 领域驱动的体系结构设计方法 |
2.2.4 模式驱动的方法 |
第三章 一种新的软件体系结构设计方法 |
3.1 体系结构需求和软件体系结构 |
3.2 用例和软件体系结构 |
3.3 软件体系结构风格和软件体系结构 |
3.4 软件体系结构和开发过程 |
3.4.1 迭代开发 |
3.4.2 生命周期阶段 |
3.5 本文提出的软件体系结构设计过程 |
第四章 案例研究 |
4.1 B2C电子商务定义 |
4.2 C2体系结构风格 |
4.2.1 C2体系结构风格的具体结构 |
4.2.2 C2体系结构风格的设计规则 |
4.3 用类/对象策略描述软件体系结构 |
4.4 B2C电子商务软件体系结构的设计 |
4.4.1 分析、描述 |
4.4.2 构造 |
4.4.3 组合 |
结束语 |
参考文献 |
致谢 |
四、Extracting Objects from Ada83 Programs: A Case Study(论文参考文献)
- [1]C++静态代码检测语法树构建方法研究[D]. 王丽. 大连理工大学, 2011(06)
- [2]面向多语言混合编程的嵌入式测试软件设计与实现[D]. 吴康. 电子科技大学, 2007(03)
- [3]嵌入式软件测试平台的研究与实现[D]. 乔文军. 南京航空航天大学, 2007(03)
- [4]C-Java自动程序转换系统原型的设计和实现[D]. 徐剑峰. 上海师范大学, 2006(12)
- [5]面向领域的嵌入式组件技术研究[D]. 张文嘉. 电子科技大学, 2006(12)
- [6]面向客用汽车电器领域的嵌入式组件研究与开发[D]. 王小康. 电子科技大学, 2006(12)
- [7]软件复用技术的研究及在TAFS中的应用[D]. 胡卫. 武汉理工大学, 2006(08)
- [8]嵌入式软件测试技术研究和典型测试案例实现[D]. 奚雪峰. 东南大学, 2004(02)
- [9]软件体系结构设计方法的研究与应用[D]. 朱建浩. 武汉大学, 2004(04)