基于抽象解释的变量值范围分析及应用

精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值范围分析方法RABAI,引入拓宽算子计算循环体变量范围,对过程参数定义了特殊的未定义取值(undef...     

函数后置信息在软件静态测试中的应用

为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法. 采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI. 该方法以较低的计算复杂性得到所有函数的后置信息,并可应用于静态分析过程中的区间计算和缺陷模式识别阶段. 在缺陷检测系统中的应用结果表明,该方法具备一定的可行性.     

融合地形信息的车载复合电源控制方法研究

地形信息对复合电源能量分配具有较大影响,忽略地形信息的能量分配控制效果难以达到最优。搭建了动力电池-超级电容复合电源模型,通过实验对模型参数进行了辨识并验证了模型的有效性;融合路径高程信息,构建了结合道路坡度的车辆能量需求模型;运用模糊控制理论,开发了一种考虑地形信息的具有电池基准功率调节特征的复合电源能量分配控制方法。仿真结果表明:融合地形信息的控制方法能够降低电池峰值电流,在美国城市驾驶循环工况(UDDS)下使超级电容的使用时间延长了26.5%,制动回收能量提高了5.5%。     

基于无线传感器网络的CAN总线互联

给出了CAN总线无线接入控制模块的电路设计,模块各主要组成部分的作用是:CAN控制器SJA1000,运行CAN协议,为无线传感器网络节点提供CAN总线服务;收发器TJA1050,作为CAN控制器与物理媒体的物理接12,为CAN控制器提供比特流服务;无线传感器节点采用基于Tinyos的GAINS节点,负责数据的缓存和无线传输.给出了基于TinyOS底层通信接口的无线传感器节点的通信协议设计包括流量控制和缓存设计等.目前,该系统已经实现,使用效果良好,对于一般的信息采集无线传输系统设计具有较好的借鉴意义.     

无线传感器网络的数据存储和索引技术

研究影响无线传感器网络数据存储和查询效率的应用指标,如查询比率和采样频率。对无线传感器网络数据存储方法与各种应用指标的关系进行定量分析和比较,给出各种方法的典型应用场景,为无线传感器网络的数据存储和索引技术设计提供了参考。     

基于构件复用机制的从CPL到Java的翻译系统

给出了CPL构件的复用机制,定义了一种对构件组合约束检查的矩阵技术.通过比较CPL语言与Java语言的语法特点,在XML规范的框架内,提出了一种将CPL语言翻译成等价功能的Java代码的翻译方法.该方法采用基于EJB容器的思想,并使用类对象的形式构造整个业务,用JavaBeans表示CPL中的功能构件,使翻译成的Java代码具有良好的可读性,并具有较高的可复用性及可扩展性.     

运行时异常对软件静态测试的影响研究

当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分析路径达到提高测试充分度的目的.以异常模式状态机描述运行时异常行为,在包含运行时异常的控制流上,应...     

提高静态缺陷检测精度方法

误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中的变量抽象取值范围为空来判断不可达路径,以实现路径敏感分析;使用缺陷相关的函数摘要来表示缺陷检测所需函数调用信息,其中缺陷相关的函数摘要包括前置约束信息、后置约束信息和函数特征信息三部分,实现了上下文敏感的跨函数分析.文中方法已在缺陷检测系统DTS中实现,在大型开源软件分析中的实验结果表明,该方法能减少误报和漏报.