In this article, we propose a DSE-b

In this article, we propose a DSE-based approach called SynDB for testing database applications. The approach synthesizes new database interactions to replace the original ones. This way, we bridge the gap between program-execution constraints and environment constraints. Existing test-generation techniques treat the database as an external component and may face problems when considering constraints within a database application in an insufficient way. Our approach considers both query constraints and database schema constraints and transform them to normal program code. We use a state-of-the-art DSE engine called Pex to generate effective tests consisting of both program inputs and database states. Empirical evaluations show that our approach achieves higher program code coverage than existing approaches. Infuturework,weplantoextendourapproachtovariousphasesoffunctionaltesting. We plan to investigate the problem of locating logical faults in database applications using our approach. For example, there could be inherent constraint conflicts within an application caused by careless developers. We plan to apply our approach on more complex application contexts such as multiple queries. We also plan to investigate how to apply our approach on generating a large number of database records.

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

ในบทความนี้ เราเสนอวิธีใช้ DSE ที่เรียกว่า SynDB สำหรับการทดสอบโปรแกรมประยุกต์ฐานข้อมูล วิธีการสังเคราะห์โต้ตอบฐานข้อมูลใหม่เพื่อแทนที่เดิม วิธีนี้ เราช่องว่างระหว่างข้อจำกัดโปรแกรมการดำเนินการและข้อจำกัดของสภาพแวดล้อม เทคนิครุ่นที่ทดสอบอยู่รักษาฐานข้อมูลเป็นองค์ประกอบภายนอก และอาจประสบปัญหาเมื่อพิจารณาข้อจำกัดในการประยุกต์ฐานข้อมูลในการ insufficient วิธีการ วิธีพิจารณาแบบสอบถามข้อจำกัดและข้อจำกัดของ schema ฐานข้อมูล และแปลงให้ไปที่รหัสโปรแกรมปกติ เราสามารถใช้เครื่องยนต์ DSE รัฐของศิลปะที่เรียกว่า Pex เพื่อสร้างประสิทธิภาพการทดสอบที่ประกอบด้วยโปรแกรมอินพุตและสถานะของฐานข้อมูล การประเมินเชิงประจักษ์แสดงว่า เราประสบความสำเร็จครอบคลุมรหัสโปรแกรมสูงกว่าวิธีที่มีอยู่ Infuturework, weplantoextendourapproachtovariousphasesoffunctionaltesting เราวางแผนการตรวจสอบปัญหาของการค้นหาข้อบกพร่องทางตรรกะในโปรแกรมประยุกต์ฐานข้อมูลที่ใช้แนวทางของเรา ตัวอย่างเช่น อาจจะซ้อนจำกัดอยู่ภายในโปรแกรมประยุกต์ที่เกิดจากนักพัฒนาที่ไม่ระมัดระวัง เราวางแผนจะใช้แนวทางของเราในบริบทที่ซับซ้อนประยุกต์เช่นการสอบถามหลาย นอกจากนี้เรายังวางแผนการตรวจสอบวิธีการใช้วิธีการสร้างระเบียนฐานข้อมูลเป็นจำนวนมาก

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

