Calculating Probabilities of Real-Time Test Cases

2006 ◽  
pp. 134-151 ◽  
Author(s):  
Marcin Jurdziński ◽  
Doron Peled ◽  
Hongyang Qu
Keyword(s):  
Real Time ◽  
Test Cases ◽  
Time Test

scholarly journals Design and real-time test of a hybrid energy storage system in the microgrid with the benefit of improving the battery lifetime

2018 ◽  
Vol 218 ◽  
pp. 470-478 ◽  
Author(s):  
Jianwei Li ◽  
Rui Xiong ◽  
Hao Mu ◽  
Bertrand Cornélusse ◽  
Philippe Vanderbemden ◽  
...  
Keyword(s):  
Energy Storage ◽  
Real Time ◽  
Storage System ◽  
Energy Storage System ◽  
Battery Lifetime ◽  
Hybrid Energy ◽  
Hybrid Energy Storage ◽  
Hybrid Energy Storage System ◽  
Time Test

scholarly journals Automated Testing of Ultrawideband Positioning for Autonomous Driving

2020 ◽  
Vol 2020 ◽  
pp. 1-15
Author(s):  
Benjamin Vedder ◽  
Bo Joel Svensson ◽  
Jonny Vinter ◽  
Magnus Jonsson
Keyword(s):  
Fault Tolerance ◽  
Real Time ◽  
Autonomous Vehicles ◽  
Fault Injection ◽  
Autonomous Driving ◽  
Automated Testing ◽  
Test Cases ◽  
Positioning System ◽  
Novel Approach ◽  
Driving Model

Autonomous vehicles need accurate and dependable positioning, and these systems need to be tested extensively. We have evaluated positioning based on ultrawideband (UWB) ranging with our self-driving model car using a highly automated approach. Random drivable trajectories were generated, while the UWB position was compared against the Real-Time Kinematic Satellite Navigation (RTK-SN) positioning system which our model car also is equipped with. Fault injection was used to study the fault tolerance of the UWB positioning system. Addressed challenges are automatically generating test cases for real-time hardware, restoring the state between tests, and maintaining safety by preventing collisions. We were able to automatically generate and carry out hundreds of experiments on the model car in real time and rerun them consistently with and without fault injection enabled. Thereby, we demonstrate one novel approach to perform automated testing on complex real-time hardware.

Virtual Test Environment for Self-Optimizing Systems

2013 ◽  
Author(s):  
Jörg Stöcklein ◽  
Daniel Baldin ◽  
Wolfgang Müller ◽  
Tao Xie
Keyword(s):  
Operating System ◽  
Real Time ◽  
Virtual Prototype ◽  
Test Cases ◽  
Test Environment ◽  
Dead Code ◽  
Real Time Operating System ◽  
The Real ◽  
Code Coverage ◽  
Virtual Test

In our paper we present a virtual test environment for self-optimizing systems based on mutant based testing to validate user tasks of a real-time operating system. This allows the efficient validation of the code coverage of the test cases and therefore helps to detect errors in order to improving the reliability of the system software. Technically we are able to run and test the software on both systems. By writing application software and setting up the virtual test environment properly, we define our test cases. To validate the code coverage for our test cases, we use the approach of mutant based testing. By running this mutated code on our virtual prototype in the virtual test environment, we are able to efficiently validate the code coverage and are able to detect bugs in the application code or detect dead code that is not executed. Finding non-executing code leads to redefinition of our test cases by either changing the test environment or the application code in the case of dead code. We implemented the virtual test environment on top of the third party low cost VR system Unity 3D, which is frequently used in entertainment and education. We demonstrate our concepts by the example of our BeBot robot vehicles. The implementation is based on our self-optimizing real-time operating system ORCOS and we used the tool CERTITUDE(TM) for generating the mutations in our application code. Our BeBot virtual prototype in our virtual test environment implements the same low-level interface to the underlying hardware as the real BeBot. This allows a redirection of commands in ORCOS to either the real or the virtual BeBot in order to provide a VR based platform for early software development as well as ensures comparable conditions under both environments. Our example applies a virtual BeBot that drives through a labyrinth utilizing its IR sensors for navigation. The mutant based testing checks if all situations implemented by the software to navigate through the labyrinth are covered by our tests.

A NUMERICAL STUDY OF CONJUGATE GRADIENT DIRECTIONS FOR AN ULTRASOUND INVERSE PROBLEM

2004 ◽  
Vol 12 (04) ◽  
pp. 587-604 ◽  
Author(s):  
XIAODONG ZHANG ◽  
SHIRA L. BROSCHAT ◽  
PATRICK J. FLYNN
Keyword(s):  
Phase Shift ◽  
Conjugate Gradient ◽  
Performance Test ◽  
Numerical Study ◽  
Test Case ◽  
Test Cases ◽  
Low Contrast ◽  
Ill Posed ◽  
Time Test ◽  
Two Parameter

In ultrasound inverse problems, the integral equation can be nonlinear, ill-posed, and computationally expensive. One approach to solving such problems is the conjugate gradient (CG) method. A key parameter in the CG method is the conjugate gradient direction. In this paper, we investigate the CG directions proposed by Polyak et al. (PPR), Hestenes and Stiefel (HS), Fletcher and Reeves (FR), Dai and Yuan (YD), and the two-parameter family generalization proposed by Nazareth (TPF). Each direction is applied to three test cases with different contrasts and phase shifts. Test case 1 has low contrast with a phase shift of 0.2π. Reconstruction of the object is obtained for all directions. The performances of the PPR, HS, YD, and TPF directions are comparable, while the FR direction gives the poorest performance. Test case 2 has medium contrast with a phase shift of 0.75π. Reconstruction is obtained for all but the FR direction. The PPR, HS, YD, and TPF directions have similar mean square error; the YD direction takes the least amount of CPU time. Test case 3 has the highest contrast with a phase shift of 1.003π. Only the YD direction gives reasonably accurate results.

Generating test cases for real-time systems from logic specifications

1995 ◽  
Vol 13 (4) ◽  
pp. 365-398 ◽  
Author(s):  
Dino Mandrioli ◽  
Sandro Morasca ◽  
Angelo Morzenti
Keyword(s):  
Real Time ◽  
Test Cases ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document