However, none of this body of quant

However, none of this body of quantitative studies consider design by contract
concern as we do in this work. In this context, the most well-known study focusing on
the interplay between design by contract and AO was performed by Lippert and
Lopes . They used AO techniques to modularize design by contract features such
as pre- and postconditions in a large OO framework, called JWAN. Also, they
attempted to identify situations where it was easy to aspectize design by contract
code. However, it has some shortcomings that hinder its results to be extrapolated to
the development of real-like software systems. First, the target of the study was a
system where the design by contract is only homogeneous (not application-specific).
However, contracted systems can contains heterogeneous DbC (application-specific)
such those we found in the Health watcher . Second, their evaluation only considered
pre- and postconditions, whereas we also include invariants in our analysis.
Third, their overall assessment was performed only in terms of pluggability and
incremental development. Quantitative evaluation was performed only in terms of
number of LOC. The use of LOC in isolation is usually the target of severe criticisms
. For instance, in the context of the Lippert and Lopes study, the use of LOC as
the sole metric resulted in a narrow view of the e®ects of the aspectization of design
by contract on the program quality. They portrayed that the AO decompositions as
very superior to OO decompositions regarding system size.

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

อย่างไรก็ตาม ไม่มีการศึกษาเชิงปริมาณตัวนี้พิจารณาออกแบบ โดยสัญญาเกี่ยวข้องกับเราในงานนี้ ในบริบทนี้ การเน้นศึกษารู้จักมากที่สุดทำล้อระหว่างออกแบบ โดยสัญญาและอ่าว โดย Lippert และLopes พวกเขาใช้เทคนิคอ่าว modularize ออกแบบ โดยสัญญาลักษณะการทำงานดังกล่าวเป็นก่อน และ JWAN ที่เรียกว่า postconditions ในกรอบดาใหญ่ ยัง พวกเขาพยายามระบุสถานการณ์ที่มันแก่ aspectize ออกแบบ โดยสัญญารหัส อย่างไรก็ตาม มีการแสดงบางอย่างที่ขัดขวางผลของมันจะ extrapolated ไปการพัฒนาระบบซอฟต์แวร์เหมือนจริง ครั้งแรก เป้าหมายของการศึกษาคือการระบบที่ออกแบบ โดยสัญญาจะเป็นเนื้อเดียวกัน (ไม่เฉพาะโปรแกรมประยุกต์)อย่างไรก็ตาม ระบบสัญญาสามารถประกอบด้วยบริการ DbC (เฉพาะโปรแกรมประยุกต์)เช่นที่เราพบในสุขภาพ watcher ที่ สอง ประเมินการพิจารณาเท่านั้นก่อน และ postconditions ในขณะที่เรายังมี invariants ในการวิเคราะห์ของเราที่สาม ดำเนินการประเมินโดยรวมเฉพาะใน pluggability และการพัฒนาเพิ่มขึ้น ทำการประเมินเชิงปริมาณเฉพาะในแง่ของจำนวน LOC. การใช้ล็อคแยกมักจะเป็นเป้าหมายของการวิจารณ์อย่างรุนแรง. ในบริบทของการ Lippert และ Lopes ศึกษา การใช้ล็อคเป็นเช่นผลการวัดแต่เพียงผู้เดียวในมุมแคบที่อี ® ects ของ aspectization ของการออกแบบโดยสัญญากับโปรแกรม พวกเขาเซ็กส์ที่ decompositions อ่าวเป็นมากเหนือกว่า decompositions ดาเกี่ยวกับขนาดของระบบ

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

