一种工具支持的检查方法，用于检测结构一致性违规

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI:10.1109/ICECCS.2006.46

Yuting Chen, Shaoying Liu, Fumiko Nagoya

{"title":"一种工具支持的检查方法，用于检测结构一致性违规","authors":"Yuting Chen, Shaoying Liu, Fumiko Nagoya","doi":"10.1109/ICECCS.2006.46","DOIUrl":null,"url":null,"abstract":"The application of specification-based program verification techniques (e.g., testing, review, and proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. In this paper, we describe a tool-supported review approach to detecting structural consistency violations by introducing the review method, discussing the design and implementation of the tool, and presenting a case study to assess the effectiveness of the tool and identify points for further improvement","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A tool-supported review approach to detecting structural consistency violations\",\"authors\":\"Yuting Chen, Shaoying Liu, Fumiko Nagoya\",\"doi\":\"10.1109/ICECCS.2006.46\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The application of specification-based program verification techniques (e.g., testing, review, and proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. In this paper, we describe a tool-supported review approach to detecting structural consistency violations by introducing the review method, discussing the design and implementation of the tool, and presenting a case study to assess the effectiveness of the tool and identify points for further improvement\",\"PeriodicalId\":269321,\"journal\":{\"name\":\"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)\",\"volume\":\"88 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-08-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICECCS.2006.46\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICECCS.2006.46","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

当规范的结构与其程序的结构之间的差距很大时，基于规范的程序验证技术(例如，测试、审查和证明)的应用在实践中面临着巨大的挑战。在本文中，我们描述了一种工具支持的检查方法，通过介绍检查方法来检测结构一致性违规，讨论了工具的设计和实现，并提出了一个案例研究来评估工具的有效性并确定进一步改进的点

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

查看原文本刊更多论文

A tool-supported review approach to detecting structural consistency violations

The application of specification-based program verification techniques (e.g., testing, review, and proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. In this paper, we describe a tool-supported review approach to detecting structural consistency violations by introducing the review method, discussing the design and implementation of the tool, and presenting a case study to assess the effectiveness of the tool and identify points for further improvement

求助全文

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

来源期刊

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)

自引率

0.00%

发文量