Filters








6,506 Hits in 4.8 sec

Embedding of Deterministic Test Data for In-Field Testing [article]

Nan Li, Elena Dubrova
2013 arXiv   pre-print
less than 2% fault coverage drop.  ...  We also show that it is possible to exploit the uneven distribution of don't care bits in test patterns in order to reduce the area required for storing deterministic test patterns more than 3 times with  ...  The fault coverage achieved with pseudo-random test patterns can be as low as 65% [8] .  ... 
arXiv:1302.6454v1 fatcat:32ni7fwhkjcqbatv3go6r2iqva

Testing Timed Finite State Machines with Guaranteed Fault Coverage [chapter]

Khaled El-Fakih, Nina Yevtushenko, Hacene Fouchal
2009 Lecture Notes in Computer Science  
A method is presented for deriving test suites with the guaranteed fault coverage for deterministic possibly partial Timed Finite State Machines (TFSMs).  ...  We consider two fault models and present corresponding techniques for deriving complete test suites.  ...  TESTING TIMED FINITE STATE MACHINES WITH GUARANTEED FAULT COVERAGE 11 Let w = 0 or w = 1.  ... 
doi:10.1007/978-3-642-05031-2_5 fatcat:vzpwtp7ezvgnzci2nfgmnx2zny

On fault coverage of tests for finite state specifications

A. Petrenko, G.v. Bochmann, M. Yao
1996 Computer networks and ISDN systems  
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.  ...  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.  ...  The existing approaches for evaluating the fault coverage of tests with respect to deterministic FSMs are considered in Section 4.  ... 
doi:10.1016/s0169-7552(96)00019-0 fatcat:eksw4yzu2ncdpkdk6fq7bbgkqa

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 existing approaches for evaluating the fault coverage of tests with respect to deterministic FSMs are considered in Section 4.  ... 
doi:10.1007/978-0-387-34883-4_4 fatcat:a7im3wljxvdkfm4wgkp72fc24i

Teaching model-based testing

Gábor Árpád Németh
2020 Teaching Mathematics and Computer Science  
In the model-based testing (MBT) approach, the specification of the system is described with a formal model.  ...  Different testing methodologies should play an important role in the education of informatics.  ...  Missing state or extra state For non-deterministic and non-completely defined FSMs, the fault model of (Chow, 1978) was extended with the following faults (Bochmann et al., 1992) : IV.  ... 
doi:10.5485/tmcs.2020.0469 fatcat:u26jwxwatzhcdpc76feuopbdii

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  
FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts. Trudy ISP RAN/Proc.  ...  Finite State Machine (FSM) based approaches are widely used for deriving tests with guaranteed fault coverage for discrete event systems and as the behavior of many nowadays information and control systems  ...  FSM abstraction based method for deriving test suites with guaranteed fault coverage against non- deterministic Finite State Machines with timed guards and timeouts. Trudy ISP RAN/Proc.  ... 
doi:10.15514/ispras-2019-31(4)-12 fatcat:yq32d5axqbdczdcc3ruxsjvzgy

Multiple Mutation Testing from FSM [chapter]

Alexandre Petrenko, Omer Nguena Timo, S. Ramesh
2016 Lecture Notes in Computer Science  
In the traditional checking experiment theory the fault domain is the universe of all machines with a given number of states and input and output sets of the specification.  ...  A fault model is typically a tuple of a specification, fault domain, and conformance relation. In the context of testing from finite state machines, the specification is an FSM of a certain type.  ...  Another school focuses on fault coverage and thus follows fault model based testing, see, e.g., [26, 21, 22, 15, 16, 20] .  ... 
doi:10.1007/978-3-319-39570-8_15 fatcat:q3eflt7osvewrfwhs7yfigoyje

On the Exploitation of Parallelism in a Test Generation Method for LOTOS-Specifications [chapter]

Volkmar Pleßer
1995 Protocol Test Systems  
Thus the method avoids the well-known state space explosion problem, and it, therefore, generates short test sequences with high fault coverage.  ...  The method uses a fault model in order to define possible faults that the test has to investigate.  ...  This follows from the use of the transition tour method for deriv- ing tests for the sub-behaviours, because the transition tour method has not been designed for non-deterministic state machines.  ... 
doi:10.1007/978-0-387-34883-4_24 fatcat:r6gvoskiibbs7jpzyitxnuwooa

Handling redundant and additional states in protocol testing [chapter]

