|
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; principles and practices used in conducting tests |