Towards Linux based safety systems—A statistical approach for software execution path coverage

2021 ◽  
Vol 116 ◽  
pp. 102047
Author(s):  
Imanol Allende ◽  
Nicholas Mc Guire ◽  
Jon Perez ◽  
Lisandro G. Monsalve ◽  
Roman Obermaisser
2015 ◽  
Vol 26 (09) ◽  
pp. 1550101 ◽  
Author(s):  
Guoyan Huang ◽  
Bing Zhang ◽  
Rong Ren ◽  
Jiadong Ren

The critical execution paths play an important role in software system in terms of reducing the numbers of test date, detecting the vulnerabilities of software structure and analyzing software reliability. However, there are no efficient methods to discover them so far. Thus in this paper, a complex network-based software algorithm is put forward to find critical execution paths (FCEP) in software execution network. First, by analyzing the number of sources and sinks in FCEP, software execution network is divided into AOE subgraphs, and meanwhile, a Software Execution Network Serialization (SENS) approach is designed to generate execution path set in each AOE subgraph, which not only reduces ring structure's influence on path generation, but also guarantees the nodes' integrity in network. Second, according to a novel path similarity metric, similarity matrix is created to calculate the similarity among sets of path sequences. Third, an efficient method is taken to cluster paths through similarity matrices, and the maximum-length path in each cluster is extracted as the critical execution path. At last, a set of critical execution paths is derived. The experimental results show that the FCEP algorithm is efficient in mining critical execution path under software complex network.


2017 ◽  
Vol 4 (1) ◽  
pp. 41-52
Author(s):  
Dedy Loebis

This paper presents the results of work undertaken to develop and test contrasting data analysis approaches for the detection of bursts/leaks and other anomalies within wate r supply systems at district meter area (DMA)level. This was conducted for Yorkshire Water (YW) sample data sets from the Harrogate and Dales (H&D), Yorkshire, United Kingdom water supply network as part of Project NEPTUNE EP/E003192/1 ). A data analysissystem based on Kalman filtering and statistical approach has been developed. The system has been applied to the analysis of flow and pressure data. The system was proved for one dataset case and have shown the ability to detect anomalies in flow and pres sure patterns, by correlating with other information. It will be shown that the Kalman/statistical approach is a promising approach at detecting subtle changes and higher frequency features, it has the potential to identify precursor features and smaller l eaks and hence could be useful for monitoring the development of leaks, prior to a large volume burst event.


2018 ◽  
Vol 78 ◽  
pp. 55-62
Author(s):  
N. G. Topolsky ◽  
◽  
A. V. Kruchkov ◽  
I. M. Teterin ◽  
D. S. Grachev ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document