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 slicing เกณฑ์ C การถูกต้องและโปรแกรมปฏิบัติการใด ๆที่ได้รับจาก P '
P โดยการลบศูนย์หรือมากกว่าสั่ง และเมื่อรันบนโปรแกรมอินพุต x
สร้างการติดตาม t'x ซึ่งมีอยู่ตำแหน่งการสอดคล้องกันเช่น Q '
ที่ค่า YQ
ใน TX เท่ากับค่า YQ t'x. ' ในแบบไดนามิกชิ้น P ' รักษาค่าของ Y เพื่อให้โปรแกรม X
ใส่เป้าหมายในการค้นหาแบบไดนามิกเป็นชิ้นที่มีจำนวนน้อยที่สุดของ
งบ แต่โดยทั่วไป เป้าหมายนี้อาจจะไม่ประสบผลสำเร็จ แต่ก็เป็นไปได้ที่จะหา
ประมาณเซฟของแบบไดนามิกชิ้นที่รักษาการ การคำนวณของค่าของตัวแปร
สนใจ ตัวอย่างเช่นรูปที่ 2 แสดงปฏิบัติการแบบ slice ของโปรแกรมรูป 1A .
4
สังเกตเห็นว่าเมื่อโปรแกรมต้นฉบับของรูปและแบบไดนามิกของ 1 ชิ้น รูปที่ 2 จะดำเนินการในการป้อนข้อมูล :
n = 3 = ( 1 , 2 , 3 ) , ค่าของตัวแปร Max ที่งบ 15 เหมือนกัน