当前位置:
X-MOL 学术
›
arXiv.cs.SE
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Measuring the Quality of B Abstract Machines with ISO/IEC 25010
arXiv - CS - Software Engineering Pub Date : 2020-03-04 , DOI: arxiv-2003.02619 Cheng-Hao Cai, Jing Sun, Gillian Dobbie
arXiv - CS - Software Engineering Pub Date : 2020-03-04 , DOI: arxiv-2003.02619 Cheng-Hao Cai, Jing Sun, Gillian Dobbie
The B method has facilitated the development of software by specifying the
design of software as abstract machines and formally verifying the correctness
of the abstract machines. The quality of B abstract machines can significantly
impact the quality of final software products. In this paper, we propose a set
of criteria for measuring the quality of B abstract machines based on ISO/IEC
25010, which is one of the latest international standards for evaluating
software quality in software engineering. These criteria evaluate abstract
machines using a number of general-purpose and domain-independent equations and
model checking techniques, so that the quality of abstract machines can be
quantified as vectors. The proposed criteria are implemented as a B model
quality evaluator, and they are explained and justified using a number of
examples.
中文翻译:
使用 ISO/IEC 25010 测量 B 抽象机器的质量
B 方法通过将软件的设计指定为抽象机器并正式验证抽象机器的正确性,促进了软件的开发。B 抽象机器的质量可以显着影响最终软件产品的质量。在本文中,我们基于 ISO/IEC 25010 提出了一套衡量 B 抽象机质量的标准,ISO/IEC 25010 是软件工程中评估软件质量的最新国际标准之一。这些标准使用许多通用和领域独立的方程和模型检查技术来评估抽象机器,以便抽象机器的质量可以量化为向量。提议的标准作为 B 模型质量评估器实施,并使用许多示例对其进行了解释和论证。
更新日期:2020-03-06
中文翻译:
使用 ISO/IEC 25010 测量 B 抽象机器的质量
B 方法通过将软件的设计指定为抽象机器并正式验证抽象机器的正确性,促进了软件的开发。B 抽象机器的质量可以显着影响最终软件产品的质量。在本文中,我们基于 ISO/IEC 25010 提出了一套衡量 B 抽象机质量的标准,ISO/IEC 25010 是软件工程中评估软件质量的最新国际标准之一。这些标准使用许多通用和领域独立的方程和模型检查技术来评估抽象机器,以便抽象机器的质量可以量化为向量。提议的标准作为 B 模型质量评估器实施,并使用许多示例对其进行了解释和论证。