首页 > TAG信息列表 > SkyEye
基于SkyEye的覆盖率测试
目录 01.覆盖率测试概念 02.覆盖率测试方法 03.嵌入式软件覆盖率测试原理 04.SkyEye的重大突破 01.覆盖率测试概念 覆盖率测试是一种白盒测试手段，通常会在软件测试的早期阶段进行,也就是单元测试过程中。覆盖率测试这种测试方式需要对测试代码本身进行访问同时对代码进行插桩处二进制文件符号信息
二进制文件符号信息 1. Dwarf简介2. Dwarf信息结构3. 解析dwarf数据信息4. 天目全数字实时仿真软件SkyEye 1. Dwarf简介 在日常的开发工作中，程序员经常使用gdb工具来调试二进制编译文件，以定位和解决一些bug。但同时，很少会有人关注二进制文件中的调试信息从何而来，又是怎么手把手教你搭建国产嵌入式模拟器SkyEye开发环境
SkyEye介绍 SkyEye是一个开源软件（OpenSource Software）项目，中文名字是"天目"。SkyEye的目标是在通用的Linux和Windows平台上实现一个纯软件集成开发环境，模拟常见的嵌入式计算机系统(这里假定"仿真"和"模拟"的意思基本相同)；可在SkyEye上运行μCLinux以及μC/OS-II等多种嵌入式操全数字实时仿真软件SkyEye与可信编译器L2C的核心翻译步骤的设计与实现
有关翻译正确性验证的重点疑难问题及其设计实现方案 在L2C可信编译器的设计与实现中, 对于实线所对应的翻译过程 (CompCert编译器除外) 均借助于Coq证明了正确性 (语义保持性), 然后得出LustreSGen所产生的LustreS代码到Clight代码整个翻译过程的正确性.从LustreS到Clight的国产自主可控的MBSE解决方案和全数字仿真平台（SkyEye）
2020年6月，哈工大、哈工程被美国商务部列入实体清单，禁用MATLAB事件频繁登上热搜，工业软件被称为「卡脖子」技术。 截止到2020年12月，中国已有超过300家企业和机构被列入美国“实体名单”，被列入名单的大部分是从事安全关键领域的军工企业、通信和高性能计算的公司和研究所，