A. Petrenko, T. Higashino, T. Kaji
1996 Protocol Test Systems VIII  
This paper proposes techniques for deriving tests for FSMs with redundant or additional states such that a high fault coverage is achieved while maintaining an acceptable test suite length.  ...  This paper addresses the problem of conformance testing of protocols modeled by FSMs with redundant states. Redundant states appear in an FSM which may be nonminimal or nonconnected.  ...  Formal methods for deriving conformance tests are widely recognized as being capable of producing tests with a high fault coverage [BPY94] .  ... 
doi:10.1007/978-0-387-34988-6_19 fatcat:ccenkokxsvfbbifjx5gwaix27e

Fault Detection within a Component of a System of Communicating FSMs [chapter]

Ana Cavalli, Svetlana Prokopenko, Nina Yevtushenko
2002 IFIP Advances in Information and Communication Technology  
Given a component FSM and an external test case, we propose a procedure for deriving the set of all output faults of the component machine, which can be detected with this test case.  ...  The same approach can be used with respect to any other finite set of faults within the implementation of a component FSM.  ...  Therefore, to detect this fault we can combine a non-deterministic FSM presented in Figure 7 with component FSMs Band M and to derive an input sequence distinguishing reference state bCl from the state  ... 
doi:10.1007/978-0-387-35497-2_23 fatcat:6qjickgqcjhmvat6xugs5kuppe

Simplifying sequential circuit test generation

Meng-Lieh Sheu, Chung Len Lee
1994 IEEE Design & Test of Computers  
SEQUENTIAL TEST generation poses a difficult problem for circuits implemented from finite-state machines.  ...  Years ago, Hennie' proposed a checking experiment to test FSMs by deriving "distinguish" sequences that can differentiate good machines from faulty ones.  ...  From theorem 2, for the M2a implementation, the SST fault coverage is guaranteed to be 100%. Deterministic test generation.  ... 
doi:10.1109/mdt.1994.303845 fatcat:jsguvvufijbsrpdfkxp2szkf6u

Recent Advances in the Theory of Checking Experiments with State-oriented Models

Alexandre PETRENKO
2016 DEStech Transactions on Environment Energy and Earth Science  
We consider the problem of model-based testing of reactive systems with state-oriented models, such as finite state machines and transition systems, both distinguishing inputs and outputs.  ...  This problem has its roots in the theory of checking experiments for finite state machines. It continues to attract a lot of attention of research community.  ...  A Finite State Machine (FSM or simple machine) M is a 5-tuple (S, s 0 , I, O, T), where S is a finite set of states with initial state s 0 ; I and O are finite non-empty disjoint sets of inputs and outputs  ... 
doi:10.12783/dteees/seeie2016/4551 fatcat:lfwo5rrrtzeypheatqtfg4oqke

Test Generation for CEFSM Combining Specification and Fault Coverage [chapter]

Sergiy Boroday, Alex Petrenko, Roland Groz, Yves-Marie Quemener
2002 IFIP Advances in Information and Communication Technology  
We discuss how specification coverage and fault coverage based test derivation strategies can be combined.  ...  The traditional mutant-based test derivation approach is extended with nondeterministic mutants to cover more faults. An experimental tool and case study are reported.  ...  Fault Coverage In this section, we contrast two common strategies used for deriving tests from formal specifications in terms of state machines, in particular specification coverage driven approach and  ... 
doi:10.1007/978-0-387-35497-2_25 fatcat:fftdi7iha5b3hgzm5q3p6zprga

MoMut::UML Model-Based Mutation Testing for UML

Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard Aichernig, Elisabeth Jobstl, Harald Brandl
2015 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)  
It also is fault based, as it creates test cases that are guaranteed to reveal certain faults: after inserting a fault into the model of the SUT, it looks for a test case revealing this fault.  ...  and data-flow coverage of model elements, and also may include information about the behaviour in the failure case.  ...  (FP7/2007-2013) for the Artemis Joint Undertaking projects CRYSTAL -Critical System Engineering Acceleration (grant agreement #332830) and SafeCer -Safety Certification of Software-Intensive Systems with  ... 
doi:10.1109/icst.2015.7102627 dblp:conf/icst/KrennSTAJB15 fatcat:aqjc7ulncrbezca3dyetwxj3fu

Using partial-orders for detecting faults in concurrent systems [chapter]

A. Petrenko, A. Ulrich, V. Chapenko
1998 Testing of Communicating Systems  
Using a partial-order model, called Mazurkiewicz Trace Machine (MTM), for test derivation, the state explosion problem can be alleviated.  ...  The paper suggests test derivation approaches to obtain test suites for concurrent systems based on the concept of fault coverage criteria in opposition to structural test coverage criteria.  ...  At this point we extend the work previously done in testing concurrent systems by suggesting test derivation methods that generate test suites with fault coverage guarantee.  ... 
doi:10.1007/978-0-387-35381-4_11 fatcat:g6z4nbpk35gyfcyaggrnhjyh3q
« Previous Showing results 1 — 15 out of 6,506 results