The Research And Implementation For Test Technology On Aviation Software

The software testing is an important step for software quality assurance.In the whole software development life cycle,testing was paid much great attention to.In the majority of software developing operation,test was considered as the foundation,which is very important to the software success.And the aviation class software has its high security and high stability request,which causes the great importance to test it.This paper is based on the general commercial software's test technology and strategy,mainly aimed at the application of aviation software testing to do extension and elaboration.Primary research contents are included at following aspects:1.The aviation domain software standard,DO-178B criterion introductionDO-178B criterion,which is used to establish a set of software standard among the development staff,the installation personnel and the user when use computer technology to design aeronautical equipment is defined at RTCA/DO-178B document developed by RTCA and EUROCAE Unit organization.There are three main items about testing standard in DO-178B criterion:1)The plan stage,observes the life cycle of software developing.2)Validation of the software developing process3)Validation of the software functions.2.The introduction and extension of test technology and test strategyThe Black box testing,the White box testing,as well as the Grey box testing is the mainstream software test technology at present.According to instances,the paper mainly introduce the Black box testing methods of Boundary Value Analysis,Equivalence Partition, Cause-effect Graph and so on,and the White box coverage metheds of Statement coverage, Decision coverage,Condition coverage,Decision/Condition coverage,Condition Combination coverage and Path coverage etc.In addition,the paper also introduce the Grey box testing technology which is applied more and more widespread in the aviation software testing domain.According to the combination characteristic of black and white,the Grey box testing method shows great performance on reliability and security aspect,which happenes to conform to the special requirement of aviation class software.In addition,at the software test strategy aspect,paper mainly introduce the Unit test,the Integrated test,the System test and the Confirmation test characteristic as well as their extension in aviation software domain.3.Aviation software testing scheme researchAlthough the aviation software testing seems complicated,and is very difficult to form a model suiting all test cases.But we may excavate some general character parts,for example,the test flow management,which is relatively easy to realize.Therefore,the paper chooses this topic as breakthrough point,uses the common software testing's management standard,unifies the characteristic of embedded software,and at last attempts to form general testing seheme for the aviation class software.