达到/ Coreach工具
达到/ Coreach工具跟踪和突出的数据流和控制流模型。工具识别,对某一指定的模型块,部分模型,取决于这些模块(实现功能),或部分模型,万博1manbetx指定块取决于(Coreach功能)。依赖项已确定后,通过工具的模型无关的块可以删除切功能。
•安装说明,说明如何使用该工具,请参阅包括Reach-Coreach / doc / ReachCoreach_UserGuide.pdf。
•这个工具依赖于我们的仿真软件工具。万博1manbetx请在这里下载:https://github.com/McSCert/万博1manbetxSimulink-Utility。
更多关于工具的功能,以及它如何与仿真软件可用于基于模型的开发,看到两篇论文:万博1manbetx
[1]维拉Pantelic,史蒂文Postma,马克获悉约翰亚历山大•Korobkine贝内特Mackenzie,杰夫Ong马克•本德”仿真软件工具集:提高软件工程实践与仿真软件开发,“第三届国际研讨会论文集在模型驱动工程和软件开发(MODELSWAR万博1manbetxD 2015), SCITEPRESS, 2015, 50 - 61。DOI:https://doi.org/10.5220/0005236100500061(最佳论文奖)
[2]维拉Pantelic,史蒂文Postma,马克获悉莫妮卡Jaskolka,班尼特麦肯齐,亚历山大•Korobkine马克•本德杰夫Ong戈登标志,艾伦•Wassyng“软件工程实践和仿真软件:缩小差距,“国际期刊对技术转让的软件工具(STTT), 2017年,95 - 117。万博1manbetxDOI:https://doi.org/10.1007/s10009 - 017 - 0450 - 9
引用作为
McSCert (2023)。达到/ Coreach工具GitHub (https://github.com/McSCert/Reach-Coreach/releases/tag/2.3)。检索。
src
src / Diff
src / ReachUtility
例子
一个
版本 | 发表 | 发布说明 | |
---|---|---|---|
2.3 | GitHub上看到这个版本发布说明:https://github.com/McSCert/Reach-Coreach/releases/tag/2.3 |
||
2.2 | GitHub上看到这个版本发布说明:https://github.com/McSCert/Reach-Coreach/releases/tag/v2.2 |
||
2.1 | ——固定缺陷改善结果的正确性。 |
|
|
1.7 | ——主要大型模型上运行时性能改进 |
|
|
1.6.0.0 | 固定一个小错误。 |
||
1.5.0.0 | 固定的错误涉及coreaching从选定的行。 |
||
1.4.0.0 | 更新“其他要求”字段,以反映与R2017a工具一直在测试。 |
||
1.3.0.0 | 固定的错误关于高亮显示数据存储,如果块,使用2016 b。 |
||
1.2.0.0 | ——提高可用性,处理公共汽车 |
||
1.1.0.0 | ——跟踪的准确性通过如果和切换实例块已经增加了。 |
||
1.0.0.0 |