Testing database applications typic

Testing database applications typically requires the generation of tests consisting of both program inputs and
database states. Recently, a testing technique called Dynamic Symbolic Execution (DSE) has been proposed
to reduce manual effort in test generation for software applications. However, applying DSE to generate tests
for database applications faces various technical challenges. For example, the database application under
test needs to physically connect to the associated database, which may not be available for various reasons.
The program inputs whose values are used to form the executed queries are not treated symbolically, posing
difficulties for generating valid database states or appropriate database states for achieving high coverage of
query-result-manipulation code. To address these challenges, in this article, we propose an approach called
SynDB that synthesizes new database interactions to replace the original ones from the database application
under test. In this way, we bridge various constraints within a database application: query-construction
constraints, query constraints, database schema constraints, and query-result-manipulation constraints.We
then apply a state-of-the-art DSE engine called Pex for .NET from Microsoft Research to generate both
program inputs and database states. The evaluation results show that tests generated by our approach can
achieve higher code coverage than existing test generation approaches for database applications

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

ทดสอบโปรแกรมประยุกต์ฐานข้อมูลโดยทั่วไปต้องการทดสอบที่ประกอบด้วยอินพุตทั้งสองโปรแกรมสร้าง และฐานข้อมูลอเมริกา ล่าสุด ที่ได้รับการเสนอชื่อเทคนิคทดสอบที่เรียกว่า Dynamic สัญลักษณ์การดำเนินการ (DSE)เพื่อลดความพยายามด้วยตนเองในการสร้างการทดสอบสำหรับการใช้งานซอฟต์แวร์ อย่างไรก็ตาม ใช้ DSE เพื่อสร้างทดสอบสำหรับโปรแกรมประยุกต์ฐานข้อมูลใบหน้ากับความท้าทายทางเทคนิคต่าง ๆ ตัวอย่าง แอพลิเคชันฐานข้อมูลภายใต้ทดสอบความต้องเชื่อมต่อการเชื่อมโยงฐานข้อมูล ซึ่งอาจไม่สามารถใช้สำหรับเหตุผลต่าง ๆอินพุตของโปรแกรมที่มีค่าที่จะใช้แบบสอบถามดำเนินการจะไม่ถือว่าสัญลักษณ์ วางตัวความยากลำบากในการสร้างฐานข้อมูลที่ถูกต้องอเมริกาหรืออเมริกาฐานข้อมูลที่เหมาะสมสำหรับการบรรลุเป้าหมายความครอบคลุมสูงรหัสแบบสอบถามผลการจัดการ เพื่อความท้าทายเหล่านี้ ในบทความนี้ เราเสนอวิธีการที่เรียกว่าSynDB ที่ synthesizes โต้ตอบฐานข้อมูลใหม่แทนเดิมจากโปรแกรมประยุกต์ฐานข้อมูลภายใต้การทดสอบ ด้วยวิธีนี้ เราสะพานต่าง ๆ ข้อจำกัดในการใช้ฐานข้อมูล: สร้างแบบสอบถามข้อจำกัด ข้อจำกัดแบบสอบถาม ข้อจำกัดของเค้าร่างฐานข้อมูล และข้อจำกัดแบบสอบถามผลการ เราจากนั้น ใช้เครื่องยนต์ DSE รัฐ-of-the-art ที่เรียกว่า Pex สำหรับ.NET จาก Microsoft Research เพื่อสร้างทั้งสองโปรแกรมอินพุต และสถานะของฐานข้อมูล ผลการประเมินแสดงว่า การทดสอบที่สร้างขึ้น โดยวิธีการของเราสามารถบรรลุความครอบคลุมรหัสสูงกว่าวิธีรุ่นทดสอบที่มีอยู่ในโปรแกรมประยุกต์ฐานข้อมูล

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

