Testing, Debugging, and Verification - Testing, Part II

More documents

Recommendations

Info

Test Suite A test suite for methods m1, . . . , mk is a union of corresponding test sets: TS m1 ∪ . . . ∪ TS mk TDV: Testing /GU 121130 14 / 28
Test Oracle, Remarks While O is in general specific for each and every test case, it is desirable to go beyond. ◮ Desirable to have, for each method m, one uniform oracle O m . ◮ Then, a test suit is: TS m = {〈m, I1, O m 〉, . . . , 〈m, In, O m 〉} ◮ Moreover, desirable to have such uniform oracles generated automatically. These issues not addressed in the following, but in ‘Test Case Generation’ part of the course. TDV: Testing /GU 121130 15 / 28
Page 1 and 2: Testing, Debugging, and Verificatio
Page 3 and 4: V-Model Requirements Analysis Archi
Page 5 and 6: Discussion: Testing Levels of a Sys
Page 7 and 8: Regression Testing Orthogonal to th
Page 9 and 10: Test Cases The science of testing i
Page 11 and 12: ‘Success’ vs. ‘Failure’ of
Page 13: Test Set A test set TS m for a (Jav
Page 17 and 18: Automated and Repeatable Testing (c
Page 19 and 20: Basic JUnit usage public c l a s s
Page 21 and 22: Basic JUnit usage JUnit can test fo
Page 23 and 24: Compile and Run JUnit test class Al
Page 25 and 26: Reflection: Extreme Testing (cont
Page 27 and 28: Extreme Testing Example: Class Mone

Testing, Debugging, and Verification - Testing, Part II

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?