Despite the fact we had significant

Despite the fact we had significant gains of SoC metrics and reuse of DbC features
in favor of the AO implementations of HW system, we found out that reusing contracts
in some cases can be more di±cult than usually advertised. Contracts
reuse depends directly on their types (e.g. postconditions) and mainly if such contracts
is homogeneous or heterogenous. Since an invariant crosscuts several methods in a single class, it is naturally more reusable than pre- and postconditions
that are relative to one or few particular methods. Hence, the reuse of pre- and
postconditions are directly related to their homogeneity. In other words, if several
constrained methods present an intersection of common contracts, their reusability
can be improved. As an example, similarly to Lippert and Lopes [30], we found that
several methods in HW present the following homogeneous postcondition: JC.
ensures(result !¼ null). This postcondition states that every method using this
contract must return an object that is non-null. The same situation also occurred for
preconditions on input object parameters.

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

ถึงแม้ เรามีกำไรที่สำคัญของวัด SoC และนำของ DbCสามารถปฏิบัติการอ่าวของระบบ HW เราพบว่าสัญญา reusingในบางกรณีได้ di±cult กว่าปกติโฆษณา สัญญานำขึ้น บนชนิดของพวกเขา (เช่น postconditions) และส่วนใหญ่ถ้าเช่นสัญญาไม่เหมือน หรือ heterogenous เนื่องจากการบล็อก crosscuts วิธีการต่าง ๆ ในชั้นเรียนเดียว เป็นธรรมชาติเพิ่มเติมประกอบการกว่าก่อนและ postconditionsที่จะสัมพันธ์กับวิธีการเฉพาะหนึ่ง หรือสองสาม ดังนั้น นำก่อน และpostconditions โดยตรงเกี่ยวข้องกับ homogeneity ของพวกเขา ในคำอื่น ๆ ถ้าหลายวิธีการจำกัดปัจจุบันสี่แยกสัญญาทั่วไป reusability ของพวกเขาสามารถปรับปรุง เป็นตัวอย่าง ในทำนองเดียวกันกับ Lippert Lopes [30], เราพบว่าpostcondition เหมือนดังต่อไปนี้นำเสนอวิธีการต่าง ๆ ใน HW: เจซีใจ (ผล! ¼เป็น null) ด้วย Postcondition นี้ระบุว่า ทุกวิธีการใช้สัญญาต้องคืนวัตถุที่ไม่ใช่ null สถานการณ์เดียวกันยังเกิดขึ้นสำหรับล่วงบนพารามิเตอร์วัตถุการนำเข้า

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

แม้จะมีความจริงที่เรามีกำไรอย่างมีนัยสำคัญของตัวชี้วัด SoC และนำมาใช้ใหม่ของคุณสมบัติ DbC
ในความโปรดปรานของการใช้งานของระบบ AO HW เราพบว่าการนำสัญญา
ในบางกรณีสามารถดิเพิ่มเติม±ลัทธิกว่าที่โฆษณามักจะ สัญญา
ที่นำมาใช้ขึ้นอยู่โดยตรงในประเภทของพวกเขา (เช่น postconditions) และส่วนใหญ่ถ้าสัญญาดังกล่าว
เป็นเนื้อเดียวกันหรือ heterogenous ตั้งแต่คง crosscuts หลายวิธีในชั้นเรียนเดียวก็เป็นธรรมชาติที่นำมาใช้ใหม่มากกว่าก่อนและ postconditions
ว่าเป็นญาติกับหนึ่งหรือสองสามวิธีการโดยเฉพาะอย่างยิ่ง จึงนำมาใช้ก่อนและ
postconditions จะเกี่ยวข้องโดยตรงกับความสม่ำเสมอของพวกเขา ในคำอื่น ๆ ถ้าหลาย
วิธีการ จำกัด นำเสนอจุดตัดของสัญญาร่วมกันสามารถนำมาใช้ของพวกเขา
ได้ดีขึ้น ตัวอย่างเช่นในทำนองเดียวกันกับ Lippert และเปส [30] เราพบว่า
วิธีการต่างๆใน HW นำเสนอ Postcondition เนื้อเดียวกันต่อไปนี้:. JC
มั่นใจ (! ผล¼ null) Postcondition นี้ระบุว่าทุกวิธีใช้นี้
สัญญาจะต้องกลับวัตถุที่ไม่เป็นโมฆะ สถานการณ์เดียวกันก็เกิดขึ้นสำหรับ
ปัจจัยพื้นฐานในพารามิเตอร์วัตถุอินพุต

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

ทั้งๆ ที่ความจริงเราได้ผลประโยชน์สำคัญของตัวชี้วัดรายวิชา และใช้คุณสมบัติของ DBC
ในความโปรดปรานของภูมิภาคอ่าวระบบอหิงสา เราพบว่า การนำสัญญา
ในบางกรณีสามารถตี้±มากกว่าศาสนามากกว่าปกติที่ลงโฆษณา สัญญา
ใช้ขึ้นอยู่กับโดยตรงบนชนิดของพวกเขา ( เช่น postconditions ) และส่วนใหญ่ถ้าเช่นสัญญา
เป็นเนื้อเดียวกันหรือกลุ่ม .ตั้งแต่ crosscuts ค่าคงที่หลายวิธีการในชั้นเรียนเดียว มันเป็นธรรมชาติมากขึ้นกว่าก่อนและสามารถ postconditions
ที่สัมพันธ์กับหนึ่งหรือหลายวิธีการ โดยเฉพาะ ดังนั้น การใช้ pre -
postconditions มีความสัมพันธ์โดยตรงกับค่าของพวกเขา ในคำอื่น ๆถ้าบังคับวิธีการปัจจุบันหลาย
สี่แยกของสัญญาทั่วไป พวกเขาใช้
สามารถปรับปรุงตัวอย่าง เช่น Lippert Lopes [ 30 ] และพบว่าหลายวิธี
hw ปัจจุบันเป็นเนื้อเดียวกัน postcondition ต่อไปนี้ : JC .
ยืนยัน ( ได้ผล ! ¼ null ) นี้ postcondition ระบุว่า ทุกวิธีที่ใช้สัญญา
ต้องคืนวัตถุที่ไม่ null . สถานการณ์เดียวกันยังเกิดขึ้นสำหรับ
preconditions พารามิเตอร์วัตถุข้อมูล