中文
相关论文

相关论文: Mind the Gap: The Difference Between Coverage and …

200 篇论文

Background. Many mutation reduction strategies, which aim to reduce the number of mutants, have been proposed. Problem. It is important to measure the ability of a mutation reduction strategy to maintain test suite effectiveness evaluation.…

软件工程 · 计算机科学 2021-02-08 Peng Zhang , Yang Wang , Xutong Liu , Yanhui Li , Yibao Yang , Ziyuan Wang , Xiaoyu Zhou , Lin Chen , Yuming Zhou

Software engineering and information systems practices seek ultimately to create the flawless product. One of the tools used to improve the quality of software development is the use of metrics. In this paper, metrics retrieved from open…

软件工程 · 计算机科学 2015-11-11 Mamdouh Alenezi , Ibrahim Abunadi

In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the composition of a test suite needs to be well understood in…

软件工程 · 计算机科学 2007-11-06 Bart Van Rompaey , Serge Demeyer

In the product business still battles with the hard assignment of creating programming applications that meet quality gauges, and spending limitations. The requirement for programming to be without mistake remained a test to the IT…

软件工程 · 计算机科学 2017-02-02 Ahmed Mateen , Muhammad Jahanzaib , Nayyar Iqbal

Security has become, nowadays, a major concern for the organizations as the majority of its applications are exposed to Internet, which increases the threats of security considerably. Thus, the solution is to improve tools and mechanisms to…

密码学与安全 · 计算机科学 2013-09-25 Mohammed Ennahbaoui , Said Elhajji

The competent programmer hypothesis states that most programmers are competent enough to create correct or almost correct source code. Because this implies that bugs should usually manifest through small variations of the correct code, the…

软件工程 · 计算机科学 2023-05-17 Zaheed Ahmed , Eike Stein , Steffen Herbold , Fabian Trautsch , Jens Grabowski

One of the critical phases in software development is software testing. Testing helps with identifying potential bugs and reducing maintenance costs. The goal of automated test generation tools is to ease the development of tests by…

软件工程 · 计算机科学 2023-09-01 Arghavan Moradi Dakhel , Amin Nikanjam , Vahid Majdinasab , Foutse Khomh , Michel C. Desmarais

Unlike most other software quality attributes, testability cannot be evaluated solely based on the characteristics of the source code. The effectiveness of the test suite and the budget assigned to the test highly impact the testability of…

软件工程 · 计算机科学 2022-08-25 Morteza Zakeri-Nasrabadi , Saeed Parsa

Exploratory testing (ET) is a powerful and efficient way of testing software by integrating design, execution, and analysis of tests during a testing session. ET is often contrasted with scripted testing, and seen as a choice between black…

软件工程 · 计算机科学 2017-04-04 Ahmad Nauman Ghazi , Kai Petersen , Elizabeth Bjarnason , Per Runeson

Code documentation can, if written precisely, help developers better understand the code they accompany. However, unlike code, code documentation cannot be automatically verified via execution, potentially leading to inconsistencies between…

软件工程 · 计算机科学 2025-02-06 Hyeonseok Lee , Gabin An , Shin Yoo

Context: Students often misunderstand programming problem descriptions. This can lead them to solve the wrong problem, which creates frustration, obstructs learning, and imperils grades. Researchers have found that students can be made to…

软件工程 · 计算机科学 2024-01-02 Siddhartha Prasad , Ben Greenman , Tim Nelson , Shriram Krishnamurthi

Estimating software testability can crucially assist software managers to optimize test budgets and software quality. In this paper, we propose a new approach that radically differs from the traditional approach of pursuing testability…

软件工程 · 计算机科学 2023-08-01 Luca Guglielmo , Leonardo Mariani , Giovanni Denaro

User studies are paramount for advancing science. However, researchers face several barriers when performing them despite the existence of supporting tools. In this work, we study how existing tools and their features cope with previously…

软件工程 · 计算机科学 2025-04-14 Lázaro Costa , Susana Barbosa , Jácome Cunha

Testing is an essential tool to assure software, especially so in safety-critical applications. To quantify how thoroughly a software item has been tested, a test coverage metric is required. Maybe the strictest such metric known in the…

软件工程 · 计算机科学 2025-11-25 Wanja Zaeske , Pietro Albini , Florian Gilcher , Umut Durak

The high cost of the test can be dramatically reduced, provided that the coverability as an inherent feature of the code under test is predictable. This article offers a machine learning model to predict the extent to which the test could…

软件工程 · 计算机科学 2022-08-23 Morteza Zakeri-Nasrabadi , Saeed Parsa

The software development community has been using code quality metrics for the last five decades. Despite their wide adoption, code quality metrics have attracted a fair share of criticism. In this paper, first, we carry out a qualitative…

软件工程 · 计算机科学 2020-12-24 Tushar Sharma , Diomidis Spinellis

AI foundation models have the capability to produce a wide array of responses to a single prompt, a feature that is highly beneficial in software engineering to generate diverse code solutions. However, this advantage introduces a…

软件工程 · 计算机科学 2024-03-21 Scott Blyth , Markus Wagner , Christoph Treude

Modern Code Review (MCR) is a standard in all kinds of organizations that develop software. MCR pays for itself through perceived and proven benefits in quality assurance and knowledge transfer. However, the time invest in MCR is generally…

软件工程 · 计算机科学 2021-04-20 Robert Heumüller

Context. Modern Code Review (MCR) is being adopted in both open source and commercial projects as a common practice. MCR is a widely acknowledged quality assurance practice that allows early detection of defects as well as poor coding…

软件工程 · 计算机科学 2021-10-01 Moataz Chouchen , Jefferson Olongo , Ali Ouni , Mohamed Wiem Mkaouer

In this paper, we explore how to use a small amount of new data to update a task-oriented semantic parsing model when the desired output for some examples has changed. When making updates in this way, one potential problem that arises is…

计算与语言 · 计算机科学 2021-12-13 David Gaddy , Alex Kouzemtchenko , Pavankumar Reddy Muddireddy , Prateek Kolhar , Rushin Shah