• 【视频】基于SkyEye的数字卫星仿真平台

    众所周知,在太空中,卫星为了完成航天任务,在安全性与可靠性上有着极高的要求。为了确保卫星能够在太空中长时间安全地运转,卫星的各个系统本身不能有任何功能缺陷,而且需要适应各种特殊的环境,例如,适应巨大的温差变化,或者防止由于外太空高能量粒子冲击卫星太阳能板导致的程序反转等问题的发生。

    2022-02-17 digiproto

  • 【视频】基于SkyEye的目标码覆盖率分析

    数字时代,嵌入式系统越来越复杂,功能迭代越来越多,代码中可能会存在部分无用代码,或者在执行过程中无法测试覆盖的分支,这可能会给软件带来各种漏洞,严重降低软件的可靠性。SkyEye提供的动态分析代码执行覆盖情况的功能,可以方便快捷地检测代码中未执行的覆盖情况。SkyEye还可以涵盖基于模型的系统工程(MBSE)的开发和仿真测试的各个环节。

    2021-12-17 digiproto

  • 【视频】TI DSP系列处理器仿真

    数字化浪潮正迅速席卷全球,DSP技术作为数字化最重要的基础技术之一,凭借其无与伦比的信息处理能力,无论在应用的广度还是深度方面,都正以前所未有的速度向前发展。TMS320系列的DSP新版由于具有价格低廉、简单易用、功能强大等特点,逐渐成为目前最有影响的DSP系列处理器。

    2021-11-15 digiproto

  • 基于SkyEye的覆盖率测试

    覆盖率测试是一种白盒测试手段,通常会在软件测试的早期阶段进行,也就是单元测试过程中。覆盖率测试这种测试方式需要对测试代码本身进行访问同时对代码进行插桩处理,再根据程序的内部结构完成测试工作。覆盖率测试的过程中需要做到有效覆盖程序的语句以及分支结构,尽量在测试过程中发现隐藏的软件缺陷从而保证软件的质量。

    2021-10-28 digiproto

  • 【视频】AT697处理器仿真

    SPARC微处理器最突出的特点就是它的可扩展性,这是业界出现的第一款有可扩展性功能的微处理器。虽然SPARC在我们的视野中并不常见,但是SPARC处理器一直广泛应用于航天领域。

    2021-10-14 digiproto

  • 【视频】SkyEye对PowerPC E500系列处理器P2020的仿真

    SkyEye对PowerPC e500系列架构的处理器p2020进行指令级的仿真,不仅可以仿真运行裸机程序,还可以仿真运行Vxworks操作系统。同时,也可以基于仿真系统结合代码覆盖率统计,故障注入,远程调试等手段满足测试和调试的需要。

    2021-07-23 digiproto

上一页12下一页 转至第
首页
产品
新闻
联系