To test all execution paths of this

To test all execution paths of this fragment, HTDGen collects the embedded SQL query Q (SELECT price FROM Product),
the schema SD of the target database (e.g., SD includes the schema of table Product and integrity constraints) and the results R of the SQL query (e.g., a table with three rows: −5, 5 and 15 for the attribute price of the table Product; either given by the testers or by running a code analyzer). Then HTDGen sends Q, SD and R to a reverse query processing engine called SPQR [2]. The reverse query processing engine reverse processes the query and generates a test database D that fulfills all the integrity constraints in SD and guarantees that R = Q(D). Essentially, SPQR transforms the inputs from HTDGen into a set of constraints and uses a model checker to find possible solutions. The results of SPQR are translated by HTDGen into a set of SQL INSERT statements and inserted the data into the test database.

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

การทดสอบเส้นทางการดำเนินการทั้งหมดของส่วนนี้ HTDGen รวบรวมสอบถาม SQL ฝังตัว Q (เลือกราคาจากผลิตภัณฑ์),SD กับ schema ของฐานข้อมูลเป้าหมาย (เช่น SD รวม schema ของตารางผลิตภัณฑ์และความสมบูรณ์ของข้อจำกัด) และ R ผลลัพธ์ของแบบสอบถาม SQL (เช่น ตารางที่ มีแถวที่สาม: −5, 5 และ 15 สำหรับค่าแอตทริบิวต์ของตารางผลิตภัณฑ์ หรือกำหนด โดยการทดสอบ หรือใช้วิเคราะห์รหัส) แล้ว HTDGen ส่ง Q, SD และ R เพื่อประมวลผลโปรแกรมที่เรียกว่า SPQR [2] สอบถามย้อนกลับ สอบถามย้อนกลับโปรแกรมประมวลผลการประมวลผลแบบสอบถาม และสร้างฐานข้อมูลทดสอบ D ที่ตอบสนองข้อจำกัดของทั้งหมดใน SD และค้ำประกัน ที่ R = Q(D) หลัก SPQR แปลงอินพุตจาก HTDGen เป็นชุดของข้อจำกัด และใช้ตัวแบบในการค้นหาคำตอบได้ ผลลัพธ์ของ SPQR แปล โดย HTDGen เป็นชุดของคำสั่ง SQL แทรก และแทรกข้อมูลลงในฐานข้อมูลการทดสอบ

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

ในการทดสอบทุกเส้นทางการดำเนินการของส่วนนี้ HTDGen เก็บฝังแบบสอบถาม SQL Q (SELECT ราคาจากสินค้า)
SD คีมาของฐานข้อมูลเป้าหมาย (เช่น SD รวมถึงคีผลิตภัณฑ์ตารางและข้อ จำกัด สมบูรณ์) และผลการวิจัยของ แบบสอบถาม SQL (เช่นตารางที่มีสามแถว: -5, 5 และ 15 สำหรับราคาคุณลักษณะของสินค้าตาราง; อย่างใดอย่างหนึ่งที่ได้รับจากการทดสอบหรือการวิเคราะห์โดยใช้รหัส) จากนั้นจะส่ง HTDGen Q, SD และ R เพื่อเครื่องมือประมวลผลแบบสอบถามกลับเรียกว่า SPQR [2] การประมวลผลแบบสอบถามกลับเครื่องยนต์กระบวนการย้อนกลับแบบสอบถามและสร้างฐานข้อมูลการทดสอบมิติที่ตอบสนองทุกข้อ จำกัด ของความสมบูรณ์ใน SD และรับประกันว่า R = Q (D) หลัก SPQR เปลี่ยนปัจจัยการผลิตจาก HTDGen เข้าไปในชุดของข้อ จำกัด และใช้รูปแบบการตรวจสอบเพื่อหาทางแก้ไขปัญหาที่เป็นไปได้ ผลการ SPQR จะแปลโดย HTDGen เข้าไปในชุดของงบ INSERT SQL และแทรกข้อมูลลงในฐานข้อมูลการทดสอบ