. If weaker assertionsare specified

. If weaker assertions
are specified, erroneous states induced by the test execution
do not necessarily cause assertion violations, leading to
false negatives. Detecting these false negatives is challenging
since the insufficiently written PUTs would just pass. In
this paper, we propose a novel mutation analysis approach
for analyzing PUTs written by developers and identifying
likely locations in PUTs for improvement. The proposed
approach is a first step towards helping developers write
better PUTs in practice.

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

. ถ้า assertions แกร่งอเมริการะบุ ข้อผิดพลาดจะเกิดจากการดำเนินการทดสอบไม่จำเป็นต้องทำสาเหตุยืนยันละเมิด นำไปสิ่งเท็จ ตรวจสอบสิ่งเหล่านี้เป็นเท็จเป็นความท้าทายเนื่องจากเพิ่งจะผ่านทำให้เขียน insufficiently ในกระดาษนี้ เราเสนอวิธีการวิเคราะห์การกลายพันธุ์นวนิยายการวิเคราะห์ทำให้เขียน โดยนักพัฒนาและระบุสถานโอกาสในทำให้การปรับปรุง การนำเสนอวิธีเป็นขั้นตอนแรกไปช่วยให้นักพัฒนาเขียนทำให้ดีขึ้นในทางปฏิบัติ

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

. หากยืนยันที่อ่อนแอกว่า
ที่ระบุไว้ในรัฐที่ผิดพลาดที่เกิดจากการดำเนินการทดสอบ
ไม่จำเป็นต้องทำให้เกิดการละเมิดการยืนยันที่นำไปสู่
​​เชิงลบเท็จ การตรวจสอบเชิงลบที่ผิดพลาดเหล่านี้เป็นสิ่งที่ท้าทาย
เนื่องจากทำให้เขียนไม่เพียงพอก็จะผ่าน ใน
บทความนี้เรานำเสนอวิธีการวิเคราะห์การกลายพันธุ์นวนิยาย
สำหรับการวิเคราะห์ทำให้เขียนโดยนักพัฒนาและการระบุ
สถานที่ที่มีแนวโน้มในการทำให้การปรับปรุง นำเสนอ
วิธีการที่เป็นขั้นตอนแรกในการช่วยให้นักพัฒนาเขียน
ทำให้ดีขึ้นในทางปฏิบัติ

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

. ถ้าอ่อนแอ assertions
จะระบุรัฐที่ผิดพลาดที่เกิดจากการดำเนินการทดสอบ
ไม่จําเป็นต้องก่อให้เกิดการละเมิดการไปสู่
เชิงลบเท็จ การตรวจสอบเชิงลบเท็จเหล่านี้เป็นสิ่งที่ท้าทาย
ตั้งแต่ไม่เขียนใส่ก็ผ่าน ใน
กระดาษนี้เราเสนอนวนิยายการวิเคราะห์การเปลี่ยนแปลงวิธีการวิเคราะห์จะเขียนโดยนัก

และ ระบุแนวโน้มสถานที่ให้สำหรับการปรับปรุง เสนอวิธีการเป็นขั้นตอนแรกที่มีต่อ

ช่วยให้นักพัฒนาเขียนดีกว่าใส่ในการปฏิบัติ