Our study focused on the placement

Our study focused on the placement of contracts. We refactored all the
JC.requires, JC.ensures, and JC.invariant calls in the selected portions of the selected
target system to aspects. These methods are declared in the JC class which encapsulate
all the Java contract (assertion) operations. We used the Extract Fragment to
Advice refactoring to move contracts to aspects. Figure 1 illustrates these mechanics.
It shows a trivial example of aspectization of preconditions using a before
advice. Note that since the two methods of the class C have the same precondition
,
we were able to refactor it to single advice, hence exploring reuse opportunities.
Likewise, we modularize the postcondition  in a single after returning advice. We use after returning advice since the postcondition should be established
just after the normal termination of a method. In this paper, we do not consider
exceptional postconditions. Regarding invariants, we use both before and
after returning advice for modularizing invariant constraints.
According to the semantics of invariants, they should be established just after
the normal termination of a constructor's execution and before and after execution of
every instance method of a particular class. The left hand side of Fig. 3 illustrates how scattered and tangled a Java implementation of an invariant constraint becomes.

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

เราเน้นการวางสัญญา เรา refactored ทั้งหมดโทร JC.requires, JC.ensures และ JC.invariant ในส่วนที่เลือกที่เลือกระบบการด้าน วิธีการเหล่านี้จะถูกประกาศในชั้นเจซีที่ซ่อนทั้งหมด Java สัญญา (ยืนยัน) การดำเนินการ เราใช้ส่วนขยายการคำแนะนำในการ refactoring ย้ายสัญญาด้าน รูปที่ 1 แสดงกลไกเหล่านี้แสดงตัวอย่างเล็กน้อยของ aspectization ของเงื่อนไขเบื้องต้นที่ใช้ได้ก่อนคำแนะนำ โปรดทราบว่า เนื่องจากวิธีการสองของคลาส C มีเงื่อนไขเดียวกันเราได้จะ refactor เพื่อคำแนะนำเดียว สำรวจโอกาสในการนำมาใช้ใหม่ดังนั้นในทำนองเดียวกัน เรา modularize postcondition ในครั้งเดียวหลังจากพบคำแนะนำ เราใช้หลังจากพบคำแนะนำเนื่องจาก postcondition ที่ควรจะก่อตั้งขึ้นหลังสิ้นสุดปกติของวิธีการ ในเอกสารนี้ เราไม่พิจารณาpostconditions ยอดเยี่ยม เกี่ยวกับ invariants เราใช้ทั้งก่อน และหลังจากพบคำแนะนำสำหรับ modularizing นิ่งจำกัดตามความหมายของ invariants พวกเขาควรจะก่อตั้งก็ปกติการหยุดชะงัก ของการดำเนินการของตัวสร้าง และก่อน และ หลังดำเนินการทุกวิธีอินสแตนซ์ของคลาสเฉพาะ ด้านซ้ายมือของ Fig. 3 แสดงการกระจาย และ tangled Java ใช้งานของข้อจำกัดไม่เปลี่ยนแปลงจะ

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

การศึกษาของเรามุ่งเน้นไปที่การจัดวางของสัญญา เรา refactored ทั้งหมด
JC.requires, JC.ensures และ JC.invariant เรียกร้องในส่วนที่เลือกของเลือก
ระบบเป้าหมายด้าน วิธีการเหล่านี้มีการประกาศในชั้น JC ซึ่งแค็ปซูล
ทุกสัญญา Java (ยืนยัน) การดำเนินงาน เราใช้สารสกัดจากส่วนที่จะ
แนะ refactoring สัญญาที่จะย้ายไปยังด้าน รูปที่ 1 แสดงให้เห็นถึงกลไกเหล่านี้.
มันแสดงให้เห็นเป็นตัวอย่างเล็ก ๆ น้อย ๆ ของ aspectization ของปัจจัยพื้นฐานโดยใช้ก่อนที่จะ
ให้คำแนะนำ โปรดทราบว่าตั้งแต่สองวิธีการคลาส C มีเงื่อนไขเดียวกันได้หรือไม่,
เราสามารถที่จะ refactor มันคำแนะนำเดียวด้วยเหตุนี้การสำรวจโอกาสนำมาใช้ใหม่.
ในทำนองเดียวกันเรา modularize Postcondition? ในครั้งเดียวหลังจากที่กลับมาให้คำแนะนำ เราใช้หลังจากที่กลับมาให้คำแนะนำตั้งแต่ Postcondition ควรได้รับการจัดตั้งขึ้น
หลังการเลิกจ้างตามปกติของวิธีการ ในบทความนี้เราจะไม่ได้พิจารณา
postconditions พิเศษ เกี่ยวกับค่าคงที่เราจะใช้ทั้งก่อนและ
หลังจากที่คำแนะนำกลับมา modularizing ข้อ จำกัด คงที่.
ตามความหมายของค่าคงที่ที่พวกเขาควรได้รับการจัดตั้งขึ้นหลัง
การเลิกจ้างตามปกติของการดำเนินการของตัวสร้างและก่อนและหลังการดำเนินการของ
วิธีการทุกกรณีของการเรียนโดยเฉพาะอย่างยิ่ง ด้านซ้ายมือของรูป 3 แสดงให้เห็นถึงวิธีการกระจายและพันกันใช้ Java การ จำกัด คงที่จะกลายเป็น

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

การศึกษาของเราเน้นการจัดวางของสัญญา เรา refactored ทั้งหมด
jc.requires jc.ensures , และ jc.invariant สายในส่วนของเป้าหมายที่เลือก
ระบบด้าน วิธีการเหล่านี้จะถูกประกาศไว้ในคลาส JC ซึ่งสรุป
ทั้งหมด Java สัญญา ( ยืนยัน ) งาน เราใช้สารสกัดจาก ~

แนะนำวาริทย้ายสัญญา ด้านรูปที่ 1 แสดงให้เห็นถึงกลไกเหล่านี้ มันแสดงให้เห็นเป็นตัวอย่างเล็กๆน้อยๆของ
aspectization ของ preconditions ใช้ก่อน
คำแนะนำ ทราบว่า ตั้งแต่สองวิธีของ Class C มี
เงื่อนไขเดียวกัน
เราสามารถวิศวกรระบบให้คำแนะนำเดียวจึงสำรวจโอกาสใหม่ .
เช่นเดียวกัน เรา modularize ที่ postcondition  ในครั้งเดียวหลังจากกลับมาแนะนำเราใช้หลังจากกลับมาแนะนำตั้งแต่ postcondition ควรก่อตั้ง
หลังจากสิ้นสุดปกติของวิธีการ ในกระดาษนี้เราไม่พิจารณา
postconditions ยอดเยี่ยม เกี่ยวกับผลยืนยง เราใช้ทั้งก่อน และหลังกลับมาแนะนำ modularizing ไม่เปลี่ยนแปลง

ข้อจํากัด ตามความหมายของผลยืนยง พวกเขาควรจะก่อตั้งขึ้นหลังจาก
ปกติการสิ้นสุดของการเป็นผู้รับเหมาก่อสร้าง และก่อนและหลังการดำเนินการของ
ทุกวิธีอินสแตนซ์ของชั้นโดยเฉพาะ มือข้างซ้ายของรูปที่ 3 แสดงให้เห็นถึงวิธีการที่กระจัดกระจายยุ่งเหยิง Java ใช้มีข้อจำกัดความกลายเป็น