A dynamic slice, as originally pres

A dynamic slice, as originally presented in [19], is an executable part of the program whose behavior is identical, for the same program input, to that of the original program with respect to a variable of interest at some execution position. A slicing criterion of program P executed on program input x is a tuple C=(x,yq) where yq is a variable at execution position q. An executable dynamic slice of program P on slicing criterion C is any syntactically correct and executable program P’ that is obtained from P by deleting zero or more statements, and when executed on program input x produces an execution trace T’x for which there exists the corresponding execution position q’ such that the value of yq in Tx equals the value of yq’ in T’x. A dynamic slice P’ preserves the value of y for a given program input x. The goal in dynamic slicing is to find the slice with the minimal number of statements, but, in general, this goal may not be achievable. However, it is possible to determine a safe approximation of the dynamic slice that preserves the computation of the value of a variable of interest. For example, Figure 2 shows an executable dynamic slice of the program of Figure 1a. 4 Notice that when the original program of Figure 1a and its dynamic slice of Figure 2 are executed on input: n=3, a=(1,2,3), the value of variable max at statement 15 is the same.

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

ชิ้นแบบไดนามิก นำเสนอเป็นตอนแรก [19], เป็นส่วนปฏิบัติการได้ของโปรแกรมที่มีลักษณะเป็นเหมือน ป้อนข้อมูล โปรแกรมเดิมกับตัวแปรที่น่าสนใจที่บางตำแหน่งการดำเนินการที่โปรแกรมเดียวกัน เกณฑ์ slicing ของโปรแกรมดำเนินการป้อนข้อมูลโปรแกรม P x เป็น C=(x,yq) ทูเพิลที่ yq เป็นตัวแปรในการดำเนินการตำแหน่ง q ชิ้นแบบไดนามิกการปฏิบัติของโปรแกรม P แบ่งเกณฑ์ C จะถูกต้อง และปฏิบัติโปรแกรม P' ที่ได้รับมาจาก P โดยลบเป็นศูนย์ หรือมากกว่างบ และเมื่อดำเนินการกับโปรแกรมอินพุต x ก่อให้เกิดการดำเนินติดตาม T'x ซึ่งมีคิวตำแหน่งการดำเนินการที่สอดคล้องกัน ' เช่นว่าค่า yq ใน Tx เท่ากับค่าของ yq' ใน T'x ชิ้นแบบไดนามิก P' รักษาค่าของ y สำหรับโปรแกรมกำหนดสำหรับการป้อนค่า x เป้าหมายแบ่งแบบไดนามิกจะพบชิ้น มีงบน้อยที่สุด แต่ ทั่วไป เป้าหมายนี้ไม่อาจทำได้ อย่างไรก็ตาม จะได้ประมาณเซฟของชิ้นแบบไดนามิกที่รักษาการคำนวณค่าของตัวแปรที่น่าสนใจ ตัวอย่าง รูปที่ 2 แสดงชิ้นแบบไดนามิกการปฏิบัติโปรแกรมรูป 1a 4 สังเกตที่โปรแกรมต้นฉบับของรูป 1a และชิ้นของไดนามิกของรูปที่ 2 ใช้ในการป้อนข้อมูล: n = 3, a=(1,2,3) ค่าของตัวแปรสูงสุดที่งบ 15 จะเหมือนกัน

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

