Software Engineering--theory, method and practice ⑩

Tenth, software Testing 1. Verification and Validation: software error Examples several internationally well-known problems, a small error caused a huge impact, the fault is the nature of software, and can not be changed. Verification and validation are standardized evaluation methods that run through the software life cycle. V&V activities are validated with V&V's management and confirmed by the activity model. 2. Software Testing Basics: Testing is a process of executing a program that is designed to detect errors, a good test case is likely to find errors that have not been noticed so far, and a successful test case is a test that discovers a bug that has not been detected so far. The basic principle of software testing: ① should be "early and continuous software testing" as the motto of software developers ② programmers should try to avoid checking their own programs ③ when designing test cases, Should include reasonable input conditions and unreasonable input conditions ④ test cases should be composed of the test input data and the corresponding expected input results ⑤ fully pay attention to the cluster phenomenon in the test ⑥ strictly execute the test plan, The random ⑦ of the test should be thoroughly checked for each test result ⑧ properly keep all the test process documentation and provide convenient maintenance. Test documents include test plans, test scopes, test cases, bug reports, and several parts. Software testers should have the necessary qualities of communication, empathy, technical ability, self-confidence, diplomatic ability, sense of humor, strong memory, patience, suspicion, self-supervision, and insight. 3. Software testing strategies include unit testing, integration testing, validation testing, system testing, and software debugging. 4. The software test method has static and dynamic test, black box test and white box test, black box test method has equivalence class division, boundary value analysis, state test, failure condition test, error inference method several. The White box test method has the logical coverage, the path test. Static testing of a program includes several basic elements of finding problems, complying with rules, reviewing preparation, and writing reports. 5. Object-Oriented Software testing: Object-oriented test type, object-oriented test example, GUI test example. 6. Software Testing Tools: JUnit is a regression testing framework that is used by Java developers to write unit tests. LoadRunner is an industry standard-level load testing tool that predicts system behavior and performance.

Software Engineering--theory, method and practice ⑩