Performance analysis of constraint solvers for coverage directed test generation

George, M. P. Jomu; Mohamed, Otmane Aït

doi:10.1109/icm.2011.6177404

Cited by 4 publications

(4 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To prove the correct behaviour of the system according to its specification, testing the system on a wide set of input values is needed. We plan to adjust the generation of input test vectors to functional verification purposes and as an advantageous method seems to be an approach called Coverage Directed Test Generation (CDTG) [22] [23]. This method generates test vectors according to the defined design conditions and limitations which are called constraints.…”

Section: Test Vector Generationmentioning

confidence: 99%

The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-Mechanical Applications

Podivinsky

Cekan

Šimková

et al. 2014

2014 17th Euromicro Conference on Digital System Design

View full text Add to dashboard Cite

The aim of this paper is to present a new platform for estimating the fault-tolerance quality of electro-mechanical applications based on FPGAs. We demonstrate one working example of such EM application that was evaluated using our platform: the mechanical robot and its electronic controller in an FPGA. Different building blocks of the electronic robot controller allow to model different effects of faults on the whole mission of the robot (searching a path in a maze). In the experiments, the mechanical robot is simulated in the simulation environment, where the effects of faults injected into its controller can be seen. In this way, it is possible to differentiate between the fault that causes the failure of the system and the fault that only decreases the performance. Further extensions of the platform focus on the interconnection of the platform with the functional verification environment working directly in FPGA that allows automation and speed-up of checking the correctness of the system after the injection of faults.

show abstract

Section: Test Vector Generationmentioning

confidence: 99%

The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-Mechanical Applications

Podivinsky

Cekan

Šimková

et al. 2014

2014 17th Euromicro Conference on Digital System Design

View full text Add to dashboard Cite

show abstract

“…To enable automatic test generation and control, we need to be able to define scenarios by using parameters. As all parameters are not independent of one another, they should be able to constrain each other to limit the input space to legal scenarios, which can be done automatically through the use of a constraint solver (George & Mohamed, 2011). Hence, details used to describe roads are parameterized, allowing us to both randomly and deterministically generate roads and street networks.…”

Section: Introductionmentioning

confidence: 99%

Validation of decision-making in artificial intelligence-based autonomous vehicles

Medrano-Berumen

Akbaş

2020

Journal of Information and Telecommunication

View full text Add to dashboard Cite

The autonomous vehicle technology is considered as a significant market disruptor for multiple industries. However, to reach this potential and to be accepted by the public, autonomous vehicles must be proven to be reliable and safe. Therefore, validation is essential for improving the public trust for autonomous vehicles and deploying them for everyday transportation activities. There have been a number of significant efforts on validation of autonomous vehicles; and real-life testing and test tracks have been the major platforms for these activities. However, simulation has also been gaining popularity due to its advantages in cost, time and safety. In this paper, we present a simulation scenario generation methodology with pseudo-random test generation to validate the decision-making system of autonomous vehicles. The methodology separates the validation concerns and focuses on generating scenarios that test the decisions taken by the vehicle. The implementation demonstrates the capabilities and the efficiency of the approach.

show abstract

“…We demonstrate one working example of such an 24 EM system that was evaluated using our platform: the mechanical robot and its electronic controller 25 in an FPGA. Different building blocks of the electronic robot controller allow us to model different effects 26 of faults on the whole mission of the robot (searching a path in a maze).…”

mentioning

confidence: 99%

“…346 The first method [25] (see Fig. 8) uses a random stimuli gener-347 ator, which generates a set of stimuli without any control.…”

mentioning

confidence: 99%

The evaluation platform for testing fault-tolerance methodologies in electro-mechanical applications

Podivinsky

Cekan

Šimková

et al. 2015

Microprocessors and Microsystems

View full text Add to dashboard Cite

Performance analysis of constraint solvers for coverage directed test generation

Cited by 4 publications

References 4 publications

The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-Mechanical Applications

The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-Mechanical Applications

Validation of decision-making in artificial intelligence-based autonomous vehicles

The evaluation platform for testing fault-tolerance methodologies in electro-mechanical applications

Contact Info

Product

Resources

About