(Quickly) testing the tester via path coverage

2009 ◽  
Author(s):  
Alex Groce
Keyword(s):  
Path Coverage

scholarly journals Generating Test Data for Path Coverage Based on Genetic Algorithm

2020 ◽  
Vol 719 ◽  
pp. 012070
Author(s):  
Shuping Fan ◽  
Baoying Ma ◽  
Nianmin Yao ◽  
Yan Zhang ◽  
Chunyan Xia ◽  
...  
Keyword(s):  
Genetic Algorithm ◽  
Test Data ◽  
Path Coverage

scholarly journals Selecting the Strategic Port of “the Belt and Road” Based on the Global Network

Complexity ◽  
2021 ◽  
Vol 2021 ◽  
pp. 1-17
Author(s):  
Zihui Yang ◽  
Qingchun Meng ◽  
Chanjuan Li
Keyword(s):  
Clustering Algorithm ◽  
Geographical Location ◽  
Global Network ◽  
Stability And Control ◽  
Leading Role ◽  
Path Coverage ◽  
Belt And Road ◽  
And Control ◽  
The Belt And Road

Under “the Belt and Road” initiative, China promoted cooperation between domestic enterprises and international ports vigorously, which brought back fruitful results, while the rational selection of strategic pivots ports and the optimization of the layout of the port network are important guarantees to a further promotion to the economic development of “the Belt and Road” ports and give full play to the driving and radiation role of strategic pivots ports. On the basis of constructing a network of 155 ports in the world, according to the number of ports crossed by the shortest path and betweenness centrality in the network, this paper uses K-Medoids clustering algorithm to train the strategic importance of ports and verifies the reliability of the analysis results. On this basis, the joint coverage analysis of strategically important ports is carried out, 17 ports are identified as strategic pivots ports of the global port network, and, finally, based on the two attributes of “the Belt and Road” and “Chinese enterprise participation” of strategic pivots ports, the leading role of strategic pivots ports in geographical location, path coverage, development potential, cooperation stability, and control is analyzed, and instructive suggestions are put forward.

scholarly journals Interaction Coverage Meets Path Coverage by SMT Constraint Solving

2009 ◽  
pp. 97-112 ◽  
Author(s):  
Wolfgang Grieskamp ◽  
Xiao Qu ◽  
Xiangjun Wei ◽  
Nicolas Kicillof ◽  
Myra B. Cohen
Keyword(s):  
Constraint Solving ◽  
Path Coverage

Path coverage enhancement in wireless sensor networks based on CVT model

2021 ◽  
pp. 1-13
Author(s):  
Guangxu Yu
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Detection Probability ◽  
Coverage Rate ◽  
Wireless Sensor ◽  
Network Coverage ◽  
Current Path ◽  
Coverage Model ◽  
Path Coverage ◽  
Low Coverage

In order to overcome the problems of low detection probability, low coverage uniformity and low coverage of current path coverage enhancement methods in wireless sensor networks, a new path coverage enhancement method based on CVT model is proposed in this paper. Firstly, the node perception model and network coverage model are constructed. On the basis of the node awareness model and network coverage model, CVT model is used to adjust the connection mode, density and location of nodes in wireless sensor networks, so as to improve the coverage performance of nodes in the detection area in wireless sensor networks, and realize the effective enhancement of path coverage in wireless sensor networks. Experimental results show that, compared with the traditional methods, the proposed method has high detection probability, high coverage uniformity and coverage rate, and the highest coverage rate reaches 97%, which has higher practical application performance.

scholarly journals EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis

2015 ◽  
Author(s):  
Marco Ziccardi ◽  
Enrico Mezzetti ◽  
Tullio Vardanega ◽  
Jaume Abella ◽  
Francisco Javier Cazorla
Keyword(s):  
Timing Analysis ◽  
Path Coverage ◽  
Probabilistic Timing Analysis ◽  
Extended Path ◽  
Probabilistic Timing
Sign in / Sign up

Export Citation Format

Share Document