A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Sensitivity analysis of the metric based test selection
[chapter]
1997
Testing of Communicating Systems
Preserved Fulltext
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
2016
Optics and Photonics Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
EAI Endorsed Transactions on Scalable Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
1997
Formal Description Techniques and Protocol Specification, Testing and Verification
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
1995
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
Journal of the Brazilian Computer Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2015
Communications on Applied Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Wireless Engineering and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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]
2011
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
Menoufia Journal of Electronic Engineering Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
2007 Design, Automation & Test in Europe Conference & Exhibition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 IEEE Vehicular Networking Conference (VNC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 IEEE Conference on Wireless Sensor (ICWISE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Menoufia Journal of Electronic Engineering Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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