Abstract:Establishing an effective testability model is key to testability design and fault diagnosis. Under the general assumptions that test circuits are completely reliable and all test signals can be accurately transmitted to display devices, traditional testability modelling methods are effective. However, these assumptions cannot hold for many practical applications, thereby eventually leading to incorrect fault diagnosis results. To overcome these problems, a novel extended testability modelling method that considers the supporting relation between faults and tests (SRFT) is presented. The blocking and enabling relations between faults and tests are analysed from the perspective of test information transmission and test failure. Accordingly, the element design, mathematical expression, and model type design were elaborated in detail. A matrix fusion algorithm and a diagnosis knowledge construction algorithm are proposed herein to express the supporting relation in a diagnostic matrix, wherein the third state of the test is introduced to describe the test failure. According to the supporting relation information in the diagnostic matrix, three new testability indices are proposed to evaluate the system testing capability. Our case study results clearly demonstrate the superiority of the proposed method, which can accurately describe the supporting relation and help obtain accurate diagnostic results.

A Novel Test Process Modeling Method for Automatic Test

Model Based Load Testing of Web Applications

A Novel Automatic Testing System Close-loop Model Based on Event Feedback

A Model-based testing methodology for AADL model

A Novel Test Case Generation Method Based on Program Structure Diagram

Research on Modeling of Software Automatic Test.

Novel Test Analysis To Improve Structural Coverage -A Commercial Experiment

A Embedded Software Testing Process Model

A Testability Growth Model and Its Application

A System Test Methodology Based on Markov Chain Usage Model

A High Order Collaboration and Real Time Formal Model for Automatic Testing of Safety Critical Systems

Procedures modeling for testing and model checking needs

The Design of a Web Application Testing Model

Novel Testability Modelling and Diagnosis Method Considering the Supporting Relation Between Faults and Tests

Modeling Method and System Implementation of Discrete Event-Driven Process

Graph Theory Model Based Automatic Test Platform Design

Workflow-Based Testing Process Management Of Software Project

Modeling Method for Testability Diagnostic Concept Based on SysML

Model-driven Web Application Test

Novel Collaborative Automated Testing Framework Using Ddf

JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit