基于程序和规范执行的协同作用测试和调试消息传递应用程序

Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99 Pub Date : 1999-02-03 DOI:10.1109/EMPDP.1999.746668

Z. Tsiatsoulis, Y. Cotronis, E. Floros

{"title":"基于程序和规范执行的协同作用测试和调试消息传递应用程序","authors":"Z. Tsiatsoulis, Y. Cotronis, E. Floros","doi":"10.1109/EMPDP.1999.746668","DOIUrl":null,"url":null,"abstract":"We outline Ensemble, a design and implementation methodology for composing message passing (MP) applications from program components. We also outline specification composition, directly associated with application composition. We present the integration of specification and implementation of program development. We particularly elaborate on testing and debugging of MP applications based on the synergy of tools for specification simulations with tools for program execution visualisation.","PeriodicalId":335983,"journal":{"name":"Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Testing and debugging message passing applications based on the synergy of program and specification executions\",\"authors\":\"Z. Tsiatsoulis, Y. Cotronis, E. Floros\",\"doi\":\"10.1109/EMPDP.1999.746668\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We outline Ensemble, a design and implementation methodology for composing message passing (MP) applications from program components. We also outline specification composition, directly associated with application composition. We present the integration of specification and implementation of program development. We particularly elaborate on testing and debugging of MP applications based on the synergy of tools for specification simulations with tools for program execution visualisation.\",\"PeriodicalId\":335983,\"journal\":{\"name\":\"Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99\",\"volume\":\"7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-02-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EMPDP.1999.746668\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EMPDP.1999.746668","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

我们概述了Ensemble，这是一种设计和实现方法，用于从程序组件组合消息传递(MP)应用程序。我们还概述了与应用程序组合直接相关的规范组合。我们提出了程序开发的规范和实现的集成。我们特别详细介绍了基于规范模拟工具与程序执行可视化工具的协同作用的MP应用程序的测试和调试。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Testing and debugging message passing applications based on the synergy of program and specification executions

We outline Ensemble, a design and implementation methodology for composing message passing (MP) applications from program components. We also outline specification composition, directly associated with application composition. We present the integration of specification and implementation of program development. We particularly elaborate on testing and debugging of MP applications based on the synergy of tools for specification simulations with tools for program execution visualisation.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99

自引率

0.00%

发文量