论文标题
用ISO/IEC 25010测量B抽象机的质量
Measuring the Quality of B Abstract Machines with ISO/IEC 25010
论文作者
论文摘要
B方法通过将软件的设计指定为抽象机，并正式验证抽象机的正确性，从而促进了软件的开发。 B抽象机的质量可以显着影响最终软件产品的质量。在本文中，我们提出了一组基于ISO/IEC 25010的B抽象机器质量的标准，这是评估软件工程软件质量的最新国际标准之一。这些标准使用多种通用和域独立的方程式和模型检查技术评估抽象机器，以便可以将抽象机的质量量化为向量。所提出的标准被用作B模型质量评估器，并使用许多示例对其进行解释和合理。
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.
