Table 1 shows a summary of the key

Table 1 shows a summary of the key results from this systematic review. For each search question, the papers are classified based on the parallel programming paradigm (mes- sage passing or multithreaded), the proposed technique and the programming language. Several contributions are re- lated to the testing approach definition, which present the proposition of the different testing techniques (mainly for multithreaded parallel programs). Most of the testing tools concentrate on multithreaded Java programs.
Figure 1 shows the relationship between some selected au- thors, from the systematic review. The diagram contains frames that represent authors group, according to their dif- ferent research areas. Frame A presents authors research- ing into monitoring, scheduling, preemption and model check- ing. Frame B presents authors that work with in testing tools development and authors researching into mechanisms to detect concurrent bugs, in general, using concurrent pro- grams benchmarks. Frame C presents authors that work with model-based testing, reachability testing and determin- istic execution. Frame D presents authors that work with structural testing criteria and support tools for coverage test of concurrent programs.

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

ตารางที่ 1 แสดงสรุปผลที่สำคัญจากการตรวจสอบอย่างเป็นระบบนี้ สำหรับแต่ละคำถามค้นหาเอกสารที่จะมีการจัดขึ้นอยู่กับกระบวนทัศน์การเขียนโปรแกรมแบบขนาน (ผ่านข่าวสารปราชญ์หรือแบบมัลติเธรด) เทคนิคการเสนอและการเขียนโปรแกรมภาษา หลายผลงานที่เป็นอีก lated คำนิยามวิธีการทดสอบซึ่งนำเสนอเรื่องของเทคนิคการทดสอบที่แตกต่างกัน (ส่วนใหญ่สำหรับโปรแกรมคู่ขนานแบบมัลติเธรด) ที่สุดของเครื่องมือทดสอบสมาธิในการโปรแกรมแบบมัลติเธรด java.
รูปที่ 1 แสดงให้เห็นถึงความสัมพันธ์ระหว่างบางลา thors เลือกจากการตรวจสอบระบบ แผนภาพมีภาพที่เป็นตัวแทนของกลุ่มผู้เขียนตามการวิจัยในพื้นที่แตกต่างกันของพวกเขากรอบผู้เขียนนำเสนองานวิจัยของไอเอ็นจีในการตรวจสอบการตั้งเวลาจอง, และรูปแบบการตรวจสอบไอเอ็นจี กรอบขที่มีการจัดผู้เขียนที่ทำงานร่วมกับในการพัฒนาเครื่องมือการทดสอบการวิจัยและผู้เขียนเป็นกลไกในการตรวจสอบข้อผิดพลาดที่เกิดขึ้นพร้อมกันโดยทั่วไปใช้มาตรฐานโปรกรัมพร้อมกัน กรอบคที่มีการจัดผู้เขียนที่ทำงานร่วมกับการทดสอบรูปแบบตามการทดสอบสามารถในการเข้าถึงและการดำเนินการ determin-istic กรอบงที่มีการจัดผู้เขียนที่ทำงานกับเกณฑ์การทดสอบโครงสร้างและเครื่องมือสำหรับการทดสอบการสนับสนุนที่ครอบคลุมของโปรแกรมพร้อมกัน

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

