58,279 Hits in 4.4 sec

Sensitivity analysis of the metric based test selection [chapter]

Jadranka A. Curgus, Son T. Vuong, Jinsong Zhu
1997 Testing of Communicating Systems  
In our earlier work [7, 3], we introduced a novel concept of test distance and an effective multi-pass metric-based method of test selection for communication protocols.  ...  The main weight of the method rests on the concept of test distance, which forms the basis of a metric definition to guide the convergent test selection process.  ...  INTRODUCTION Formal work on test coverage metrics for protocols had been long overdue when our metric based test selection method [7, 3] was first introduced; it provides a new, analytical way of assessing  ... 
doi:10.1007/978-0-387-35198-8_13 fatcat:r3gl52srtvgxjc3uiczcgzt3eu

Unified Coverage Methodology for SoC Post-Silicon Validation

Semih Aslan, G. Karuna Ranganathapura Chandrai, Vittal Siddaiah
2016 Optics and Photonics Journal  
Pre-silicon uses various coverage metrics for quantifying the validation. The available on-chip coverage logic limits the use of pre-silicon-like coverage metrics in post-silicon.  ...  Discounting the need for the on-chip coverage logic, the question to be answered is whether or not these pre-silicon coverage metrics applicable to post-silicon.  ...  OCA software must be developed to communicate with the ODC through JTAG. OCA software can work for different protocols with a change in the protocol definition file.  ... 
doi:10.4236/opj.2016.610026 fatcat:skmlx4zcjvhb3nfo4tcazq4l2e

Lifetime measure of dense and sparse topology sensor network in structural health monitoring

M. E. Haque, M. A. Hannan, M. F. Hossain, M. M. Islam, M. J. Abedin
2017 EAI Endorsed Transactions on Scalable Information Systems  
The objective of this article is to investigate the network lifetime and compare the computational results of different kinds of topology construction protocols to find optimum lifetime protocol for extending  ...  This paper addresses the coverage area and lifetime related issues arise in the building structural monitoring system.  ...  in term of ratio of communication coverage area performance metrics.  ... 
doi:10.4108/eai.28-6-2017.152752 fatcat:y4zbcnw2qrhmfm5n7kbi7ve3km

Generalized metric based test selection and coverage measure for communication protocols [chapter]

Jinsong Zhu, Son T. Vuong
1997 Formal Description Techniques and Protocol Specification, Testing and Verification  
Although the original method introduces a significant analytical solution to the problem of coverage and test selection for protocols, its applicability is limited to only the control part of protocols  ...  This paper presents an important generalization of the metric based test selection and coverage measure, originally proposed in [14, 5] .  ...  The original work on coverage measure and metric based test selection [14, 5] provides a significant analytical method in assessing the quality of a test suite in terms of its coverage of the specification  ... 
doi:10.1007/978-0-387-35271-8_19 fatcat:ybbkucmcgbcmpinsf4vicdyoge

On Finite Covering of Infinite Spaces for Protocol Test Selection [chapter]

Masaaki Mori, Son T. Vuong
1995 IFIP Advances in Information and Communication Technology  
The core of the protocol test selection problem lies in how to derive a finite test suite from an infinite set of possible execution sequences (protocol behaviors).  ...  The latter approach relies on the property that the Parikh mapping of a set of all execution sequences can be represented by a finite union of linear sets.  ...  Since communication protocols are generally complex and recursive, a test suite which covers all behaviors of such a protocol specification must be infinite.  ... 
doi:10.1007/978-0-387-34867-4_16 fatcat:p5nlshb5qnau7eqh2ukpzvjsci

Development and validation of a safe communication protocol compliant to railway standards

