形式功能对等

版本2.0(171kb)由帕特精明的

该项目提供了一组用于执行“形式功能对等”的实用程序，这是一种基于静态分析的证明技术

https://github.com/mathworks/formal-functional-equivalence

0．0

（0)

3下载

更新周四，2022年10月13日12:41:32 +0000

从GitHub

在GitHub上查看许可证

形式功能对等

功能对等测试是一个工作流，它涉及模拟两个模型，或一个模型及其生成的代码，并确保它们的输出是等效的。这是ISO26262等标准中常见的工作流程，但该技术并没有正式证明在所有情况下都是功能对等的。

该项目提供了一组用于执行“形式功能等效”的实用程序，这是一种基于静态分析的技术，用于证明两个Simulink®模型在功能上是等效的。这些实用程序使用Simulink Design Verifier™中的属性证明。如果这两个模型在形式上功能上不相等，Simulink Design Verifier将生成一个反例进行调试。

在重构模型以提高其可维护性、标准遵从性、清晰度、代码生成性能或其他考虑时，考虑使用形式的功能等效，同时保持预期的行为。

开始

运行:

开放Formal_functional_equivalence.prj在MATLAB®。
运行funcEquivExample.m看一个例子

MathWorks产2022世界杯八强谁会赢？品

要求MATLAB®R2022a或更新版本

许可证

的许可证可在license.txt文件。

引用作为

帕特·卡尼(2023)。形式功能对等GitHub (https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.0)。检索2023年2月1日．

MATLAB版本兼容性

由R2022b创建

兼容R2022a及后续版本

平台的兼容性

窗户 macOS Linux

标签添加标签

世界杯预选赛小组名单社区寻宝

在MATLAB Central中找到宝藏，并发现社区如何帮助您!世界杯预选赛小组名单

开始狩猎!

测试

版本	发表	发布说明
2．0	10月13日12:41	参见GitHub上此版本的发布说明:https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.0	下载
1．1	03年10月17日	参见GitHub上此版本的发布说明:https://github.com/mathworks/formal-functional-equivalence/releases/tag/v1.1	下载
1．0	8月17日19:23		下载

要查看或报告此GitHub插件中的问题，请访问GitHub库．