DocumentCode :
475493
Title :
Computation of the minimal set of paths for observability-based statement coverage
Author :
Costa, J. ; Monteiro, J.
Author_Institution :
IST/INESC-ID, PORTUGAL
fYear :
2008
fDate :
19-21 June 2008
Firstpage :
587
Lastpage :
592
Abstract :
Existing coverage-based validation methods guarantee the execution of a certain percentage of the program code under test, however they do not generally verify whether the statements executed have any influence on the program’s output. Motivated by an observability coverage metric for embedded software we propose a coverage-directed path generation method. In this method, a program statement is considered covered not only if it belongs to the executed path, but also if its execution has influence in some output. The paths are generated by finding the longest path in a tree representing the possible execution paths of the program. Generated paths are then validated to check for feasibility. If a feasible path is found, then we determine and mark the statements actually observed using the computed inputs for exercising the path. If unfeasible, we search for the next longest path. If the desired level of coverage was not obtained yet then a new tree is built. This new tree will reflect the coverage obtained so far and also the information gathered when checking the feasibility of previous paths. We present results that demonstrate the effectiveness of this methodology.
Keywords :
Application software; Embedded computing; Embedded software; Embedded system; Hardware design languages; High level languages; Observability; Software systems; Software testing; Tree graphs; Coverage; Embedded software; Observability; Validation;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Mixed Design of Integrated Circuits and Systems, 2008. MIXDES 2008. 15th International Conference on
Conference_Location :
Poznan, Poland
Print_ISBN :
978-83-922632-7-2
Electronic_ISBN :
978-83-922632-8-9
Type :
conf
Filename :
4600990
Link To Document :
بازگشت