15. Dynamic and Static Testing and EGNOS （15。）.pdf

Dynamic and Static Testing Prof. Chris Johnson, School of Computing Science, University of Glasgow. johnson@dcs.gla.ac.uk http://www.dcs.gla.ac.uk/~johnson Introduction: Testing • The processes used during – validation and verification. • White and black boxes. • Static and Dynamic techniques • Case Study... Definitions and Distinctions • Black box tests: – tester has no access to information – about the system implementation. • Good for independence of tester. • But not good for formative tests. • Hard to test individual modules... Definitions and Distinctions • White box tests: – tester can access information about – the system implementation. • Simplifies diagnosis of results. • Can compromise independence? • How much do they need to know? Definitions and Distinctions • Module testing: – tests well-defined subset. • Systems integration: – tests collections of modules. • Acceptance testing: – system meets requirements? • Results must be documented. • Changes will be costly. Dynamic Testing - Process Issues • Functional testing: – test cases examine functionality; – see comments on verification. • Structural testing: – knowledge of design guides tests; – interaction between modules... – test every branch (coverage)? • Random testing: – choose from possible input space; – or beyond the ``possible... Definitions and Distinctions • Dynamic testing: – execution of system components; – is environment being controlled? • Static testing: – investigation without operation; – pencil and paper reviews etc. • Most approaches use both. • Guide the test selection by using: – functional requirements: – safety requ