软件无故障性评估的验证
软件工程
2014-04-29 v1
摘要
我们提议通过实验验证一种软件认证理论，该理论从基于标准的无故障性置信度评估出发，进而对无故障运行进行保守预测。
引用
@article{arxiv.1404.6844,
title = {Evaluating the Assessment of Software Fault-Freeness},
author = {John Rushby and Bev Littlewood and Lorenzo Strigini},
journal= {arXiv preprint arXiv:1404.6844},
year = {2014}
}
备注
EDCC-2014, AESSCS 2014