Research Of Software Reliability Testing Technology On Electronic Chart System

Electronic chart navigation system is a new technology in navigation field, it can providevarious types of marine information timely, and it is effective to ensure maritime safety of theship. With the electronic chart systems applicated increasingly in the field of marine transport,port planning, marine pollution Management, vessel scheduling, marine search and rescue,route guidance, marine fisheries and marine command, the requirements on electronic chartsystem software reliability are more higher and higher.Software reliability testing is a critical step in the process of guarantee softwarereliability,and software reliability testing is the most effective way to improve softwarereliability, electronic chart system for the application object, the key technology of thesoftware reliability test process is studied in this paper, the main content specifying asfollows:Firstly, the theory of software reliability testing is studied, and the software reliabilitymeasurement methods, the process of reliability testing and the characteristics of reliabilitytesting are researched, the modeling method of reliability test case is analyzed. Then, thesoftware reliability testing framework of electronic chart system is designed.Secondly, the software profile construction techniques is researched and the limitationsof traditional operating profile is analyzed. Against the limitations, the operating profile isextended, at the same time the concept of operation sequence profile and the constructionmethod are given, and the operating profile construction of electronic chart system iscompleted.Thirdly, the software reliability growth testing technology which focus on the selectionstrategy of reliability growth testing method, the reliability growth testing case generation andthe sufficiency of reliability growth testing are researched. The measurement methods basedon reliability is improved, three software testing metric based on P-measure, based on E-measure and based on reliability are comprehensively compared, and a testing methodselection strategy of the electronic chart system reliability growth is proposed, then thereliability growth testing of electronic chart system is finished and test results are recordedand analyzed.Fifthly, to determine the failure rate of electronic chart systems prior distribution basedon reliability growth testing phase prior information. In a given reliability index, the amountof electronic chart system reliability verification tests is determined by priori Bayesian models. Compared with traditional statistical methods and without prior information methods, prioriBayesian model can effectively reduce the amount of testing. Then the electronic chart systemreliability verification testing is finished in the guidance of priori Bayesian model.