An Application Specific Dynamic Behaviour Model Using Function-Call Sequence and Memory Access-Graph for Execution Integrity Verification

2021 ◽  
pp. 102299
Author(s):  
E.D. Dileesh ◽  
A.P. Shanthi
Author(s):  
Rongcun Wang ◽  
Rubing Huang ◽  
Yansheng Lu ◽  
Binbin Qu

Regression test case reduction aims at selecting a representative subset from the original test pool, while retaining the largest possible fault detection capability. Cluster analysis has been proposed and applied for selecting an effective test case subset in regression testing. It groups test cases into clusters based on the similarity of historical execution profiles. In previous studies, historical execution profiles are represented as binary or numeric function coverage vectors. The vector-based similarity approaches only consider which functions or statements are covered and the number of times they are executed. However, the vector-based approaches do not take the relations and sequential information between function calls into account. In this paper, we propose cluster analysis of function call sequences to attempt to improve the fault detection effectiveness of regression testing even further. A test is represented as a function call sequence that includes the relations and sequential information between function calls. The distance between function call sequences is measured not only by the Levenshtein distance but also the Euclidean distance. To assess the effectiveness of our approaches, we designed and conducted experimental studies on five subject programs. The experimental results indicate that our approaches are statistically superior to the approaches based on the similarity of vectors (i.e. binary vectors and numeric vectors), random and greedy function-coverage-based maximization test case reduction techniques in terms of fault detection effectiveness. With respective to the cost-effectiveness, cluster analysis of sequences measured using the Euclidean distance is more effective than using the Levenshtein distance.


2012 ◽  
Vol 616-618 ◽  
pp. 2055-2059
Author(s):  
Min Luo

Formal method is a means to verify the reliability and safety of concurrent systems. Formal verification of model which automatically extracted from concurrent system built from high level language is a hot research topic in the field of model checking technology. With the focus on potential run time problems (deadlocks, memory leaks, the boundary data loss and other run-time errors) result from abnormal socket function call sequence, we analyze the sequence structure of the socket program and construct the Promela model of socket functions through the description of message data structures and channels, as well as define mapping rules of socket function to Promela. The socket function call sequence extraction algorithm and target Promela model generation algorithm are proposed by using linear temporal logic (LTL) to describe the property the socket function call sequence. A socket communication program analysis system has been constructed. The experiment result shows that the system can detect the potential run time problems of socket program effectively.


2006 ◽  
Vol 134 ◽  
pp. 929-934 ◽  
Author(s):  
F. Malaise ◽  
J.-M. Chevalier ◽  
I. Bertron ◽  
F. Malka

1987 ◽  
Vol 48 (C8) ◽  
pp. C8-155-C8-160
Author(s):  
R. FOUGERES ◽  
J. CHICOIS ◽  
A. HAMEL ◽  
A. VINCENT
Keyword(s):  

1989 ◽  
Vol 28 (03) ◽  
pp. 160-167 ◽  
Author(s):  
P. Penczek ◽  
W. Grochulski

Abstract:A multi-level scheme of syntactic reduction of the epileptiform EEG data is briefly discussed and the possibilities it opens up in describing the dynamic behaviour of a multi-channel system are indicated. A new algorithm for the inference of a Markov network from finite sets of sample symbol strings is introduced. Formulae for the time-dependent state occupation probabilities, as well as joint probability functions for pairs of channels, are given. An exemplary case of analysis in these terms, taken from an investigation of anticonvulsant drug effects on EEG seizure patterns, is presented.


Sign in / Sign up

Export Citation Format

Share Document