ตารางที่ 1 แสดงสรุปผลสำคัญจากการตรวจทานนี้ระบบ คำค้นหา เอกสารประเภทตามกระบวนทัศน์การเขียนโปรแกรมแบบขนาน (mes ปราชญ์ passing หรือให้), การนำเสนอเทคนิคและภาษาการเขียนโปรแกรม มีผลงานหลายเรื่อง-lated ข้อกำหนดวิธีทดสอบ ซึ่งนำเสนอเทคนิคการทดสอบต่าง ๆ (ส่วนใหญ่ใช้สำหรับให้โปรแกรมแบบขนาน) ส่วนใหญ่การทดสอบเครื่องมือข้นบนให้ Java โปรแกรม
รูปที่ 1 แสดงความสัมพันธ์ระหว่างบางเลือก au-thors จากการทบทวนระบบการ ไดอะแกรมประกอบด้วยเฟรมที่เป็นตัวแทนของกลุ่มผู้สร้าง ตาม dif ferent วิจัยของพวกเขา กรอบการนำเสนอผู้เขียนวิจัย-ing เข้าตรวจสอบ วางแผน preemption และรุ่นเครื่องกำลัง เฟรม B แสดงผู้เขียนที่ใช้ในการพัฒนาเครื่องมือทดสอบและวิจัยในกลไกผู้เขียนตรวจหาข้อบกพร่องที่เกิดขึ้นพร้อมกัน ทั่วไป โดยใช้เกณฑ์มาตรฐานกรัมโปรพร้อมกัน กรอบ C นำเสนอผู้เขียนที่ใช้งานตามรูปแบบการทดสอบ reachability ทดสอบและ determin - istic ดำเนินการ เฟรม D แสดงผู้เขียนที่ทำงานกับโครงสร้างที่ทดสอบเงื่อนไข และสนับสนุนเครื่องมือสำหรับการทดสอบความครอบคลุมของโปรแกรมพร้อมกัน

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

ตารางที่ 1 จะแสดงข้อมูลสรุปของผลปุ่มที่จากการตรวจสอบอย่างเป็นระบบนี้ สำหรับคำถามแต่ละการค้นหาเอกสารที่ได้รับการจัด ประเภท ว่าตามกระบวนทัศน์การตั้งโปรแกรมแบบคู่ขนาน(แบบมัลติเธรด( multithreaded )หรือสีสันแต่งแต้ม - Sage ผ่าน)โดยการใช้เทคนิคที่เสนอและ ภาษา การตั้งโปรแกรมได้ การบริจาคเงินจำนวนมากมีอีกครั้ง - พฤศจิกายนเพื่อความละเอียดการทดสอบวิธีการที่ซึ่งปัจจุบันมีข้อเสนอที่ใช้เทคนิคการทำการทดสอบที่แตกต่างกันไป(ส่วนใหญ่เป็นแบบมัลติเธรด( multithreaded )สำหรับโปรแกรมแบบคู่ขนาน) เครื่องมือการทดสอบที่เข้มข้นมากที่สุดในโปรแกรม Java แบบมัลติเธรด( multithreaded ). N รูปที่ 1 แสดงถึงความสัมพันธ์ระหว่างที่เลือกใช้งาน AU - thors บางอย่างจากการตรวจสอบอย่างเป็นระบบได้ แผน ภาพ ที่ประกอบด้วยเฟรมที่เป็นตัวแทนกลุ่มผู้เขียนตามชนิด - พื้นที่การวิจัย ferent ของพวกเขาเฟรมที่มีผู้เขียนงานวิจัย - ไอเอ็นจีประกันชีวิตในการจัดตารางเวลาและการตรวจสอบก่อนรุ่นตรวจสอบ - ไอเอ็นจีประกันชีวิต เฟรม B จะนำเสนอผู้เขียนที่ทำงานด้วยในเครื่องมือการทดสอบผู้เขียนและพัฒนาการศึกษาวิจัยเป็นกลไกในการตรวจสอบรวมทั้งบักพร้อมกันโดยทั่วไปโดยใช้การวัด ประสิทธิภาพ Pro - กรัมใช้งานพร้อมกัน เฟรม C นำเสนอผู้เขียนที่ทำงานร่วมกับการทดสอบรุ่นที่ใช้การประมวลผลการทดสอบการเข้าถึงและ determin - (. เฟรม D นำเสนอผู้เขียนที่ทำงานด้วยเครื่องมือการสนับสนุนและเกณฑ์การทดสอบโครงสร้างสำหรับการทดสอบระยะครอบคลุมของหลายโปรแกรมได้พร้อมกัน