Filters








11,285 Hits in 5.0 sec

Towards testable communication software [chapter]

R. Dssouli, K. Karoui, A. Petrenko, O. Rafiq
1996 Protocol Test Systems VIII  
In this paper, we propose in the first part, a generic framework of design for testability where DFT activity is integrated in the communication software development process.  ...  Design For Testability (DFT) is understood as the process of introducing some features into a communication software that facilitate the testing process of protocol implementations.  ...  Acknowledgments This work was partly supported by the HP-NSERC-CITI Industrial Research Chair on Communication Protocols at Universite de Montreal, the NSERC Strategic and Individual Research Grant.  ... 
doi:10.1007/978-0-387-34988-6_15 fatcat:mq5gfl2l3rcurkg4geqyblansy

Design for testability of protocols based on formal specifications [chapter]

Myungchul Kim, Samuel T. Chanson, Sangjo Yoo
1996 Protocol Test Systems VIII  
This paper addresses the design for testability of communication protocols based on formal specifications. Design for testability on hardware, especially chip testing, is quite mature [Fujiw 85].  ...  This approach is a special case of design for testability. It is cost-effective considering the entire cycle of protocol development.  ...  In [Vuong 93J, a framework was presented with respect to the factors that affect testing and testability of communication protocols in the context of analysis, design, implementation, and testing phases  ... 
doi:10.1007/978-0-387-34988-6_16 fatcat:a5vvyvabszak7ah4bzmdxuzf64

Design for testability: a step-wise approach to protocol testing [chapter]

Hartmut König, Andreas Ulrich, Monika Heiner
1997 Testing of Communicating Systems  
We present an approach to support the design for testability aspect of communication protocols.  ...  It combines the ad-hoc techniques partitioning and instrumentation known from integrated circuit testing. A protocol specification is divided into modules of reasonable size.  ...  Figure 3 FSMsp 3 On the Design for testability of Communication Protocols; Proc. XOATrequ I OT .r:-\ \2)\CKlil, XCONconf\.  ... 
doi:10.1007/978-0-387-35198-8_9 fatcat:j7mmlf5hdrctfebfennvhashr4

Fundamentals of programming languages, Second edition

M.B. Bilodeau
1986 Proceedings of the IEEE  
These topics are explained primarily in the context of communication services and protocols.  ...  The second part of the book deals primarily with the I S 0 opensystem-interconnection communication protocol model and with details of the lower three protocol layers, namely physical, data link, and network  ... 
doi:10.1109/proc.1986.13448 fatcat:ovsmr2uu2zecnbtgm3a3fuzb7y

Engineering the Prover Interface

Holger Gast
2012 Electronical Notes in Theoretical Computer Science  
Using non-functional properties as quality attributes for software, we discuss which properties are particularly relevant to prover interfaces and demonstrate, by the example of the I 3 P interface for  ...  By a comparison with other proposed interfaces, we argue that our considerations can be applied beyond the example project.  ...  The PGKit framework [4] proposes an XML-based communication protocol for provers and display components.  ... 
doi:10.1016/j.entcs.2012.06.002 fatcat:ejeg26z76zfh5kprrcq7ttumry

Future directions for protocol testing, learning the lessons from the past [chapter]

D. Rayner
1997 Testing of Communicating Systems  
A reflection on the history of all aspects of protocol testing reveals both successes and failures, although many observers take a purely negative view.  ...  Important lessons need to be learned if protocol testing in the future is to be regarded in a more positive light. There are now new signs of hope in some the most recent developments.  ...  PROTOCOL DESIGN AND TESTABILITY Lessons from the past A major contributory factor in the failure of OSI was the fact that most of the protocols were too complex, with too many options, too hard to implement  ... 
doi:10.1007/978-0-387-35198-8_1 fatcat:velg52utgrc35oheuwboghalfi

A survey on software testability [article]

Vahid Garousi, Michael Felderer, Feyza Nur Kilicaslan
2018 arXiv   pre-print
Reviewing and getting an overview of the entire state-of-the-art and state-of-the-practice in this area is often challenging for a practitioner or a new researcher.  ...  Approaches for measurement of testability and improvement of testability are the most-frequently addressed in the papers.  ...  The authors of [P21] used system-dynamics modelling for studying the relationships between modularity and testability.  ... 
arXiv:1801.02201v2 fatcat:xnxl5r3lb5hddpi2xrmoaulrne

Page 4360 of Mathematical Reviews Vol. , Issue 81J [page]

1981 Mathematical Reviews  
{For the entire collection see MR 81i:68014.} 81j:94049 81j:94050a Savir, Jacob Syndrome-testable design of combinational circuits. IEEE Trans. Comput. 29 (1980), no. 6, 442-451.  ...  Savir, Jacob 81j:94050b Correction to: “Syndrome-testable design of combinational circuits” IEEE Trans. Comput. 29 (1980), no. 11, 1012-1013.  ... 

Testing of 3G 1xEV-DV Stack — A Case Study [chapter]

Ira Acharya, Hemendra Kumar Singh
2003 Lecture Notes in Computer Science  
Time-to-market pressures necessitate a carefully worked out test strategy for verifying and validating the correctness of mobile communication solutions.  ...  This paper outlines the various challenges that are faced in the protocol testing of mobile communication products.  ...  SDL also has a high degree of testability owing to its formalism for parallelism, interfaces, communication and time.  ... 
doi:10.1007/3-540-44830-6_3 fatcat:f3ynjy7onjedrlsfklwwnmqqru

MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations [article]

Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
2022 arXiv   pre-print
The bugs in both designs and implementations of CRDTs are found. As for bugs which can be found by traditional testing techniques, MET greatly reduces the cost of fixing the bugs.  ...  The Conflict-free Replicated Data Type (CRDT) is a framework that provides a principled approach to maintaining eventual consistency among data replicas.  ...  ACKNOWLEDGMENTS This work was supported by the Cooperation Fund of Huawei-Nanjing University Next Generation Programming Innovation Lab (No. YBN2019105178SW38).  ... 
arXiv:2204.14129v1 fatcat:wedxvsn3yvampezztznky5awvu

Protected IP-core test generation

A. Fin, F. Fummi
2002 Proceedings of the 12th ACM Great Lakes Symposium on VLSI - GLSVLSI '02  
In this paper, the SystemC language is exploited to define a design verification framework for integration test of IP-cores.  ...  IPs are usually provided with their own test patterns that can be used only by applying design for testability techniques onto the chip.  ...  The communication protocol has been extended to manage an extra protocol packet: the query packet.  ... 
doi:10.1145/505318.505320 fatcat:stefwxaj2nb4lmndf4rmcriz4e

Protected IP-core test generation

A. Fin, F. Fummi
2002 Proceedings of the 12th ACM Great Lakes Symposium on VLSI - GLSVLSI '02  
In this paper, the SystemC language is exploited to define a design verification framework for integration test of IP-cores.  ...  IPs are usually provided with their own test patterns that can be used only by applying design for testability techniques onto the chip.  ...  The communication protocol has been extended to manage an extra protocol packet: the query packet.  ... 
doi:10.1145/505306.505320 dblp:conf/glvlsi/FinF02 fatcat:xxyckkln7navzjc2mpdgi2rgri

On Transition Time Testing based on Extended Finite State Machines [chapter]

Sijian Zhang, Samuel T. Chanson
1995 Protocol Test Systems  
A number of methods have been developed to evaluate communication protocol performance based on formal specifications.  ...  A number of papers have been published on performance analysis of communication protocols directly from their formal specifications using analytic techniques or simulation (see for example, [10, 3, 12,  ...  The framework for generating test subsequences for transition time testing consists of two phases.  ... 
doi:10.1007/978-0-387-34883-4_5 fatcat:n4xty6atgffp3byxwt575zr6dm

Determinants of effective vaccine coverage in low and middle-income countries: a systematic review and interpretive synthesis

David E. Phillips, Joseph L. Dieleman, Stephen S. Lim, Jessica Shearer
2017 BMC Health Services Research  
The conceptual framework represents a synthesis of multiple existing frameworks, is applicable in low and middle-income countries, and is quantitatively testable.  ...  This study documents existing evidence on determinants of vaccination and immunization and presents a conceptual framework of determinants.  ...  The funder had no involvement in study design, data collection, analysis, interpretation of data, writing of this manuscript or decision to submit for publication.  ... 
doi:10.1186/s12913-017-2626-0 pmid:28950899 pmcid:PMC5615444 fatcat:eyokxffyqbfgta3qay7b7bt6q4

VHDL Implementation of UART with Reducing Power Consumption by Linear Feedback Shift Register

Simarjeet Singh
2017 International Journal for Research in Applied Science and Engineering Technology  
In Serial communication long Distance signal Distortion.So feedback is important concept for reducing Signal Distortion.In this paper proposed reduction power consumption in UART communication by using  ...  All inclusive Asynchronous Receiver Transmitter (UART) is a sort of serial communication protocol.  ...  UART which is the kind of serial communication protocol which allows the full duplex communication in serial link.  ... 
doi:10.22214/ijraset.2017.8168 fatcat:v5y5ubmdezffjpjvjxt4rkz42m
« Previous Showing results 1 — 15 out of 11,285 results