×
迪奥戈·拉斐尔·克拉沃;莱拉·里贝罗

使用图形语法的模块集成（MIGRATE）。 （英文） Zbl 1498.68072号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13130, 87-103 (2021).
摘要：软件，无论是桌面、手机还是网络，都变得越来越互联。软件开发也越来越多地与由数百万软件包组成的网络组成的生态系统联系在一起。当今的工程软件正在编写将库、服务和应用程序编织在一起的代码。由于内部要求（例如新功能）或外部要求（例如依赖关系更新），这些结构不断发生变化。无论测试和版本控制等常见策略如何，在这种情况下避免集成错误都是一个很大的挑战。我们提出了一种称为使用图形语法的模块集成（MIGRATE）的方法来描述/分析软件模块之间的集成点。我们定义了模块网，这是一种获取有关模块集成的基本信息的形式，其语义是根据图转换来定义的。这使我们能够使用丰富的图变换理论，特别是关键对分析，来分析不同模块之间的耦合，并在可能出现集成问题时发出警告。该方法分为三个阶段：（i）将代码转换为模块网络（模型提取），（ii）将模块网络转换为图形文法（集成语义），以及（iii）验证模块集成。我们已经构建了一个实现MIGRATE方法的原型。
关于整个系列，请参见[Zbl 1490.68009号].

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
2012年第68季度 语法和重写系统

关键词：

图形文法;软件集成;验证工具

软件：

APIDiff公司;迁移;Verigraph公司
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Cravo}和\textit{L.Ribeiro}，莱克特。注释计算。科学。13130，87-103（2021；Zbl 1498.68072）
全文： 内政部 链接

参考文献：

