基于Soot的Java程序竞争静态检测工具设计

设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确.     

基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究

基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例。理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率。     

基于Android的木马检测引擎的研究与实现

近几年来,Android手机木马病毒发展迅速,Android手机安全问题成为大家关注的焦点,基于Android的木马检测引擎的研究与实现变得日益迫切。为此,提出了一套特征码提取检测算法（FCPA）,FCPA通过调用Android系统库函数获取恶意文件的源路径,利用源路径找到相应文件并对文件进行散列处理,获取文件特征信息,生成一个唯一标识该木马病毒的特征值,然后构建特征码库。同时,设计并实现了木马检测引擎,其利用特征码提取算法快速扫描并检测出手机应用程序中的恶意程序。实验结果表明,该木马检测引擎能够有效检测恶意应用。     

Java多态调用唯一性确定

基于函数调用路径测试在实际测试中是一种最有效、覆盖率高的测试方法.在测试java程序的时候,由-于java的多态性会带来调用路径不唯一的问题,使得在分析java函数调用路径时会产生冗余路径,导致设计出许多无用的测试用例.通过使用soot和java的反射机制,能够分析java程序多态调用关系,从而确定java程序函数调用路径,指导测试人员设计出高效、覆盖率高的测试用例.     

基于VFP的网页客户端组件的开发与应用

为了网页客户端能访问VFP编写的代码,可以用VFP编写DLL方式的组件文件,供网页脚本程序调用。通过VFP的ExecScript()函数,可以调用动态VFP程序,而不用重新编写DLL文件。通过传递网页对象到DLL的方法,在VFP中可以直接操作网页对象。结合网站服务器端VFP脚本,网页功能可更强大,开发更方便。利用VFP内置的Base64编解码函数,可在服务器与客户端方便地传递二进制文件。     

面向嵌入式系统函数动态调用路径拆分与匹配

嵌入式软件及其运行环境具有一定的特殊性和复杂性,函数调用路径可达到几十条到几十万条,仅靠动态测试无法保证覆盖所有静态路径。在获取静态函数调用关系路径的基础上,利用钩子函数动态提取系统执行过程中的基本信息,跟踪并确定函数的动态调用路径。通过对动态路径的拆分,实现路径子集与全局静态路径集的匹配,找出冗余的测试用例,计算出动态调用路径的覆盖率,有效提高了嵌入式系统测试的准确性和完整性。     

通过Win 95注册表激活应用程序

在软件开发过程中,常常要调用Win 95的系统程序或者在Win 95下安装的外部程序,这时可以用VB提供的shell(pathname[,windowstyle])来激活程序,但是在开发时不可能了解用户机器上软件的详细安装路径,因为大多数软件安装时允许用户修改安装路径,以满足特殊要求,所以shell()函数的使用有一定的局限性。然而可以通过win 95的注册表提取软件安装时     

Keil C51中C51程序与汇编程序的接口方法

C语言程序与汇编语言程序的相互调用可视为函数的调用,只不过此函数是采用不同语言编写。在C和汇编程序的相互调用中,要求汇编程序必须服从Keil C51中对函数名的转换规则,同时也要弄清C函数的参数传递规则,通过实例详细介绍Keil C51中C51程序与汇编程序相互调用以及汇编程序与C51程序相互调用时的接口建立方法,并给出在不同的应用中对接口进行简化的方法。     

基于物联网的图形化虚拟仿真实验平台设计

提出的Web环境下的虚拟仿真平台基于B/S结构,服务器端采用My SQL数据库,使用Java语言编写接口程序,从数据库中读取模型数据并生成Simulink仿真程序,运算核心Matlab运行M文件,通过调用Java接口程序对该模型文件进行仿真并返回仿真结果。最后,结合两个仿真实例来测试基于网络的虚拟仿真平台,验证了该平台的有效性。     

基于XML实现液晶编程的一种新方法

针对传统液晶显示编程工作量大、繁琐，且程序形成后，再进行修改比较困难的缺点，提出了基于可扩展标志语言(Extensible Markup Language，XML)技术编程的一种新方法。这种方法把显示内容和显示算法分开，由Pc绘制显示内容并转换成基于XML标准的文件存储到单片机的ROM中，而显示算法只需根据显示文件的格式进行判断调用相应的函数。这种运用XML技术实现液晶显示编程，不仅提高编程的效率、增强程序的可维护性，而且大大减小程序占用的空间。     

基于C语言函数调用获得结果的分析研究

函数是C程序基本构造模块,是构造结构化程序的基础。C语言中主调函数调用被调函数的重要目的之一就是为了获得调用后的结果,对C函数的调用做了全面的分析和研究,总结出C语言通过函数调用获得调用结果共有3种调用方式,每种方式获得的结果的情况并不一样,并对每一种调用方式的调用原理从内存机制给予了说明和解释。     

