The last column of Table 1 shows bu

The last column of Table 1 shows bugs that do not fall
into the activity/event/type categories. Some examples include
unhandled exceptions, API errors, I/O errors, or concurrency
errors. We plan to pursue a two-prong approach
for detecting these classes of bugs. First, we will model the
correct invocation of certain I/O and concurrency primitives
as state machines [21], which will allow us to compare application
logs with the model and find I/O and concurrency
errors. Second, we plan to graft our model-based verification
onto Java static analysis tools, e.g., WALA [11], to permit
pattern and state-machine violations at compile-time, rather
than via automated testing.

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

คอลัมน์สุดท้ายของตารางที่ 1 แสดงให้เห็นถึงข้อบกพร่องที่ไม่ตก
เข้าไปในกิจกรรม / เหตุการณ์ / ประเภทชนิด ตัวอย่าง ได้แก่
ข้อยกเว้นที่ไม่สามารถจัดการข้อผิดพลาด API, I / O ผิดพลาดหรือเห็นพ้องด้วย
ข้อผิดพลาด เราวางแผนที่จะไล่ตามวิธีการสองง่าม
สำหรับการตรวจสอบชั้นเรียนเหล่านี้ของข้อบกพร่อง อันดับแรกเราจะจำลอง
การภาวนาที่ถูกต้องของบาง I / O และวิทยาการเห็นพ้อง
เป็นเครื่องรัฐ [21] ซึ่งจะช่วยให้เราสามารถเปรียบเทียบการประยุกต์ใช้
บันทึกด้วยรูปแบบและหา I / O และเห็นพ้องด้วย
ข้อผิดพลาด ประการที่สองเราวางแผนที่จะรับสินบนการตรวจสอบตามโมเดลของเรา
บนเครื่องมือในการวิเคราะห์แบบคงที่ Java เช่น WALA [11] เพื่ออนุญาตให้มี
รูปแบบและการละเมิดรัฐเครื่องที่รวบรวมเวลาค่อนข้าง
กว่าผ่านการทดสอบแบบอัตโนมัติ

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

คอลัมน์สุดท้ายของตารางที่ 1 แสดงให้เห็นถึงข้อบกพร่องที่ไม่ตก
ในกิจกรรม / เหตุการณ์ / ประเภทประเภท ตัวอย่างบางส่วนรวมถึง
unhandled ยกเว้นข้อผิดพลาด API , I / O การ
ข้อผิดพลาดหรือข้อผิดพลาด เราวางแผนที่จะไล่ตามวิธีการเหล่านี้สองง่าม
ชั้นเรียนของแมลง แรกเราจะจำลอง
การถูกต้องของบาง I / O และทุเรศทุรัง primitives
เป็นเครื่องรัฐ [ 21 ]ซึ่งจะช่วยให้เราสามารถเปรียบเทียบการบันทึกด้วยรูปแบบและหา

พร้อมกัน I / O และข้อผิดพลาด ประการที่สอง เราวางแผนการตรวจสอบของเราบน Java คงที่
สำหรับเครื่องมือวิเคราะห์เช่น wala [ 11 ] เพื่อให้รูปแบบและสภาพเครื่องการละเมิด

ที่รวบรวมเวลา ค่อนข้างมากกว่าผ่านทางอัตโนมัติทดสอบ