[图书][B] Introduction to software testing
This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
[PDF][PDF] Sensor fusion in time-triggered systems
W Elmenreich - 2002 - researchgate.net
Sensor Fusion in Time-Triggered Systems Page 1 DISSERTATION Sensor Fusion in Time-Triggered
Systems ausgeführt zum Zwecke der Erlangung des akademischen Grades eines Doktors der …
Systems ausgeführt zum Zwecke der Erlangung des akademischen Grades eines Doktors der …
[图书][B] Embedded Systems Handbook 2-Volume Set
R Zurawski - 2018 - taylorfrancis.com
During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …
development, implementations of new technologies, and deployments of actual solutions …
Runtime verification and monitoring of embedded systems
C Watterson, D Heffernan - IET software, 2007 - IET
Ensuring the correctness of software applications is a difficult task. The area of runtime
verification, which combines the approaches of formal verification and testing, offers a …
verification, which combines the approaches of formal verification and testing, offers a …
[PDF][PDF] Debugging parallel systems: A state of the art report
J Huselius - MRTC Report no, 2002 - es.mdu.se
In this State of the art Report (SotA), we will give an introduction to work presented in the
area of debugging large software systems with modern hardware architectures. We will …
area of debugging large software systems with modern hardware architectures. We will …
Test case generation for mutation-based testing of timeliness
Temporal correctness is crucial for real-time systems. Few methods exist to test temporal
correctness and most methods used in practice are ad-hoc. A problem with testing real-time …
correctness and most methods used in practice are ad-hoc. A problem with testing real-time …
Quality properties of execution tracing, an empirical study
T Galli, F Chiclana, F Siewe - Applied System Innovation, 2021 - mdpi.com
The quality of execution tracing impacts the time to a great extent to locate errors in software
components; moreover, execution tracing is the most suitable tool, in the majority of the …
components; moreover, execution tracing is the most suitable tool, in the majority of the …
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms
This paper presents a model-driven, stress test methodology aimed at increasing chances of
discovering faults related to network traffic in distributed real-time systems (DRTS). The …
discovering faults related to network traffic in distributed real-time systems (DRTS). The …
[PDF][PDF] Predicting quality attributes in component-based software systems
M Larsson - 2004 - diva-portal.org
One of the major challenges to industry today is to provide products with high degrees of
quality and functionality at low cost and short time to market. The cost and time to market …
quality and functionality at low cost and short time to market. The cost and time to market …
Time-aware instrumentation of embedded software
S Fischmeister, P Lam - IEEE Transactions on Industrial …, 2010 - ieeexplore.ieee.org
Software instrumentation is a key technique in many stages of the development process. It is
particularly important for debugging embedded systems. Instrumented programs produce …
particularly important for debugging embedded systems. Instrumented programs produce …