基于Contract/sup / TM的防御系统开发与设计比较

Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278) Pub Date : 1999-08-01 DOI:10.1109/TOOLS.1999.787554

D. Firesmith

{"title":"基于Contract/sup / TM的防御系统开发与设计比较","authors":"D. Firesmith","doi":"10.1109/TOOLS.1999.787554","DOIUrl":null,"url":null,"abstract":"The paper briefly defines and discusses assertions and their uses before summarizing Design by Contract and Defensive Development. This provides a foundation for the following comparison of their similarities as well as their respective strengths and weaknesses. The paper concludes by arguing that Defensive Development is superior to Design by Contract, largely because of how they differ in assigning the responsibility for checking and ensuring preconditions.","PeriodicalId":147966,"journal":{"name":"Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278)","volume":"205 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"A comparison of Defensive Development and Design by Contract/sup TM/\",\"authors\":\"D. Firesmith\",\"doi\":\"10.1109/TOOLS.1999.787554\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper briefly defines and discusses assertions and their uses before summarizing Design by Contract and Defensive Development. This provides a foundation for the following comparison of their similarities as well as their respective strengths and weaknesses. The paper concludes by arguing that Defensive Development is superior to Design by Contract, largely because of how they differ in assigning the responsibility for checking and ensuring preconditions.\",\"PeriodicalId\":147966,\"journal\":{\"name\":\"Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278)\",\"volume\":\"205 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TOOLS.1999.787554\",\"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 Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TOOLS.1999.787554","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

本文简要地定义和讨论了断言及其用途，然后总结了契约式设计和防御性开发。这为下面比较它们的相似之处以及各自的优缺点奠定了基础。本文的结论是，防御性开发优于契约式设计，主要是因为它们在分配检查和确保前提条件的责任方面存在差异。

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

查看原文本刊更多论文

A comparison of Defensive Development and Design by Contract/sup TM/

The paper briefly defines and discusses assertions and their uses before summarizing Design by Contract and Defensive Development. This provides a foundation for the following comparison of their similarities as well as their respective strengths and weaknesses. The paper concludes by arguing that Defensive Development is superior to Design by Contract, largely because of how they differ in assigning the responsibility for checking and ensuring preconditions.

求助全文

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

来源期刊

Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278)

自引率

0.00%

发文量