แต่ไม่มีผู้ใดของร่างกายจากการศึกษาเชิงปริมาณนี้พิจารณาการออกแบบโดยการทำสัญญา
ความกังวลที่เราทำในงานนี้ ในบริบทนี้การศึกษาส่วนใหญ่ที่รู้จักกันดีโดยมุ่งเน้นที่
การมีปฏิสัมพันธ์ระหว่างการออกแบบโดยการทำสัญญาและ AO ได้ดำเนินการโดย Lippert และ
เปส พวกเขาใช้เทคนิค AO จะ modularize การออกแบบโดยคุณสมบัติสัญญาดังกล่าว
เป็นก่อนและ postconditions ในกรอบ OO ขนาดใหญ่ที่เรียกว่า Jwan นอกจากนี้พวกเขา
พยายามที่จะระบุสถานการณ์ที่มันเป็นเรื่องง่ายที่จะ aspectize การออกแบบโดยการทำสัญญา
รหัส แต่ก็มีข้อบกพร่องบางอย่างที่เป็นอุปสรรคต่อผลของมันจะได้รับการประเมินเพื่อ
พัฒนาระบบซอฟแวร์ที่แท้จริงเหมือน ครั้งแรกที่เป้าหมายของการศึกษาเป็น
ระบบที่ออกแบบโดยการทำสัญญาเป็นเพียงเหมือนกัน (ไม่ได้ใช้เฉพาะ).
แต่หดตัวระบบสามารถมีต่างกัน DbC (ใช้เฉพาะ)
เช่นคนที่เราพบในผู้พิทักษ์สุขภาพ ประการที่สองการประเมินผลของพวกเขาพิจารณาเฉพาะ
ก่อนและ postconditions ในขณะที่เรายังรวมถึงค่าคงที่ในการวิเคราะห์ของเรา.
ประการที่สามการประเมินโดยรวมของพวกเขาได้รับการดำเนินการเฉพาะในแง่ของการ pluggability และ
การพัฒนาที่เพิ่มขึ้น การประเมินผลเชิงปริมาณได้ดำเนินการเฉพาะในแง่ของ
จำนวนของ LOC การใช้งานของ LOC
ในการแยกมักจะเป็นเป้าหมายของการวิพากษ์วิจารณ์อย่างรุนแรง ยกตัวอย่างเช่นในบริบทของการศึกษา Lippert และโลเปส, การใช้งานของ LOC เป็น
ตัวชี้วัดเดียวที่ส่งผลในมุมมองแคบ ๆ ของe®ectsของ aspectization ของการออกแบบ
โดยการทำสัญญาที่มีต่อคุณภาพของโปรแกรม พวกเขาแสดงให้เห็นว่าการสลายตัว AO เป็น
ดีกว่ามากที่จะสลายตัว OO เกี่ยวกับขนาดของระบบ

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

อย่างไรก็ตาม ไม่มีร่างกายนี้ของการศึกษาเชิงปริมาณการออกแบบโดยพิจารณาเกี่ยวกับสัญญา
อย่างที่เราทำในงานนี้ ในบริบทนี้ที่เป็นที่รู้จักมากที่สุดการศึกษาเน้น
ความสัมพันธ์ระหว่างการออกแบบโดยย่อและอ่าวโดยใช้ Lippert และ
Lopes . พวกเขาใช้เทคนิคอ่าวเพื่อ modularize ออกแบบโดยสัญญาลักษณะดังกล่าว
ก่อนและ postconditions ในกรอบ ุขนาดใหญ่เรียกว่า jwan . นอกจากนี้พวกเขา
พยายามที่จะระบุสถานการณ์ที่มันเป็นเรื่องง่ายที่จะ aspectize ออกแบบโดยรหัสสัญญา

แต่ก็มีจุดอ่อนที่ขัดขวางผลของมันจะคาด

การพัฒนาที่แท้จริง เช่น ระบบซอฟต์แวร์ แรก , เป้าหมายของการศึกษา คือ ระบบที่ออกแบบโดยสัญญา
เป็นเนื้อเดียวกัน ( ไม่เฉพาะใบสมัคร ) .
อย่างไรก็ตามระบบสัญญาสามารถประกอบด้วยข้อมูล DBC ( เฉพาะเจาะจง )
เช่นนั้นผู้ที่เราพบในการสุขภาพ 2 การประเมินถือว่า
ก่อนและ postconditions ในขณะที่เรายังมีผลยืนยงในการวิเคราะห์ของเรา .
3 การประเมินโดยรวมของพวกเขาโดยเฉพาะในแง่ของ pluggability และการพัฒนาแบบเพิ่มหน่วย การประเมินผลเชิงปริมาณ โดยเฉพาะในแง่ของ
จำนวนที่ตั้ง ใช้ล็อคแยกมักจะเป็นเป้าหมายของการวิพากษ์วิจารณ์รุนแรง

ตัวอย่างเช่น ในบริบทของการศึกษาและใช้ Lippert โลเปซ , loc เช่น
( แต่เพียงผู้เดียว ) ในมุมมองแคบของ E ®ผลของ aspectization ออกแบบ
โดยสัญญาในคุณภาพของโปรแกรม พวกเขาปรากฎว่า decompositions อ่าวเป็น
มากกว่า ุ decompositions เกี่ยวกับขนาดของระบบ