| 1. |
- Al Mamun, Md Abdullah, 1982, et al.
(author)
-
Reducing Simulation Testing Time by Parallel Execution of Loosely Coupled Segments of a Test Scenario
- 2014
-
In: Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems. - 9781450326148 ; , s. 5-
-
Conference paper (peer-reviewed)abstract
- The automotive industry is going through a major transition where all of the main car OEMs (original equipment manufacturer) are putting serious efforts toward self-driving vehicles, and some of the OEMs have the vision to sell fully functional driver-less car by 2020. Software is the primary driving force for implementing different functionalities of today's cyber-physical systems. Being a safety critical system, functionalities of an autonomous vehicle need to be rigorously tested in different driving conditions, for example, weather, traffic, road markings, etc. In order to get early feedback on the implemented functionalities, testing in the simulation environment has become common before testing them on the prototype vehicle. This paper presents an approach to reduce the testing time in the simulation environment by parallelly executing the loosely coupled segments of a test scenario. Reducing simulation testing time is also substantial when we need to run regression test scenarios following changes in the implementation. The preliminary investigation shows that by applying the proposed concept, we can significantly reduce the simulation testing time both in the cases of successful and failed run.
|
|
| 2. |
- Vedder, Benjamin, 1987-, et al.
(author)
-
Combining Fault-Injection with Property-Based Testing
- 2014
-
In: ES4CPS. - New York : ACM Press. - 9781450326148 ; , s. 1-8
-
Conference paper (peer-reviewed)abstract
- In this paper we present a methodology and a platform using Fault Injection (FI) and Property-Based Testing (PBT). PBT is a technique in which test cases are automatically generated from a specification of a system property. The generated test cases vary input stimuli as well as the sequence in which commands are executed. FI is used to accelerate the occurrences of faults in a system to exercise and evaluate fault handling mechanisms and e.g. calculate error detection coverage. By combining the two we have achieved a way of randomly injecting different faults at arbitrary moments in the execution sequence while checking whether certain properties still hold. We use the commercially available tool QuickCheck for generating the test cases and developed FaultCheck for FI. FaultCheck enables the user to utilize fault models, commonly used during FI, from PBT tools like QuickCheck. We demonstrate our method and tools on a simplified example of two Airbag systems that should meet safety requirements. We can easily find a safety violation in one of the examples, whereas by using the AUTOSAR E2E-library implementation, exhaustive testing cannot reveal any such safety violation. This demonstrates that our approach on testing can reveal certain safety violations in a cost-effective way. © 2014 ACM.
|
|
