一些可用性假设进行验证

Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools Pub Date : 2015-10-26 DOI:10.1145/2846680.2846691

David J. Pearce

{"title":"一些可用性假设进行验证","authors":"David J. Pearce","doi":"10.1145/2846680.2846691","DOIUrl":null,"url":null,"abstract":"The idea of specifying and verifying software to eliminate errors has been studied extensively over the last three decades or more. Recent advances in automated theorem proving have given rise to a range of new verification tools being developed. Despite this, very little is known about the effect of using such tools on software development. In this paper, we present several verification-related usability hypotheses which we believe warrant further investigation. These hypotheses are based on observations from the literature, as well as our own experiences in developing and using the Whiley verification system.","PeriodicalId":213941,"journal":{"name":"Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools","volume":"91 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Some usability hypotheses for verification\",\"authors\":\"David J. Pearce\",\"doi\":\"10.1145/2846680.2846691\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The idea of specifying and verifying software to eliminate errors has been studied extensively over the last three decades or more. Recent advances in automated theorem proving have given rise to a range of new verification tools being developed. Despite this, very little is known about the effect of using such tools on software development. In this paper, we present several verification-related usability hypotheses which we believe warrant further investigation. These hypotheses are based on observations from the literature, as well as our own experiences in developing and using the Whiley verification system.\",\"PeriodicalId\":213941,\"journal\":{\"name\":\"Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools\",\"volume\":\"91 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-10-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2846680.2846691\",\"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 6th Workshop on Evaluation and Usability of Programming Languages and Tools","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2846680.2846691","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

在过去的三十年或更长的时间里，详细说明和验证软件以消除错误的想法已经得到了广泛的研究。自动化定理证明的最新进展已经引起了一系列新的验证工具的开发。尽管如此，对于使用这些工具对软件开发的影响，我们所知甚少。在本文中，我们提出了几个验证相关的可用性假设，我们认为值得进一步研究。这些假设是基于对文献的观察，以及我们自己在开发和使用Whiley验证系统方面的经验。

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

查看原文本刊更多论文

Some usability hypotheses for verification

The idea of specifying and verifying software to eliminate errors has been studied extensively over the last three decades or more. Recent advances in automated theorem proving have given rise to a range of new verification tools being developed. Despite this, very little is known about the effect of using such tools on software development. In this paper, we present several verification-related usability hypotheses which we believe warrant further investigation. These hypotheses are based on observations from the literature, as well as our own experiences in developing and using the Whiley verification system.

求助全文

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

来源期刊

Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools

自引率

0.00%

发文量