Duccio Bertieri, Andrea Ceccarelli, Tommaso Zoppi, Innocenzo Mungiello, Mario Barbareschi, Andrea Bondavalli
2021 Journal of the Brazilian Computer Society  
This protocol is inspired to, and compliant with, the communication protocols adopted for the European Train Control System (ETCS) (SUBSET, UNISIG, 037, Euroradio FIS, version 2.3. 0; SUBSET, UNISIG, 098  ...  Noticeably, we (i) selected appropriate safety mechanisms, (ii) verified the software design, (iii) implemented the software in compliance with code metrics and coding rules, (iv) conducted tests to validate  ...  However, the stop condition for our testing activities does not rely on coverage values.  ... 
doi:10.1186/s13173-021-00106-w doaj:6e5f10d3eaf5444fb7f3980482509234 fatcat:4f67yqik3raehdrgawu5ohlr2i

A Performance Enhancement in A3CovLite Protocol

Abdel-Hamid M., Hossam Eldeen, Mostafa-Sami M.
2015 Communications on Applied Electronics  
This paper proposes enhancements to A3CovLite protocol in sensing coverage and energy efficiency issues.  ...  The most challenge when designing a topology control protocol is to build a connected reduced topology while extending the sensing coverage area.  ...  The paper introduces an enhancement for A3CovLite protocol, which is coverage-oriented protocol. The performance of the enhanced protocol is compared to the original A3CovLite.  ... 
doi:10.5120/cae2015651754 fatcat:wqlojydrp5borku2irwxi4wbay

Energy-Efficient and Coverage-Aware Clustering in Wireless Sensor Networks

Fahed Awad, Eyad Taqieddin, Asmaa Seyam
2012 Wireless Engineering and Technology  
However, few clustering protocols address the sensing coverage metric. This paper proposes a general framework that addresses both metrics for clustering algorithms in wireless sensor networks.  ...  Energy efficiency and sensing coverage are essential metrics for enhancing the lifetime and the utilization of wireless sensor networks.  ...  Table 1 . 1 Pseudo code for virtual force computation. 1 Set MaxIterations; 2 iteration = 1; 3 While (iteration <MaxIterations) 4 Test the coverage and energy metrics; 5 If the coverage &energy  ... 
doi:10.4236/wet.2012.33021 fatcat:jds4riisdva5zhmgvb23kmez6u

Identifying Vulnerabilities in SCADA Systems via Fuzz-Testing [chapter]

Rebecca Shapiro, Sergey Bratus, Edmond Rogers, Sean Smith
2011 IFIP Advances in Information and Communication Technology  
SCADA systems often rely on poorly understood proprietary protocols, which complicates test development.  ...  However, in the case of SCADA systems, the use of proprietary protocols makes it difficult to apply existing fuzz-testing techniques as they work best when the protocol semantics are known, targets can  ...  The authors wish to thank Axel Hansen and Anna Shubina for their assistance in developing the initial prototype of LZFuzz.  ... 
doi:10.1007/978-3-642-24864-1_5 fatcat:mcwcvcoco5agrcx4uriu6poura

Intelligent Multi-homing Switching for Vehicles Connectivity

Amr Elsaadany
2020 Menoufia Journal of Electronic Engineering Research  
The challenges arise from the moving nature of vehicles on the road and the ability of providing a stable network connection due to areas where the network coverage is not available.  ...  The continuous connectivity of smart vehicles is becoming very important for supporting various user applications.  ...  The proposed architecture is tested by a safety-based route planning application using scalable metrics for assessing the road safety.  ... 
doi:10.21608/mjeer.2020.30085.1020 fatcat:eqbkgl6zjvecrltgecozkic5fu

Incremental ABV for Functional Validation of TL-to-RTL Design Refinement

Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2007 2007 Design, Automation & Test in Europe Conference & Exhibition  
The methodology relies on reusing assertions and already checked code, and it is guided by an assertion coverage metrics. 978-3-9810801-2-4/DATE07 © 2007 EDAA  ...  However, its introduction arouses a new challenge for designers and verification engineers, since there are no mature tools to automatically synthesize an RTL implementation from a transaction-level (TL  ...  Nevertheless, the presented methodology does not strictly depend on such a metrics and can be applied by using any of the several existent coverage metrics.  ... 
doi:10.1109/date.2007.364404 dblp:conf/date/BombieriFP07 fatcat:5nowcv3bizdf7pestkrmhse4bi

Simulating vehicular visible light communication: Physical radio and MAC modeling

Boris Tomas, Hsin-Mu Tsai, Mate Boban
2014 2014 IEEE Vehicular Networking Conference (VNC)  
This paper presents work in progress on designing a transceiver model for realistic simulation of vehicular visible light communications (V2LC).  ...  We tested the VLC transceiver prototype design using a modified version of the 802.11 MAC protocol.  ...  All of these facts indicate that i) the physical transceiver models designed for RF communication cannot be used for VLC; and ii) the protocols designed for RF communications need to be modified to work  ... 
doi:10.1109/vnc.2014.7013352 dblp:conf/vnc/TomasTB14 fatcat:yqtndigmjrfntfpuq3bvtvwvnu

The neighborhoods method and routing in sensor networks

A.M. Sukhov, D.Yu. Chemodanov
2013 2013 IEEE Conference on Wireless Sensor (ICWISE)  
The paper proposes and tests a new technique for routing sensor networks.  ...  The method is based on the decomposition of a simply connected configuration of sensors on the set of disjoint neighborhoods with respect to the route start.  ...  different protocols (initial coverage ratio η = 4524%) Fig. 5 . 5 Compare the route lengths for different protocols (initial coverage ratio η = 3519%) Fig. 6 . 6 Compare the route lengths for different  ... 
doi:10.1109/icwise.2013.6728771 fatcat:jqyg34om7nd7nmf6doa7ock2ay

Coverage metrics for verification of concurrent SystemC designs using mutation testing

Alper Sen, Magdy S. Abadir
2010 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)  
We propose to attack the verification quality problem for concurrent SystemC programs by developing novel mutation testing based coverage metrics.  ...  This metric allows us to adequately measure the coverage for concurrent programs.  ...  RELATED WORK There has been work on traditional coverage metrics for RTL and gate level designs.  ... 
doi:10.1109/hldvt.2010.5496659 dblp:conf/hldvt/SenA10 fatcat:jjcd6evcn5ahrh3yadhh2qjxja

Intelligent Multi-homing Switching for Vehicles Connectivity

Amr Elsaadany
2021 Menoufia Journal of Electronic Engineering Research  
The challenges arise from the moving nature of vehicles on the road and the ability of providing a stable network connection due to areas where the network coverage is not available.  ...  The continuous connectivity of smart vehicles is becoming very important for supporting various user applications.  ...  The proposed architecture is tested by a safety-based route planning application using scalable metrics for assessing the road safety.  ... 
doi:10.21608/mjeer.2021.146281 fatcat:olyq3ppjjrgpzivazycpwpoyba
« Previous Showing results 1 — 15 out of 58,279 results