The definition of software testing is in 1983 by IEEE in software engineering standard terms are: using manual or automatic means to run or evaluating a system or system component, its purpose is to examine whether it satisfy the requirements; or clarifies between expected results and actual results difference. This definition is very clear that the software testing is to test whether meet the demand for the goal. Software testing is carried out to find out the mistakes and shortcomings, rather than to prove the correctness of software.32642
To ensure the quality of software products, the need for support from the software development process, the technological level of development, the software testing etc.. Software testing is one of the most important means to ensure software quality. Software reliability testing is a part of the software development process, software reliability testing is to verify the reliability of the software. The software is an important stage of its life cycle and the key steps. By excluding found in software testing errors and defects, can effectively achieve the software reliability growth. With the development of software scale, increasing the function of the software, software testing is further improved, the reliability of the software products are more difficult to measure. The present in the software reliability have not established the authority of the management system and the standard, many software reliability model is established to describe software reliability to some extent, but there are some limitations, there is no model can be used widely. Therefore in the research on test and evaluation of software reliability is a theoretical value and practical significance of the work.
A software testing.
Software testing means and process execution procedure to find errors. It is designed a number of test cases according to the internal structure of each stage of software development specifications and procedures, using these test cases to perform the procedure, in order to find out the process of programming errors. Software testing is the pursuit of the test method of the system, find software errors. Software testing is an important phase in the software development process. The goal is to program execution under carefully controlled conditions, in order to find out the errors in the program, the reliability of the identification procedure are given.
1.1 static analysis
The basic characteristics of static analysis is to analyze, review and testing is not running the program being tested. Instead of using other means to achieve the purpose of detection. A special software test tool software to review the document or program, the static program complexity metrics, check whether accord with standard software programming, to find the deficiencies written procedures, reduce the probability of errors. Static analysis is a general term for a group of characteristics analysis method of the program under test. These methods all have goals and steps of their own. For example, some is to collect some information, in order to find all kinds of short program and construction of suspicious program: some just from the procedure proposed in semantic or structural features, for further analysis. The static analysis of the code is scanned, test its grammatical rules is the norm, in order to find out the shortcomings of program. It is mainly to provide the basis for software quality assurance, to improve the software reliability and maintainability.
Static analysis contains the generated during the software development process of software requirement, design and coding of the document.
(1) the demand analysis stage
Test requirement analysis of document and user requirements are the same: inspection to all project personnel on the demand of the document and the user requirements understanding is correct.
(2) the design stage
Design for test (outline design and detailed design) whether the document is consistent with the demand analysis; structured program and each module design is reasonable; whether the test each module meets the system requirements; combination test module and system, combination of special input and boundary conditions of the important. 软件可靠性测试英文文献和中文翻译:http://www.youerw.com/fanyi/lunwen_29338.html