ในบทความนี้เราจึงนำเสนอวิธีการ DSE ที่เรียกว่า SynDB สำหรับการใช้งานฐานข้อมูลการทดสอบ วิธีการสังเคราะห์ปฏิสัมพันธ์ฐานข้อมูลใหม่ที่จะมาแทนที่คนเดิม วิธีนี้เราลดช่องว่างระหว่างข้อ จำกัด ของโปรแกรมการดำเนินการและข้อ จำกัด สภาพแวดล้อม เทคนิคการทดสอบที่มีอยู่รุ่นรักษาฐานข้อมูลเป็นองค์ประกอบภายนอกและอาจต้องเผชิญกับปัญหาเมื่อพิจารณาจากข้อ จำกัด ภายในโปรแกรมฐานข้อมูลในทางที่เพียงพอ insuf Fi วิธีการของเราจะพิจารณาทั้งข้อ จำกัด แบบสอบถามและฐานข้อมูลสคี จำกัด และเปลี่ยนพวกเขาไปยังรหัสโปรแกรมปกติ เราใช้เครื่องมือรัฐของศิลปะ DSE เรียก Pex เพื่อสร้างการทดสอบที่มีประสิทธิภาพซึ่งประกอบด้วยปัจจัยการผลิตทั้งโปรแกรมและฐานข้อมูลรัฐ การประเมินผลเชิงประจักษ์แสดงให้เห็นว่าวิธีการของเราประสบความสำเร็จในความคุ้มครองรหัสโปรแกรมสูงกว่าวิธีการที่มีอยู่ Infuturework, weplantoextendourapproachtovariousphasesoffunctionaltesting เราวางแผนที่จะตรวจสอบปัญหาตำแหน่งของความผิดพลาดเชิงตรรกะในการใช้งานฐานข้อมูลโดยใช้วิธีการของเรา ยกตัวอย่างเช่นอาจจะมีข้อ จำกัด โดยธรรมชาติ Con FL ICTs ภายในโปรแกรมที่เกิดจากความประมาทนักพัฒนา เราวางแผนที่จะใช้วิธีการของเราในบริบทของแอพลิเคชันที่ซับซ้อนมากขึ้นเช่นคำสั่งหลาย ๆ นอกจากนี้เรายังวางแผนที่จะตรวจสอบวิธีการใช้วิธีการของเราในการสร้างจำนวนมากของการบันทึกฐานข้อมูล

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

ในบทความนี้เราเสนอ dse ตามวิธีการที่เรียกว่า syndb สำหรับการใช้งานฐานข้อมูลการทดสอบ วิธีการสังเคราะห์ของฐานข้อมูลใหม่เพื่อแทนที่อันเดิม วิธีนี้เราลดช่องว่างระหว่างโปรแกรมการเงื่อนไขและข้อจำกัดของสภาพแวดล้อม ทดสอบรุ่นที่มีอยู่เทคนิครักษาฐานข้อมูลเป็นองค์ประกอบภายนอก และอาจต้องเผชิญกับปัญหาเมื่อพิจารณาข้อจำกัดภายในฐานข้อมูลการประยุกต์ใช้ใน insuf cient ถ่ายทอดทาง วิธีการพิจารณาทั้งแบบสอบถามปัญหาและข้อจำกัดของฐานข้อมูลและแปลงพวกเขาเพื่อรหัสโปรแกรมปกติ เราใช้เครื่องมือ dse รัฐ - of - the - art เรียกว่าเป๊กเพื่อสร้างประสิทธิภาพการทดสอบประกอบด้วยทั้งปัจจัยการผลิตและสหรัฐอเมริกาโปรแกรมฐานข้อมูล การประเมินเชิงประจักษ์แสดงให้เห็นว่าวิธีการของเราบรรลุความคุ้มครองรหัสโปรแกรมสูงกว่าวิธีเดิม infuturework weplantoextendourapproachtovariousphasesoffunctionaltesting , . เราวางแผนที่จะตรวจสอบปัญหาของการตั้งตรรกะข้อบกพร่องในโปรแกรมฐานข้อมูลโดยใช้วิธีการของเรา ตัวอย่างเช่นอาจจะมีอยู่จำกัด คอนflไอซีทีภายในแอปพลิเคชันจากนักพัฒนาประมาท เราวางแผนที่จะใช้วิธีการของเราในบริบทของโปรแกรมประยุกต์ที่ซับซ้อนมากขึ้นเช่นหลายแบบสอบถาม เรายังวางแผนที่จะตรวจสอบวิธีการที่จะใช้วิธีการของเราในการสร้างจำนวนมากของระเบียนในฐานข้อมูล