Search Results

Testing is an important activity to detect faults before software deployment. We focus on black-box combinatorial testing, where fault detection is one of the main objectives. In this paper, we argue that input model abstraction notably impacts ...

The increasing integration of mixed-signal systems in System-on-Chips (SoCs) and System-on-Packages (SoPs) has made pre and post-silicon validation more challenging. This is due to the lack of automated design checking algorithms and the inability ...

Offline model-level testing of autonomous driving software is much cheaper, faster, and diversified than in-field, online system-level testing. Hence, researchers have compared empirically model-level vs system-level testing using driving ...

The rapid expansion of robotics relies on properly configuring and testing hardware and software. Due to the expense and hazard of real-world testing on hardware, robot system testing increasingly utilizes extensive simulation. Creating robot ...

Web interface testing is a sort of system testing level and it is laborious if accomplished manually, since it is necessary to map each of the elements that make up the interface with its respective code. Furthermore, this mapping makes test ...

Byzantine fault tolerant (BFT) protocols are designed to increase system dependability and security. They guarantee liveness and correctness even in the presence of arbitrary faults. However, testing and validating BFT systems is not an easy task. ...

System testing is one of the test stages of a software test, making sure that the software intended for the system is working as it should be. This study has aimed to automate the manual system testing of the Field Programmable Gate Array (FPGA) -based ...

The ability to generate test data is often a necessary prerequisite for automated software testing. For the generated data to be fit for their intended purpose, the data usually have to satisfy various logical constraints. When testing is performed at a ...

Testing of modernized legacy systems is difficult due to that typically requirements specifications do not exist and that detailed knowledge of the architecture and design of the system may have been lost. In this paper we present an approach ...

UML activity diagrams and state machines are both used for modeling system behavior from the user perspective and are frequently the basis for deriving system test cases. In practice, system test cases are often derived manually from UML activity ...

We study sequential system testing with the objective of minimizing the total expected testing costs. The goal is to discover the state of a system that consists of a set of independent components. The state of the system depends on the states of the ...

In this study, we propose a testing environment for cyber-physical systems (CPS). In system testing for CPS, many tests are difficult to design or implement because of these systems' many product variations. The proposed environment executes the tests ...

Risk orientation in testing is an important means to balance quality, time-to-market, and cost of software. Especially for small and medium enterprises (SME) under high competitive and economic pressure, risk orientation can help to focus testing ...

ContextSoftware testing is an expensive and time-consuming process. Software engineering teams are often forced to terminate their testing efforts due to budgetary and time constraints, which inevitably lead to long term issues with quality and customer ...

Modern systems are composed of many subsystems, so it is necessary to understand how to combine them into complete functional systems. When testing a system that includes hardware, it is important that each selected test configuration delivers maximum ...

Timed usage models TUMs represent a model-based statistical approach for system testing of real-time embedded systems. They enable an automatic test case generation and the calculation of parameters that aid the test process. However, a classical TUM ...

Presents controlled experiment on manual test case derivation from system models.Provides taxonomy of errors made and statistics about their frequencies.Shows that activity diagrams have a higher comprehensibility than state machines.Shows that activity ...

Risk-based testing has a high potential to improve the software development and test process as it helps to optimize the allocation of resources and provides decision support for the management. But for many organizations, its integration into an ...

Applications that process complex data, such as maps, personal data, book information, travel data, etc., are becoming extremely common. Testing such applications is hard, because they require realistic and coherent test inputs that are expensive to ...

To execute system tests, two fundamentally different execution techniques exist: manual and automated execution. For each system test suite, one must decide how to employ those techniques (this strategy is called execution mode). Despite general ...