中文
相关论文

相关论文: The Cost and Benefits of Static Analysis During De…

200 篇论文

Static analysis techniques enhance the security, performance, and reliability of programs by analyzing and portraiting program behaviors without the need for actual execution. In essence, static analysis takes the Intermediate…

编程语言 · 计算机科学 2024-05-22 Bowen Zhang , Wei Chen , Hung-Chun Chiu , Charles Zhang

Dynamic program slicing can significantly reduce the code developers need to inspect by narrowing it down to only a subset of relevant program statements. However, despite an extensive body of research showing its usefulness, dynamic…

软件工程 · 计算机科学 2022-01-04 Bogdan Alexandru Stoica , Swarup K. Sahoo , James R. Larus , Vikram S. Adve

In large programming classes, it takes a significant effort from teachers to evaluate exercises and provide detailed feedback. In systems programming, test cases are not sufficient to assess exercises, since concurrency and resource…

计算机与社会 · 计算机科学 2024-11-07 Roberto Natella

Static code analysis tools are designed to aid software developers to build better quality software in less time, by detecting defects early in the software development life cycle. Even the most experienced developer regularly introduces…

分布式、并行与集群计算 · 计算机科学 2021-02-05 Manuel Arenaz , Xavier Martorell

Context: Software metrics, as one form of static analyses, is a commonly used approach in software engineering in order to understand the state of a software system, in particular to identify potential areas prone to defects. Family-based…

软件工程 · 计算机科学 2021-10-13 Sascha El-Sharkawy , Adam Krafczyk , Klaus Schmid

It is quite common for security testing to be delayed until after the software has been developed, but vulnerabilities may get noticed throughout the implementation phase and the earlier they are discovered, the easier and cheaper it will…

软件工程 · 计算机科学 2018-05-25 Rahma Mahmood , Qusay H. Mahmoud

This paper presents the result of our experience with the ap- plication of runtime verification, testing and static analysis techniques to several industrial projects. We discuss the eight most relevant challenges that we experienced, and…

软件工程 · 计算机科学 2017-05-24 Fabrizio Pastore , Leonardo Mariani

Effort estimation is a key factor for software project success, defined as delivering software of agreed quality and functionality within schedule and budget. Traditionally, effort estimation has been used for planning and tracking project…

软件工程 · 计算机科学 2014-01-24 Adam Trendowicz , Jürgen Münch , Ross Jeffery

Programs that process data that reside in files are widely used in varied domains, such as banking, healthcare, and web-traffic analysis. Precise static analysis of these programs in the context of software verification and transformation…

编程语言 · 计算机科学 2015-04-06 Raveendra Kumar Medicherla , Raghavan Komondoor , S. Narendran

Microservices fuel cloud-native systems with small service sets developed and deployed independently. The independent nature of this modular architecture also leads to challenges and gaps. The intended system design might deviate far from…

软件工程 · 计算机科学 2022-05-18 Tomas Cerny , Davide Taibi

Defect Prevention is the most critical but most neglected component of the software quality assurance in any project. If applied at all stages of software development, it can reduce the time, cost and resources required to engineer a high…

软件工程 · 计算机科学 2016-09-08 Suma V. , T. R. Gopalakrishnan Nair

Testing of software or software-based systems and services is considered as one of the most effort-consuming activities in the lifecycle. This applies especially to those domains where highly iterative development and continuous integration…

软件工程 · 计算机科学 2013-12-05 Frank Elberzhager , Jürgen Münch

Static analysis tools are frequently used to scan the source code and detect deviations from the project coding guidelines. Given their importance, linters are often introduced to classrooms to educate students on how to detect and…

软件工程 · 计算机科学 2023-07-20 Eman Abdullah AlOmar , Salma Abdullah AlOmar , Mohamed Wiem Mkaouer

Although agile software development methods have caught the attention of software engineers and researchers worldwide, scientific research still remains quite scarce. The aim of this study is to order and make sense of the different agile…

软件工程 · 计算机科学 2019-03-27 Pekka Abrahamsson , Nilay Oza , Mikko T. Siponen

Context Software start-ups have shown their ability to develop and launch innovative software products and services. Small, motivated teams and uncertain project scope makes start-ups good candidates for adopting Agile practices. Objective…

Context:Software Development Analytics is a research area concerned with providing insights to improve product deliveries and processes. Many types of studies, data sources and mining methods have been used for that purpose. Objective:This…

软件工程 · 计算机科学 2025-11-06 Joao Caldeira , Fernando Brito e Abreu , Jorge Cardoso , Rachel Simões , Toacy Oliveira , José Reis

Today, small and medium-sized enterprises (SMEs) in the software industry face major challenges. Their resource constraints require high efficiency in development. Furthermore, quality assurance (QA) measures need to be taken to mitigate…

软件工程 · 计算机科学 2016-11-24 Mario Gleirscher , Dmitriy Golubitskiy , Maximilian Irlbeck , Stefan Wagner

The increasing use of Infrastructure as Code (IaC) in DevOps leads to benefits in speed and reliability of deployment operation, but extends to infrastructure challenges typical of software systems. IaC scripts can contain defects that…

软件工程 · 计算机科学 2022-06-22 Michele Chiari , Michele De Pascalis , Matteo Pradella

Development effort is an undeniable part of the project management which considerably influences the success of project. Inaccurate and unreliable estimation of effort can easily lead to the failure of project. Due to the special…

软件工程 · 计算机科学 2012-09-13 Elham Khatibi , Roliana Ibrahim

The demand for automated security analysis techniques, such as static analysis based security testing (SAST) tools continues to increase. To develop SASTs that are effectively leveraged by developers for finding vulnerabilities, researchers…

密码学与安全 · 计算机科学 2024-06-21 Amit Seal Ami , Kevin Moran , Denys Poshyvanyk , Adwait Nadkarni