소프트웨어검증

건국대학교
유준범

페이스북 트위터 카카오톡 네이버밴드 링크복사

주제분류

공학 >컴퓨터ㆍ통신 >소프트웨어공학
강의학기

2013년 1학기

조회수

2,738

This course introduces formal methods, used to guarantee safety and reliability of safety-critical

software, to undergraduate senior students. It consists of formal specification and formal

verification. It looks into basic theories of several widely-used ones, and then confirms their

features and pros/cons through team projects.

차시별 강의

1.	Course Introduction	+ Introduction to CTIP
2.	Chapter 1. Software Test and Analysis in a Nutshell
3.	Chapter 2. A Framework for Test and Analysis
	Chapter3. Basic Principles
4.	Chapter 4. Test and Analysis Activities Within a Software process
5.	Chapter 5. Finite Models
6.	Chapter 6. Dependence and Data Flow Models
	Chaptet 7. Symbolic Execution and Proof of Properties
7.	Chapter 8. Finite State Verification
8.	Chapter 9. Test Case Selection and Adequacy
9.	Chapter 10. Functional Testing
	Chapter 11. Combinatorial Testing
10.	Chapter 12. Structural Testing
11.	Chapter 13. Data Flow Testing
12.	Chapter 14. Model based Testing
	Chapter 15. Testing Object-Oriented Software
13.	Chapter 16. Fault based Testing
14.	Chapter 17. Test Execution
	Chapter 18. Inspection
	Chapter 19. Program Analysis