|
|
|
1201645 | Software Validation and Verification |
| การตรวจสอบและทดสอบซอฟต์แวร์ |
| สังกัด | คณะวิทยาการสารสนเทศ, สาขาเทคโนโลยีสารสนเทศ |
| หน่วยกิต | 3 (3-0-6) |
| สถานะรายวิชา: | ใช้งาน ข้อมูลเพิ่มเติมอื่นๆ |
|
![](images/common/line/horz_1.gif)
| Course Description เครื่องมือ วิธีการ และแนวปฏิบัติในปัจจุบันที่ใช้ในการประเมินคุณภาพและความถูกต้องของซอฟต์แวร์ บทบาทของการทดสอบและการตรวจสอบอย่างเป็นทางการ พื้นฐานและแบบจำลองอย่างเป็นทางการของการตรวจสอบโปรแกรม การวางแผนและเอกสารสำหรับการประกันคุณภาพ วิธีการในการตรวจสอบทางเทคนิค กลยุทธ์ของการทดสอบระบบและการวางแผนการรวม และหลักการและวิธีปฏิบัติที่ใช้ในการดำเนินการทดสอบ
Tools, methods and current practices used in assessing the quality and correctness of software; roles of testing and formal verification; fundamentals and formal models of program verification; planning and documentation for quality assurance; methods for performing technical reviews; strategies of system testing and integration planning and principles and practices used in conducting tests |
|