公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

基于文法简化和语句深度的静态结构模型嵌入式软件分析被引量：1: 2016年; 提出了一种基于文法简化和配合语句深度的静态结构模型的嵌入式软件分析方法。该方法设计了文法简化的词法分析和配合语句深度的语法分析,结合控制流/数据流分析,对嵌入式软件进行分析。以智能电能表开源软件作为案例,进行了30次实验,将人为插入的错误代码作为验证对象,同PC-Lint和Splint测试工具进行对比,本方法能够正确分析的概率为91%,介于PC-Lint的95%和Splint的90%之间。该方法在解决了编译器对嵌入式平台不兼容问题以及保障正确率的情况下,提高了测试的效率。实验结果证明本方法适用于通过编译的C(含嵌入式)程序。; 李祯祥刘崇伟杨广益刘金硕; 关键词：嵌入式系统

全选清除导出

共1页<1>

刘崇伟