Luận văn Nghiên cứu xây dựng công cụ kiểm thử đột biến các câu lệnh sql

Tóm tắt Luận văn Nghiên cứu xây dựng công cụ kiểm thử đột biến các câu lệnh sql: ...ột biến tương ủương là ủột biến cũn sống mà mọi dữ liệu thử T ⊂ D (D, tập cỏc dữ liệu thử cho P) ủều xỏc ủịnh ủược P và P’ tương ủương nhau (P ≡ P’). 1.2.6. Tỷ lệ ủột biến Tỷ lệ ủột biến (Mutation Score), ủược ký hiệu MS, của chương trỡnh P và dữ liệu thử T là tỷ lệ cỏc ủột biến khụng tư... ủột biến thuộc loại này gồm ủặc tả hỡnh thức, mụi trường thực thi, dịch vụ Web, hệ thống mạng. 1.7. TỔNG KẾT CHƯƠNG 1 -14- CHƯƠNG 2. KIỂM THỬ ĐỘT BIẾN CÁC CÂU LỆNH TRUY VẤN SQL 2.1. GIỚI THIỆU Trong chương này, trước hết chỳng tụi trỡnh bày sơ lược về cơ sở dữ liệu và ngụn ngữ tru...cụ sử dụng bộ mó nguồn gsqlparser for .Net ủể phõn tớch cấu trỳc lệnh SQL và sử dụng ngụn ngữ C# thực thi trong mụi trường .NetFrameWork. Cụng cụ tạo ra cỏc ủột biến bằng cỏch chốn lỗi vào cõu lệnh gốc, thực thi lần lượt cõu lệnh gốc và cõu lệnh ủột biến vào trờn cỏc bộ dữ liệu thử, từ ủú ...