安全关键软件需求的形式化：益处源自何处？
软件工程
2014-04-29 v1
摘要
安全与保证标准通常依赖于这一原则，即通过更形式化地表达需求可以最小化需求错误。尽管大量案例研究表明，将非形式化需求形式化的过程能够发现需求错误，但该原则实际上只是一个假设。形式化与更优质需求之间具有工业说服力的因果关系尚未建立。我们描述了针对该假设的多种竞争性解释，这些解释涉及形式化需求通常关联的精度、重述、专业知识、努力和自动化水平。随后，我们提出了一项实验以区分这些解释，同时不排除它们均不正确的可能性。
引用
@article{arxiv.1404.6802,
title = {Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From?},
author = {Ibrahim Habli and Andrew Rae},
journal= {arXiv preprint arXiv:1404.6802},
year = {2014}
}
备注
EDCC-2014, AESSCS 2014, software, formal methods, safety, certification