会议专题

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.

Embedded Software Reliability Testing Verification Environment Automatic Defect Implanting

Fangling Zhong Jun Ai Qi Ao

School of Reliability and System Engineering Beihang University Beijing, China

国际会议

2011 9th International Conference on Reliability,Maintainability and Safety(第九届国际可靠性、维修性、安全性会议 ICRMS2011)

贵阳

英文

705-709

2011-06-12(万方平台首次上网日期,不代表论文的发表时间)