首页/论文/2003.02619

arXiv 2003.026192020-03-04cs.SE

Measuring the Quality of B Abstract Machines with ISO/IEC 25010

Cheng-Hao Cai, Jing Sun, Gillian Dobbie

备注：: 11 pages, 1 figure, 1 table

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

基于ISO/IEC 9126标准的代码质量评估方法

Code Quality Evaluation Methodology Using The ISO/IEC 9126 Standard

这项工作提出了一种方法的源代码质量和静态行为评估的软件系统，基于标准ISO/IEC-9126。它使用从源代码中自动派生的元素，这些元素以质量特性排名的形式通过专家知识进行增强，允许软件工程师为源代码属性分配权重。它在所采用的度量和源代码属性的集合方面是灵活的，甚至在要评估的ISO/IEC-9126特征方面也是灵活的。我们采用的方法，两个案例研究，涉及五个开源和专有系统。结果表明，该方法可以捕捉软件质量的趋势和表达专家的看法，系统的定量和系统的方式对系统质量。

2010-07-29cs.SE

Assessing Support for Industry Standards in Reference Medical Software Architectures

Industrial standards for developing medical device software provide requirements that conforming devices must meet. A number of reference software architectures have been proposed to develop such software. The ISO/IEC 25010:2011 family of standards provides a comprehensive software product quality model, including characteristics that are highly desirable in medical devices. Furthermore, frameworks like 4+1 Views provide a robust framework to develop the software architecture or high level design for any software, including for medical devices. However, the alignment between industrial standar…

2021-07-17cs.SE

Evolving Reference Architecture Description: Guidelines based on ISO/IEC/IEEE 42010

The architectural design of software systems is not a trivial task, requiring sometimes large experience and knowledge accumulated for years. Reference architectures have been increasingly adopted as a means to support such task, also contributing to the standardization and evolution of these systems. Although considerable time and effort are devoted to design these architectures, an outdated description is still found in several of them and, as a consequence, resulting in their non-continuation. This article presents guidelines to evolve the description of reference architectures, considering…

2022-09-29cs.SE

The Applicability of ISO/IEC 25023 Measures to the Integration of Agents and Automation Systems

The integration of industrial automation systems and software agents has been practiced for many years. However, such an integration is usually done by experts and there is no consistent way to assess these practices and to optimally select one for a specific system. Standards such as the ISO/IEC 25023 propose measures that could be used to obtain a quantification on the characteristics of such integration. In this work, the suitability of these characteristics and their proposed calculation for assessing the connection of industrial automation systems with software agents is discussed. Result…

2021-08-06cs.SE

Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria

Safety Security Assurance Framework applied to two standards IEC 61508 and Common Criteria - ISO 15408

2020-10-13cs.CRcs.SE

Q-COSMIC：基于 COSMIC (ISO/IEC19761) 的量子软件度量

Q-COSMIC: Quantum Software Metrics Based on COSMIC (ISO/IEC19761)

本文提出 Q-COSMIC 技术，基于经典软件的 COSMIC 标准（ISO/IEC19761）测量量子软件功能规模，填补了大规模量子系统部署中软件规模度量方法的空白。

2024-02-13cs.SEquant-ph

更多相关论文收起更多论文

一个更安全的C语言库ISO/IEC TR 24731的实现

On Implementation of a Safer C Library, ISO/IEC TR 24731

作为ISO C 1999的一部分标准化的函数及其附录对以前可用的库的安全选项的改进非常小。最大的缺陷仍然是，没有函数要求任何函数复制数据到用户提供的缓冲区的目的地缓冲区的缓冲区大小。根据我们之前的研究，我们知道错误条件处理是安全漏洞的第一个解决方案，其次是前提条件验证。标准C函数通常执行很少的前提条件验证和错误处理，允许在使用中引入广泛的安全问题。ISO/IEC TR 24731，标题为“TR 24731：更安全的C库函数”，定义了41个新的库函数，用于内存复制，字符串处理（包括正常和宽字符串），时间打印，排序，搜索等。它还指定了通过其函数操作的所有字符串的空终止，并引入了一个新的无符号整型类型，有助于防止整数溢出和下溢。它目前由Microsoft作为其Visual Studio 2005及更高版本的一部分实现。我们研究我们的ISO/IEC TR 24731的实施架构。在介绍西门子四视图模型之前，我们首先介绍我们的架构哲学，这是一种用于大型软件系统概念的架构方法。然后，我们检查为我们的库构建的每个视图。最后，我们总结了其他软件工程问题，这些问题在我们的实现开发中非常重要。

2009-07-27cs.CRcs.SE

Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010

Agent-technologies have been used for higher-level decision making in addition to carrying out lower-level automation and control functions in industrial systems. Recent research has identified a number of architectural patterns for the use of agents in industrial automation systems but these practices vary in several ways, including how closely agents are coupled with physical systems and their control functions. Such practices may play a pivotal role in the Cyber-Physical System integration and interaction. Hence, there is a clear need for a common set of criteria for assessing available pra…

2021-08-18cs.SEcs.SYeess.SY

将信息安全管理体系操作化：对ISO/IEC 27001:2022在金融科技组织实施的程序框架分析

Operationalising Information Security Management: A Procedural Framework Analysis of ISO/IEC 27001:2022 Implementation in a Financial-Technology Organisation

IOTA

本文分析了金融科技组织ISMS中八个核心操作程序如何实现ISO/IEC 27001:2022附录A控制和第6-10条要求，探讨了CIA三元组、风险评估方法和持续改进机制。

2026-04-25cs.CRcs.SEcs.SI

AI驱动软件质量的蓝图：整合大语言模型与现有标准

A Blueprint for AI-Driven Software Quality: Integrating LLMs with Established Standards

Juniper Networks Inc.（Juniper网络公司）

本文探讨了利用大语言模型提升软件质量保证的过程，结合现有标准，分析AI在需求验证、缺陷检测等任务中的应用，并提出未来发展方向。

2026-04-28cs.AIcs.CLcs.SE

SoK：通用标准产品评估中的失效模式——分类与可评估性设计指南

SoK: Failure Modes in Common Criteria Product Evaluation - A Taxonomy and Design-for-Evaluability Guidance

本文系统梳理通用标准产品评估中的失效模式，构建生命周期分类，推导可评估性设计框架，明确云等新兴系统的相关开放问题。

2026-10-09cs.CRcs.SE

Metamodel Quality Requirements and Evaluation (MQuaRE)

Models are the primary artifacts of model-driven software engineering (MDSD) [1], and a terminal model is a representation that conforms to a given software metamodel [2, 3]. As the quality of a software metamodel directly impacts the quality of terminal models, software metamodel quality is an essential aspect of MDSD. However, the literature reports a few proposals for metamodel quality evaluation, but most lack a general solution for the quality issue. Some efforts focus on quality measures [4], a quality evaluation model [5], or a quality evaluation model with structural measures borrowed …

2020-09-09cs.SE

Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems

DENSO CORPORATION（电装公司）；Tokyo Institute of Technology（东京工业大学）；National Institute of Informatics（国立信息学研究所）

More and more software practitioners are tackling towards industrial applications of artificial intelligence (AI) systems, especially those based on machine learning (ML). However, many of existing principles and approaches to traditional systems do not work effectively for the system behavior obtained by training not by logical design. In addition, unique kinds of requirements are emerging such as fairness and explainability. To provide clear guidance to understand and tackle these difficulties, we present an analysis on what quality concepts we should evaluate for AI systems. We base our dis…

2019-07-31cs.CYcs.LGcs.SE