Using the difference information pl

Using the difference information placed in the execution
histories, we can narrow down the scope that must be read in
the program. Using the structure information of the program
based on the static information, we can proceed with
program understanding. This way we can support the
checking stage.

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

โดยใช้ข้อมูลที่แตกต่างกันอยู่ในการดำเนินการ
ประวัติเราสามารถแคบลงขอบเขตที่ต้องอ่านใน
โปรแกรม โดยใช้ข้อมูลโครงสร้างของโปรแกรม
อยู่บนพื้นฐานของข้อมูลคงที่เราสามารถดำเนินการกับโปรแกรม
ความเข้าใจ วิธีที่เราสามารถสนับสนุนขั้นตอนการตรวจสอบนี้

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

ใช้ข้อมูลผลต่างไว้ในการดำเนินการ
ประวัติ เราสามารถจำกัดขอบเขตที่ต้องอ่านใน
โปรแกรมได้ ใช้ข้อมูลโครงสร้างของโปรแกรม
ตามข้อมูลคง เราสามารถดำเนินการ
โปรแกรมเข้าใจได้ วิธีนี้เราสามารถสนับสนุนการ
ขั้นตรวจสอบ

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

การใช้ข้อมูลความแตกต่างที่วางไว้ในการบังคับคดี
เมื่อเทียบกับที่เราจะสามารถจำกัดขอบเขตที่จะต้องอ่านในโปรแกรม
ที่ การใช้ข้อมูลโครงสร้างของโปรแกรมที่
ตามข้อมูลคงที่ที่เราจะสามารถดำเนินการด้วยความเข้าใจ
โปรแกรม วิธีนี้เราสามารถรองรับเวที
การตรวจสอบได้.