วิกิพีเดียภาษาไทย
กลับไปหน้าบทความ

อ่าน 1 นาที

ภาษานิยามการยืนยัน

ภาษาข้อกำหนดอย่างเป็นทางการ/ต้นขั้วหัวข้อภาษาการเขียนโปรแกรม

ภาษานิยามการยืนยัน ( ADL ) เป็นภาษาเฉพาะที่ให้ พฤติกรรมตาม ตรรกะเชิงประพจน์รวมถึงอินเทอร์เฟซสำหรับซอฟต์แวร์คอมพิวเตอร์

ภาษานิยามการยืนยัน

ภาษานิยามการยืนยัน ( ADL ) เป็นภาษาเฉพาะที่ให้ พฤติกรรมตาม ตรรกะเชิงประพจน์รวมถึงอินเทอร์เฟซสำหรับซอฟต์แวร์คอมพิวเตอร์[ 1 ]

การสนับสนุนภาษาอังกฤษ

ADL ใช้ เงื่อนไข ก่อนและหลังการทำงาน ของฟังก์ชัน เพื่อระบุอินเทอร์เฟซ และได้รับการออกแบบมาเพื่อเป็นตัวกลางระหว่างข้อกำหนดภาษาอังกฤษแบบไม่เป็นทางการและข้อกำหนดการทดสอบเชิงโปรแกรมที่เป็นทางการ

มีเครื่องมือสนับสนุนทั้งสำหรับการแปลงข้อกำหนด ADL เป็นภาษาอังกฤษ และสำหรับการสร้างระบบทดสอบที่สามารถใช้ตรวจสอบรหัสการใช้งานได้[ 2 ]

ประวัติศาสตร์

ADL ได้รับการพัฒนาร่วมกันโดยThe Open GroupและSunTestของSun Microsystems [ 3 ]

ดูเพิ่มเติม

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Assertion_definition_language&oldid=1220130170 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ ภาษานิยามการยืนยัน

ภาษานิยามการยืนยัน ( ADL ) เป็นภาษาเฉพาะที่ให้ พฤติกรรมตาม ตรรกะเชิงประพจน์รวมถึงอินเทอร์เฟซสำหรับซอฟต์แวร์คอมพิวเตอร์

การสนับสนุนภาษาอังกฤษ

ADL ใช้ เงื่อนไข ก่อน และ หลังการทำงาน ของฟังก์ชัน เพื่อระบุอินเทอร์เฟซ และได้รับการออกแบบมาเพื่อเป็นตัวกลางระหว่างข้อกำหนดภาษาอังกฤษแบบไม่เป็นทางการและข้อกำหนดการทดสอบเชิงโปรแกรมที่เป็นทางการ

ประวัติศาสตร์

ADL ได้รับการพัฒนาร่วมกันโดย The Open Group และ SunTest ของ Sun Microsystems [ 3 ]

ดูเพิ่มเติม

วิธีการที่เป็นทางการ ข้อกำหนดอย่างเป็นทางการ ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Assertion_definition_language&oldid=1220130170 "