摘要：
Onespin是领先的EDA解决方案提供商，其360系列产品为FPGA形式化验证工具。它以强大、高性能的形式化验证引擎为基础，能够覆盖自动设计分析到高级属性检查以及逻辑等效性验证，帮助构建功能正确，安全，可靠、可信赖的系统。 OneSpin 360™2020.2.0版本现已准备就绪，该版本包括功能和 阅读全文
摘要：
Cantata 9.0，从2019年10月开始正式发布，它是一个重要的具有全新功能的新版本。此版本引入了对测试驱动开发（TDD）的支持，并增强了Cantata的AutoTest功能，为C ++代码提供了自动测试生成技术。 Cantata 9.0还包含许多其他较小的功能增强和修复。发行说明中记录了完整 阅读全文
摘要：
“借助Klocwork，我们能够比传统的手动分析和测试更快发现可能遗漏的问题。这使我们能够交付出引以为傲的高质量软件，并满足客户的期望。” — SCM系统工程经理 Klocwork 简介 Klocwork是针对C，C ++，C＃和Java编程语言的最准确的代码分析器之一。它是一款现代化的敏捷静态代码 阅读全文
摘要：
MISRA C是安全使用C编程语言的一套准则，主要使用在安全关键的嵌入式系统中。它的许多规则和指令旨在帮助软件开发人员编写更易于理解和维护的代码。软件开发工作需要团队合作，这些编程风格类的规则是重要的，有益于理解源代码。其他规则禁止进行有风险的设计或已知的不良编程行为。 编程风格类规则的一个很好的例 阅读全文
摘要：
Crazyflie是Bitcraze售卖的可编程无人机，它被设计成为可被修改的并为其操纵装置和操作系统运行的开源软件。特别是这架无人机使用了FreeRTOS作为其实时的操作系统。 通过CodeSonar运行Crazyflie的代码，发现Crazyflie中的一个故障由应用程序代码中的一个未初始化变量 阅读全文
摘要：
最新版本的GrammaTech CodeSonar（版本5.3）继续致力于成为静态应用程序安全测试（SAST）的首选提供商,以及成为提高软件内外部安全和软件质量所选择的静态分析工具。该版本具备一些新功能以及兼容性的更新和其他改进。 此版本的CodeSonar包括对Android，NetBSD 8，V 阅读全文
摘要：
课程简介 本课程为期2天，结合实例讲解如何使用Cantata开展C代码，通过培训，可以明显提高工程师操作Cantata的效率，并加速单元测试和集成测试。 【日期】2020年12月8日-9日（共2天） 【时间】3:00pm-11:00pm （北京）时间 【地点】线上（Go To Meeting -网络 阅读全文