Timeseries on IIoT Platforms: Requirements and Survey for Digital Twins in Process Industry
本文针对流程工业数字孪生的工业物联网时间序列数据需求，调研了四类API规范与六个商业平台的适配情况，发现现有技术均存在明显差距，需定制扩展。
2023-09-28 cs.SE
A Survey of Requirement Engineering Process in Android Application Development
移动应用程序开发是世界上增长最快的行业。如今，人们完全依赖智能手机来执行日常任务，这导致人们对IT行业的期望大幅上升，从而增加了对人类的要求。为了解决需求中不受控制的变化，IT专家执行了一些适当的需求工程过程（REP）。因此，在本文中，我们通过向Android开发人员询问与REP相关的几个问题来进行行业调查，以了解IT行业中使用的REP。本研究的结果是令人满意的使用，以使REP更有效。
2020-08-30 cs.SE
Requirements Quality Assurance in Industry: Why, What and How?
针对工业界自然语言需求质量保证依赖人工、受琐碎问题困扰的痛点，提出一种兼顾人类认知负荷与机器自动化特性的需求质量保证复杂度分类法，为自动化支持决策框架奠基。
2023-08-24 cs.SE
From Domain Documents to Requirements: Retrieval-Augmented Generation in the Space Industry
本文提出一种模块化检索增强生成方法，用于从航天领域非结构化文档中自动生成需求，初步实验表明可减少人工、提升覆盖率并支持合规对齐。
2025-07-10 cs.SE
A Comparison of ROS 2 and AUTOSAR Adaptive Platform Against Industry-Elicited Automotive Middleware Requirements
RWTH Aachen University（亚琛工业大学）；ZF Group（采埃孚集团）
本文对比ROS 2和AUTOSAR自适应平台在汽车行业中间件需求中的表现，分析其在通信、集成与协调方面的实际应用能力。
2026-04-24 cs.SE
Bridging Stakeholder and Product Requirements: An Empirical Study of Requirement Engineering in the Automotive Industry
Technical University of Munich（慕尼黑工业大学）；Infineon Technologies AG（英飞凌科技公司）；CSIRO’s Data61（澳大利亚联邦科学与工业研究组织数据61）
本文针对汽车行业需求工程展开大规模实证研究，结合定量与定性分析方法，基于英飞凌数据集探究利益相关者与产品需求差异等，揭示细化复杂性驱动因素，得出映射模式分类法，为汽车产品开发的需求获取与细化实践提供见解及改进机会。
2026-07-08 cs.SE
LLM-Based Discovery of Latent Requirements from Stakeholder Conversations: Preliminary Results from Industry
University of Ottawa（渥太华大学）；eSentire
提出LENS方法，利用LLM分析利益相关者访谈记录，提取显式需求并推断潜在需求，以用户故事表示并链接原文，工业评估显示显式需求F1为84.4%，75%潜在需求被认为有用。
2026-06-25 cs.SE
Industrial Requirements for Supporting AI-Enhanced Model-Driven Engineering
将人工智能技术和方法与MDE相结合的研究越来越受到人们的关注。然而，人工智能和MDE实践之间以及研究人员和实践者之间存在差距。本文通过报告这一领域的工业要求来解决这一差距。在AIDOaRt研究项目中，从业者和研究人员在人工智能增强自动化方面进行合作，支持网络物理系统的建模、编码、测试、监控和持续开发。该项目特别位于工业和学术界合作的交叉点，具有多个工业用例。通过启发和完善过程，确定了78项高级别要求，并由AIDOaRt伙伴归纳为30项通用要求。本文的主要贡献是该项目的一套通用要求，用于通过人工智能，DevOps和模型驱动工程来增强网络物理系统的开发，确定MDE和AI交互中的行业需求热点。未来的工作将在行业环境中完善，实施和评估这些要求的解决方案。
2022-08-29 cs.SE
Generating High-Level Test Cases from Requirements using LLM: An Industry Study
本文提出一种无需 RAG、仅通过提示让 LLM 先识别测试设计技术再生成高层测试用例的方法，并在 Bluetooth 与 Mozilla 数据集上验证其语义相似性评估及工业可行性。
2025-10-04 cs.SE
A Study about the Knowledge and Use of Requirements Engineering Standards in Industry
标准的使用被认为是任何工程学科的重要组成部分。因此，人们可以预期，标准在需求工程（RE）中也扮演着重要的角色。然而，很少有人知道的实际知识和使用的RE相关标准的行业。目的：在这篇文章中，我们调查了标准和相关工件（如模板或指南）在多大程度上被RE从业者所了解和使用。方法：为此，我们进行了一项基于电子邮件的在线调查。我们可以使用封闭式和开放式文本问题的组合来分析90位RE从业者的回复。结果如下：我们的研究结果表明，知识和使用的标准和相关的文物在RE是不太普遍的比人们可能期望从工程的角度来看。例如，大约47%的需求工程师或业务分析师不知道RE的核心标准ISO/IEC/IEEE 29148。我们研究的参与者大多通过个人决定使用标准，而不是由他们各自的公司，客户或监管机构强加。除了知识不足之外，我们还发现文化和组织因素阻碍了可再生能源标准的广泛采用。结论：总的来说，我们的研究结果提供了经验丰富的见解，实际使用的标准和相关的文物在RE实践和间接的价值，目前的标准为RE从业者创造。
2021-09-06 cs.SE
What Soft Skills Software Architect Should Have? A Reflection from Software Industry
软件架构师的工作在软件开发的生存周期中被认为是非常关键的，因为软件架构在成本和质量方面对软件项目的成功和失败起着举足轻重的作用。人们具有不同的人格特质，他们感知、计划和执行任何任务的方式都受到人格特质的影响，这些人格特质以软技能为特征。大多数时候，软件开发是一个团队工作，涉及几个人执行不同的任务。软件项目的成功和失败的故事揭示了人的因素是至关重要的。在这项工作中，我们提出了一个探索性的研究软技能要求的软件架构师的工作。我们分析了124个软件架构师职位的招聘信息，并探讨了软技能要求。调查结果有助于了解软件架构师工作的软件技能要求，并介绍了他们在招聘广告中的使用现状。
2015-08-28 cs.SE
Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review
Mercedes-Benz AG（梅赛德斯-奔驰集团）；University of Stuttgart（斯图加特大学）；Technical University of Munich（慕尼黑工业大学）
本文通过系统文献综述和行业经验，综述了汽车行业测试用例规范技术与系统测试工具的挑战与需求，提出了优先级标准目录，支持技术选择和未来测试框架改进。
2025-12-29 cs.SE
Designing NLP-based solutions for requirements variability management: experiences from a design science study at Visma
本文报告了在Visma公司产学研合作项目中，采用设计科学范式研究合同文档背景下需求变异性管理问题，总结了解决方案开发过程中的五条关键经验教训。
2024-02-11 cs.SE
Are "Non-functional" Requirements really Non-functional?
非功能性需求（NFR）通常通过区分系统应该如何做某事与系统应该做什么来区别于功能性需求。这种区别不仅在研究中普遍存在，而且影响了在实践中如何处理需求。NFR通常与功能要求分开记录，没有量化措施，描述相对模糊。因此，它们仍然难以分析和测试。然而，一些作者认为，许多所谓的NFR实际上描述的是行为属性，可以像功能需求一样对待。在本文中，我们实证调查这一观点，旨在增加我们的理解NFR寻址系统属性的性质。我们报告了从11个工业需求规范中提取的530个NFR的分类，并分析了这些NFR在多大程度上描述了系统行为。我们的研究结果表明，大多数“非功能性”的需求不是非功能性的，因为它们描述了一个系统的行为。因此，我们认为，许多所谓的NFR可以处理类似的功能需求。
2016-11-27 cs.SE
Tailoring Stakeholder Interests to Task-Oriented Functional Requirements
Without a specific functional context, non-functional requirements can only be approached as cross-cutting concerns and treated uniformly across all features of an application. This neglects, however, the heterogeneity of non-functional requirements that arises from stakeholder interests and the distinct functional scopes of software systems, which mutually influence how these non-functional requirements have to be satisfied. Earlier studies showed that the different types and objectives of non-functional requirements result in either vague or unbalanced specification of non-functional require…
2022-01-17 cs.SE
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
本文提出面向航空控制领域的形式化需求工程平台 FREPA，结合 AASRDL 与 AeroReq 工具，实现需求建模、验证与确认的自动化，并在九个真实系统中验证其工业有效性。
2023-06-02 cs.SE
Four Layered Approach to Non-Functional Requirements Analysis
非功能需求的识别对于软件产品的成功开发和部署是非常重要的。客户对软件产品的接受取决于软件中包含的非功能性需求。为此，我们需要识别所有涉众所需的所有非功能性需求。在文献中，用于此目的的方法并不多。因此，我们提出了一个四层的分析方法来识别非功能性需求。所提出的分层方法具有许多优点，非分层的方法。作为该方法的一部分，还提出了在每一层中使用的一些规则。该方法成功地应用于两个案例研究。识别的非功能需求使用检查表进行确认，此外，识别的非需求的完整性使用度量进行计算。
2014-08-07 cs.SE
Workshop Summary of the 1st International Workshop on Requirements and Testing (RET'14)
RET研讨会的主要目标是探索需求工程（RE）和测试（即RET）在研究和工业中的相互作用，以及这种相互作用带来的挑战。虽然在需求工程和测试的各个领域已经做了很多工作，但要理解RE和测试过程之间的联系，还需要做更多的工作。
2014-10-10 cs.SE
How do digital threats change requirements for the software industry?
本文指出仅将数字化转型视为软件问题是致命错误，呼吁全面理解数字社会及其潜在威胁，并探讨这些挑战对软件行业未来需求的影响。
2024-02-22 cs.CY cs.SE
The State-of-Practice in Requirements Elicitation: An Extended Interview Study at 12 Companies
上下文需求工程仍然是一个学科，面临着大量的挑战，包括在工业中的需求获取过程的实施。虽然研究人员和学者提出了一些建议，但对工业界实际遵循的做法知之甚少。Objective.我们调查SoTA方面的需求获取，检查从业者的做法。我们专注于技术，所涉及的角色，以及与过程相关的挑战。法我们进行了一项基于访谈的调查研究，涉及来自12个不同的瑞典IT公司的24名从业人员。结果我们发现，小组互动技术，包括会议和研讨会，是最流行的类型的启发技术，从业者采用，除了在小项目的情况下。我们注意到，除了市场驱动的组织之外，客户经常参与启发过程。技术人员（例如，开发人员和架构师）比业务人员或战略人员更频繁地参与启发过程。最后，我们确定了与利益攸关方有关的一些挑战。这些挑战包括难以理解他们的需求并确定其优先顺序。此外，有人指出，要求不稳定（即，由不断变化的需求或优先事项引起的）是一项主要挑战。这些意见需要在研究的背景下加以解释。结论关于调查参与者经验的相关意见应引起业界的兴趣;应结合从业人员的情况分析这些经验。研究人员可能会发现在实践中使用学术成果的证据，从而激发未来的理论工作，以及在同一领域的进一步实证研究。
2021-02-23 cs.SE
Modeling the Realization and Execution of Functions and Functional Requirements
需求工程在软件系统开发中起着至关重要的作用。这个过程中最困难的任务之一是确定功能需求。许多项目中的一个关键问题是直到开发周期的后期才出现需求缺失。在本文中，我们的核心兴趣是功能建模，这是指建立基于其功能和子组件的功能的系统模型。我们提出了一个框架的基础上，通过建模语言，产生一个高层次的图形表示指定的功能需求。目的是提供一个整体的系统描述，促进沟通和理解，构建一个系统的不同专业领域的整体视图，并为设计阶段奠定基础。我们分析了函数的概念及其基本类型，并应用了自然语言描述和场景的例子。结果揭示了一种新的方法，奠定了基础的工作功能和可行的方法来捕捉其需求。
2020-03-31 cs.SE
Requirements engineering current practice and capability in small and medium software development enterprises in New Zealand
本文介绍了在新西兰的软件开发公司内实施的需求工程方面的当前行业实践的研究。设计并部署了测量仪器。对结果进行了分析，并与国际上认为的“最佳做法”以及新西兰和澳大利亚以前的研究进行了比较。试图评估需求工程能力的新西兰公司使用正式和非正式的框架。
2014-07-23 cs.SE
How do Practitioners Perceive the Relevance of Requirements Engineering Research? An Ongoing Study
需求工程（RE）研究与从业人员的相关性是该领域问题驱动研究的先决条件，也是将研究成果长期传播到日常实践的关键。为了更好地了解行业从业人员如何看待可再生能源研究的实际意义，我们启动了RE-Pract项目，这是一项进行实证研究的国际合作。该项目选择复制以前在两个不同领域所做的工作，并依赖于调查研究。为此，我们设计了一项调查，将发送给世界各地不同公司的数百名行业从业者，并要求他们对2010年至2015年期间在RE，ICSE，FSE，ESEC/FSE，ESEM和REFSQ会议上发表的418篇RE论文中描述的研究的实际相关性进行评估。在本文中，我们总结了我们的研究方案，并提出了我们的研究现状和计划的未来步骤。
2017-06-14 cs.SE
An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities
本文通过文献综述和案例研究，探讨了汽车行业采用敏捷方法的优势（如协作改善、上市加快）与挑战（如安全合规、文化阻力），旨在理解其对汽车软件开发未来的影响。
2024-09-19 cs.SE
From Waterfallish Aerospace Certification onto Agile Certifiable Iterations
本文提出一种符合DO-178C标准的持续文档生成策略与工具，通过迭代创建和无缝合并软件组件文档，实现可认证的敏捷迭代，经航空航天业界验证证实了其适用性，促进了敏捷实践在该领域的推广。
2025-03-06 cs.SE
Elicitation and Modeling Non-Functional Requirements - A POS Case Study
正确的需求管理对于在有限的时间和成本内成功开发软件至关重要。非功能性需求（NFR）是比较不同软件系统的关键标准之一。在大多数软件开发中，NFR都被指定为软件的附加需求。NFR，如性能，可靠性，可维护性，安全性，准确性等，必须在软件开发的早期阶段作为功能需求（FR）加以考虑。然而，识别NFR并不是一件容易的事情。虽然有发达的技术来引出功能需求，但缺乏NFR的引出机制，并且关于NFR的引出技术没有适当的共识。在需求分析中，NFR的获取被认为是一项具有挑战性的工作。本文提出了一种基于UML用例的查询方法来识别和分类系统的NFR。所提出的方法是通过使用销售点（POS）的案例研究说明
2014-03-08 cs.SE
Knowledge and skills requirements for the software design and testing of automotive applications
本文介绍了在汽车工业中使用硬件在环（HiL）设计和测试安全关键设备时，应向新手开发人员提供的所需知识和技能。他们应该提供给学生完成电气工程或机电一体化的硕士水平，旨在寻求在汽车行业就业。简要介绍了开发过程，以及各阶段的简要说明，其中包括文档中的一些典型书面文本示例（需求，测试用例等）。该过程遵循Automotive SPICE，并专注于V型的尖端。所提出的文本可以作为一个有用的信息，在适应现有的课程，以新的开发和测试过程中引入的新的需求的过程中。
2019-10-29 cs.SE cs.SY eess.SY
Deep Learning Methods for Software Requirement Classification: A Performance Study on the PURE dataset
Shiraz University of Technology（Shiraz理工大学）
针对软件需求中功能与非功能需求的分类难题，基于PURE构建含4661条需求的数据集，训练5种主流深度学习模型并结合2种投票算法构建集成分类器，验证了深度学习的分类效果及投票机制的性能提升作用。
2022-11-10 cs.SE
Focus Areas, Themes, and Objectives of Non-Functional Requirements in DevOps: A Systematic Mapping Study
软件非功能性需求解决了在开发和运行过程中必须考虑的大量目标、期望甚至责任。通常，这些非功能性需求来自不同的领域，它们的具体范围、概念和与功能性需求的分界往往是模糊的。在这项研究中，我们试图分类和分析相关的工作，软件工程在DevOps的上下文中，以澄清不同的重点领域，主题和目标的非功能性需求，并确定未来的研究方向在这一领域。我们进行了一个系统的映射研究，包括142个选定的主要研究，提取重点领域，并合成所描述的NFR的主题和目标。为了检查与DevOps中的非功能需求相关的非工程重点研究，我们进行了向后滚雪球的步骤，并额外纳入了17项主要研究。我们的分析揭示了7个经常性的重点领域和41个主题，这些主题是DevOps中NFR的特征，以及这些主题的典型目标。总体而言，DevOps中NFR的重点领域和主题非常多样化，反映了将软件工程与技术质量、业务、合规性和组织考虑因素保持一致所需的不同视角。在DevOps驱动的项目中，缺乏方法论支持来指定、测量和评估这些NFR的实现，这为该领域的未来研究提供了充足的机会。特别是，有必要为操作化非工程为重点的软件目标的经验验证的方法。
2022-01-17 cs.SE
Mapping General System Characteristics to Non- Functional Requirements
功能点分析（FPA）方法是项目经理确定规模、工作量、进度、资源负荷和其他参数的首选估计方案。国际功能点用户组（IFPUG）的FPA方法通过14个一般系统特征捕获了应用程序的关键实现特征。然而，非功能性需求（NFR），如功能性、可靠性、效率、可用性、可维护性、可移植性等，尚未包括在FPA估计方法中。本文讨论了一些NFR，并试图确定他们每个人的影响程度。已尝试将NFR因素纳入估计。这种方法需要通过数据汇集和分析加以验证。
2010-01-22 cs.SE
Functional Requirements for Decentralized and Self-Sovereign Identities
University of Zürich（苏黎世大学）
本文提出去中心化和自主主权身份系统功能需求的系统化方法，填补了现有非功能需求缺乏的空白，为未来系统开发与评估提供基础框架。
2026-03-25 cs.SE
Analyzing the Non-Functional Requirements in the Desharnais Dataset for Software Effort Estimation
研究系统的质量需求（也称为非功能需求（NFR））在需求工程中至关重要。许多软件项目的失败是因为在软件生命周期开发周期中忽略或未能纳入NFR。基于Desharnais数据集，分析了质量需求属性在软件工作量估算模型中的重要性。Desharnais数据集是由加拿大软件公司开发的12个属性的81个软件项目的集合。分析包括研究每个质量需求属性的影响，以及使用回归和人工神经网络（ANN）模型计算软件工作量时所有质量需求属性的影响。本研究中使用的评价标准包括相对误差幅度的平均值（MMRE）、预测水平（PRED）、均方根误差（RMSE）、平均误差和决定系数（R2）。结果表明，在计算软件工作量时，质量属性语言是最显着的。此外，如果所有的质量需求属性在训练阶段被淘汰，软件工作量预测的基础上，软件的大小，误差（MMRE）的值是两倍。
2014-06-14 cs.SE
Classification, Challenges, and Automated Approaches to Handle Non-Functional Requirements in ML-Enabled Systems: A Systematic Literature Review
本文通过系统性综述69篇论文，梳理ML赋能系统中的30种非功能性需求及23项以上软件工程挑战，并归纳为六大类，为后续研究提供分类与展望。
2024-04-10 cs.SE
Supporting Defect Causal Analysis in Practice with Cross-Company Data on Causes of Requirements Engineering Problems
缺陷原因分析（DCA）是一种有效的软件过程改进方法。虽然因果关系的知识有助于支持DCA，但收集因果数据可能需要大量的努力和时间。[目的]提出并评价使用跨公司数据支持DCA实际应用的新DCA方法。[方法]我们收集了来自74个巴西组织的关于需求工程问题原因的跨公司数据，并建立了贝叶斯网络。我们的DCA方法使用贝叶斯网络的诊断推理来支持DCA会话。我们通过将技术转移模型应用于工业来评估我们的方法，并连续进行了三次评估：（i）在学术界，（ii）与UFBA弗劳恩霍夫项目中心的行业代表，以及（iii）在巴西国家开发银行（BNDES）的工业案例研究。[结果] 3次评价均得到积极反馈，跨公司数据有助于确定主要原因。[结论]我们的研究结果增强了我们的信心，跨公司数据支持DCA是有希望的，应该进一步研究。
2017-02-13 cs.SE
How do Practitioners Perceive the Relevance of Requirements Engineering Research?
需求工程（RE）研究与实践者的相关性对于将研究结果长期传播到日常实践中至关重要。一些作者推测RE学科的研究与实践之间存在不匹配。然而，没有太多证据支持或反驳这种看法。本文介绍了一项研究的结果，旨在收集证据，从从业者对他们的看法，RE研究的相关性，并在了解影响这种看法的因素。我们对具有可再生能源专业知识的行业从业人员进行了一项基于调查的调查。参与者对五个顶级可再生能源相关会议上发表的435篇科学论文的相关性进行了评估。153名参与者共提供了2 164个评分。从业人员认为，在大多数情况下，可再生能源研究是必要的或值得的。然而，非正面评级的百分比仍然高于我们希望的水平。影响相关性感知的因素包括研究与行业的联系、使用的研究方法和受访者的角色。产生积极看法的原因主要与问题的相关性和解决办法的合理性有关，而产生消极看法的原因则多种多样。受访者还为未来的研究提供了建议，包括研究人员已经研究了几十年的主题，如启发或需求质量标准。
2020-12-03 cs.SE
Industry Expectations and Skill Demands in Quantum Software Testing
University of Calgary（卡尔加里大学）；University of Bari（巴里大学）
本研究分析了量子软件测试领域的行业需求与技能要求，揭示了传统软件质量保证与实验验证的结合，强调校准、控制及混合量子-经典验证的重要性。
2026-02-21 cs.SE
Non-functional Requirements Documentation in Agile Software Development: Challenges and Solution Proposal
非功能需求（NFR）是软件项目成功的决定性因素。然而，它们的特点是很难定义，在敏捷软件开发（ASD）中，它们通常被赋予较低的优先级，并且通常没有记录。在本文中，我们提出的调查结果的文件的做法和挑战的NFRs在公司利用ASD，并提出指导方针，以提高NFRs的文件在ASD。我们采访了来自四家公司的实践者，并确定了史诗，功能，用户故事，验收标准，完成定义（DoD），产品和sprint backlog用于记录NFRS。请参阅手稿的完整摘要。
2017-11-24 cs.SE
Seamless Requirements
功能需求规范的流行符号经常忽略开发人员的需求，针对特定的开发模型，或者需要将需求转换为测试进行验证;结果可能会产生不同步或完全不兼容的工件。无缝需求（Seamless Requirements）是一种新的描述功能需求的方法，它有助于开发人员对需求的理解和软件质量的提高，而与过程无关，同时由于在形式化验证存在的情况下没有测试，过程本身变得更轻。一个开发案例说明了这些好处，并讨论了无缝需求与其他方法的比较。
2017-04-13 cs.SE
On the Distinction of Functional and Quality Requirements in Practice
需求通常分为功能需求（FR）和质量需求（QR）。然而，我们仍然不知道这种区分在多大程度上从实践的角度来看是有意义的。在本文中，我们报告了一项调查，我们进行了103从业者，以探讨是否，如果是这样，为什么他们处理的要求标记为FR不同的标记为QR。我们还要求这种区别的后果w.r.t.发展过程。我们的研究结果表明，这两类需求的开发过程有很大的不同（例如，测试中）。我们确定了从业者在文档中区分（或不区分）QR和FR的一些原因，并分析了由此产生的问题和好处。例如，我们发现，许多原因是基于预期而不是证据。事实上，这些期望并没有反映在具体的消极或积极后果本身中。因此，似乎更重要的是，是否作出明确区分的决定应该是有意识的，以便人们也意识到这种区分所带来的风险，从而可以采取适当的反措施。
2016-11-27 cs.SE
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
在本文中，我们针对嵌入式软件的自动化单元覆盖率为基础的测试。为了实现这一目标，通过分析工业需求和我们以前在自动化单元测试工具CAUT上的工作，我们重新构建了一个新的工具SmartUnit，以解决我们合作伙伴公司的工程需求。SmartUnit是一个动态符号执行实现，支持语句、分支、边界值和MC/DC覆盖。SmartUnit已经在实际项目中测试了超过一百万行代码。出于保密动机，我们选择了三个内部真实项目进行实证评估。我们还对两个开源数据库项目SQLite和PostgreSQL进行了评估，以测试我们的工具的可扩展性，因为嵌入式软件项目的规模大多不大，平均只有5 K-50 K行代码。从我们的实验结果来看，一般来说，商业嵌入式软件中90%以上的函数实现了100%的语句、分支、MC/DC覆盖，SQLite中80%以上的函数实现了100%的MC/DC覆盖，PostgreSQL中60%以上的函数实现了100%的MC/DC覆盖。此外，SmartUnit能够在单元测试级别找到运行时异常。我们还报告了SQLite中的异常，如数组索引越界和被零除。此外，我们还分析了自动化单元测试覆盖率低的原因，并对工业上手工单元测试相对于自动化单元测试的情况进行了调查。
2018-06-17 cs.SE
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
汽车软件开发要求工程师测试他们的系统，以检测功能和驾驶性能要求的违规行为。功能需求定义了汽车软件的功能。驾驶性能要求是指驾驶员对与车辆相互作用的感知;例如，它们通常要求将驾驶员感知的加速度和加加速度限制在给定阈值内。虽然研究文献广泛考虑了功能要求，但驾驶性能要求却很少受到关注。这篇工业论文描述了我们的经验，评估自动搜索为基础的软件测试（SBST）框架的有用性，在生成故障揭示测试用例的功能和驾驶性能的要求。我们的经验涉及VI-CarRealTime模拟器，这是一种广泛应用于汽车领域的工业虚拟建模和仿真环境。我们在Simulink中为四轮车设计了一个巡航控制系统，以迭代的方式，通过生产21个模型版本。我们对模型的每个版本使用SBST框架来搜索揭示需求违规的失败揭示测试用例。我们的研究结果表明，SBST框架成功地确定了66.7%的模型版本的故障揭示测试用例，平均需要245.9s和3.8次迭代。我们提出了经验教训，反思我们的结果的一般性，并讨论我们的结果如何改善实践状态。
2023-05-29 cs.SE
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
针对软件安全需求人工生成易出错的问题，提出F2SRD自动化方法，结合OWASP ASVS的验证需求，经检索和GPT4生成两阶段，产出更具启发性、多样性和特异性的安全需求。
2025-05-17 cs.SE
Functional Requirements-Based Automated Testing for Avionics
我们提出并证明了一种方法，减少测试工作的安全关键软件开发使用DO-178指南。我们实现了这一目标，通过应用有界模型检验（BMC），以正式的低层次的要求，以自动生成测试，是足够好的，以取代现有的劳动密集型测试编写程序，同时保持独立的实现文物。鉴于现有的手动过程往往是经验和主观的，我们开始正式定义一个度量，它扩展了公认的最佳实践，从代码覆盖率分析策略，以生成测试，充分覆盖的要求。然后，我们制定的自动化测试生成程序，并应用其原型与工业合作伙伴的案例研究。在回顾中，这里开发的方法被证明可以显着减少人为的工作，根据DO-178指南的软件产品的资格。
2017-07-05 cs.SE
Digital Twins of Business Processes as Enablers for IT / OT Integration
针对工业4.0中IT与OT系统难以直接集成的问题，提出工业业务流程孪生（IBPT）作为中介解耦并集成两者，基于九子棋场景验证了四大设计原则，并开发了OPC UA模型进行评估。
2023-05-10 cs.SE
Practices, Challenges, and Opportunities When Inferring Requirements From Regulations in the FinTech Sector - An Industrial Study
本文通过一项金融科技领域工业多案例研究，系统调查从法规中推断软件需求的实践与挑战，识别关键实践和问题，并为未来问题驱动的研究提出建议。
2024-05-05 cs.SE
Software Requirements Specification of the IUfA's UUIS -- a Team 2 COMP5541-W10 Project Approach
在52页的文件中，我们描述了我们的方法，IUfA的UUIS原型的软件需求规格。这包括整体系统描述、功能需求、非功能需求、用例、所有相关实体的相应数据字典、模拟用户界面（UI）设计以及总体预计成本估算。UUIS的设计规范见arXiv：1005.0665。
2010-05-07 cs.SE
Boosting Extra-functional Code Reusability in Cyber-physical Production Systems: The Error Handling Case Study
信息物理生产系统（CPPS）是一种长寿命的机电一体化系统，包括机械，电气/电子和软件。在工业4.0的背景下，跨学科性质与挑战和趋势相结合，例如高度定制，小批量和演变，导致大量的可变性。掌握功能控制软件的可变性，例如，不同的控制变量的执行器类型，本身是一个挑战，在开发和重用CPPS软件。当考虑到额外的功能软件（如操作模式、诊断和错误处理）时，这项任务变得更加复杂。这些软件部分与功能软件具有高度的相互依赖性，通常涉及人机界面（HMI）以使操作员能够进行干预。本文阐述了在记录这些软件部件的依赖关系，包括他们的变异性，使用家庭模型的挑战。一个程序和一个面向对象的概念，实现错误处理，这代表了一个额外的功能任务，高度依赖于功能软件和HMI，提出。这两个概念的适用性，以增加软件的可重用性，因此，它的灵活性在工业4.0的背景下进行了讨论。他们的比较证实了IEC 61131-3的面向对象扩展的高潜力，成功地处理计划重用的额外功能CPPS软件。
2022-12-09 cs.SE
Analyzing a practitioner perspective on relevance of published empirical research in Requirements Engineering
背景：与行业的相关性和科学严谨性长期以来一直是信息系统研究中存在摩擦的领域。然而，很少有工作已经做了如何评估信息系统研究的相关性。Kitchenham等人[13]提出了文献中为数不多的相关性评价工具之一，后来由Daneva等人[7]进行了修订。目的：分析从业者/顾问的角度检查表1的相关性，以评估其可理解性和适用性的角度来看，从业者/顾问在先进的大学课堂的背景下。方法：五个硕士水平的学生在该领域的信息系统评估了一套24篇论文使用的相关性检查表1。对于清单中的每一个问题，都计算了评分者之间的一致性，并根据评论重新构建了从业人员所采用的推理。结果：只有三个问题的评分者间一致性较低，其他问题的评分者间一致性较差。对从业人员提供的评论进行分析后发现，只有两个问题得到所有从业人员的相同解释。这两个问题的评分者间一致性显著高于其他问题。结论：普遍较低的评分者之间的协议可以解释为一个迹象表明，检查表1是在其目前的形式不适合衡量工业相关性的IS研究。对核对表问题的不同解释为重新拟订问题提供了有益的见解。对某些问题提出了新的提法。
2014-03-05 cs.SE
Challenges of Adopting SAFe in the Banking Industry -- A Study Two Years after its Introduction
Scaled Agile Framework（SAFe）是一个在大型组织中扩展敏捷方法的框架。我们已经找到了几份描述不同银行采用SAFe的经验报告和白皮书，这表明SAFe正在银行业中使用。然而，缺乏关于这一主题的学术出版物，银行业在分析SAFe转型的科学报告中缺失。为了填补这一空白，我们提出了一个研究的主要挑战与SAFe转型在一个大型的全方位服务的银行。我们确定了所研究的银行面临的挑战，并将研究结果与其他银行的经验报告以及其他领域的SAFe转型研究进行了比较。本文中报告的许多挑战与一般的SAFe挑战重叠，包括管理和组织、教育和培训、文化和心态、需求工程、质量保证和系统架构。然而，我们也报告了银行领域特有的一些新挑战，例如，危及客户关系、稳定性和外部利益相关者信任的风险。本研究验证了几个安全相关的挑战，在以前的工作中报告的银行背景下。这也给银行业带来了一些新的挑战。因此，我们相信我们的研究结果对其他银行负责SAFe转型的从业人员特别有用。
2021-04-28 cs.SE
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement
有效的需求管理在汽车行业产品开发团队的支持方面起着重要的作用。新车在市场上的精确定位是基于描述为要求的特征和特性以及成本和利润。[问题/问题]但是，引入或更改需求不仅会影响产品及其部件，而且由于复杂性增加，可能会导致OEM的间接成本。增加的间接费用可能远远超过需求变化带来的预期收益或成本。[主要想法/结果]通过将需求与直接成本和间接成本联系起来，基于需求的决策可能变得更有价值。[贡献]这个问题陈述来自于对需求管理实践对过程复杂性的影响的详细检查，反之亦然，以及今天的需求管理工具如何在这方面提供帮助。我们目前的研究结果来自亚琛工业大学和大众汽车的联合研究项目
2014-09-09 cs.SE
Not All Requirements Prioritization Criteria Are Equal at All Times: A Quantitative Analysis
本研究通过定量分析一家公司项目的32,139个优先级决策，发现需求优先级排序标准的重要性并非固定不变，而是随开发阶段而变化。
2023-12-20 cs.SE
Data Compliance in Pharmaceutical Industry, Interoperability to align Business and Information Systems
制药行业的最终目标是产品质量。然而，这种质量可以通过使用许多异构的信息系统来改变，这些信息系统在产品的生命周期中具有不同的业务结构和概念。因此，需要互操作性来保证不同产品数据之间的某种对应性和合规性。在本文中，我们专注于一个特定的合规性问题，生产技术数据，在ERP中表示，和相应的监管指令和规范，代表的上市许可（MA）。MA详细说明了根据食品和药物管理局（FDA）和人用药品委员会（CHMP）等卫生组织规定的要求生产药物的过程。所提出的方法使用的互操作性框架，这是基于组织方面，业务交易和信息技术之间的多层分离，为每个涉及到的实体到所使用的系统之间的通信。
2018-10-31 cs.SE
A Survey of Software Engineering Practices in Turkey (extended version)
背景：了解行业中使用的软件工程实践和技术的类型是很重要的。在每个软件团队和公司中进行的软件工程实践的类型和成熟度方面有很宽的范围。为了描述在软件公司中进行的软件工程实践的类型，在不同的国家和地区进行了各种调查。土耳其有一个充满活力的软件行业，重要的是要描述和了解该行业的软件工程实践的状态。目标：我们的目标是描述和掌握土耳其软件行业软件工程实践类型的高级观点。在这项研究中，我们调查的软件工程实践包括：软件需求、设计、开发、测试、维护、配置管理、发布计划和支持实践。目前的调查是在土耳其软件行业背景下进行的最全面的调查。方法：为了实现上述目标，我们系统地设计了一个在线调查46个问题，根据我们过去的经验，在加拿大和土耳其的背景下，并使用软件工程知识体系（SWEBOK）。来自土耳其软件行业的202名执业软件工程师参加了调查。我们分析和报告在本文中的问题的结果。只要有可能，我们还会将我们的调查趋势和结果与2010年在加拿大软件行业进行的类似调查结果进行比较。
2014-12-16 cs.SE
Caveats in Eliciting Mobile App Requirements
应用程序商店或平台选择等因素严重影响功能和非功能移动应用程序的需求。我们调查了45家公司，并采访了10位专家，以探讨移动应用行业的需求工程师如何理解影响移动应用需求的因素。我们注意到在几个领域缺乏知识。例如，我们观察到所有从业者都意识到数据隐私问题，但他们不知道某些第三方库，使用聚合器或广告库偶尔也会泄露敏感的用户数据。类似地，某些功能需求可能在没有第三方库的情况下无法实现，第三方库要么因违反策略而被应用商店禁止，要么缺乏功能，例如，iOS的ARKit库中缺少所需的功能，使从业者转向Android。我们的结论是，需求工程师应该有足够的技术经验与移动应用程序开发以及足够的知识，如隐私，安全和法律等领域，以便在需求获取过程中做出明智的决定。
2020-02-19 cs.SE
