5 CONCLUSION Although Sun Microsyst

5 CONCLUSION
Although Sun Microsystems added some support for assertions with the introduction of the Java Assertion Facility in Java 1.4, the support available is not sufficient to formulate preconditions, postconditions and invariants in a contract style. Most available third party products allow to formulate common preconditions, postconditions and invariants, some of them offer additional support for dealing with collections. Systems, implementing assertion support based on preprocessing have the major advantage, that the Java source code can be compiled with a standard Java compiler and that in every system any runtime penalties can be omitted when assertion checking is disabled. ContractJava and Jass are

Conclusion
VOL. 1, NO. 3 JOURNAL OF OBJECT TECHNOLOGY 15
interesting because of their special support for ensure behavioral subtyping (ContractJava) and for the additional support for trace assertions and change lists (Jass). For companies interested in applying assertion techniques in everday projects, Jcontract seems to be a suitable choice at present, as it sufficiently supports precondtions, postconditions and invariants and additionally provides tool support for automatically generating test cases from assertion specifications.

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

สรุป 5 แม้ว่า Sun Microsystems เพิ่มการยืนยันด้วยการแนะนำของการตรวจสอบเงื่อนไข Java ใน Java 1.4 สนับสนุนบาง สนับสนุนมีไม่เพียงพอที่จะกำหนดเงื่อนไข postconditions และ invariants ในรูปแบบสัญญา ใหญ่บุคคลผลิตภัณฑ์อนุญาตจะกำหนดเงื่อนไขทั่วไป postconditions และ invariants บางส่วนของพวกเขาให้การสนับสนุนเพิ่มเติมสำหรับจัดการกับคอลเลกชัน ระบบ การใช้ยืนยันสนับสนุนอิงประมวลผลเบื้องต้นมีประโยชน์ที่สำคัญ โค้ด Java สามารถถูกคอมไพล์ ด้วยคอมไพเลอร์จาวาที่เป็นมาตรฐาน และว่า ในทุกระบบ ลงโทษใด ๆ รันไทม์สามารถละเว้นเมื่อปิดใช้งานการตรวจสอบยืนยัน ContractJava และเซอยา สรุป ฉบับ 1 ฉบับที่ 3 วารสารเทคโนโลยีวัตถุ 15 น่าสนใจเนื่องจากการสนับสนุนของพวกเขาพิเศษสำหรับให้พฤติกรรม subtyping (ContractJava) และสำหรับการสนับสนุนเพิ่มเติมสำหรับการสืบค้นกลับ ยืนยันและเปลี่ยนแปลงรายการ (เซอยา) สำหรับบริษัทที่สนใจในการใช้เทคนิคการตรวจสอบเงื่อนไขในโครงการ everday, Jcontract น่าจะ เป็นตัวเลือกที่เหมาะในปัจจุบัน มันเพียงพอรองรับ precondtions, postconditions และ invariants และนอกจากนี้ให้การสนับสนุนเครื่องมือสำหรับการสร้างกรณีทดสอบโดยอัตโนมัติจากการยืนยันข้อมูลจำเพาะ

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

5 สรุป
แม้ว่า Sun Microsystems เพิ่มการสนับสนุนบางอย่างสำหรับการยืนยันด้วยการแนะนำของสิ่งอำนวยความสะดวก Java ยืนยันในชวา 1.4 การสนับสนุนที่มีอยู่ไม่เพียงพอที่จะกำหนดเงื่อนไข, postconditions และคงที่ในรูปแบบสัญญา ส่วนใหญ่ผลิตภัณฑ์ของบุคคลที่สามอนุญาตให้มีการกำหนดเงื่อนไขทั่วไป postconditions และค่าคงที่บางส่วนของพวกเขาให้การสนับสนุนเพิ่มเติมสำหรับการรับมือกับคอลเลกชัน ระบบการดำเนินการสนับสนุนการยืนยันบนพื้นฐานของการประมวลผลเบื้องต้นมีข้อได้เปรียบที่สำคัญว่ารหัสที่มา Java สามารถรวบรวมกับคอมไพเลอร์ Java มาตรฐานและในทุกระบบการลงโทษใด ๆ Runtime สามารถละเว้นเมื่อตรวจสอบยืนยันเป็นคนพิการ ContractJava และ Jass มี

ข้อสรุป
VOL 1 NO 3 วารสารของวัตถุเทคโนโลยี 15
ที่น่าสนใจเพราะการสนับสนุนพิเศษของพวกเขาสำหรับการตรวจสอบให้แน่ใจ subtyping พฤติกรรม (ContractJava) และสำหรับการสนับสนุนเพิ่มเติมสำหรับยืนยันการติดตามและการเปลี่ยนแปลงรายการ (Jass) สำหรับ บริษัท ที่สนใจในการใช้เทคนิคการยืนยันในโครงการ Everday, Jcontract น่าจะเป็นทางเลือกที่เหมาะสมในปัจจุบันขณะที่มันพอสนับสนุน precondtions, postconditions และค่าคงที่และยังให้การสนับสนุนเครื่องมือสำหรับการสร้างกรณีทดสอบจากข้อกำหนดยืนยันโดยอัตโนมัติ

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

5 สรุปแม้ว่า Sun Microsystems เพิ่มการสนับสนุนบางส่วนสำหรับยืนยันด้วยการเปิดตัวของ Java ยืนยันสิ่งอำนวยความสะดวกใน Java 1.4 สนับสนุนที่มีอยู่ไม่เพียงพอที่จะสร้างเงื่อนไขก่อนและ postconditions ผลยืนยงในลักษณะสัญญา ผลิตภัณฑ์ของบุคคลที่สามที่มีอยู่ส่วนใหญ่อนุญาตให้สร้างและ preconditions ทั่วไป postconditions ผลยืนยง บางส่วนของพวกเขาให้การสนับสนุนเพิ่มเติมสำหรับจัดการกับคอลเลกชัน ระบบสนับสนุนการดำเนินงานตามติดกันได้ ประโยชน์หลักที่ชวาซอร์สโค้ดสามารถคอมไพล์กับคอมไพเลอร์ Java มาตรฐานและทุกระบบ runtime สามารถละเว้นการลงโทษเมื่อตรวจสอบถูกปิด และมี contractjava แจซซ์สรุปฉบับที่ 1 วารสารฉบับที่ 3 ของวัตถุเทคโนโลยี 15น่าสนใจเพราะพิเศษสนับสนุนให้ subtyping พฤติกรรม ( contractjava ) และสำหรับการสนับสนุนเพิ่มเติมสำหรับ assertions ติดตามรายการเปลี่ยนแปลง ( แจ๊ส ) สำหรับ บริษัท ที่สนใจในการใช้เทคนิคในโครงการทุกวัน jcontract น่าจะเป็นทางเลือกที่เหมาะสม ปัจจุบัน มันเพียงพอรองรับ precondtions postconditions ผลยืนยง , และและนอกจากนี้ยังให้สนับสนุนเครื่องมือสร้างกรณีทดสอบโดยอัตโนมัติจากข้อมูลการยืนยัน