基于控制流分析的软件源代码静态测试技术的研究

本文介绍了基于控制流分析的软件源代码静态测试技术,并实现跨语言支持的静态测试引擎。通过推断源代码中变量间的关系,分析其实际特征,从而对源代码可能存在的缺陷错误进行扫描。采用本文描述的静态测试技术,可以减少代码缺陷误报,并提高缺陷检测的效率。     

嵌入式系统开发中自动编码技术的应用研究 ——评《机器人仿真与编程技术》

自动编码技术,即通过提前设置好代码模板及其相关指令的方式,让输入的参数经由计算机相关程序以自动化的方式生成完整的、可供编译的源代码的技术.随着自动编码技术水平的逐渐提升,越来越多的领域开始采用自动编码技术,嵌入式系统开发就是一个例子.目前,自动编码技术可以经由计算机程序设定的基本方式生成一系列带有特定规律性或者具有一定...     

Web环境下Java表达式的动态编译与计算

针对JavaWeb应用程序需要在运行时从外部读得Java表达式并进行计算的要求,利用编译器API对源代码进行编译、采用自定义类装载器装载字节代码、基于反射机制执行字节代码,从而实现Java表达式的动态编译与计算。该方法不需要产生Java源文件或class文件。实际系统的具体应用验证了该方法的有效性。     

VC平台下设计文档生成工具实现

在实际的软件工程项目中,为从软件开发角度描述软件需求所实现的功能,有效地从源代码中提取注释并生成Word软件设计说明文档,本文在VC平台下设计并实现了一种源代码注释提取方法。方法根据软件功能划分的模块,设计实现各个模块的统一文档内容模板,之后提取注释内容,生成代码文件中每个函数信息和整个代码文件信息,然后定义其结构体并将代码文件中注释内容以多级列表的Word形式进行文件存储。最后本文在VC平台下基于OLE技术编写实际应用程序对所提出方法进行实现,验证了方法的有效性,实现了软件设计说明文档的自动化生成。     

科技书籍介绍

《Android技术内幕：系统卷》 《Android技术内幕：系统卷》是国内首本系统对Android的源代码进行深入分析的著作。全书将Android系统从构架上依次分为应用层、应用框架层、系统运行库层、硬件抽象层和Linux内核层等5个层次,旨在通过对Android系统源代码的全面分析来帮助开发者加深对Android系统架构设计和实现原理的认识,从而帮助他们解决开发中遇到的更加复杂的问题。     

用Excel2003构建高校学籍管理信息系统的新思路

本文通过Excel2003工作簿内嵌VBA代码构建高校学籍管理信息系统,用一个工作簿能够实现学籍信息的分散管理、迅速汇总、统计分析的功能,有分级管理数据,安全性高等特点,大大提高了目前我校的学籍信息管理的自动化和信息化水平。文中还公布了一些核心功能的源代码,方便共享和交流。     

计算机软件著作权归属问题

计算机软件包括文档和程序两部分。文档是指用自然语言或者形式化语言所编写的文字资料和图表，用来描述程序的内容、组成、设计、功能规格、开发情况、测试结果及使用方法，如程序浚计说明书、流程图、用户手册等。程序是指为了得到某种结果而可以由计算机等具有信息处理能力的装置执行的代码化指令系列，或者可被自动转换成代码化指令系列的符号化指令系列或者符号化语句系列。程序通常具有源代码和目标代码两种形式。源代码形式是软件开发者以程序语言写成的，经过专业洲练的人能够通过阅读理解它的内容，它是属于一种作品。目标代码形式…     

软件重用技术及其进展

随着软件开发从结构化方法发展到面向对象方法，软件重用方式相应地从源代码级、目标代码级发展到类库级以及可视化环境中的组件技术，本文介绍了各种重用方式及各自的优缺点，重点讨论了作为最新重方式的组件开发技术对重用概念的丰富与发展。     

基于OpenGL的数控车削仿真系统的研究

探讨基于OpenGL数控仿真系统的实现技术,通过OpenGL在三维图形开发方面的优势,利用分析NC代码提供的刀具运动参数,结合数控仿真的特点来开发数控车削仿真系统。     

基于XML技术实现网上留言系统

利用XML文件作为数据源,并以DOM为对象化的XML数据接口,交互页面部分采用ASP实现,网上留言编辑功能利用UBB代码来实现,实现了基于XML技术的网上留言系统,并给出了部分关键代码。