签名工具

版本3.3(1.78 MB) McSCert
签名工具提取仿真软件子系统的接口。金宝app

729下载

更新2020年7月22日

从GitHub

查看许可GitHub

编者按:这个文件被选为MATLAB中央选择的

子系统中使用的概念模型来表示系统内部系统提供层次化的建模。金宝app港口金宝app(显式链接到一个仿真软件子系统子系统),和外港从子系统(显式链接)。我们认为港口和外港的显式接口子系统。然而,有隐藏(隐性)数据依赖关系在仿真软件的子系统。金宝app隐藏的依赖是由于两个模型数据机制:数据存储内存/读/写和转到/从街区。金宝app的签名工具提取签名模型子系统。金宝app签名代表仿真软件子系统的接口,使数据流的子系统明确。金宝app该工具识别为一个子系统两个有用的签名:强烈的签名和疲软的签名。强劲的签名识别子系统的数据访问机制,或任何它的孩子。疲软的签名标识子系统可以访问的数据机制(声明那些更高的层次),但不一定是使用。 The Signature Tool can be used to either explicitly include the signatures in the model itself, or export the signatures into a text/tex/docx file.

•安装说明和如何使用该工具,请参阅用户指南包括:签名/ doc / Signature_UserGuide.pdf。

•这个工具依赖于我们的仿真软件工具。金宝app请在这里下载:https://github.com/McSCert/金宝appSimulink-Utility

更多关于签名的理论背景和他们如何可以使用,感兴趣的读者被称为:
[1]马克•本德凯伦三月桂酸甘油酯,马克获悉Vera Pantelic亚历山大•Korobkine杰夫Ong贝内特Mackenzie,莫妮卡面包卷,史蒂文Postma,“签名要求:数据流模型和接口明确,“科学的计算机编程,爱思唯尔,2015年,113年,第1部分,29-50。金宝app

更多关于工具的功能,以及它如何与仿真软件可用于基于模型的开发,看到两篇论文:金宝app
[2]维拉Pantelic,史蒂文Postma,马克获悉约翰亚历山大•Korobkine贝内特Mackenzie,杰夫Ong马克•本德”仿真软件工具集:提高软件工程实践与仿真软件开发,“第三届国际研讨会论文集在模型驱动工程和软件开发(MODELSWAR金宝appD 2015), SCITEPRESS, 2015, 50 - 61。DOI:https://doi.org/10.5220/0005236100500061(最佳论文奖)

[3]维拉Pantelic,史蒂文Postma,马克获悉莫妮卡Jaskolka,班尼特麦肯齐,亚历山大•Korobkine马克•本德杰夫Ong戈登标志,艾伦•Wassyng“软件工程实践和仿真软件:缩小差距,“国际期刊对技术转让的软件工具(STTT), 2017年,95 - 117。金宝appDOI:https://doi.org/10.1007/s10009 - 017 - 0450 - 9

引用作为

McSCert (2023)。签名工具GitHub (https://github.com/McSCert/Signature/releases/tag/v3.3)。检索

MATLAB版本兼容性
创建R2017b
兼容任何释放
平台的兼容性
窗户 macOS Linux
类别
找到更多的在验证、验证和测试帮助中心MATLAB的答案

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!
版本 发表 发布说明
3.3

GitHub上看到这个版本发布说明:https://github.com/McSCert/Signature/releases/tag/v3.3

3.2

修正了几个错误。

3.1.0.0

固定问题处理签名模型中的位置。

3.0.0.0

——更新GUI包括更多的选择
——只有一个子系统,可以生成签名除了
——可以生成签名文档作为一个Word文档
固定工具名称。
描述的格式。
更新执照。

2.0.0.0之间

——添加一个新特性:增加测试工具(参见README详细解释)
——签名的工具现在支持提取.t金宝appex文件
——数据类型添加了签名的数据项

1.3.0.0

轻微的修改的例子;修正扩展生成的文本文件。

1.2.0.0

固定一个文档生成错误(数据存储GotoTag属性)。

1.1.0.0

更改路径问题;小编辑的描述。

1.0.0.0

问题在这个视图或报告GitHub插件,参观GitHub库
问题在这个视图或报告GitHub插件,参观GitHub库