Filters








1,290 Hits in 3.5 sec

Fault Coverage of Tests Based on Finite State Models [chapter]

G. Bochmann, A. Petrenko, M. Yao
1995 Protocol Test Systems  
In this paper, we analyze various techniques used to evaluate fault coverage based on finite state models in the form of finite state machines (FSM) or labeled transition systems (LTS).  ...  Therefore, the fault coverage, or adequacy of the test suite, becomes a very important issue.  ...  The authors would like to thank S. A. Ezust for comments.  ... 
doi:10.1007/978-0-387-34883-4_4 fatcat:a7im3wljxvdkfm4wgkp72fc24i

On fault coverage of tests for finite state specifications

A. Petrenko, G.v. Bochmann, M. Yao
1996 Computer networks and ISDN systems  
Special attention is paid to parameters which determine the testability of a given specification and influence the length of a test suite which guarantees complete fault coverage.  ...  In this paper, we analyze basic ideas underlying the techniques for fault coverage analysis and assurance mainly developed in the context of protocol conformance testing based on finite state models.  ...  We owe many thanks to R. Dssouli, G. Luo, Q. Tan, M. Yao, N. Yevtushenko, and others for the fruitful discussions on this topic.  ... 
doi:10.1016/s0169-7552(96)00019-0 fatcat:eksw4yzu2ncdpkdk6fq7bbgkqa

Interoperability Testing Based on a Fault Model for a System of Communicating FSMs [chapter]

Vadim Trenkaev, Myungchul Kim, Soonuk Seol
2003 Lecture Notes in Computer Science  
The fault coverage analysis concludes that the test suite has 100% fault coverage with respect to the proposed fault domain and does not need to be extended.  ...  We start with an interoperability test suite derived by a known method and develop a technique for the fault coverage analysis and a technique for the extension of the test suite in order to achieve high  ...  In Section 6, we apply the proposed fault coverage analysis to the TCP protocol. Section 7 concludes the work.  ... 
doi:10.1007/3-540-44830-6_17 fatcat:fbjqai2imnfezfpyeeawpuit2q

A Structural Analysis Approach to the Evaluation of Fault Coverage for Protocol Conformance Testing [chapter]

Mingyu Yao, Alexandre Petrenko, Gregor v. Bochmann
1995 IFIP Advances in Information and Communication Technology  
In this paper, we propose a structural analysis approach to the evaluation of fault coverage of protocol conformance testing based on the finite state machine model.  ...  It allows us to calculate the fault coverage of a given test suite by directly analyzing the test suite against the specification machine.  ...  A Structural Analysis Approach to Evaluating Fault Coverage In this section, we are going to present a structural analysis approach to the evaluation of fault coverage of a test suite in respect to a given  ... 
doi:10.1007/978-0-387-34878-0_33 fatcat:o3zenven3bek7if7jf2bfqiute

Guaranteeing full fault coverage for UIO-based testing methods [chapter]

Ricardo Anido, Ana Cavalli
1996 Protocol Test Systems VIII  
This paper presents an analysis of the fault coverage provided by the IDa-based methods for testing communications protocols.  ...  The result of the analysis suggests how the existing methods for generating test sequences should be changed in order to guarantee full fault coverage.  ...  The fault coverage can be verified in this small example by case analysis, or with a tool similar to or (Zhu and Chanson, 1994) .  ... 
doi:10.1007/978-0-387-34988-6_14 fatcat:33byjatn75dutbxsojmonyswee

A Combining Method for Wireless Protocol Conformance Testing: A Empirical Case

Lin Wei-Wei, Zeng Hong-Wei, Jung Yoon Kim, Xiaoxian Yang
2021 Wireless Communications and Mobile Computing  
The experimental results show that the fault coverage of each empirical case can be effectively improved to 100% when the average test cost is only increased by 17.99%.  ...  in the test technologies based on structural coverage and state identification.  ...  The FSM in Figure 4 (a) is a wireless protocol specification, and the FSM in Figure 4 (b) is an implementation, where the dotted line represents a transition with an end state fault.  ... 
doi:10.1155/2021/6378139 fatcat:jh3bihylrbac5gsqxylthimogy

Specification-based compaction of directed tests for functional validation of pipelined processors

Heon-Mo Koo, Prabhat Mishra
2008 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis - CODES/ISSS '08  
This paper presents a methodology for specification-based coverage analysis and test generation.  ...  Our experimental results using a MIPS processor and an industrial processor (e500) demonstrate more than 90% reduction in number of directed tests without sacrificing the functional coverage goal.  ...  Based on this fact, we present an FSM coverage-directed selection of minimal fault set to reduce the number of functional tests required for validation of pipelined processors.  ... 
doi:10.1145/1450135.1450167 dblp:conf/codes/KooM08 fatcat:5euh7ajyavdwbeci6d7pc6wk6u

Test development for communication protocols: towards automation

