中央高校基本科研业务费专项资金(ZYGX2009J062)
- 作品数：3 被引量：10H指数：2
- 相关作者：郝宗波詹瑾瑜陈忠湘常政威江维更多>>
- 相关机构：电子科技大学四川省电力试验研究院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家科技重大专项国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 带控制流的静态函数调用分析方法被引量：5
- 2011年
- 提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比,该方法生成的函数调用流图不仅能展现函数间的调用次序,还可以了解程序设计的逻辑复杂度,有助于代码阅读和分析人员更快更好地理解程序结构以及设计流程,并为分析程序控制条件、设计路径覆盖测试用例和进行程序优化奠定基础。
- 陈忠湘詹瑾瑜郝宗波
- 关键词：控制流函数调用
- 安全和能量关键的分布式协作任务调度被引量：2
- 2011年
- 传统分布式任务调度严重地忽略了任务的能耗和安全因素,不适用于安全关键分布式嵌入式系统.针对安全和能量关键的分布式协作应用,提出了一种安全感知和能量感知的任务映射调度算法SEATMS.作为一种多项式复杂度的启发式算法,SEATMS能够在满足协作应用的实时需求和能耗约束前提下,最大程度地降低系统安全风险.和同类算法相比,所提算法在实时确保、能量预算确保和低安全风险方面有明显优势.
- 江维常政威桑楠熊光泽
- 关键词：分布式嵌入式系统能量消耗
- 基于有限状态机的指针解引用静态检测方法被引量：3
- 2011年
- 为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。
- 詹瑾瑜陈忠湘郝宗波
- 关键词：有限状态机
