Research on Modeling Techniques of Testability Evaluation Based on Modelica

Since testability physical verification has many shortcomings, such as high risk, difficulty in fault injection, long verification period, high verification cost and so on. Testability nonphysical verification acquires more and more attentions. While most of the traditional testability evaluation models can only describe the relationship of signals, faults and tests qualitatively, they have little quantitative information and this may cause significant deviation between verification result and the real one. So after doing research on the requirements of verification evaluation to virtual Prototypes, a testability evaluation modeling techniques was proposed based on Modelica in this work and the Function-Structure-Fault-Test-Circumstance Model was also defined and described mathematically herein. Additionally, a testability evaluation model of a data collector was built in this paper. By comparing the numerical result with that of the testability physical verification, the following conclusion can be obtained: With sufficient modeling information, testability evaluation model can be built accurately by using the method put forward in this paper.