R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary, C. Bourhfir
1999 Computer Networks  
We present the problem of testing based on models, in the form of finite state Ž . machines FSMs , extended FSMs, timed FSMs and communicating FSMs, and give an overview of the proposed solutions and their  ...  In this paper we give an introduction to methods and tools for testing communication protocols and distributed systems. In this context, we try to answer the following questions: Why are we testing?  ...  Acknowledgements This paper has been partially based on a tutorial which was prepared in collaboration with G. v.  ... 
doi:10.1016/s1389-1286(99)00063-8 fatcat:dwxzuawefbaavfmlcyej4saqs4

Regular Expression Based Test Sequence Generation for HDL Program Validation

Onur Kilinccceker, Ercument Turk, Moharram Challenger, Fevzi Belli
2018 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)  
In this way, the test sequence generation problem is simplified to the tree traversal algorithm in which symbol and operator coverage criteria are satisfied.  ...  First, the HDL program is converted to a Finite State Machine (FSM). Then, the obtained FSM is transformed to RE which is represented by a Syntax Tree (ST).  ...  In the FSM extraction step, an HDL program is analyzed to generate a FSM. Note that only HDL programs, which satisfy specific patterns, can be taken into consideration.  ... 
doi:10.1109/qrs-c.2018.00103 dblp:conf/qrs/KilincccekerTCB18 fatcat:hjtyj2ce2na63juyg54jugikqu

FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts

A.S. Tvardovskii, N.V. Yevtushenko
2019 Proceedings of the Institute for System Programming of RAS  
Respectively, a proposed approach and the appropriate fault model are based on the FSM abstraction of the given TFSM specification that is used to adequately describe the behavior of a TFSM.  ...  guaranteed fault coverage for TFSMs.  ...  In this paper, an implementation FSM P conforms to the specification if FSM P is a reduction of the specification FSM.  ... 
doi:10.15514/ispras-2019-31(4)-12 fatcat:yq32d5axqbdczdcc3ruxsjvzgy

Protocol testing

Gregor V. Bochmann, Alexandre Petrenko
1994 Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94  
The purpose of this paper is to explain in which way the problem of testing protocol implementations is different from the usual problem of software testing.  ...  The definition of the behavior of the box which extends between the two users is called the service specification.  ...  The authors wish to  ... 
doi:10.1145/186258.187153 dblp:conf/issta/BochmannP94 fatcat:cidcy7q36nfhte7sthilvgbw3y

Scalable and Effective Test Generation for Role-Based Access Control Systems

A. Masood, R. Bhatti, A. Ghafoor, A.P. Mathur
2009 IEEE Transactions on Software Engineering  
A fault model specific to the implementations of RBAC systems was used to evaluate the fault detection effectiveness of the generated test suites; the model incorporates both mutation-based and malicious  ...  Empirical studies revealed that adequacy assessment of test suites using faults that correspond to first-order mutations may lead to a false sense of confidence in the correctness of policy implementation  ...  We examined the fault coverage of the complete FSM based conformance testing technique with respect to an RBAC fault model that consists of faults derived from first order mutations.  ... 
doi:10.1109/tse.2009.35 fatcat:67x7lwjbevhmffmoocnr2xmugm

Coverage metrics for functional validation of hardware designs

S. Tasiran, K. Keutzer
2001 IEEE Design & Test of Computers  
Acknowledgments We thank Laurent Arditi (Texas Instruments), Lisa Noack (Compaq), Carl Pixley (Motorola), and Moshe Sananes (Intel) for sharing their experience with coverage metrics.  ...  If the abstract FSM is large, attaining high coverage with respect to the more sophisticated metrics like path coverage is difficult.  ...  Error (fault) models Each coverage metric has an underlying error, or fault, model.  ... 
doi:10.1109/54.936247 fatcat:upiu66shcnetpbrogwpawua6o4

Fault domain-based testing in imperfect situations: a heuristic approach and case studies

Fevzi Belli, Mutlu Beyazıt, Andre Takeshi Endo, Aditya Mathur, Adenilso Simao
2014 Software quality journal  
To analyze the characteristics of HHSI, we empirically compare it to random testing and coverage-based testing using non-trivial case studies.  ...  Here, we consider the harmonized state identifiers (HSI) method, which is based on finite state machine (FSM) models and generates test sets that cover all faults in a given domain under certain conditions  ...  An m-complete test set has full fault coverage for the defined domain, being able to detect all faults in any implementation with at most m states.  ... 
doi:10.1007/s11219-014-9242-6 fatcat:5hfhglm5rrcu5oogogajbcudju

Experimental Evaluation of FSM-Based Testing Cost for Time-Delay Systems

Zheng Wei, Wu Xiaoxue, Cai Lu, Hu Desheng
2014 Mathematical Problems in Engineering  
Additionally, evaluating the cost and effectiveness is required to make a good test strategy in practice.  ...  model to design a comparative strategy for assessing the coverage criteria and test suites generation methods for time-delay systems.  ...  Mathematical Problems in Engineering  ... 
doi:10.1155/2014/353450 fatcat:uhqbqi5trzhhphsvlwoesl7cny
« Previous Showing results 1 — 15 out of 1,290 results