劳特巴赫与 StatInf 的合作为软件质量分析提供了创新标准
世界领先的调试和跟踪工具供应商劳特巴赫很高兴地宣布与 StatInf.
很高兴地宣布与 StatInf 展开合作。这项合作
为用户提供了将劳特巴赫 TRACE32® 跟踪工具捕获的程序流程跟踪与 StatInf
跟踪工具与 StatInf 的 RocqStat™ 分析工具结合使用。
StatInf.
RocqStat™ 使用 TRACE32® 捕获的跟踪数据来检测程序之间的交互和内核之间的交互。
用于检测嵌入式系统中程序之间的交互和内核之间的交互。
嵌入式系统中程序之间的交互和内核之间的交互。RocqStat™ 采用的技术可以检测
多核系统中内核之间的交互，并且完全与应用软件无关。
与应用软件无关，允许几乎无限的
复杂性。这一突破性过程甚至可以处理
在没有完整源代码的情况下也能使用，因此非常适合黑盒测试和评估。
测试和评估。RocqStat™ 基于一项专利技术，该技术
使用统计方法、极值理论和真实世界的程序流程
流来确定不正确的、罕见的或不可预测的软件执行情况，以及软件错误、软件缺陷和软件故障。
以及软件错误、硬件错误甚至外部恶意软件的攻击。
外部恶意软件的攻击。应用程序的最坏情况执行时间（WCET）
应用的最坏情况执行时间（WCET）也是客户在构建安全关键型嵌入式系统时需要进行的分析的一部分。
安全关键型嵌入式系统所需的分析之一。
"我们很高兴能与 Lauterbach GmbH 密切合作、
我们很高兴能与 Lauterbach 有限公司建立密切的合作关系。
StatInf 的首席执行官 Adriana Gogonel 说。"越来越多的客户
越来越多的客户正在使用我们的技术：创新且易于使用、
RocqStat™ 实现了复杂多核系统的安全使用"。
空中客车图卢兹公司航空电子软件部表示："程序流程跟踪、
例如 NEXUS BTM，对于确定测量的覆盖范围至关重要。
测量的覆盖范围。如果 BTM（以及其他跟踪数据（如果有的话
和其他跟踪（如果有的话）可以为 WCET 静态分析方法提供信息，或帮助建立硬件时序模型，或为 WCET 静态分析方法提供信息。
帮助建立硬件时序模型，或提供统计方法以检查
收集到的持续时间的质量和详尽程度。最终
证明 WCET 的安全上限。轨迹是
信息"。
On this page, you can download our Lauterbach News for Print and Social Media. If you have any questions concerning the publication, please contact Verena Strasser press@lauterbach.com.