编者按:这个文件被选为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)。检索。
src
src / PositionUtil
src / StrongSignature
src / WeakSignature
例子
版本 | 发表 | 发布说明 | |
---|---|---|---|
3.3 | GitHub上看到这个版本发布说明:https://github.com/McSCert/Signature/releases/tag/v3.3 |
||
3.2 | 修正了几个错误。 |
|
|
3.1.0.0 | 固定问题处理签名模型中的位置。 |
||
3.0.0.0 | ——更新GUI包括更多的选择 |
||
2.0.0.0之间 | ——添加一个新特性:增加测试工具(参见README详细解释) |
||
1.3.0.0 | 轻微的修改的例子;修正扩展生成的文本文件。 |
||
1.2.0.0 | 固定一个文档生成错误(数据存储GotoTag属性)。 |
|
|
1.1.0.0 | 更改路径问题;小编辑的描述。 |
|
|
1.0.0.0 |
|