Automatic verification environment for embedded software reliability testing

Software reliability testing (SRT) is one of the key techniques in software reliability field. It is too difficult to collect enough experiment data from SRT for analysis, since SRT is extremely time-consuming. In this paper, an automatic verification environment (AVE) is designed to execute SRT and collect the detailed testing data automatically in this paper. With the AVE, defect implanted in the software under test (SUT) can be set automatically according to whether defect is found or not; and data collected during SRT can support many researches on software reliability, such as software reliability evaluation, operational profile, and so on.