中文
相关论文

相关论文: Coverage measurement in model-based testing of web…

200 篇论文

The evolving landscape of software development demands that software testers continuously adapt to new tools, practices, and acquire new skills. This study investigates software testing competency needs in industry, identifies knowledge…

Many computer science disciplines (e.g., combinatorial optimization, natural language processing, and information retrieval) use standard or established test suites for evaluating algorithms. In visualization, similar approaches have been…

图形学 · 计算机科学 2020-09-29 Pascal Nardini , Min Chen , Roxana Bujack , Michael Böttinger , Gerik Scheuermann

Critical embedded systems (CES) have become ubiquitous in whether medical, automotive, or industrial. Software failures in such systems are potentially disastrous and could lead to serious consequences not only financially but also…

软件工程 · 计算机科学 2022-08-11 Hafsa Cheddadi , Saad Motahhir , Abdelaziz El Ghzizal

Nowadays, software testing professionals are commonly required to develop coding skills to work on test automation. One essential skill required from those who code is the ability to implement code refactoring, a valued quality aspect of…

Mobile (cellular) networks enable innovation, but can also stifle it and lead to user frustration when network performance falls below expectations. As mobile networks become the predominant method of Internet access, developer, research,…

网络与互联网体系结构 · 计算机科学 2016-11-17 Utkarsh Goel , Mike P. Wittie , Kimberly C. Claffy , Andrew Le

Software measurement programs have emerged as compounds of several measurement activities that are pursued as part of a combined effort of several parties within a software organization, based on interests that the organization has…

软件工程 · 计算机科学 2013-07-18 Alejandro Sanchez Guinea

Reliability prediction is crucial for ensuring the safety and security of software systems, especially in the context of industry practices. While various metrics and measurements are employed to assess software reliability, the complexity…

软件工程 · 计算机科学 2025-07-29 Dapeng Yan , Wenjie Yang , Kui Liu , Zhiming Liu , Zhikuang Cai

Branch coverage of source code is a very widely used test criterion. Moreover, branch coverage is a similar problem to line coverage, MC/DC and the coverage of assertion violations, certain runtime errors and various other types of test…

软件工程 · 计算机科学 2021-05-13 Nicky Williams

The notion of software entropy is often invoked to describe the tendency of software systems to become increasingly disordered as they evolve, yet existing approaches to quantify it are largely heuristic. In this work we introduce a formal…

软件工程 · 计算机科学 2026-03-24 Jerónimo Fotinós , Juan B. Cabral

The aim of this paper is to review some work conducted in the field of user testing that aims at specifying or clarifying the test procedures and at defining and developing tools to help conduct user tests. The topics that have been…

人机交互 · 计算机科学 2010-09-30 J. M. Christian Bastien

With the rapid advancement of information technology, the complexity of applications continues to increase, and the cybersecurity challenges we face are also escalating. This paper aims to investigate the methods and practices of system…

密码学与安全 · 计算机科学 2026-02-02 Chunyi Zhang , Jin Zeng , Xiaoqi Li

Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These faults have their roots in the software development cycle or…

密码学与安全 · 计算机科学 2018-03-29 Josip Bozic , Lina Marsso , Radu Mateescu , Franz Wotawa

Software quality in use comprises quality from the user's perspective. It has gained its importance in e-government applications, mobile-based applications, embedded systems, and even business process development. User's decisions on…

软件工程 · 计算机科学 2015-03-25 Issa Atoum , Chih How Bong

Code search is a core software engineering task. Effective code search tools can help developers substantially improve their software development efficiency and effectiveness. In recent years, many code search studies have leveraged…

软件工程 · 计算机科学 2021-10-12 Chao Liu , Xin Xia , David Lo , Cuiyun Gao , Xiaohu Yang , John Grundy

Evaluating the effectiveness of software protection is crucial for selecting the most effective methods to safeguard assets within software applications. Obfuscation involves techniques that deliberately modify software to make it more…

密码学与安全 · 计算机科学 2025-11-27 Leonardo Regano , Daniele Canavese , Cataldo Basile , Marco Torchiano

CPUs provide isolation mechanisms like virtualization and privilege levels to protect software. Yet these focus on architectural isolation while typically overlooking microarchitectural side channels, exemplified by Meltdown and Foreshadow.…

密码学与安全 · 计算机科学 2025-07-09 Oleksii Oleksenko , Flavien Solt , Cédric Fournet , Jana Hofmann , Boris Köpf , Stavros Volos

Even when a system is proven to be correct with respect to a specification, there is still a question of how complete the specification is, and whether it really covers all the behaviors of the system. Coverage metrics attempt to check…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Hana Chockler , Joseph Y. Halpern , Orna Kupferman

There are around 5.3 billion Internet users, amounting to 65.7% of the global population, and web technology is the backbone of the services delivered via the Internet. To ensure web applications are free from security-related bugs, web…

软件工程 · 计算机科学 2025-07-23 I Putu Arya Dharmaadi , Elias Athanasopoulos , Fatih Turkmen

For Internet of Things (IoT) systems operating in areas with limited network connectivity, reliable and safe functionality must be ensured. This can be done using special test cases which are examining system behavior in cases of network…

软件工程 · 计算机科学 2021-01-08 Matej Klima , Miroslav Bures

Present day speed test tools measure peak throughput, but often fail to capture the user-perceived responsiveness of a network connection under load. Recently, platforms such as NDT, Ookla Speedtest and Cloudflare Speed Test have introduced…

网络与互联网体系结构 · 计算机科学 2026-05-13 Siddhant Ray , Taveesh Sharma , Jonatas Marques , Paul Schmitt , Francesco Bronzino , Nick Feamster