基于Windows系统调用的异常检测模型

论文提出了一个基于Windows系统调用序列检测的异常检测模型,并在原有的系统调用序列串算法的基础上引入了系统调用参数以及系统调用虚地址空间来对程序行为进行精确分析。     

基于JNA框架实现JAVA与读写器通信的研究

众所周知,JAVA以跨平台著称,这也是许多程序员喜欢JAVA的原因,但JAVA也有其不足之处,它与硬件设备的通信一直是以使用JNI调用.dll/.so共享类库来实现的,程序员如果使用JNI技术调用.dll/.so文件,首先需要另外编写一个.dll/.so共享库来调用.dll/.so文件中公布的函数,这种调用dll/.so库中的原生函数的JAVA程序非常麻烦,所以对于程序员来说,非到不得已,不会轻易使用JNI技术。为解决JNI技术的繁琐性,本文介绍将一个最新的访问本机代码的JAVA框架—JNA,探讨如何使用JNA技术调用第三方dll文件;并利用这一框架实现与读写器的通信。     

激光打标系统中打标路径的提取及优化

为了满足激光打标系统不同的精度要求,通过分析PLT文件格式,以Visual C++作为软件开发平台,准确解析了文件中的矢量图形,提取到原始打标路径.在传统的直线插补方法基础上进行算法改进,对矢量图形中的曲线作直线段逼近优化,进行了理论分析和实验验证.结果表明,通过设置适当的步长,可很好地解决激光打标系统中提取打标路径的问题.     

基于小波分析理论的电源信号消噪方法

某电源信号是典型的非平稳、非线性信号,信号中带有各种噪声,需进行适当处理.小波变换时的频局域性好,是分析非平稳信号的有效工具之一.研究基于小波变换的阈值消噪法,借助LabVIEW平台,通过仿真试验,对软阙值和硬闲值消噪及采用不同的小波函数消噪进行了分析.应用LabVIEW对电源信号进行采集,并且对LabVIEW中调用Matlab里的小波函数进行去噪分析的程序进行研究,收到良好的效果,为进一步提高电源信号消噪处理的效果奠定了基础.     

基于MATLAB提取数字地图的电波传播问题研究

在抛物方程的基础上引入了地形高程剖面,预测了复杂地形条件下的电波传播特性.首先,基于MATLAB提取调用了数字地图,给出了其主要程序流程图以及提取调用的方法,之后采用插值方法增加了地形模型与实际地形剖面的契合度;其次,使用MATLAB的GUI功能设置了一个高程剖面系统,该系统能够提取地球上任意两点之间的地形高程剖面;最后,通过将高程剖面系统提取的地形高程剖面加入到抛物方程模型中进行计算,分析了在复杂地形环境下电波传播的特性.     

基于A*算法的智能轮椅的路径规划

文章研究提取智能轮椅所处位置的环境信息,并对其进行可视图化。基于Matlab平台,利用A*算法对可视图进行分析,建立合理的估价函数,进而对智能轮椅进行路径规划,实现智能轮椅避障的最优路径设计。     

一种抵抗符号执行的路径分支混淆技术

程序在动态执行过程中泄露了大量的路径分支信息,这些路径分支信息是其内部逻辑关系的二进制表示.符号执行技术可以自动地收集并推理程序执行过程所泄露的路径信息,可用于逆向工程并可削弱代码混淆的保护强度.哈希函数可以有效保护基于等于关系的路径分支信息,但是难以保护基于上下边界判断的不等关系的路径分支信息.将保留前缀算法与哈希函数相结合提出了一种新的路径分支混淆技术,将符号执行推理路径分支信息的难度等价到逆向推理哈希函数的难度.该路径分支混淆方法在SPECint-2006程序测试集上进行了实验,试验结果表明该混淆方法能有效保护程序路径分支信息,具有实用性.     

基于多元LDPC码译码算法研究的Qt设计与实现

为了实现Qt对多元LDPC码译码算法理论测试的界面操控,在多元LDPC码译码算法研究的基础上设计了Qt程序,用Matlab实现基本仿真,将其编译成可供Qt调用的动态链接库文件(dll)并进行调用,最终实现了该Qt界面对译码理论测试的直观操控,并进一步分析了译码数据。     

基于自动微分技术的器件模型参数提取算法

自动微分 (AD)技术以非标准分析为理论基础 ,是计算机数值计算领域中的一种很有前途的方法。文中提出了基于 AD技术的器件模型参数提取算法 ,在 Visual C+ +平台编制了模型参数提取程序 ,对所建立的基于表面势的 MOSFET模型进行了有约束条件的参数提取。结果表明 ,算法收敛快、稳定性好、提取准确