การทดสอบและทวนสอบซอฟต์แวร์
(Software Testing and Verification)
หน่วยกิต (บรรยาย-ปฎิบัติการ): 3(3-0-6)
การวางแผนและการจัดการการทดสอบ เทคนิคการทดสอบ เทคนิคการตรวจสอบ การสร้างตัวแบบและการเขียนข้อกําหนดเชิงรูปนัย การทวนสอบซอฟต์แวร์ด้วยวิธีเชิงรูปนัย
Test planning and management. Testing techniques. Inspection techniques. Formal modeling and specification. Software verification using formal methods.