排序方式: 共有39条查询结果,搜索用时 0 毫秒
1.
误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中的变量抽象取值范围为空来判断不可达路径,以实现路径敏感分析;使用缺陷相关的函数摘要来表示缺陷检测所需函数调用信息,其中缺陷相关的函数摘要包括前置约束信息、后置约束信息和函数特征信息三部分,实现了上下文敏感的跨函数分析.文中方法已在缺陷检测系统DTS中实现,在大型开源软件分析中的实验结果表明,该方法能减少误报和漏报. 相似文献
2.
3.
给出了CPL构件的复用机制,定义了一种对构件组合约束检查的矩阵技术.通过比较CPL语言与Java语言的语法特点,在XML规范的框架内,提出了一种将CPL语言翻译成等价功能的Java代码的翻译方法.该方法采用基于EJB容器的思想,并使用类对象的形式构造整个业务,用JavaBeans表示CPL中的功能构件,使翻译成的Java代码具有良好的可读性,并具有较高的可复用性及可扩展性. 相似文献
4.
给出了CAN总线无线接入控制模块的电路设计,模块各主要组成部分的作用是:CAN控制器SJA1000,运行CAN协议,为无线传感器网络节点提供CAN总线服务;收发器TJA1050,作为CAN控制器与物理媒体的物理接12,为CAN控制器提供比特流服务;无线传感器节点采用基于Tinyos的GAINS节点,负责数据的缓存和无线传输.给出了基于TinyOS底层通信接口的无线传感器节点的通信协议设计包括流量控制和缓存设计等.目前,该系统已经实现,使用效果良好,对于一般的信息采集无线传输系统设计具有较好的借鉴意义. 相似文献
5.
6.
地形信息对复合电源能量分配具有较大影响,忽略地形信息的能量分配控制效果难以达到最优。搭建了动力电池-超级电容复合电源模型,通过实验对模型参数进行了辨识并验证了模型的有效性;融合路径高程信息,构建了结合道路坡度的车辆能量需求模型;运用模糊控制理论,开发了一种考虑地形信息的具有电池基准功率调节特征的复合电源能量分配控制方法。仿真结果表明:融合地形信息的控制方法能够降低电池峰值电流,在美国城市驾驶循环工况(UDDS)下使超级电容的使用时间延长了26.5%,制动回收能量提高了5.5%。 相似文献
7.
8.
9.
10.
为解决分布式环境下消息分发系统中的按需通信,在对Gelemter元组空间模型进行改进的基础上,对消息分发系统中的元组空间通信进行了结构设计,定义了元组空间的特征模型,并基于局部性原理提出一种元组空间通信的空间分解算法.该算法依据在实际通信中不同元组不同元素的匹配频度的差异,将元组空间分解为依赖特征空间、特征元组和特征元素之间抽象关系的一组缓冲子空间,通信进程在进行匹配操作时可直接从缓冲子空间中获取匹配元组,从而降低通信的计算成本. 相似文献