Static verification: Techniques of

Static verification: Techniques of verification that do not include execution of the software.
• May be manual or use computer tools.
Dynamic verification:
• Testing the software with trial data.
• Debugging to remove errors.

ผลลัพธ์ (ไทย) 1:

คงยืนยัน: เทคนิคการตรวจสอบที่ไม่มีการดำเนินการของซอฟต์แวร์•อาจเป็นด้วยตนเอง หรือใช้เครื่องมือคอมพิวเตอร์การตรวจสอบแบบไดนามิก: •การทดสอบซอฟต์แวร์ที่ มีข้อมูลการทดลอง•ตรวจแก้จุดบกพร่องเพื่อเอาข้อผิดพลาด

ผลลัพธ์ (ไทย) 2:

การตรวจสอบแบบคงที่:. เทคนิคของการตรวจสอบที่ไม่รวมการดำเนินการของซอฟต์แวร์
•อาจจะเป็นด้วยตนเองหรือใช้เครื่องมือคอมพิวเตอร์.
ตรวจสอบแบบไดนามิก:
•การทดสอบซอฟต์แวร์ที่มีข้อมูลการทดลอง.
•การแก้จุดบกพร่องในการลบความผิดพลาด

ผลลัพธ์ (ไทย) 3:

สถิตการตรวจสอบ : เทคนิคของการตรวจสอบว่าไม่รวมการดำเนินการของซอฟต์แวร์- อาจจะด้วยตนเองหรือใช้เครื่องมือคอมพิวเตอร์แบบไดนามิกการตรวจสอบ :บริการซอฟต์แวร์กับข้อมูลการทดลองการทดสอบ- การแก้จุดบกพร่องเพื่อลบข้อผิดพลาด