Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Conditional jump re-alternation Limiting based speed-up of Directed Automated program testing
Authors
	Shcherbakov A.S.
Date of publication
	2012
Abstract
	Direct Automated Random Testing (DART) based methods of automated SW become popular. Unfortunately we exponential growth of program-under-test executions count when increasing the number of conditional jumps in the code. This drawback prevents 'brute force' DART techniques from being used for most of real size SW blocks. Possible optimizations that are able to reduce thi growth usually require huge amount of resources to track all dependencies occuring in a program. This paper proposes a simple but effective method of redundant execution paths elimination based on limiting repeative alternation of conditional jump branch visiting.
Keywords
	program testing, program verification, dynamic verification, statement coverage, branch coverage, embedded software, automated testing, directed testing, DART
Library reference
	Shcherbakov A.S. Conditional jump re-alternation Limiting based speed-up of Directed Automated program testing // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2012. Proceedings / edited by A. Stempkovsky, Moscow, IPPM RAS, 2012. P. 89-94.
URL of paper
	http://www.mes-conference.ru/data/year2012/pdf/D135.pdf