แจ้งเอกสารไม่ครบถ้วน, ไม่ตรงกับชื่อเรื่อง หรือมีข้อผิดพลาดเกี่ยวกับเอกสาร ติดต่อที่นี่ ==>
หากไม่มีอีเมลผู้รับให้กรอก thailis-noc@uni.net.th
หากไม่มีอีเมลผู้รับให้กรอก thailis-noc@uni.net.th
Chatchai Koetsawat . Formal approach to program verification. Master's Degree(Computational Science). Chulalongkorn University. : Chulalongkorn University, 2001.
Formal approach to program verification
วิธีการตรวจสอบโปรแกรมโดยหลักการเชิงรูปนัย
Name: Chatchai Koetsawat
LCSH:
Computer programs
-- Verification
LCSH:
Computer software
-- Verification
Abstract:
Program verification has played an important role in today's production of reliable software [3]. The most popular method of verification is given by Hoare. Other mathematicians and programmers also offered their method based on Hoare's principles. This thesis proposes a different approach to program verification using Hoare notation. In this thesis, we introduced a new method based on Hoare triple and some inference rules as a tool for program correctness proof. The proposed approach adopted conventional black-box and white-box tests [6] to carried out a systematic and rigorous program verification.
Abstract:
ในกระบวนการผลิตซอฟแวร์ที่มีความน่าเชื่อถือนั้น การตรวจสอบความถูกต้องของโปรแกรมมีความสำคัญมาก ซึ่งวิธีการตรวจสอบที่เป็นรู้จักกันดีได้แก่ วิธีที่นำเสนอโดย Hoare และหลังจากนั้นได้มีนักคณิตศาสตร์และ โปรแกรมเมอร์จำนวนมากที่อาศัยพื้นฐานจากวิธีการของ Hoare ในการสร้างวิธีการตรวจสอบใหม่ๆ รวมถึงงานวิจัยชิ้นนี้ด้วย ในงานวิจัยชิ้นนี้ได้นำเสนอวิธีการตรวจสอบความถูกต้องของโปรแกรม โดยใช้ Hoare triple และ Rule of Inference เป็นพื้นฐานในการสร้างวิธีการตรวจสอบความถูกต้องของโปรแกรม เนื่องจากมีการประยุกต์การตรวจสอบแบบ Black-Box และ White-Box อย่างมีระบบแน่นอน มาใช้ในกระบวนการนี้ด้วย
Chulalongkorn University
Address:
กรุงเทพมหานคร (Bangkok)
Email:
cuir@car.chula.ac.th
Name: Peraphon Sophatsathit
Role:
Advisor
Created:
2001
Issued:
2005-04-19
Modified:
2006-07-07
วิทยานิพนธ์/Thesis
URL: http://thailis-db.car.chula.ac.th/CU_DC/Thesis/June2006/Chatchai.pdf
ISBN:
9741702795
eng
DegreeName: Master of Science
Level: Master's Degree
Descipline: Computational Science
Grantor: Chulalongkorn University
©copyrights Chulalongkorn University
RightsAccess:
ใช้เวลา
0.033302 วินาที
Chatchai Koetsawat
| Title | Contributor | Type |
|---|---|---|
| Formal approach to program verification
จุฬาลงกรณ์มหาวิทยาลัย Chatchai Koetsawat | Peraphon Sophatsathit | วิทยานิพนธ์/Thesis |
Peraphon Sophatsathit