Interactive Patch Filtering as Debugging Aid
广泛认识到程序修复工具需要具有高精度才能有用,即,所生成的补片需要具有高的正确概率。然而,从根本上难以确保补丁的正确性,并且许多工具在修复性能的其他方面(例如召回率)妥协以获得可接受的精度。在本文中,我们提出了一个问题:一个低精度的修复工具仍然有用吗?为了探讨这个问题,我们提出了一个互动的过滤方法来补丁审查,过滤出不正确的补丁,问问题的开发人员。我们的直觉是,不正确的补丁仍然可以帮助理解错误。有了适当的工具支持,即使有许多不正确的补丁,好处也超过了成本。我们实现的方法作为一个Eclipse插件工具,InPaFer,并与30名开发人员的模拟实验和用户研究进行评估。结果表明,我们的方法提高了修复性能的开发人员,62.5%以上的成功修复错误和25.3%的平均调试时间减少。特别地,即使生成的补丁都是不正确的,开发人员的性能也不会显著降低,并且当一些补丁提供用于修复的有用信息(诸如故障位置和部分修复)时,可以提高开发人员的性能。
2020-04-27 cs.SE
Testing and Debugging Quantum Programs: The Road to 2030
本文提出迈向2030年的量子程序测试与调试路线图,指出噪声和不可克隆定理等局限,构建概念模型梳理测试与调试的挑战,聚焦经典与量子接口及量子特性应用。
2024-10-11 cs.SE quant-ph
HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions
Hong Kong University of Science and Technology(香港科学与技术大学)
针对HLS代码调试难度大、训练数据稀缺等问题,本研究提出HLSDebugger方案,发布30万条标注数据集,采用单编码器-解码器模型完成多任务调试,性能显著优于先进LLM。
2025-07-29 cs.AI cs.SE
Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
提出交互式方法iFix,通过静态分析和对齐不同补丁的运行时变量值来辅助开发者比较与理解补丁,显著缩短了任务完成时间并提升了正确补丁排序。
2025-03-01 cs.HC cs.SE
Code Compass: A Study on the Challenges of Navigating Unfamiliar Codebases
本研究针对工程师调试陌生代码库时难以结合文档理解程序的问题,提出 IDE 集成工具 CodeCompass,通过上下文建议与可视化减少文档导航时间并提升任务完成率。
2024-05-10 cs.HC cs.SE
AutoGen Studio: A No-Code Developer Tool for Building and Debugging Multi-Agent Systems
Microsoft Research(微软研究院)
为解决多智能体系统参数指定与调试困难的问题,提出基于AUTOGEN框架的无代码工具AUTOGEN STUDIO,提供拖放式UI和Python API以快速原型设计、评估和调试多智能体工作流,并开源了实现。
2024-08-09 cs.AI cs.CL cs.HC
Investigating Benefits and Limitations of Migrating to a Micro-Frontends Architecture
本研究通过行动研究法将真实Web应用迁移至微前端架构,发现其增强技术灵活性和团队可扩展性,但复杂性和调试难题使开发者虽认可其有用性却犹豫采用。
2024-07-22 cs.SE
Toward Debugging Deep Reinforcement Learning Programs with RLExplorer
Mila(米拉研究所);Polytechnique Montréal(蒙特利尔理工学院);Université de Montréal(蒙特利尔大学)
针对深度强化学习系统故障难调试的问题,提出首个DRL故障诊断工具RLExplorer,通过监控训练轨迹检测特有故障并给出解决方案,实验验证其诊断准确率高、缺陷识别效率远超人工且易集成。
2024-10-06 cs.AI cs.LG cs.SE
Understanding the Challenges and Assisting Developers with Developing Spark Applications
为了更有效地处理数据,大数据框架为开发人员提供了数据抽象。然而,由于抽象,对于开发人员来说,理解和调试数据处理代码可能存在许多挑战。为了揭示使用大数据框架的挑战,我们首先在Stack Overflow上对1,000个Apache Spark相关问题进行了实证研究。我们发现,大多数挑战都与数据转换和API使用有关。为了解决这些挑战,我们设计了一种方法,帮助开发人员理解和调试Spark中的数据处理。我们的方法利用统计采样来最大限度地减少性能开销,并为链式方法管道的每个数据处理步骤提供中间信息和提示消息。我们的方法的初步评估表明,它具有较低的性能开销,我们收到良好的反馈,从开发人员。
2021-03-25 cs.SE
Benefits, Challenges, and Research Topics: A Multi-vocal Literature Review of Kubernetes
背景:Kubernetes是一个开源软件,有助于软件的自动部署和容器的编排。借助Kubernetes,IBM、Pinterest和Spotify等IT组织的发布频率有所增加。目的:本文的目标是通过对Kubernetes进行多方面的文献综述,向从业者和研究人员介绍Kubernetes使用的好处和挑战。方法学:我们进行了一项多声音文献综述(MLR),其中我们使用了321个Kubernetes相关的互联网工件来识别从业者感知到的好处和挑战。在我们的MLR中,我们还分析了105篇同行评审的出版物,以确定研究界所讨论的研究主题。结果:我们发现8个好处,包括服务水平目标(SLO)为基础的可扩展性和自我修复的容器。我们确定的与Kubernetes相关的15个挑战包括诊断和安全工具的不可用以及攻击面减少。我们观察研究人员解决与Kubernetes相关的14个研究主题,其中包括有效的资源利用。我们还确定了研究出版物中未充分探讨的9项挑战,包括文化变革、硬件兼容性、学习曲线、维护和测试。
2022-11-13 cs.SE
Understanding The Characteristics, Benefits And Challenges Of Agile IT Project Management: A Literature Based Perspective
本研究的目的是带出敏捷IT项目管理的概念的理解;它是什么,它不是什么。它还旨在比较敏捷和传统IT项目管理方法在典型行业环境中的利弊;纯粹敏捷的挑战,等等。它纯粹是对主要来自Google Scholar的同行评审论文的文献回顾。据透露,敏捷在好处方面超过了传统方法,但由于一些问题,其实施带来了很多挑战,其中最重要的是组织文化和项目团队的授权。这导致许多行业坚持使用传统方法,尽管敏捷具有压倒性的优势。在另一个思想流派中,两种范式的结合是前进的方向。
2019-10-14 cs.SE
An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities
本文通过文献综述和案例研究,探讨了汽车行业采用敏捷方法的优势(如协作改善、上市加快)与挑战(如安全合规、文化阻力),旨在理解其对汽车软件开发未来的影响。
2024-09-19 cs.SE
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation
应用商店启发式启发是探索竞争对手的应用程序的实践,以获得需求的灵感。这种活动在开发人员中很常见,但对其实际用途、优点和可能的问题却知之甚少。本文旨在研究应用程序商店启发式启发的策略,好处和挑战,并将这种技术与更传统的需求启发式访谈进行比较。我们与58位分析师进行了实验模拟,并收集了定性数据。我们的研究结果表明:(1)需要具体的指导方针和程序来更好地进行应用商店启发的启发;(2)应用商店提供的当前搜索功能不适合这种做法,需要更多的工具支持来帮助分析师检索和评估竞争产品;(3)虽然访谈集中在需求工程的为什么维度(即,目标),应用商店启发的启发集中在如何(即,解决方案),提供实施指示和改进的可用性。我们的研究为研究人员提供了一个框架,以解决现有的挑战,并提出了可能的好处,以促进从业者之间的应用程序商店启发启发。
2023-01-28 cs.SE
Uncovering the Benefits and Challenges of Continuous Integration Practices
2006年,Fowler和Foemmel定义了十个核心的持续集成(CI)实践,这些实践可以提高软件开发反馈周期的速度并提高软件质量。从那时起,这些实践已被业界广泛采用,随后的研究表明,它们提高了软件质量。然而,人们对组织如何实现这些实践、开发人员认为它们带来的好处以及开发人员和组织在实现它们时遇到的挑战的理解很差。在本文中,我们讨论了一个多案例研究的三个小型到中型公司使用的建议套件的十个CI的做法。通过访谈和活动日志挖掘,我们了解到这些实践被广泛实施,但实施方式取决于其感知的好处,项目的背景以及组织使用的CI工具。我们还发现,CI实践可能会对软件过程产生新的约束,从而影响反馈周期。对于研究人员,我们表明,CI是如何实现的变化,因此研究CI(例如,使用数据采掘)需要了解这些差异作为研究的重要背景。对于从业者来说,我们的研究结果揭示了对使用这十种实践可能带来的好处和挑战的深入见解,以及项目背景如何重要。
2021-03-07 cs.SE
Rise of the Planet of Serverless Computing: A Systematic Review
无服务器计算是一种新兴的云计算范例,被采用来开发广泛的软件应用。它允许开发人员以功能的粒度关注应用程序逻辑,从而将开发人员从繁琐且容易出错的基础设施管理中解放出来。同时,其独特的特性也给基于无服务器的应用程序的开发和部署带来了新的挑战。为了应对这些挑战,人们投入了巨大的研究努力。本文提供了一个全面的文献综述,以表征无服务器计算的研究现状。具体而言,本文涵盖了无服务器计算的17个研究方向的164篇论文,包括性能优化,编程框架,应用程序迁移,多云开发,测试和调试等,并得出了无服务器计算的研究趋势,重点和常用平台,以及有前途的研究机会。
2022-12-16 cs.SE
Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner Perceptions
本报告描述了一个组织采用测试驱动开发(TDD)实践的经验,作为中期软件项目的一部分,采用极限编程作为一种方法。在这个项目的三年中,团队的TDD经验与他们在其他正在进行的项目中的非TDD经验进行了比较。在这种情况下,使用TDD的好处和挑战的看法是通过五个半结构化的采访主要团队成员收集。他们的经验表明,TDD的使用一般是积极的,并探讨其原因,以加深对TDD实践的理解及其对代码质量,应用程序质量和开发生产力的影响。总结了经验教训,以帮助他人采用和实施TDD实践,并提出了一些潜在的进一步研究领域。
2021-01-29 cs.SE
Innovation in Large-scale agile -- Benefits and Challenges of Hackathons when Hacking from Home
黑客松是不同团队共同探索和开发解决方案,软件甚至想法的活动。黑客松不仅被认为是黑客的公共活动,也被认为是企业创新的机制。黑客松是老牌公司实现员工福祉的一种方式,也是创新和开发新产品的策展人。2019冠状病毒病疫情导致企业突然过渡到在家工作模式,这首先导致许多需要搭配的企业活动(如黑客松)暂时搁置,然后促使企业寻找虚拟方式举办这些活动。在本文中,我们报告了我们在一家大型敏捷公司的背景下调查黑客马拉松的发现,首先探索了黑客马拉松的一般好处和挑战,然后试图了解虚拟设置对它们的影响。我们进行了9次访谈,调查了23名员工,并分析了一个黑客演示。我们发现,黑客松提供了创新,个人兴趣和获得新技能和能力的个人和组织利益。此外,我们还发现了一些挑战,例如由于停止常规工作而增加的压力,员工担心没有足够的贡献来交付以及个人和组织目标之间的潜在不匹配。关于虚拟设置,我们发现虚拟黑客马拉松并没有减少创新的好处,但是,社交和网络方面出现了一些负面影响。
2021-06-01 cs.SE
An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges
Department of Computer Engineering and Software Engineering Polytechnique Montreal(蒙特利尔理工大学计算机工程与软件工程系)
基于 Stack Overflow 上的 216,094 篇帖子,使用大语言模型分类方法,识别出 11 个日志相关主题,并发现容器化环境中的日志记录是最具挑战性的主题。
2026-05-27 cs.PL cs.SE
Bug Hunters' Perspectives on the Challenges and Benefits of the Bug Bounty Ecosystem
尽管研究人员已经从平台和程序的角度描述了bug赏金生态系统的特征,但很少有人去理解主要工作者的观点:bug猎人。为了提高bug奖励,重要的是要了解猎人的激励因素,挑战和整体利益。我们解决这一研究差距与三项研究:确定关键因素,通过自由上市调查(n=56),评级每个因素的重要性与较大的比例因子评级调查(n=159),并进行半结构化访谈,以揭示细节(n=24)。在bug猎人列出的54个因素中,我们发现奖励和学习机会是最重要的好处。此外,我们发现范围是程序之间的最大区别。令人惊讶的是,我们发现获得声誉是猎人最不重要的动机之一。在我们确定的挑战中,沟通问题,如反应迟钝和争议,是最实质性的。我们提出建议,使bug赏金生态系统适应更多的bug猎人,并最终增加在一个未充分利用的市场的参与。
2023-03-07 cs.CR cs.SE
Quantum Software Engineering Challenges from Developers' Perspective: Mapping Research Challenges to the Proposed Workflow Model
针对量子软件开发进展缓慢、软件工程实践与量子编程特性不匹配的问题,本文通过将现有软件工程研究映射到量子计算工作流,明确了量子计算领域软件工程的研究方向。
2023-08-02 cs.SE quant-ph