Development of the HW Base Release.

Development of the HW Base Release. In the first phase, we implemented
the design by contract concern for the OO and AO base release of the HW system,
which is already available and implemented in Java and AspectJ , respectively.
As mentioned above, HW comprises several classical crosscutting concerns, but no
existing quantitative work have explored the design by contract one. Hence, we
analyzed the, entire available, requirements document of the HW system to understand
its functionalities and involved actors. This analysis was fundamental to recognize
the HW's design constraints in terms of pre-, postconditions, and invariants
. The implementation comprehends both homogeneous and heterogeneous contracts
for the HW use cases. We found some inconsistences of the original HW
implementation by its validation with contracts. Since this task is out of scope, we
just mention that we made an alignment (fixing the found bugs) of the HW implementation
to fulfil its requirements. Moreover, a number of test cases were exhaustively
used for all the used releases of the Java and AspectJ versions of the HW
system. This assure that the comparison conducted between the object-oriented
(OO) and aspect-oriented (AO) versions was fair.

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

การพัฒนาที่วางจำหน่ายฐาน HW ในขั้นตอนแรกที่เราดำเนินการ
ออกแบบโดยความกังวลสัญญา OO และ AO ปล่อยฐานของระบบ HW,
ซึ่งมีอยู่แล้วและดำเนินการใน Java และ AspectJ ตามลำดับ.
ดังกล่าวข้างต้น HW ประกอบด้วยกังวลตัดตามขวางคลาสสิกหลาย แต่ไม่มี
ที่มีอยู่ทำงานเชิงปริมาณมีการสำรวจออกแบบตามสัญญาหนึ่ง ดังนั้นเรา
วิเคราะห์, ทั้งหมดที่มีเอกสารความต้องการของระบบ HW ที่จะเข้าใจ
ฟังก์ชันการทำงานและนักแสดงมีส่วนร่วมของ การวิเคราะห์นี้เป็นพื้นฐานที่จะยอมรับ
ข้อ จำกัด ของการออกแบบ HW ในแง่ของก่อน, postconditions
และค่าคงที่ การดำเนิน comprehends ทั้งสัญญาเหมือนกันและต่างกัน
สำหรับการใช้งานกรณี HW เราพบ inconsistences บางส่วนของเดิม HW
การดำเนินงานโดยการตรวจสอบกับสัญญา เนื่องจากงานนี้อยู่นอกขอบเขตเรา
เพียงแค่พูดถึงว่าเราทำการจัดตำแหน่ง (แก้ไขข้อบกพร่องที่พบ) ของการดำเนินงาน HW
ที่จะตอบสนองความต้องการของตน นอกจากนี้จำนวนของกรณีทดสอบอย่างละเอียดถี่ถ้วนถูก
ใช้สำหรับทุกรุ่นที่ใช้ของ Java และรุ่น AspectJ ของ HW
ระบบ นี้มั่นใจว่าการเปรียบเทียบระหว่างดำเนินการเชิงวัตถุ
(OO) และด้านการมุ่งเน้น (AO) รุ่นที่เป็นธรรม

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

การพัฒนาของ hw ฐานปล่อย ในขั้นตอนแรกเราใช้
ออกแบบโดยสัญญากังวลสำหรับ OO และปล่อยฐานอ่าวของระบบ HW
ซึ่งมีอยู่แล้ว , ใช้กับ Java และ aspectj ตามลำดับ
ดังกล่าวข้างต้น , HW ประกอบด้วยหลายคลาสสิกโค่นความกังวล แต่ปริมาณงานที่มีอยู่ไม่
มีสํารวจออกแบบโดยสัญญาหนึ่ง . ดังนั้นเรา
วิเคราะห์ทั้งหมดของความต้องการเอกสารของระบบ HW เข้าใจ
ของฟังก์ชัน และเกี่ยวข้องกับนักแสดง นี้การวิเคราะห์พื้นฐานจำ
HW ออกแบบข้อจำกัดในแง่ของ pre - , postconditions และผลยืนยง

การใช้ข้อมูลทั้งสองเป็นเนื้อเดียวกันและ comprehends สัญญา
สำหรับ HW กรณีใช้ . เราพบ inconsistences ของ
hw ต้นฉบับดำเนินการโดยการตรวจสอบกับสัญญา เพราะงานนี้ไม่มีขอบเขต เราแค่พูดถึง
เราได้แนวร่วม ( การแก้ไขพบข้อบกพร่อง ) ของการใช้
hw เพื่อตอบสนองความต้องการของ นอกจากนี้จำนวนของกรณีทดสอบอย่างละเอียดถี่ถ้วน
ใช้ทั้งหมดที่ใช้รุ่นของ Java และ aspectj รุ่นของระบบ HW

นี้มั่นใจว่า การเปรียบเทียบระหว่างการจัด
( OO ) และด้านมุ่งเน้น ( อ่าว ) รุ่นได้พอใช้