劳特巴赫与 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 的安全上限。轨迹是
信息"。
在这个页面上，您可以下载我们的《劳特巴赫新闻》的印刷版和社会媒体版。如果您有任何关于出版物的问题，请联系Evi Ederer:press@lauterbach.com