Let P Program to test, D domain of

Let P Program to test, D domain of all possible input for P, R range of all possible result from P
พิจารณาให้ P เป็น (partial)function จาก D ไป R
P(d) แทน output ของโปรแกรมสำหรับ input d
OR เป็น output requirement ของโปรแกรม P

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

ให้โปรแกรมทดสอบ โดเมน D ของอินพุตทั้งหมดเป็นไปได้สำหรับ P, P R ช่วงผลทั้งหมดได้จาก Pพิจารณาให้ P (บางส่วน) เป็นฟังก์ชันจาก D ไป R P(d) แทนผลลัพธ์ของโปรแกรมสำหรับอินพุต dหรือเป็นผลความต้องการของโปรแกรม P

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

ให้ P โปรแกรมเพื่อทดสอบ, D โดเมนของทุกท่านเป็นไปได้สำหรับ P ช่วง R ของทุกผลเป็นไปได้จาก P
พิจารณาให้ P เป็น (บางส่วน) ฟังก์ชั่นจาก D ไป R
P (ง) แทนการส่งออกของโปรแกรมสำหรับ d
การป้อนข้อมูลหรือเป็นความต้องการส่งออกของโปรแกรม P

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

ให้ P โปรแกรมทดสอบ , D โดเมนทั้งหมดใส่เป็นไปได้สำหรับ P , R ช่วงของผลที่เป็นไปได้จาก P
พิจารณาให้ P เป็น ( บางส่วน ) ฟังก์ชันจาก D ไป R
p ( D ) แทนผลผลิตของโปรแกรมสำหรับอินพุต D
p
ของโปรแกรมเป็นผลผลิตความต้องการหรือ