Time-Domain Probability Analysis in the Model Testing of Embedded Systems

The Software testing needs the use of a model to guide such endeavors as test selection and test verification. Usually, these implicit models exist only in the head of a human tester. The probability distribution is our concept to run time automaton. When we enter a location, we simulate the leaving time point at one probability distribution. After deciding to leave the location, we also need to know where the next location to enter. Once again, we choose the next location by the method of probability distribution. Because we focus on the time-domain on time automaton, we care about the test case should be set on the time point. There are two types of fault. One happen in duration of time on a location, and another happen in transition. Finally, we transfer the time domain test case to TTCN3 test case.