Quantitative Paradigm of Software Reliability as Content Relevance
Yuri Arkhipkin
本文提出了软件可靠性和内容相关性定义的定量化方法，并通过系统潜在可靠性定律进行了验证，从而论证了软件可靠性和内容相关性的统一数学性质或定量范式。
This paper presents a quantitative approach to software reliability and content relevance definitions validated by the systems' potential reliability law.Thus it is argued for the unified math nature or quantitative paradigm of software reliability and content relevance.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Software engineers share their architectural knowledge (AK) in different places on the Web. Recent studies show that architectural blogs contain the most relevant AK, which can help software engineers to make design steps. Nevertheless, we know little about blogs, and specifically architectural blogs, where software engineers share their AK. In this paper, we conduct an exploratory study on architectural blogs to explore their types, topics, and their AK. Moreover, we determine the relevance of architectural blogs to make design steps. Our results support researchers and practitioners to find …
Practical relevance of software engineering research: Synthesizing the community's voice
软件工程（SE）研究应该与工业实践相关。自20世纪80年代以来，SE社区一直在定期讨论这个问题，由Robert Glass等先驱领导。当我们最近通过了“软件工程50年“的里程碑时，最近在这个方向上做出了一些积极的努力，例如，在几次SE会议上建立“工业”轨道。然而，许多研究人员和从业人员认为，我们作为一个社区，仍然在努力与研究的相关性和实用性。本文的目的是综合迄今为止在SE社区中关于这一主题的证据和基于经验的意见，并鼓励社区进一步反思研究相关性并采取行动。为此，我们对54个系统选择的来源（论文和非同行评审文章）进行了多声音文献综述（MLR）。MLR不是依赖和考虑每个来源中提到的关于研究相关性的个人意见，而是旨在综合和提供关于该主题的“整体”观点。我们的MLR发现的重点如下。在社区中讨论的低相关性的三大根本原因是：（1）研究人员在实践中对SE有简单化的看法（或错误的假设）;（2）缺乏与行业的联系;（3）错误识别研究问题。提高研究相关性的三大建议是：（1）使用适当的研究方法，如行动研究;（2）选择相关的研究问题;（3）与产业合作。通过综合迄今为止关于这一重要主题的所有讨论，本文旨在鼓励社区进一步讨论和行动，以加强我们的集体努力，提高研究的相关性。
On the perceived relevance of critical internal quality attributes when evolving software features
本研究通过两项工业在线焦点小组案例，调查开发者对六种类级关键内部质量属性在软件功能演进时的相关性感知，明确了各属性的相关程度、原因及属性间关联，填补了相关认知空白。
Context: In the light of the swift and iterative nature of Agile Software Development (ASD) practices, establishing deeper insights into capability measurement within the context of team formation is crucial, as the capability of individuals and teams can affect team performance and productivity. Although a former Systematic Literature Review (SLR) synthesized the state of the art in relation to capability measurement in ASD with a focus on selecting individuals to agile teams, and capabilities related to team performance and success, determining to what degree the SLR's results apply to pract…
Useful Statistical Methods for Human Factors Research in Software Engineering: A Discussion on Validation with Quantitative Data
在本文中，我们描述了统计验证技术的有用性人为因素调查研究。我们需要调查的多样性的有效性方面时，在人为因素的研究中创建度量，我们认为，在其他领域中使用的统计测试，以获得支持的可靠性和结构效度的调查，也应适用于人为因素的研究在软件工程更频繁。我们还简要介绍了如何应用这些方法（测试-再测试，克朗巴赫的α，探索性因素分析）。
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
我们调查的统计模型检验技术分析软件产品线模型的定量属性与概率方面的适用性。为此，我们丰富了面向功能的语言FLan的动作率，它指定的可能性表现出特定的行为或安装功能在特定的时刻或以特定的顺序。丰富的语言（称为PFLan），使我们能够指定模型的软件产品线的概率配置和行为，例如，通过考虑基于离散时间马尔可夫链的PFLan语义。PFLan的Maude实现与分布式统计模型检查器MultiVeStA相结合，对一个简单的产品线案例研究进行定量分析。所提出的分析包括某些感兴趣的行为（例如产品故障）的可能性和产品的预期平均成本。
Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks
对开源软件的修改通常以“补丁堆栈”的形式提供-修改给定源代码主体的更改（补丁）集。当底层基础项目频繁更改时，长时间维护修补程序堆栈是有问题的。这就需要对电池组进行持续的、工程密集型的调整。然而，长期维护对于未纳入项目的变更是一个重要问题，例如，当变更有争议或仅对有限的用户群体有价值时。我们提出并实施了一种方法，系统地检查补丁堆栈的时间演变，跟踪非功能性的属性，如可集成性和可维护性，并估计最终的经济和工程所需的努力，成功地开发和维护补丁堆栈。我们的研究结果提供了定量研究补丁堆栈，包括统计分析和其他方法，导致可操作的建议，建设和长期维护的自定义扩展到OSS的基础。
A Quantitative Study of Java Software Buildability
研究人员、学生和从业人员经常遇到第三方软件系统的构建过程失败的情况。在本文中，我们的目的是证实这一观察目前主要是作为轶事证据。使用模拟程序员的虚拟环境，我们尝试从超过7，200个开源Java项目的源代码中完全自动地构建目标归档。我们发现超过38%的构建以失败告终。构建日志分析显示，大部分错误都与依赖性相关。我们还对影响构建成功的因素进行了关联研究。
Towards physical laws for software architecture
从软件体系结构的开创性工作开始，出现了宝贵的指导方针，以指示计算机程序应该如何组织。例如，“关注点分离”建议将程序拆分为功能重叠尽可能少的模块。然而，这些建议主要是概念性的，因此很难以数量形式表达。因此，软件体系结构依赖于设计人员的个人经验和技能，而不是定量法则。在这篇文章中，我申请的方法开发的分类信息在万维网上研究组织的开放源程序，试图建立统计规律的软件体系结构。
Quantitative Information Flow Control by Construction for Component-Based Systems
本文提出一种构造式方法，使软件架构师能依据定量信息流规范，从安全组件库出发，通过精化规则和良构性规则构建安全的基于组件的系统。
Quantitative Toolchain Assurance
本文提出过程约简技术，构建定量工具链保证案例，以约简强度衡量工具链强度，弥补SBOM和SLSA在过程质量定量评估上的不足。
Corporate Training in Brazilian Software Engineering: A Quantitative Study of Professional Perceptions
本文通过定量分析，探讨影响软件工程师对企业培训质量与效果感知的因素，发现认知参与、活动多样性及教师表现是主要预测因素，强制参与降低动机和培训质量。
The Silent Scientist: When Software Research Fails to Reach Its Audience
本文以戏剧演出为喻，指出软件研究受限于传统学术出版而难以触达潜在受众，导致研究相关性与影响力的讨论失去现实语境。
Context: Dependency Injection (DI) is a commonly applied mechanism to decouple classes from their dependencies in order to provide higher modularization. However, bad DI practices often lead to negative consequences, such as increasing coupling. Although white literature conjectures about the existence of DI anti-patterns, there is no evidence on their practical relevance, usefulness, and generality. Objective: The objective of this study is to propose and evaluate a catalog of Java DI anti-patterns and associated refactorings. Methodology: We reviewed existing reported DI anti-patterns in ord…
A Network Perspective on Software Modularity
模块化是软件系统的一个理想特性。在这篇文章中，我们建议使用复杂网络科学的定量方法来估计大型开源Java项目的依赖网络的模块化之间的一致性和它们在Java包中的分解。在这篇文章中提出的结果表明，我们的方法提供了一个有前途的和合理的定量方法与潜在的影响软件工程过程。
When software evolves, opportunities for introducing faults appear. Therefore, it is important to test the evolved program behaviors during each evolution cycle. We conduct an exploratory study to investigate the properties of commit-relevant mutants, i.e., the test elements of commit-aware mutation testing, by offering a general definition and an experimental approach to identify them. We thus, aim at investigating the prevalence, location, comparative advantages of commit-aware mutation testing over time (i.e., the program evolution) and the predictive power of several commit-related feature…
Improving the Testability of Object-oriented Software during Testing and Debugging Processes
可测试性是在程序中存在错误的情况下，测试是否会检测到错误的概率。如何有效地发现故障取决于软件的可测试性。许多研究人员提出了定性和定量的技术来提高和衡量软件的可测试性。在文献中，大量的可靠性增长模型已被用于评估和衡量软件在测试和运行阶段的定量质量评估。了解软件故障分布及其复杂性可以提高软件的可测试性。通过了解故障分布和故障复杂度，可以使测试工作量的分配变得容易，这将简化从软件中发现故障的过程。因此，软件的可测试性将得到改善。文中给出了该模型的参数以及不同复杂度的故障在软件中所占的比例，并利用在开源环境下开发的两个面向对象软件MySQL for python和Squirrel SQL Client的故障数据进行了估计
A quantitative framework for evaluating architectural patterns in ML systems
本文提出一个量化评估框架，通过可扩展性和性能指标，帮助软件架构师在机器学习系统中客观选择最优架构模式，以应对成本效益高的CPU推理挑战。
Architecting Hybrid Quantum-Classical Software Systems: Exploration of the Design Trade-off Space with Quantitative Guarantees
提出一种形式化混合应用架构风格的方法，通过权衡分析和定量保证探索量子-经典系统的设计空间，实现基于用户QoS标准的动态配置选择。
A Quantitative Study of Social Organisation in Open Source Software Communities
开源项目的成功关键取决于足够大的用户社区的自愿贡献。除了单纯的社区规模，有趣的问题出现时，在社区成员之间的合作的结构特征的演变。在本文中，我们讨论了几个网络分析代理，可用于量化社会协作网络中社会组织的不同方面。我们特别注重与社区凝聚力、责任分配和社区成员流动复原力有关的措施。我们对一个大规模的数据集进行了比较分析，该数据集涵盖了14个主要开源软件社区用户之间的完整合作历史。我们的分析涵盖了总体和时间演变的措施，并强调了不同社区的社会组织的差异。我们认为，我们的研究结果是一个有前途的一步，合适的，潜在的多维，弹性和风险指标的定义开源软件社区。
Understanding the evolution of communities in developer social networks (DSNs) around open source software (OSS) projects can provide valuable insights about the socio-technical process of OSS development. Existing studies show the evolutionary behaviors of social communities can effectively be described using patterns including split, shrink, merge, expand, emerge, and extinct. However, existing pattern-based approaches are limited in supporting quantitative analysis, and are potentially problematic for using the patterns in a mutually exclusive manner when describing community evolution. In …
A New Framework of Software Obfuscation Evaluation Criteria
本文针对软件保护强度评估方法不足的问题，梳理并批评既有标准，提出包含相关性、有效性、稳健性等八项指标的软件混淆评估新框架。
How software engineering research aligns with design science: A review
背景：评估和交流软件工程研究是具有挑战性的。设计科学被认为是应用研究的一个适当的研究范式，但在软件工程中很少被提及。将设计科学的视角应用到软件工程研究中可以改善研究贡献的评估和交流。目标：本研究的目的是1）了解设计科学的镜头是否有助于总结和评估软件工程的研究贡献，2）在软件工程文献中描述不同类型的设计科学贡献。方法：在以往的研究中，我们开发了一个可视化的抽象模板，总结了设计科学范式的核心结构。在这项研究中，我们使用这个模板在一组38顶软件工程出版物的审查，以提取和分析他们的设计科学的贡献。结果：我们确定了五组论文，根据它们与设计科学范式的一致性对其进行分类。结论：设计科学的镜头有助于强调研究成果的理论贡献-在技术规则方面-并反映研究提出的规则的实际相关性、新颖性和严谨性。
What do we know about Hugging Face? A systematic literature review and quantitative validation of qualitative claims
本文通过系统文献综述识别 Hugging Face 平台上关于预训练模型复用的 12 条论断，并对其中缺乏定量验证的论断进行测量，证实了 PTM 更替率高于传统软件以及文档质量与流行度强相关等结论。
An LLM-based Quantitative Framework for Evaluating High-Stealthy Backdoor Risks in OSS Supply Chains
针对开源软件供应链高隐蔽性后门攻击风险，本文提出基于大语言模型的细粒度量化评估框架，从攻击者视角分阶段设计指标，通过LLM语义评估弥补静态分析不足，在Debian高优先级包上验证了其风险识别能力。
Evolutionary Optimization of AI-Collapsed Software Development Stacks: Labor Tipping Points and Workforce Realignment
本文提出一个量化框架，用于优化软件开发中人类与AI劳动力的分配，通过建立基线和AI压缩劳动力模型，推导出安全裁员临界点方程，并在多目标进化优化框架中嵌入，实验揭示了可复现的自动化策略，降低成本同时保持质量和稳定的工作负载。
Probabilistic Model Checking for Energy Analysis in Software Product Lines
在软件产品线（SPL）中，软件产品的集合由它们在功能方面的共性定义，而不是一个接一个地明确指定所有产品。几个验证技术进行了调整，以建立时间属性的SPL。符号和基于族的模型检验已被证明是成功的解决组合爆破时出现的推理几个特征组合。然而，大多数形式化验证方法的SPL的文献中提出的重点是静态SPL，其中的产品的功能是固定的，不能改变在运行时。这与动态SPL相反，动态SPL允许在部署后动态地调整产品的功能组合。本文的主要贡献是一个动态SPL的组成建模框架，它支持概率和不确定性的选择，并允许定量分析。我们在基于自动机的协调组件内指定运行时期间的特征变化，从而能够对如何触发动态特征变化以优化各种定量目标的策略进行推理，例如，能源或货币成本和可靠性。对于我们的框架有一个自然的和概念上简单的翻译成输入语言的著名的概率模型检查PRISM。这有利于应用程序的PRISM的强大的符号引擎的动态SPL和他们的家庭为基础的分析对各种定量查询的操作行为。我们证明了我们的方法的可行性，通过案例研究发出的能量感知绑定网络设备。
Estado Actual de la Práctica de la Ingeniería de Software en México
与其他科学相比，软件工程是一门相对较新的学科，因为这个术语本身的起源可以追溯到1968年和1969年。目前，市场与软件产业在世界多个国家具有重要的相关性;然而，墨西哥虽然沉浸在这场竞赛中，但甚至还没有达到其他国家在该领域取得的成功水平。本文介绍了墨西哥软件工程实践的概况，重点是学术领域。它显示了在大学进行的科学研究活动的汇编，以及包括软件工程学科的本科教育计划的简要分析。最后，提出了未来要做的工作，以找到一个学术界和工业界之间的融合点，并支持这一业务的蓬勃发展，这在某种程度上将对我国的经济产生积极的影响。
Towards Digital Twins for the Description of Automotive Software Systems
我们提出了汽车软件模型，捕捉定量和定性方面的软件系统和底层硬件架构。特别是，我们考虑不同级别的计算能力。这些范围从控制器到云。我们提出了一个软件部署的建模方法，考虑到不同的汽车需求，如关键性，延迟，内存，计算资源和通信。我们的模型捕获汽车软件和硬件系统配置，可以作为数字孪生，是（通常）物理实体的数字对应物。此外，我们强调了相关的研究领域和挑战。
Folklore in Software Engineering: A Definition and Conceptual Foundations
本文定义了软件工程中的民间传说，探讨其在职业群体中的传播与影响，提出明确概念以支持后续研究与实践反思。
Not All Requirements Prioritization Criteria Are Equal at All Times: A Quantitative Analysis
本研究通过定量分析一家公司项目的32,139个优先级决策，发现需求优先级排序标准的重要性并非固定不变，而是随开发阶段而变化。
Code quality remains an abstract concept that fails to get traction at the business level. Consequently, software companies keep trading code quality for time-to-market and new features. The resulting technical debt is estimated to waste up to 42% of developers' time. At the same time, there is a global shortage of software developers, meaning that developer productivity is key to software businesses. Our overall mission is to make code quality a business concern, not just a technical aspect. Our first goal is to understand how code quality impacts 1) the number of reported defects, 2) the tim…
A Risk-driven Model for Work Allocation in Global Software Development Projects
在全球范围内分布软件开发项目的风险和潜在收益在很大程度上取决于如何将工作分配到不同的开发站点和地区。现有的任务分配方法很可能忽略了考虑多种标准的相关性以及任务分配对风险和潜在效益的影响。为了评估特定工作分配产生的风险，并利用组织特定的经验，我们开发了一个可定制的风险驱动模型。它包括两个主要步骤：建议一套任务分配方案的基础上，项目和现场的具体特点，并分析它与可能的项目风险所产生的工作分配。为了评估该模型，我们在一家跨国IT公司进行了一系列半结构化访谈。评价结果表明，该模型的建议大多符合回顾性意见所表达的参与经验丰富的管理人员。
How Reliable Are FOSS Popularity Metrics? Analyzing the Effort Required for Spoofing Common Software Popularity Metrics
本文研究了开源软件流行度指标的可靠性，分析了伪造这些指标所需的努力，并指出许多指标类别，如提交数据、问题跟踪器活动、下载量、仓库内容和依赖关系，可以被低至中等程度地操纵，揭示了npm上的一个涉及影响奖励机制的Sybil攻击。
Towards Resolving Software Quality-in-Use Measurement Challenges
软件使用质量是从用户的角度来衡量软件质量的。它在电子学习应用程序、基于移动服务的应用程序和项目管理工具中发挥了重要作用。由于难以定量地衡量软件的使用质量，用户对软件采购的决定往往是临时的或基于偏好的。但是，为什么使用中的质量测量是困难的？虽然有许多软件质量模型，我们的知识，没有工程调查的挑战，有关软件使用质量测量。本文有两个主要的贡献：1）提出了主要的问题和挑战，在测量软件质量的使用中的背景下的ISO Sockre系列和相关的软件质量模型，2）提出了一个新的框架，可用于预测软件质量的使用，和3）提出了初步的结果质量使用主题预测。简要地说，这些问题与当前标准模型的复杂性和定制软件质量模型的局限性和不完整性有关。建议的框架采用情感分析技术来预测软件质量的使用。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。