[1] Aué，J.，Aniche，M.，Lobbezoo，M，van Deursen，A.：对大型支付公司中web API集成错误的探索性研究。摘自：第40届国际软件工程会议论文集《软件工程实践——ICSE-SEIP 2018》，第13-22页。ACM出版社，瑞典哥德堡（2018）。数字对象标识代码：10.1145/3183519.3183537
[2] Bogart，C.，Kästner，C.，Herbsleb，J.，Thung，F.：如何打破API：三个软件生态系统中的成本谈判和社区价值。在：2016年第24届ACM SIGSOFT软件工程基础国际研讨会论文集-FSE 2016，第109-120页。ACM出版社，西雅图，华盛顿州，美国（2016年）。doi:10.1145/2950290.2950325
[3] Brito，A.、Xavier，L.、Hora，A.、Valente，M.T.：APIDiff：检测API破坏变化。2018年IEEE第25届软件分析、进化和重组国际会议（SANER）。第507-511页。IEEE，Campobasso，2018年3月。doi:10.1010/SANER.2018.8330249，http://ieeexplore.ieee.org/document/8330249/
[4] Costa，A.等人：Verigraph：一个用于描述和分析图形语法的系统。收录于：Ribeiro，L.，Lecomte，T.（编辑）《形式方法：基础与应用》，LNCS，第78-94页。查姆施普林格（2016）。doi:10.1007/978-3-319-49815-75·Zbl 1396.68063号
[5] Cravo，D.R.：使用图形语法的模块集成（MIGRATE）（2021）。https://lume.ufrgs.br/handle/10183/226284。接受日期：2021-28T04:39:53Z
[6] Decan，A.，Mens，T.，Grosjean，P.：七个软件包装生态系统中依赖网络演化的经验比较。恩皮尔。柔和。《工程》24（1），381-416（2019）。doi:10.1007/s10664-017-9589-y
[7] Duarte，L.M.，Ribeiro，L.：从源代码中提取图形语法。收录于：Cavalheiro，S.，Fiadeiro，J.（编辑）《形式方法：基础与应用》，LNCS，第10623卷，第52-69页。施普林格，查姆（2017）。doi:10.1007/978-3-319-70848-5_5·Zbl 1498.68130号
[8] Ehrig，H.（编辑）：代数图变换基础。收录于：《理论计算机科学专著》，柏林斯普林格出版社（2006年）。oCLC:ocm69242087·Zbl 1095.68047号
[9] Foo，D.、Chua，H.、Yeo，J.、Ang，M.Y.、Sharma，A.：库更新的高效静态检查。摘自：2018年第26届ACM欧洲软件工程会议暨软件工程基础研讨会联合会议记录-ESEC/FSE 2018，第791-796页。美国佛罗里达州布埃纳维斯塔湖ACM出版社（2018年）。数字对象标识代码：10.1145/3236024.3275535
[10] Fowler，M.：Tolerantreder（2011）。https://martinfowler.com/bliki/TolentReader.html
[11] Fowler，M.：综合测试（2018）。https://martinfowler.com/bliki/IntegrationTest.html
[12] Godefroid，P.，Lehmann，D.，Polishchuk，M.：REST API的差分回归测试。摘自：第29届ACM SIGSOFT国际软件测试与分析研讨会论文集。第312-323页。ACM，美国虚拟活动，2020年7月。电话：10.1145/3395363.3397374
[13] Grochau Azzi，G.，Corradini，A.，Ribeiro，L.：关于M-粘合剂转化系统中冲突的本质和初始性。J.日志。阿尔盖布。方法计划。109, 100482 (2019). doi:10.1016/j.jlamp.2019.100482，https://www.sciencedirect.com/science/article/pii/S2352220818301639 ·Zbl 1435.68131号
[14] Hausmann，J.H.，Heckel，R.，Lohmann，M.：基于模型的web服务发现。在：《IEEE国际网络服务会议论文集》，ICWS 2004，第324页，美国IEEE计算机协会，2004年6月
[15] Heckel，R.，Küster，J.M.，Taentzer，G.：类型化属性图转换系统的融合。收录于：Corradini，A.、Ehrig，H.、Kreowski，H.J.、Rozenberg，G.（编辑）《图形变换》，LNCS，第161-176页。施普林格，柏林（2002）。doi:10.1007/3-540-45832-8_14·Zbl 1028.68031号
[16] Lambers，L.，Ehrig，H.，Orejas，F.：通过基本关键对在图转换系统中进行有效的冲突检测。选举人。注释Theor。计算。科学。211, 17-26 (2008). doi:10.1016/j.entcs.2008.04.026，https://www.sciencedirect.com/science/articleii/S1571066108002417 ·Zbl 1283.68185号
[17] Lübke，D.，Zimmermann，O.，Pautasso，C.，Zdun，U.，Stocker，M.：接口演化模式：跨服务生命周期平衡兼容性和可扩展性。摘自：《第24届欧洲程序模式语言会议记录-2019年欧洲计划》，第1-24页。ACM Press，Irsee，Germany（2019年）。数字对象标识代码：10.1145/3361149.3361164
[18] Möller，A.，Torp，M.T.：Node.js库中破坏性更改的基于模型的测试。摘自：2019年第27届ACM欧洲软件工程会议暨软件工程基础研讨会联合会议记录——ESEC/FSE 2019，第409-419页。爱沙尼亚塔林ACM出版社（2019年）。数字对象标识代码：10.1145/3338906.3338940
[19] Mora，F.，Li，Y.，Rubin，J.，Chechik，M.：客户端特定等价性检查。摘自：第33届ACM/IEEE自动化软件工程国际会议论文集-ASE 2018，第441-451页。ACM出版社，法国蒙彼利埃（2018）。数字对象标识代码：10.1145/3238147.3238178
[20] Preston-Werner，T.：语义版本2.0.0（2020）。https://semver.org/
[21] Raemaekers，S.、van Deursen，A.、Visser，J.：语义版本化与破坏性更改：maven存储库研究。2014年IEEE第14届国际源代码分析和操作工作会议，第215-224页。IEEE，加拿大不列颠哥伦比亚省维多利亚市，2014年9月。doi:10.1109/SCAM.2014.30，http://ieeexplore.ieee.org/document/6975655/
[22] Runge，O.，Ermel，C.，Taentzer，G.：AGG 2.0-用于指定和分析代数图转换的新功能。收录于：Schürr，A.，Varró，D.，Varó，G.（编辑）《工业关联图变换的应用》，LNCS，第81-88页。施普林格，柏林（2012）。doi:10.1007/978-3-642-34176-28
[23] Soldani，J.、Tamburi，D.A.、Van Den Heuvel，W.J.：微服务的痛苦与收益：系统灰色文献综述。J.系统。柔和。146, 215-232 (2018). doi:10.1016/j.jss.2018.09.082，https://linkinghub.elsevier.com/retrieve/pii/S0164121218302139
[24] Taentzer，G.，Toffetti Carughi，G.:转换XML文档的基于图形的方法。在：Baresi，L.，Heckel，R.（编辑）软件工程的基本方法，LNCS，第48-62页。施普林格，柏林（2006）。doi:10.1007/11693017_6
[25] Xavier，L.，Brito，A.，Hora，A.，Valente，M.T.：API破坏性变化的历史和影响分析：一项大规模研究。2017年IEEE第24届软件分析、进化和再工程国际会议（SANER），第138-147页。IEEE，奥地利克拉根福，2017年2月。doi:10.1109/SANER.2017.7884616，http://ieeexplore.ieee.org/document/7884616/
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。