Specification team – documents user

Specification team – documents user
requirements and usage profiles (how much
use each function will have)
2. Development team – develops code but does
not test it. Uses mathematical verification
techniques
3. Certification team – tests code. Statistical
model used to decide when to stop

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

ข้อมูลจำเพาะเกี่ยวกับทีม – เอกสารผู้ใช้
ความต้องการและการใช้โพรไฟล์ (จำนวน
ใช้ฟังก์ชันแต่ละฟังก์ชันจะมี)
2 รหัสแต่ไม่พัฒนาทีมพัฒนา –
ทดสอบไม่ ใช้ตรวจสอบคณิตศาสตร์
เทคนิค
3 รับรองทีม – ทดสอบรหัส สถิติ
แบบจำลองที่ใช้ในการตัดสินใจว่า จะหยุด

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

ผู้ใช้เอกสาร - ทีมสเปค
ความต้องการและรูปแบบการใช้งาน (เท่าไหร่ที่
ใช้ฟังก์ชั่นแต่ละคนจะมี)
2 ทีมพัฒนา - พัฒนารหัส แต่ไม่
ได้ทดสอบ ใช้การตรวจสอบทางคณิตศาสตร์
เทคนิค
3 รหัสการทดสอบ - ทีมการรับรอง สถิติ
รูปแบบที่ใช้ในการตัดสินใจเมื่อจะหยุด

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

สเปคทีม–เอกสารผู้ใช้ความต้องการและการใช้งานโปรไฟล์ (

ใช้เท่าไหร่ แต่ละฟังก์ชันจะมี )
2 โดย ทีมพัฒนาได้พัฒนารหัส แต่ไม่ได้
ไม่ได้ทดสอบมัน ใช้เทคนิค
3
การพิสูจน์ทางคณิตศาสตร์ รับรองทีม–การทดสอบรหัส แบบจำลองทางสถิติ
ใช้เมื่อตัดสินใจที่จะหยุด