2012年4月20日 航空航天和国防

在Simics上使用LDRA工具获得代码覆盖率

由雅各布Engblom

Engblom_lg

像Simics这样的系统开发工具很少完全单独使用。Simics通常是由公司和开发团队引入的,他们已经在使用各种各样的工具,并希望继续使用Simics。此外,Simics本身不能合理地为所有人解决所有问题。相反,我们需要将Simics与外部工具连接起来,以提供集成的解决方案。

在这篇博文中,我和LDRA的Jay Thomas将讨论这种工具集成的一个具体例子。特别是,如何将Simics与来自LDRA的代码覆盖和认证工具一起使用,以一种比使用大多数硬件平台更有效的方式在安全关键软件上执行代码分析。

继续阅读> >

以前的你是如何减少辐射的?
下一个提高嵌入式操作系统安全性第6部分:加固系统免受攻击