Generating CodeMeta through declarative mapping rules: An open-ended approach using ShExML
本文提出利用 ShExML 中的声明式映射规则生成 CodeMeta 文件，通过实现并合并三个交叉映射覆盖两个真实研究软件制品，并结合 SHACL 与 ShEx 验证和自动化工作流，以促进 CodeMeta 的采用并提升研究软件的 FAIR 程度。
2025-11-07 cs.DL cs.SE
Declarative Dashboard Generation
系统的系统是高度动态的软件系统，需要灵活的监控解决方案来观察和控制。事实上，操作员必须根据不断变化的情况频繁地调整收集的指标集，以可视化被监控系统的行为，并在需要时及时采取行动。不幸的是，仪表板系统在配置和适应必须可视化的一组不断变化的指标方面仍然相当麻烦。本文报告了我们最初的努力，对一个自动的仪表板生成过程，利用元模型布局创建一个完整的仪表板从一组指标选择的运营商的定义。
2021-01-01 cs.SE
MICOSE4aPS: Industrially Applicable Maturity Metric to Improve Systematic Reuse of Control Software
自动化生产系统（aPS）是高度复杂的机电一体化系统，通常必须可靠地运行数十年。控制软件模块的标准化和重用是在越来越短的开发周期内实现所需系统质量的核心先决条件。然而，在aPS领域的工业案例研究表明，许多aPS公司仍然挣扎在战略重用软件。本文提出了一种基于度量的方法来客观地衡量基于IEC 61131的工业控制软件在aPS（MICOSE 4aPS）中的成熟度，以识别潜在的弱点和质量问题，阻碍系统的重用。机器和设备制造行业的模块开发人员可以直接受益，因为度量计算被集成到软件工程工作流程中。在一家食品包装行业顶级机器制造公司进行的深入行业评估以及与不同公司进行的专家评估证实了有效管理控制软件质量的好处。
2022-12-09 cs.SE
Inferring Non-Failure Conditions for Declarative Programs
本文提出一种全自动方法，通过推断并检查操作的非失败条件来验证声明式程序中部分定义操作调用的正确性，并在 Curry 程序中实现验证。
2024-02-20 cs.PL cs.SE
Monotonic Abstraction Techniques: from Parametric to Software Model Checking
单调抽象是在参数化分布系统的模型检验中引入的一种技术，用于处理保护中包含全局条件的转换。该技术已被重新解释在声明性的设置在我们以前的论文，并适用于验证容错系统下的所谓的“停止故障”模型。声明性的重新解释包括逻辑技术（量词相对化，特别是量词实例化）在更广泛的背景下有意义。事实上，我们最近表明，这种技术可以过近似阵列加速度，使他们可以作为一个有意义的（和实际有效的）组件CEGAR循环在软件模型检验了。
2014-11-14 cs.LO cs.SE
On the Role of Software Architecture in DevOps Transformation: An Industrial Case Study
开发与运营（DevOps）是一种特殊类型的持续软件工程，已经成为一种流行的软件系统工程范式。软件架构对于DevOps的成功至关重要。然而，关于行业中如何构建软件系统以启用和支持DevOps的基于证据的知识很少。由于架构决策及其原理和含义在架构过程中非常重要，因此我们进行了一项行业案例研究，该研究根据经验确定并合成了两个软件开发团队认为对DevOps转型至关重要的关键架构决策。我们的研究还表明，除了所选择的架构风格外，DevOps最适合模块化架构。此外，我们发现，如果将运营专家添加到团队中以执行需要高级专业知识的运营任务，则所研究团队的性能可以在DevOps中得到改善。最后，如果团队想要更快地发布软件更改，那么测试投资是不可避免的。
2020-03-13 cs.SE
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context
本文提出QUELL方法，将量子极限学习机（QELM）应用于电梯调度软件的等待时间预测，在软件回归测试、数字孪生和实时性能预测中取得优于经典机器学习模型的预测质量，并验证了其在特征减少时性能不下降。
2024-02-23 cs.SE
Analysis of Software Binaries for Reengineering-Driven Product Line ArchitectureâAn Industrial Case Study
本文描述了一种从一组相似（但不相关）的二进制形式的软件产品中恢复软件体系结构的方法。一个意图是将重构驱动到软件产品线中，并将架构恢复与运行时间二进制分析和现有的聚类方法相结合。使用我们的运行时二进制分析，我们创建的图表，捕捉不同的软件部分之间的依赖关系。这些被聚集到更小的组件图中，将具有高交互性的软件部分分组到更大的实体中。组件图作为进一步软件产品线工作的基础。在本文中，我们集中在分析部分的方法和图聚类。我们将图聚类方法应用到自动化/机器人配置软件工具的背景下的实际应用中。
2015-04-14 cs.SE
Closing the gap between software engineering education and industrial needs
根据不同的报告，许多最近的软件工程毕业生在开始他们的职业生涯时经常面临困难，因为他们在大学教育中学到的技能与行业所需的技能不一致。为了满足这一需求，已经进行了许多研究，以使软件工程教育与行业需求保持一致。为了综合这些知识，我们在本文中提出了一个系统的文献综述（SLR），总结了这一领域的33项研究的结果。通过对所有这些研究进行荟萃分析，并使用来自12个国家和4,000多个数据点的数据，这项研究将使教育工作者和招聘经理能够调整他们的教育/招聘工作，以最好地准备软件工程劳动力。
2018-12-05 cs.SE
Does the performance of TDD hold across software companies and premises? A group of industrial experiments on TDD
测试驱动开发（TDD）被认为可以提高外部软件质量。然而，TDD提高外部质量的程度很少在工业实验中研究。我们在两个不同的公司进行了四个工业实验，以评估TDD的外部质量的性能。我们研究TDD的性能是否在同一公司和跨公司的场所举行。我们确定影响结果的参与者级别特征。最后迭代测试（ITL）是TDD的反向方法，在四个前提中的三个前提中优于TDD。ITL在这两家公司的表现都优于TDD。使用单元测试和测试工具的经验越多，国际交易日志和测试驱动开发之间的性能差异就越大（有利于国际交易日志）。技术环境（即，程序设计语言和测试工具）似乎不影响结果。在工业实验中评估影响结果的参与者级别的特征可以简化对TDD在现实环境中的性能的理解。
2018-07-20 cs.SE
Statistical-Based Metric Threshold Setting Method for Software Fault Prediction in Firmware Projects: An Industrial Experience
University of Naples "Federico II"（那不勒斯费德里科二世大学）
本文提出基于统计的软件故障预测指标阈值设置方法，通过实证研究验证了其在工业环境中的有效性，为故障预测提供可解释的解决方案。
2026-02-06 cs.SE
A Drift Handling Approach for Self-Adaptive ML Software in Scalable Industrial Processes
在现实世界的制造应用中，大多数工业过程的特点是可扩展性，这需要一个自动化的策略，以自适应机器学习（ML）软件系统的新条件。在本文中，我们调查了Uddeholms AB钢铁公司的电渣重熔（ESR）用例过程。该用例涉及预测真空泵送事件的最小压力值。考虑到收集新记录并将新机器与内置ML软件系统有效集成所需的时间较长。此外，为了适应的变化，并满足非功能性的软件系统，即适应性的要求，我们提出了一种自动化和自适应的方法的基础上漂移处理技术称为重要性加权。其目的是解决在生产中添加新熔炉的问题，并启用ML软件的适应性属性。总体结果表明，通过实施所提出的方法，在经典的非自适应方法实现ML软件性能的改善。
2022-08-15 cs.SE
Protocol and Tools for Conducting Agile Software Engineering Research in an Industrial-Academic Setting: A Preliminary Study
在软件工程行业进行实证研究是一个过程，因此，它应该具有普遍性。本文的目的是讨论学术研究人员如何通过系统和结构化的方法来解决他们在软件行业进行实证研究时遇到的一些挑战。本文中开发的协议应作为一个实际的指导研究人员，并帮助他们在这个复杂的环境中进行实证研究。
2018-04-10 cs.SE
A Survey and Comparison of Industrial and Academic Research on the Evolution of Software Product Lines
过去对软件产品线的研究主要集中在可重用资产的初始开发和相关的挑战，如成本估计和实现问题。当然，随着软件产品线在整个行业中越来越多地被采用，它们的持续维护和发展也越来越受到关注。然而，目前尚不清楚研究在多大程度上遵循这一趋势，以及该行业的利益和需求在哪里。在这份技术报告中，我们提供了一个调查和比较选定的出版物在软件产品线维护和发展SPLC。特别是，我们分析和讨论这些文件的异同方面，他们与工业界和学术界的联系。从这一点，我们推断未来的研究方向，铺平了道路，系统和有组织的软件产品线的演变，工业界也可能从中受益。
2022-12-12 cs.SE
Compliance Requirements in Large-Scale Software Development: An Industrial Case Study
法规遵从性是一个研究得很好的领域，包括研究如何建模，检查，分析，制定和验证软件的遵从性。然而，虽然理论知识体系是巨大的，经验证据的挑战与法规遵从性，所面临的行业从业者，特别是在软件工程领域，仍然缺乏。在本文中，我们报告了一个行业案例研究，旨在深入了解检查和分析监管合规性的常见做法和挑战，并讨论了与报告证据状态直接相关的见解。我们的研究是在爱立信公司进行的，爱立信公司是一家大型电信公司，必须遵守当地和国际监管机构和标准，如GDPR。这项工作的主要贡献是爱立信所经历的挑战的经验证据，补充了现有的法规遵从性知识体系。
2021-03-02 cs.SE
Right or Wrong -- Understanding How Novice Users Write Software Models
本文通过对新手用户编写的超过97,000个Alloy模型进行实证研究，分析正确与错误模型的编写模式，为Alloy模型调试与教学提供综合基准和指导性观察。
2024-03-30 cs.SE
Adopting a software product line engineering approach in industrial development contexts: A protocol for a systematic literature review
系统性二次研究（系统性映射研究（SMS）或系统性文献综述（SLR））的价值直接来自其系统性。正式、明确、客观和公正的过程保证了这些系统性研究的结果是有效的。这一过程体现在行动方案中，在进行二次研究之前，必须得到所有研究人员的同意。因此，该方案是一个详细的行动计划，其中包含所有任务和要执行的有序步骤序列。本文档详细介绍了在工业开发环境中采用软件产品线工程（SPLE）方法的SLR协议。该研究的目标是确定和分析在工业发展背景下采用这一方法的利弊，与学术环境中报告的经验形成对照。
2019-04-03 cs.SE
Software Architecture Decision-Making Practices and Challenges: An Industrial Case Study
软件体系结构决策对于软件系统的成功至关重要，因为软件体系结构设置了系统的结构，确定了系统的质量，并在整个系统生存周期中具有深远的影响。软件开发环境的复杂性和问题的重要性促使研究界开发了一些技术、工具和过程来帮助软件架构师做出更好的决策。尽管作出了这些努力，但在实践中采用这种系统性办法似乎相当有限。此外，实践者也面临着新的挑战，因为不同的软件开发方法建议不同的方法进行架构设计。在本文中，我们研究了目前的软件架构决策的做法，在行业中使用的专业软件架构师在三个不同的公司在欧洲进行的案例研究。因此，我们确定了软件团队遵循的不同软件架构决策实践，以及遵循这些实践的原因，与之相关的挑战，以及从软件架构师的角度来看可能的改进。在此基础上，我们认识到，改进软件架构知识管理可以解决大多数已识别的挑战，并将导致更好的软件架构决策。
2016-10-28 cs.SE
Aligning Academia with Industry: An Empirical Study of Industrial Needs and Academic Capabilities in AI-Driven Software Engineering
Beihang University（北京航空航天大学）；Monash University（蒙纳士大学）；Peking University（北京大学）；Singapore Management University（新加坡管理大学）
本文通过分析学术研究与工业需求的差距，揭示AI驱动软件工程中的关键挑战，旨在引导未来研究更贴近实际应用。
2025-12-17 cs.SE
Modularity and Architecture of PLC-based Software for Automated Production Systems: An analysis in industrial companies
自适应和灵活的生产系统需要模块化和可重复使用的软件，特别是考虑到它们长达50年的长期生存周期。介绍了一种自动化生产系统软件成熟度度量方法SWMAT4aPS。该方法确定了各公司在自动化生产系统（aPS）设计中软件模块化解决方案的弱点和优点。首先，一个自我评估的问卷是用来评估大量的公司关于他们的软件成熟度。其次，我们分析了PLC的代码，建筑水平，工作流程和能力，自动配置代码的工程信息在四个选定的公司。在本文中，问卷调查结果，从16个德国世界领先的公司在机器和设备制造和四个案例研究验证的结果，从详细的分析，以证明该方法的适用性，并给出了一个调查的最先进的工业。
2022-12-07 cs.SE
CyberSecurity Challenges: Serious Games for Awareness Training in Industrial Environments
了解网络安全主题，例如，与安全编码指南相关，使软件开发人员能够编写安全代码。这种意识在工业环境中对于关键基础设施中的产品和服务至关重要。在这项工作中，我们介绍和讨论了一个新的严重的游戏，专为软件开发人员在行业中。这个游戏解决了软件开发人员的需求，并被证明是非常适合提高安全编码意识的软件开发人员在行业中。我们的工作成果来自作者在行业中进行十多项网络安全挑战时获得的经验。所提出的游戏设计，这是被软件开发人员所接受的，是一种新颖的替代传统的课堂培训。我们希望通过在早期生产阶段改善产品的网络安全，对行业产生积极影响。
2021-02-20 cs.SE
Klever: Verification Framework for Critical Industrial C Programs
针对大型关键工业 C 程序验证耗时且缺乏环境建模、多版本配置验证等支持的问题，本文提出 Klever 框架以降低自动验证工具的应用成本。
2023-09-28 cs.SE
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study
本研究针对有界模型检测（BMC）的性能限制问题，评估区间分析的成本与收益，通过两个基准测试验证其对求解特定测试用例的必要性。
2024-06-21 cs.SE
Software Engineering Education Knowledge Versus Industrial Needs
出资额：确定并分析2014年IEEE/ACM软件工程教育知识（SEEK）中概述的软件从业者教育与Stack Overflow（SO）帖子中引用的Wikipedia文章所指出的行业需求之间的差距。背景资料：以前的工作已经发现了计算机基础，人际技能，软件流程和人机交互的覆盖面不足，建议重新平衡。研究问题：1）SEEK知识单元在多大程度上涵盖了开发人员的需求，就SO帖子中引用的维基百科文章而言？2)维基百科条目的受欢迎程度如何与其SEEK覆盖率相关？3)SEEK知识单元可以更好地涵盖哪些计算知识领域？4)为什么维基百科的文章被SO上引用的SEEK知识单元所覆盖？方法：维基百科的文章是从SO帖子中系统收集的。被引用最多的被手动映射到SEEK知识单元，根据其覆盖程度进行评估。SEEK未充分涵盖的文章使用2012年ACM计算分类系统手动分类。手动分析引用充分覆盖的文章的帖子样本。对软件从业人员进行了调查，以验证研究结果。调查结果：SEEK似乎充分涵盖了计算机科学基础，软件设计和数学概念，但较少涉及万维网，软件工程组件和计算机图形学等领域。开发人员寻求有关软件主题的建议、最佳实践和解释，以及代码审查帮助。未来的SEEK模型和计算教育可以更深入地研究信息系统、设计、测试、安全和软技能。
2021-12-23 cs.SE
How to Define Design in Industrial Control and Automation Software
本研究针对工业控制与自动化软件（iCAS）领域设计缺乏科学基础的问题，通过回顾软件行业与设计理论中的设计定义，澄清了关于设计的普遍误解，探讨了设计的科学定义、起点、评价标准及其与设计语言的区别，并分析了临时性与系统性设计方法的差异及关注平衡策略。
2025-07-13 cs.SE
Assessing the maturity of software testing services using CMMI-SVC: An industrial case study
内容：虽然许多公司在内部进行软件测试活动，但许多其他公司将其软件测试需求外包给充当软件测试服务提供商的其他公司。因此，在过去的几十年里，测试即服务（TaaS）已经成为一个强大的服务行业。在软件测试服务的上下文中，可能存在各种挑战（例如，在规划和服务交付阶段），因此，测试服务的质量并不总是符合预期。目的：对于测试服务的提供者和客户来说，评估测试服务的质量和成熟度并随后对其进行改进是很重要的。方法：出于一个真正的工业需要在几个测试服务提供商的背景下，评估他们的软件测试服务的成熟度，我们选择了现有的CMMI服务成熟度模型（CMMI-SVC），并进行了案例研究，使用它在两个土耳其测试服务提供商的背景下。结果如下：案例研究的结果表明，成熟度评估的测试服务使用CMMI-SVC是有帮助的公司和他们的测试管理团队，使他们能够客观地评估他们的测试服务的成熟度，并查明潜在的改进领域。结论：我们根据经验观察到，经过一些小的定制，CMMI-SVC确实是一个合适的模型，测试服务的成熟度评估。
2020-05-30 cs.SE
Automated System-Level Software Testing of Industrial Networked Embedded Systems
嵌入式系统无处不在，在工业和交通管理系统中发挥着关键作用。这些领域中的软件故障可能导致生产损失甚至生命损失，因此这些系统中的软件需要可靠。软件测试是嵌入式软件质量保证的标准方法，许多软件开发过程都在努力实现测试自动化。在成功的软件测试自动化所面临的众多挑战中，本文解决了五个问题：（i）了解更新的软件如何到达测试环境，测试如何在测试环境中进行，以及测试结果如何到达最初更新软件的开发人员;（ii）在给定的可用时间和测试系统的约束下，选择哪些测试用例在测试套件中执行;（iii）假定测试用例在连接的设备的不同配置上运行，则选择哪个硬件用于要执行的每个测试用例;（iv）分析当随时间在演进的软件、测试件或硬件修订版上执行时看起来随机失败的测试用例;以及（v）利用测试结果探索和可视化使测试结果信息可操作。应对这些挑战的方式有几种。[摘要被截断。]
2021-11-16 cs.SE
IASelect: Finding Best-fit Agent Practices in Industrial CPS Using Graph Databases
正在进行的第四次工业革命主要依赖于强大的工业网络物理系统（ICPS）。ICPS包括在分布式工业环境中控制复杂物理过程的计算（软件和硬件）能力。工业智能体，起源于成熟的多智能体系统领域，在软件层面上提供复杂和合作的控制机制，使我们能够开发更大，功能更丰富的ICPS。IEEE P2660.1标准化项目“工业代理的推荐实践：软件代理和低级自动化功能的集成”专注于确定可以使未来的ICPS系统受益的工业代理实践。该项目的一个关键问题是确定最适合特定国际化学品安全方案的工业代理做法。本文报告了设计和开发一个工具来应对这一挑战。这个工具，称为IASelect，是建立使用图形数据库，并提供灵活和可视化查询与ICPS相关的工业代理实践不断增长的知识库的能力。IASelect包括一个前端，允许行业从业者交互式地识别最适合的实践，而无需编写手动查询。
2021-08-03 cs.SE
Industrial Code Quality Benchmarks: Toward Gamification of Software Maintainability
针对软件行业因重短期发布导致技术债务累积的问题，提出基于匿名排行榜的可维护性游戏化方法，通过CodeHealth分析千余个项目验证排行榜构建可行性，为相关设计提供参考。
2024-12-09 cs.SE
In industrial embedded software, are some compilation errors easier to localize and fix than others?
本研究针对工业嵌入式系统CI阶段编译错误比例高的问题，构建了Shadow Job诊断方案，通过分析4个项目超4万次构建，发现最常见的5种错误占89%，并揭示了错误解决时间、大小和距离相互独立，为故障定位提供了人工成本见解和未来研究方向。
2024-04-23 cs.SE
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems
采用系统工程方法来设计工程系统所带来的好处是很好理解和记录的。然而，对于软件系统，由于需求的可变性和软件的延展性，需要不同的方法。随着工业信息物理系统的设计，人们面临着设计具有重要软件组件的工程系统的挑战。此外，该软件组件必须能够与企业的业务系统和工业系统进行无缝交互。在本文中，我们提出了Janus，它与BDI代理框架，提供了一种基于代理的工业网络物理系统的设计方法。Janus方法的核心是开发传统系统工程中的逻辑架构，然后将逻辑需求分配给BDI（信念欲望意图）代理架构，该架构源自系统的物理架构。Janus的起源在产品制造，在本文中，我们将其应用到问题的故障定位，隔离和服务恢复（FLISR）的变电站。
2021-08-02 cs.SE
An Evaluation of Monte Carlo-Based Hyper-Heuristic for Interaction Testing of Industrial Embedded Software Applications
超启发式算法是一种新的自适应混合元启发式算法，以获得一个通用的算法来解决优化问题。这项工作的重点是选择类型的超启发式，称为指数蒙特卡罗计数器（EMCQ）。当前实现依赖于无记忆选择，这可能是适得其反的，因为所选择的搜索运算符可能（历史上）不是当前搜索实例的最佳执行运算符。为了解决这个问题，我们建议将内存集成到EMCQ中，使用基于Q学习机制的强化学习（称为Q-EMCQ）进行组合t-wise测试集生成。组合测试生成在工业程序中的有限应用可能会影响Q-EMCQ等技术的使用。因此，有必要针对相关的工业软件评估这种方法，目的是显示覆盖代码以及查找错误所需的交互程度。我们将Q-EMCQ应用于37个用功能框图（FBD）语言编写的实际工业程序，这些程序用于在Bombardier Transportation Sweden AB开发训练控制管理系统。研究结果表明，Q-EMCQ是一种有效的测试用例生成技术。此外，与处理最小化问题的t-明智测试集生成不同，我们还将Q-EMCQ进行了涉及一般模块聚类的最大化问题，以证明我们方法的有效性。
2020-02-18 cs.SE
RERS-Fuzz : Combining Greybox Fuzzing with Interval Analysis for error reachability in reactive softwares
模糊测试是软件维护和演化领域中一个被广泛研究的领域。近年来，基于覆盖率的灰盒模糊测试通过发现工业级软件中的关键安全级别和show-stopper错误而获得了极大的关注。灰箱模糊测试以覆盖率最大化为目标函数，并采用反馈驱动的进化算法来实现。在我们的工作中，我们利用灰盒模糊测试的力量，结合区间分析来解决序列和工业RERS（反应式软件的严格检查）2019基准测试中的可达性问题。
2019-07-26 cs.SE
Individual Differences Limit Predicting Well-being and Productivity Using Software Repositories: A Longitudinal Industrial Study
针对软件开发者幸福感与生产力预测难题，通过工业团队纵向研究发现个体差异是主要影响因素，个性化预测模型效果更优，为相关管理与研究提供参考。
2021-04-28 cs.SE
Recommendations for Efficient and Responsible LLM Adoption within Industrial Software Development
Chalmers University of Technology | University of Gothenburg（查尔姆斯理工大学 | 哥德堡大学）；Austrian Post（奥地利邮政）
本文提出七条可行建议，旨在解决工业软件环境中高效且负责任地采用LLM的实践缺口，通过多案例研究和问卷调查验证了建议的相关性。
2026-04-29 cs.SE
Perceptions of Task Interdependence in Software Development: An Industrial Case Study
本文通过一项针对巴西金融软件团队的质性案例研究，揭示软件工程师对任务相互依赖性的认知存在个体间不对称，并可能加剧焦虑与不满，为理解软件开发中工作设计因素对情绪状态的影响提供了实证依据。
2023-04-19 cs.SE
Issue Auto-Assignment in Software Projects with Machine Learning Techniques
通常，软件项目中的经理或技术负责人手动分配问题。随着问题描述更加详细，此任务可能会变得更加复杂。这种复杂性也可能使该过程更容易出错（误分配）和耗时。在文献中，许多研究旨在通过使用机器学习策略来解决这个问题。虽然没有适用于所有公司的特定解决方案，但经验报告可用于指导工业自动分配项目的选择。本文介绍了一个全球性的电子公司，旨在尽量减少所花费的时间和错误，可能会出现在问题分配过程中进行的工业倡议。作为主要贡献，我们提出了一个文献综述，工业报告比较不同的算法，并在项目中吸取的经验教训。
2021-04-05 cs.SE
Awareness of Secure Coding Guidelines in the Industry -- A first data analysis
软件需要安全，特别是在部署到关键基础设施时。安全编码指南捕获工业软件工程中的实践，以确保代码的安全性。本研究旨在评估工业软件工程中安全编码的意识水平，软件开发人员发现软件代码中的弱点的技能，避免它们，以及组织支持坚持编码指南。该方法借鉴了完善的理论，政策的遵从性，中立化理论，和安全相关的压力和作者的多年经验，在工业软件工程和经验教训，从培训安全编码的行业。本文介绍了在线调查的问卷设计和初步分析的数据从试点研究。
2021-01-06 cs.SE
Alternatives for Testing of Context-Aware Contemporary Software Systems in industrial settings: Results from a Rapid review
上下文感知的当代软件系统（CACSS）是主流。此外，它们对当前的工程实践提出了挑战。这些挑战在测试CACSS时尤为突出，因为上下文的变化加深了现有软件测试实践和技术的局限性。目的：了解行业在测试CACSS时如何应对上下文的变化。方法：委托进行快速审查，以发现实现目标所需的证据。结果如下：我们的研究结果表明，目前的研究计划的目的是生成或改进测试套件，可以处理上下文的变化和测试输入的可能性的绝对量。为了实现这一目标，他们主要依赖于对系统的动态行为进行建模并增加计算资源来生成测试输入。我们没有发现旨在通过测试生命周期过程管理上下文变化的研究结果的证据。结论：我们讨论了如何确定的解决方案还没有准备好主流采用。它们都是特定领域的，虽然这些想法和方法可以在不同的环境中复制，但这些技术必须重新设计并适应特定的CACSS。
2021-04-14 cs.SE
Securing the Dark Matter: A Semantic-Enhanced Neuro-Symbolic Framework for Supply Chain Analysis of Opaque Industrial Software
School of Artificial Intelligence, Shenyang University of Technology（沈阳工业大学人工智能学院）；Key Laboratory of Information Security for Petrochemical Industry in Liaoning Province（辽宁省石油化工信息安全重点实验室）；School of Information Engineering, Shenyang University of Chemical Technology（沈阳化工大学信息工程学院）
本文提出一种语义增强的神经符号框架，通过直接从opaque二进制中重建行为语义，实现可扩展的全局风险推理，提升供应链分析的准确性和语义映射精度。
2026-05-08 cs.SE
Demonstrators for Industrial Cyber-Physical System Research: A Requirements Hierarchy Driven by Software-Intensive Design
Faculty of Engineering Technology, University of Twente（特温特大学工程技术学院）
针对研究项目中演示器需求不明确的问题，提出一个演示器需求细化框架，定义五个层次的需求层次，并通过两个研究项目验证其有效性。
2026-05-22 cs.SE
Incremental Bounded Model Checking for Embedded Software (extended version)
程序分析在嵌入式系统开发中处于主流的边缘。基于有界模型检验的自动化验证工具在行为需求的形式化验证、发现运行时错误和自动化测试用例生成等方面有着广泛的应用。现有的嵌入式软件的工业工具使用现成的有界模型迭代，并应用它来验证程序与越来越多的解绕。这种方法不必要地浪费时间重复已经完成的工作，并且无法利用增量SAT求解的能力。本文报告了软件模型检查器CBMC的扩展，以支持增量有界模型检验和它的成功集成与工业嵌入式软件验证工具BTC EmbeddedTester。我们提出了一个广泛的评估大型工业嵌入式程序，这表明，增量有界模型检验削减运行时间的一个数量级相比，标准的非增量方法，使应用程序的形式化验证大型和复杂的嵌入式软件。
2014-09-20 cs.SE
Key Stakeholders' Value Propositions for Feature Selection in Software-intensive Products: An Industrial Case Study
许多软件公司正在采用基于价值的决策。然而，价值对关键利益相关者的决策意味着什么？不同的利益相关者群体如何理解价值？如果没有对价值含义的明确理解，决策就会变得模棱两可，这很可能会使决策产生偏见。本案例研究提供了一个深入的分析关键利益相关者的价值主张时，选择功能的大型电信公司的软件密集型产品。利益相关者的价值主张是通过访谈引出的，并使用扎根理论编码技术（开放和选择性编码）进行分析。36个价值主张被确定，并分为六个维度：客户价值，市场竞争力，经济价值/盈利能力，成本效率，技术和架构，公司战略。我们的研究结果表明，虽然在客户价值维度的主张是那些提到最多的，价值的概念，特征选择包括广泛的价值主张。此外，各利益攸关方团体侧重于不同的和互补的价值层面，呼吁让所有关键利益攸关方参与决策进程。虽然我们的研究结果是特别相关的公司类似于这里所描述的，他们的目的是产生一个学习过程中的基于价值的特征选择的从业者和研究人员一般。
2018-10-30 cs.SE
Post-Pandemic Hybrid Work in Software Companies: Findings from an Industrial Case Study
本文通过一项涉及545名软件专业人员的工业案例研究，揭示了影响后疫情时代混合办公选择的多维因素，并指出成功关键在于平衡个人偏好、团队动态与组织策略，且不存在通用方案。
2024-01-17 cs.SE
Visually Analyzing Company-wide Software Service Dependencies: An Industrial Case Study
本文介绍 SAP 内部开发的力导向服务依赖可视化与过滤工具，总结其在严格时间约束下通过最小可行产品和快速反馈迭代实现内部采用，并支持服务退役与数据驱动决策。
2023-08-22 cs.SE
Estimation of the new agile XP process model for medium-scale projects using industrial case studies
敏捷是软件专业人员非常熟悉的术语之一。敏捷模型促进快速开发，以开发高质量的软件。XP过程模型是应用最广泛、文档最多的敏捷模型之一。XP模式适用于小型项目。由于XP模型是一个很好的模型，因此在中大型项目的开发中需要对其进行扩展。XP模式在适应大型团队的大中型项目开发时，存在文档不完整、性能不佳等缺点。本文提出了一种新的XP模型，以满足软件开发公司的需求，中型项目，有大的团队。这项研究可能会被证明是一个步骤，为适应所提出的新的XP模型的发展，大型项目。两个独立的工业案例研究进行验证所提出的新的XP模型处理的中小型软件项目，一个案例研究，每种类型的项目。
2014-08-26 cs.SE
Action Research with Industrial Software Engineering -- An Educational Perspective
本文从教育视角出发，针对行动研究在工业软件工程教学中的挑战，通过提供丰富示例、工具包及练习，支持行动研究的教与学，帮助新手研究者探索该领域机会。
2025-11-13 cs.SE
Is Secure Coding Education in the Industry Needed? An Investigation Through a Large Scale Survey
美国国土安全部估计，90%的软件漏洞可以追溯到设计和软件编码的缺陷。仅在工业控制系统中，这些漏洞的财务影响就超过3.8亿美元。由于软件开发人员编写软件，他们也会将这些漏洞引入源代码。但是，存在安全编码指南以防止软件开发人员编写易受攻击的代码。本研究的重点是人的因素，软件开发人员和安全编码，特别是安全编码指南。我们想了解软件开发人员对安全编码指南的意识和遵从性，以及为什么他们不遵从或不知道。我们的研究结果基于对安全编码指南的大规模调查，有190多名工业软件开发人员参与。我们的工作的主要贡献激励需要教育工业软件开发人员的安全编码准则，它给出了一个列表的15个可操作的项目，以供业界从业者使用。我们还公开提供原始数据以供进一步研究。
2021-02-10 cs.SE
When Traceability Goes Awry: an Industrial Experience Report
工件之间的可追溯性的概念被认为是软件项目成功的推动者。这个概念已经得到了研究界的广泛关注，许多人认为它在工业环境中总是可用的。在这个产学合作项目中，一个研究小组在一家大型电信公司的测试从业人员的支持下，试图调查合作伙伴公司与软件质量相关的问题。然而，很快就发现需求和测试用例之间缺少基本的可跟踪性链接。这种缺乏可追溯性的情况阻碍了帮助公司处理质量问题的解决方案的实施。在这份经验报告中，我们讨论了在复杂的工业环境中创建和维护可追溯性链接的实际价值，并为研究人员提供了一个警示故事。
2022-06-09 cs.SE
Software Engineers' Attitudes Towards Organizational Change - an Industrial Case Study
为了应对复杂和不断变化的环境，各行业都在寻求新的和更有效的方式来开展业务。根据先前的研究，许多这些变革努力未能实现其预期目标。因此，研究人员试图找出增加成功可能性的因素，并发现员工对变革的态度是最关键的因素之一。在软件工程组织中，管理变更的能力尤为重要，因为在这些组织中，有影响力的技术的快速变更和不断发展的方法论创造了一个动荡的环境。然而，据我们所知，没有研究存在，探讨在软件工程组织的变化的态度。在这个案例研究中，我们使用行业数据来研究，如果预期的变化结果的知识，对变化的需要的理解，和参与的感觉影响软件工程师的开放性变化和准备变化，两个常用的态度结构。两个独立的多元回归分析的结果表明，开放性的变化是预测的所有三个概念，而变化的准备是预测的变化和参与的需要。此外，我们的研究还提供了一个层次方面的三个预测结构的影响程度。最终，我们的研究结果可以帮助管理人员在软件工程组织，以增加成功实施的可能性，导致改变组织行为的变化倡议。然而，我们提出的一阶模型被认为是早期的近似值，捕捉最显着的影响，因此，在未来的研究中，应扩展到包括额外的软件工程独特的因素。
2016-01-21 cs.SE
Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets
Siemens AG（西门子股份公司）；Saarland University（萨尔兰大学）
本文提出RAMC方法，利用大语言模型实现软件模型补全，通过实验验证其在工业和公开数据集上的有效性。
2024-12-10 cs.AI cs.SE
Awakening: Modern Challenges and Opportunities of Software Engineering Research
Athens University of Economics and Business（雅典大学经济与商业学院）；Delft University of Technology（代尔夫特理工大学）；DeepSea Technologies
软件工程研究面临大规模、专有系统访问难题，需通过工业博士、长期合作等新方法推动研究进展。
2026-03-22 cs.SE
Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing
工业物联网（IIoT）应用为推动工业生产效率的提高提供了一系列全新的可能性。然而，随着系统之间的高度集成，后者面临着过多的新威胁，因为它们尚未被设计为广泛可达和互操作。为了缓解这些大量的新威胁，系统化和自动化的测试方法是必要的。这种全面性可以通过彻底的威胁建模来实现。为了自动化安全测试，我们提出了一种方法，自动化的测试过程中，从威胁建模向前，关闭之间的差距威胁建模和自动化测试用例生成。
2019-11-15 cs.CR cs.SE
Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers?
测试是工业软件工程中的一项重要活动。对于这样的软件，测试通常是手动执行的手工制作测试套件的基础上特定的设计技术和特定领域的经验。为了支持开发人员进行测试，已经提出了不同的方法来生成良好的测试套件。在过去的几年中，组合测试已经被探索，其目标是基于一定的策略自动组合软件的输入值。成对测试是一种组合技术，用于通过改变系统的每对输入参数的值直到创建这些参数的所有可能组合来生成测试套件。有一些证据表明，这类技术是有效的，相对较好地检测软件故障。不幸的是，几乎没有实验证据的比较，这些组合测试技术，被认为是严格的手工制作的测试。在这项研究中，我们比较成对的测试套件与手动创建的测试套件的工程师为45个工业程序。测试套件进行了评价的故障检测，代码覆盖率和测试数量。这项研究的结果表明，成对测试，而实现高代码覆盖率和故障检测的大多数程序是有用的，几乎是有效的手动测试在故障检测方面。结果还表明，在64%的程序中，成对测试在故障检测方面与手动测试一样好。
2017-06-06 cs.SE
