AutoProof的可用性：软件验证案例研究
软件工程
2016-05-06 v1
摘要
许多验证工具出自学术项目，其天然限制通常不会导致对可用性的强烈关注。然而，对于广泛使用，可用性至关重要。使用知名基准Tokeneer问题，我们评估了近期一个有前景的验证工具AutoProof的可用性。结果显示了该工具在验证真实软件片段以及自动解除近三分之二验证条件方面的功效。同时，案例研究显示出对改进文档的需求，并强调了工具本身及Eiffel IDE中改进的需要。
引用
@article{arxiv.1605.01663,
title = {Usability of AutoProof: a case study of software verification},
author = {Mansur Khazeev and Victor Rivera and Manuel Mazzara and Alexander Tchitchigin},
journal= {arXiv preprint arXiv:1605.01663},
year = {2016}
}