본 포스트는 개인 스터디 용으로 작성된 Ian Sommerville의 Software Engineering, 8/E의 요약본입니다.1. Verification and formal methods
- Formal methods used on mathematical specification of the system
- Formal methods are the ultimate static verification technique
- They involve detailed mathematical analysis of the specification and any develop formal arguments that a program conforms to its mathematical specification
2. Formal methods pros/cons
pros:
- mathematical specification by detailed analysis likely to uncover errors
- detect implementation errors before testing when the program is analysed alongside the specification
cons:
- require specialised notations that cannot be understood by domain experts
- Very expensive to develop a specification
- It may be possible to reach the same level of confidence in a program more cheaply using other V&V techniques
3. Cleanroom S/W development
- The name is derived from the 'Cleanroom' process in semiconductor fabrication. The philosophy is defect avoidance rather than defect removal
- based on
1) Incremental development
2) Formal specification
3) Static verification using correctness arguments
4) Statistical testing to determine program reliability
4. Cleanroom process
5. Formal specification and inspections
- The state based model is a system specification and the inspection process checks the program against this model
- The programming approach is defined so that correspondence between the model and the system is clear
- Mathematical arguments (not proofs) are used to increase confidence in the inspection process
TAG cleanroom,
formal method,
formal specification,
incremental development,
mathematical,
static verification,
statistical testing
댓글을 달아 주세요