ทดสอบการใช้งานฐานข้อมูลมักจะต้องสร้างการทดสอบที่ประกอบด้วยปัจจัยการผลิตทั้งโปรแกรมและ
ฐานข้อมูลของรัฐ เมื่อเร็ว ๆ นี้เทคนิคการทดสอบที่เรียกว่าการดำเนินการแบบไดนามิกสัญลักษณ์ (DSE) ได้รับการเสนอ
เพื่อลดความพยายามในการผลิตคู่มือการทดสอบสำหรับการใช้งานซอฟแวร์ อย่างไรก็ตามการใช้ DSE เพื่อสร้างการทดสอบ
สำหรับการใช้งานฐานข้อมูลเผชิญกับความท้าทายทางเทคนิคต่างๆ ยกตัวอย่างเช่นโปรแกรมฐานข้อมูลภายใต้
ความต้องการที่จะทดสอบร่างกายเชื่อมต่อกับฐานข้อมูลที่เกี่ยวข้องซึ่งอาจไม่สามารถใช้ได้สำหรับเหตุผลต่างๆ.
ปัจจัยการผลิตโปรแกรมที่มีค่าถูกนำมาใช้ในรูปแบบคำสั่งดำเนินการไม่ได้รับการรักษาสัญลักษณ์วางตัว
ความยากลำบากในการสร้างฐานข้อมูลที่ถูกต้องรัฐ หรือรัฐฐานข้อมูลที่เหมาะสมเพื่อให้บรรลุความคุ้มครองสูงของ
รหัสแบบสอบถามผลการจัดการ เพื่อรับมือกับความท้าทายเหล่านี้ในบทความนี้เรานำเสนอวิธีการที่เรียกว่า
SynDB ที่สังเคราะห์ปฏิสัมพันธ์ฐานข้อมูลใหม่ที่จะมาแทนที่คนเดิมจากโปรแกรมฐานข้อมูล
ภายใต้การทดสอบ ด้วยวิธีนี้เราสะพานข้อ จำกัด ต่าง ๆ ภายในโปรแกรมฐานข้อมูล: แบบสอบถามก่อสร้าง
จำกัด , จำกัด แบบสอบถาม จำกัด คีมาฐานข้อมูลและแบบสอบถามผลการจัดการ constraints.We
แล้วใช้รัฐของศิลปะที่เรียกว่าเครื่องมือ DSE Pex สำหรับ สุทธิจาก Microsoft Research ที่จะสร้างทั้ง
ปัจจัยการผลิตโปรแกรมฐานข้อมูลและรัฐ ผลการประเมินแสดงให้เห็นว่าการทดสอบที่สร้างขึ้นโดยวิธีการของเราสามารถ
บรรลุครอบคลุมรหัสสูงกว่าที่มีอยู่วิธีการสร้างการทดสอบสำหรับการใช้งานฐานข้อมูล

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

การประยุกต์ใช้ฐานข้อมูลการทดสอบโดยทั่วไปจะต้องใช้รุ่นของการทดสอบประกอบด้วยทั้งโปรแกรมและปัจจัย
สหรัฐอเมริกาฐานข้อมูล เมื่อเร็ว ๆนี้การทดสอบเทคนิคที่เรียกว่าการพลวัตเชิงสัญลักษณ์ ( dse ) ได้เสนอที่จะลดความพยายาม
คู่มือในรุ่นทดสอบสำหรับการใช้งานซอฟต์แวร์ อย่างไรก็ตาม การสร้างแบบทดสอบ dse
สำหรับการใช้งานฐานข้อมูลใบหน้าความท้าทายทางเทคนิคต่างๆตัวอย่างเช่น ฐานข้อมูลการประยุกต์ใช้ภายใต้
ทดสอบต้องร่างกายเชื่อมต่อกับฐานข้อมูลที่เกี่ยวข้อง ซึ่งอาจไม่สามารถใช้ได้สำหรับเหตุผลต่าง ๆ .
โปรแกรมปัจจัยการผลิตที่มีค่าที่จะใช้ในรูปแบบดำเนินการแบบสอบถามจะไม่ถือว่าเป็นสัญลักษณ์ , วางตัว
ปัญหาสำหรับการสร้างฐานข้อมูลที่ถูกต้องรัฐหรือรัฐฐานข้อมูลที่เหมาะสมเพื่อให้บรรลุความคุ้มครองสูงของ
ผลการค้นหารหัส เพื่อรับมือกับความท้าทายเหล่านี้ ในบทความนี้ได้เสนอวิธีการที่เรียกว่า
syndb ที่สังเคราะห์การโต้ตอบฐานข้อมูลใหม่เพื่อแทนที่เดิมจากฐานข้อมูลโปรแกรม
ภายใต้การทดสอบ วิธีนี้เราสะพานข้อจำกัดต่าง ๆภายในฐานข้อมูลโปรแกรม : แบบสอบถามก่อสร้าง
ข้อจำกัดเงื่อนไขข้อจำกัดของแบบสอบถามฐานข้อมูลผลการค้นหาและข้อจำกัด เรา
แล้วใช้รัฐ - of - the - art dse เครื่องยนต์เรียกว่า PEX สำหรับ NET . จาก Microsoft วิจัยเพื่อสร้างทั้ง
โปรแกรมปัจจัยการผลิตและสหรัฐอเมริกาข้อมูล ผลการประเมินพบว่าแบบทดสอบที่สร้างขึ้นโดยวิธีการของเราสามารถบรรลุความคุ้มครองรหัส
สูงกว่ารุ่นทดสอบแนวทางการประยุกต์ใช้ฐานข้อมูลที่มีอยู่