Research Of Equipment Software Static Testing Base On Testbed And Polyspace

As is found in modern software testing, for testing any software or system static test anddynamic test should be proceed.Accurate assessment conclusion can not be got if only one ofthem proceed for the lack of integrity. Research show that when other conditions unchanged,the earlier software error be found,the less the loss it caused. Static test evaluate system baseon structure of software,content or document,running program is no need. So,code defects inthe program could be found earlier,then in the coming software development phase can focuson the analysis of complex function and algorithm mistakes. In order to further improve thesoftware test results credibility and optimize the cost,static test is a must in softwaretesting.This paper analysed the measure of Static testing,put forward the characteristics ofsoftware evaluating method.Put combination of complementary test tool Testbed andPolySpace in the practical application of the test process flow. This is verified in a ship-borneweather radar communication software static tests and quality analysis report is made.specific include the following aspects:Frist,a globalconcept of software testing is introduced base on definition, purpose andclassification of software testing.describes the importance of software testing.Describes theimportance of software testing.analyzes the different types of static testing from the point ofview of whether the execution procedures.The key point of static testing is the testing of code,interface, and the documentation.Second,This paper analyzed the software quality measure,And then from the angle ofsoftware quality measure static basic concept and function,discuss Scientific measure usingHalstead and The loop complexity metrics using McCabe.Focus on the Static quality modeland software Evaluation method base on Static quality.Then,explore how to put combination of complementary test tool Testbed and PolySpacein the practical application of the test process flow.study how to the realization of thecomplete static testing of ship-borne weather radar communication software which isdeveloped by VC++language on Linux platform.and verified the tool is useable.Last,by summarizing the research content of this paper,explore how to find relativelycomplete set of rules in the process of static test in software static analysis.So that the staticanalysis in the model of structure, path choicing,etc can choose a better strategy to improvethe accuracy of static analysis.key reference the research of quality measure and the analysisof static testing process and the results in ship-borne weather radar communication soft.Explore static test procedures and standards which for the present the whole communityhas no unified mature.In the static testing process,the ultimate test results of the static qualityanalysis report don’t have broadly representative.Static test results can not regard as theinternal quality results in the form of simplicity.So the solution of project assessmentconclusion and the integrity can be strongly supported.Form the first edition of static qualityanalysis report.According to several feedback from actual testing project,this method has ahigh rate of coverage,universality, and representative in static analysis software qualityaspects.