基于 ISO/IEC 25010 度量 B 抽象机的质量
软件工程
2020-03-06 v1
摘要
B 方法通过将软件设计规定为抽象机并形式化验证抽象机的正确性，促进了软件的开发。B 抽象机的质量会显著影响最终软件产品的质量。在本文中，我们提出了一组基于 ISO/IEC 25010 度量 B 抽象机质量的准则，ISO/IEC 25010 是软件工程中用于评估软件质量的最新国际标准之一。这些准则利用若干通用且与领域无关的等式和模型检测技术来评估抽象机，从而将抽象机的质量量化为向量。所提出的准则被实现为一个 B 模型质量评估器，并通过若干示例进行了说明与论证。
引用
@article{arxiv.2003.02619,
title = {Measuring the Quality of B Abstract Machines with ISO/IEC 25010},
author = {Cheng-Hao Cai and Jing Sun and Gillian Dobbie},
journal= {arXiv preprint arXiv:2003.02619},
year = {2020}
}
备注
11 pages, 1 figure, 1 table