Paper Info
Title
An enhanced dynamic detection of possible invariants based on best permutation of test cases.
Abstract
An invariant could be defined as an important relation among program variables. Daikon software is an available computer program which implements a special case of dynamic invariant detection algorithm. Daikon proposes a dynamic invariant detection algorithm based on several runs of the tested program; then it gathers the values of its variables and finally it detects relationships between the variables based on a simple statistical analysis. This method has some drawbacks. One of its biggest drawbacks is its overwhelming time order. The authors observe that the runtime for the Daikon invariant detection tool is dependent on the ordering of traces in the trace file. They propose a means to order traces based on minimizing differences in adjacent trace files and applying techniques of mutation/crossover from GA. They run an experiment to assess the benefits of their approach. Experimental results show that with regard to these amendments, runtime of dynamic invariant detection algorithm outperforms the original method.
Year
Venue
Keywords
2016
COMPUTER SYSTEMS SCIENCE AND ENGINEERING
Dynamic Invariant Detection,Software Testing,Genetic Algorithm
Field
DocType
Volume
Discrete mathematics,Algebra,Computer science,Permutation,Invariant (mathematics),Test case
Journal
31
Issue
ISSN
Citations 
1
0267-6192
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Hamid Alishavandi100.34
Gholam Hosein Gouraki200.34
Hamid Parvin326341.94