ชิ้นแบบไดนามิกที่แสดงครั้งแรกใน [19] เป็นส่วนที่ปฏิบัติการของโปรแกรมที่มีพฤติกรรมเป็นเหมือนกันสำหรับการป้อนข้อมูลโปรแกรมเดียวกันกับที่ของโปรแกรมเดิมที่เกี่ยวกับตัวแปรที่น่าสนใจในตำแหน่งการดำเนินการบางอย่าง เกณฑ์หั่นของโปรแกรม P ดำเนินการในการป้อนข้อมูลโปรแกรม x คือ tuple C = (x, yq) ที่ yq เป็นตัวแปรในการดำเนินการตำแหน่งคิว ชิ้นแบบไดนามิกที่ปฏิบัติการของโปรแกรมบน P หั่น C เกณฑ์ใด ๆ ไวยากรณ์ที่ถูกต้องและปฏิบัติการโปรแกรม P 'ที่จะได้รับจาก P โดยการลบงบศูนย์หรือมากกว่าและเมื่อดำเนินการในการป้อนข้อมูลโปรแกรม x ผลิตการดำเนินร่องรอย T'x ที่มีอยู่ การดำเนินการที่สอดคล้องกันตำแหน่งคิว 'ดังกล่าวว่ามูลค่าของ yq ใน Tx เท่ากับมูลค่าของ yq ใน T'x ชิ้นแบบไดนามิก P 'เก็บรักษามูลค่าของ y สำหรับโปรแกรมที่ได้รับการป้อนข้อมูล x เป้าหมายในการหั่นแบบไดนามิกคือการหาชิ้นที่มีจำนวนน้อยที่สุดของงบ แต่โดยทั่วไปเป้าหมายนี้อาจจะไม่ประสบความสำเร็จ แต่ก็เป็นไปได้ที่จะตรวจสอบความปลอดภัยของการประมาณชิ้นแบบไดนามิกที่เก็บรักษาการคำนวณค่าของตัวแปรที่น่าสนใจ ตัวอย่างเช่นรูปที่ 2 แสดงชิ้นแบบไดนามิกที่ปฏิบัติการของโปรแกรมรูปที่ 1a 4 ขอให้สังเกตว่าเมื่อโปรแกรมเดิมของรูปที่ 1a และชิ้นแบบไดนามิกของรูปที่ 2 จะดำเนินการกับการป้อนข้อมูล: n = 3 = (1,2,3) ค่าของตัวแปรที่สูงสุด 15 คำสั่งที่เหมือนกัน

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

ชิ้นแบบไดนามิกที่นำเสนอครั้งแรกใน [ 19 ] เป็นส่วนที่ปฏิบัติการได้ของโปรแกรมที่มีพฤติกรรมเหมือนกัน สำหรับการป้อนข้อมูลโปรแกรมเดียวกันกับที่ของโปรแกรมต้นฉบับและตัวแปรของดอกเบี้ยที่บังคับตำแหน่ง slicing เกณฑ์โปรแกรม P รันบนโปรแกรมอินพุต x เป็น tuple c = ( x , YQ YQ ) ที่เป็นตัวแปรในการตำแหน่ง Qปฏิบัติการ Dynamic ชิ้นของโปรแกรม P C มีการตัดเกณฑ์ถูกต้องและโปรแกรมปฏิบัติการ P ' ที่ได้รับจาก P โดยการลบศูนย์หรือมากกว่าสั่ง และเมื่อรันบนโปรแกรมใส่ X สร้างการติดตาม t'x ซึ่งมีอยู่ตำแหน่งการสอดคล้องกัน Q ' ซึ่งค่า YQ เท่ากับในเท็กซัส ค่า YQ t'x. ' ในแบบไดนามิกชิ้น P ' รักษาค่าของ y สำหรับการป้อนข้อมูลแบบไดนามิกโปรแกรม X . เป้าหมายในการ หาชิ้นที่มีจำนวนน้อยที่สุดของงบ แต่โดยทั่วไป เป้าหมายนี้อาจจะไม่ประสบผลสำเร็จ อย่างไรก็ตาม มันเป็นไปได้ที่จะตรวจสอบการปลอดภัยของชิ้นที่สร้างแบบไดนามิกในการคำนวณค่าของตัวแปรที่สนใจ ตัวอย่างเช่นรูปที่ 2 แสดงปฏิบัติการแบบ slice ของโปรแกรมรูป 1A 4 สังเกตว่าเมื่อโปรแกรมต้นฉบับของรูปและแบบไดนามิกของ 1 ชิ้น รูปที่ 2 จะดำเนินการในการป้อนข้อมูล : N = 3 = ( 1 , 2 , 3 ) , ค่าของตัวแปร Max ที่งบ 15 เหมือนกัน