Software Testing 
(2010 Spring for graduate student in Hongik University)


Text: "Software Testing and Analysis," Mauro Pezzè and Michal Young, WILEY

Schedule

WEEKS

DATE

Lecture (Friday)

1

03.05

3.1

2

03.12

Chapter 1. Software Test and Analysis in a Nutshell (fig)
Chapter 2. A Framework for Test and Analysis
Chapter 3. Basic Principles
Chapter 4. Test and Analysis Activities Within a Software process
Chapter 5. Finite Models
Chapter 6. Dependence and Data Flow Models
Chapter 8. Finite State Verification

3

03.19

4

03.26

5

04.02

6

04.09

7

04.16

8

04.23 ߰

9

04.30 Chapter 10. Functional Testing
Chapter 11. Combinatorial Testing
Chapter 12. Structural Testing
Chapter 13. Data Flow Testing
Chapter 14. Model based Testing
Chapter 16. Fault based Testing
Chapter 17. Test Execution 
Chapter 19. Program Analysis
Chapter 23 Automating Analysis and Test

10

05.07

11

05.14

12

05.21

13

05.28

14

06.04

15

06.11

16

06.18