Abstract There is some evidence, th

Abstract There is some evidence, that assertion techniques, i.e., preconditions, postconditions and invariants have a positive effect on the overall software quality. Unfortunately only a limited number of commercially relevant programming languages support assertion techniques (e.g., Eiffel). Even modern programming languages like Java have very limited built-in support for assertions. Nevertheless a number of systems exist for the the Java programming language, that support assertion techniques in different ways (language extensions, preprocessors, metaprogramming approaches). In order to make these different approaches comparable we developed a set of criteria and used these criteria to evaluate these systems.

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

บทคัดย่อมีหลักฐานบางอย่าง ว่า เทคนิคการตรวจสอบเงื่อนไข เช่น ปัจจัยพื้นฐาน postconditions และ invariants มีผลดีโดยรวมซอฟต์แวร์ที่มีคุณภาพได้ น่าเสียดายเพียงจำนวนจำกัดที่เกี่ยวข้องในเชิงภาษาสนับสนุนยืนยันเทคนิคการเขียนโปรแกรม (เช่น Eiffel) ทันสมัยแม้ภาษาการเขียนโปรแกรมเช่น Java มีมากจำกัดสนับสนุนในตัวสำหรับยืนยัน อย่างไรก็ตาม จำนวนของระบบที่มีอยู่สำหรับการเขียนโปรแกรมภาษา Java ที่สนับสนุนเทคนิคการตรวจสอบเงื่อนไขในลักษณะต่าง ๆ (ส่วนขยายของภาษา preprocessors วิธี metaprogramming) เพื่อให้วิธีการต่าง ๆ เหล่านี้เทียบเท่า เราพัฒนาชุดของเกณฑ์ และใช้เกณฑ์ในการประเมินระบบเหล่านี้

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

บทคัดย่อมีหลักฐานบางอย่างคือว่าเทคนิคการยืนยันคือปัจจัยพื้นฐาน, postconditions และคงมีผลกระทบในเชิงบวกเกี่ยวกับซอฟต์แวร์ที่มีคุณภาพโดยรวม แต่น่าเสียดายที่เพียงจำนวน จำกัด ของภาษาโปรแกรมที่เกี่ยวข้องในเชิงพาณิชย์สนับสนุนเทคนิคการยืนยัน (เช่นหอไอเฟล) แม้การเขียนโปรแกรมภาษาที่ทันสมัยเช่น Java ได้ จำกัด มากในตัวสนับสนุนสำหรับการยืนยัน อย่างไรก็ตามจำนวนของระบบที่มีอยู่สำหรับการเขียนโปรแกรมภาษา Java, ว่าเทคนิคสนับสนุนการยืนยันในรูปแบบที่แตกต่างกัน (ส่วนขยายภาษา preprocessors วิธี metaprogramming) เพื่อที่จะทำให้วิธีการที่แตกต่างกันเหล่านี้เปรียบเราพัฒนาชุดของเกณฑ์และใช้เกณฑ์เหล่านี้ในการประเมินระบบเหล่านี้

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

บทคัดย่อมีหลักฐานบางอย่างที่ยืนยันเทคนิคคือ preconditions postconditions ผลยืนยงและมีผลดีต่อคุณภาพของซอฟต์แวร์โดยรวม แต่น่าเสียดายที่เพียงจำนวน จำกัด ของภาษาโปรแกรมสนับสนุนยืนยันเทคนิคในเชิงพาณิชย์ที่เกี่ยวข้อง ( เช่น หอไอเฟล ) แม้ว่าการเขียนโปรแกรมภาษาเช่น Java ได้ทันสมัยมาก จำกัด ในตัวสนับสนุนสำหรับ assertions . อย่างไรก็ตามตัวเลขของระบบที่มีอยู่ในภาษาการเขียนโปรแกรมภาษาจาวา ที่สนับสนุนเทคนิคยืนยันในรูปแบบที่แตกต่างกัน ( นามสกุลภาษา preprocessors โกปาเดลเรย์ , แนว ) เพื่อให้แนวทางต่างๆ เหล่านี้เปรียบเราพัฒนาชุดของเกณฑ์และใช้เกณฑ์เหล่านี้ประเมินระบบเหล่านี้