Fault classes and error detection in specification based testing
Read Online

Fault classes and error detection in specification based testing

  • 686 Want to read
  • ·
  • 48 Currently reading

Published by U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology in Gaithersburg, MD .
Written in English


  • Computer software -- Testing.,
  • Debugging in computer science.

Book details:

Edition Notes

StatementD. Richard Kuhn.
SeriesNISTIR -- 6140.
ContributionsNational Institute of Standards and Technology (U.S.)
The Physical Object
Pagination23 p.
Number of Pages23
ID Numbers
Open LibraryOL17697771M

Download Fault classes and error detection in specification based testing


A prerequisite for the feasibility of the technique of observer-based fault detection and isolation (FDI) in dynamic systems is a satisfactory robustness with respect to modeling uncertainties. This paper surveys the most relevant methods to increase the robustness in both the stage of residual generation and residual evaluation. We present a technique which generates from Abstract State Machines specifications a set of test sequences capable to uncover specific fault classes. The notion of Cited by: Quick and accurate identification of the root cause of failures is an important prerequisite for building reliable systems. We describe a pragmatic model-based technique for application-specific fault diagnosis based on indicators, symptoms and rules. Customized wrapper services then apply this knowledge to reason about root causes of by: 2. Based on the rules above, the articles were sorted based on non-self citations and a “most cited” list emerged. When ties appear, the most cited article including self citation is listed first. However, the actual placement in terms of number in the list is not allowed to Cited by:

and detection methods applied prior to system release. It also provides some insight into the need for formal requirements specification and for improved testing of complex hardware-software systems. 1 Introduction. Henry Petroski devotes an entire book to failures in engineering and lessons to be learned [1]. Testing MATIS: A case study on specification-based testing of interactive systems. In FAHCI Proceedings of the Formal Aspects of Human Computer Interaction Workshop. British Computer Society, Swindon, U.K., Author: M HieronsRobert, BogdanovKirill, P BowenJonathan, CleavelandRance, DerrickJohn, DickJeremy, Gheorghe. Understanding Ground Fault and Leakage Current Protection GFCIs The definition of a ground-fault circuit interrupter is located in Article of the NEC and is as follows: “A device intended for the protection of personnel that functions to de-energize a circuit or portion thereof within an established period of time when aFile Size: KB. Introduction to the Controller Area Network (CAN) 3 Standard CAN or Extended CAN The CAN communication protocol is a carrier-sense, multiple-access protocol with collision detection and arbitration on message priority (CSMA/CD+AMP). CSMA means that each node on a bus must wait for a prescribed period of inactivity before attempting to send a File Size: KB.

1 Dependability: an integrative concept ☞Based on, and elaboration upon ‘A. Avizienis, J.C. Laprie, B. Randell, C. Landwehr, Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE able and Secure Computing, ’ Resilience: a framework for ubiquitous computingFile Size: 1MB. Request PDF | On Mar 1, , Hermann Felbinger and others published Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites | Find, read and cite all the. Software fault injection (SFI) is an acknowledged method for assessing the dependability of software systems. After reviewing the state-of-the-art of SFI, we address the challenge of integrating it deeper into software development practice. We present a well-defined development methodology incorporating SFI—fault injection driven development (FIDD)—which begins by Author: Lena Feinbube, Lukas Pirl, Andreas Polze.   Mutation testing [4, 6] is a fault-based approach to test programs written in an imperative programming language. In mutation testing, a set of programs is generated by making a single (well-defined) syntactic change in a given PUT.