Tóm tắt luận văn thạc sĩ kỹ thuật: 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 thạc sĩ: Nghiên cứu xây dựng công cụ kiểm thử đột biến các câu lệnh SQL được chia thành 3 chương như sau: chương 1 kiểm thử đột biến, chương 2 kiểm thử đột biến các câu truy vấn SQL, chương 3 xây dựng công cụ hỗ trợ kiểm thử đột biến các câu lệnh truy vấn SQL.
Nội dung trích xuất từ tài liệu:
Tóm tắt luận văn thạc sĩ kỹ thuật: Nghiên cứu xây dựng công cụ kiểm thử đột biến các câu lệnh SQL -1- B GIÁO D C VÀ ĐÀO T O Đ I H C ĐÀ N NG TR N VĂN MINH NGHIÊN C U XÂY D NG CÔNG C KI M TH Đ T BI N CÁC CÂU L NH SQL Chuyên ngành: KHOA H C MÁY TÍNH Mã s : 60.48.01 TÓM T T LU N VĂN TH C SĨ K THU T Đà N ng - Năm 2011 -2- Công trình ñư c hoàn thành t i Đ I H C ĐÀ N NG Ngư i hư ng d n khoa h c: TS. NGUY N THANH BÌNH Ph n bi n 1: PGS.TS. LÊ VĂN SƠN Ph n bi n 2: TS. NGUY N M U HÂN Lu n văn ñư c b o v trư c H i ñ ng ch m Lu n văn t t nghi p th c sĩ k thu t h p t i Đ i h c Đà N ng vào ngày 16 tháng 10 năm 2011 Có th tìm hi u lu n văn t i: - Trung tâm Thông tin - H c li u, Đ i h c Đà N ng - Trung tâm H c li u, Đ i h c Đà N ng. -3- M Đ U 1. Lý do ch n ñ tài Ki m th là m t trong nh ng ho t ñ ng quan tr ng trong ti n trình phát tri n ph n m m. Nó góp ph n vào vi c ñánh giá ch t lư ng s n ph m ph n m m. Hi n nay, h u h t các s n ph m ph n m m ng d ng ñ u có s d ng ngôn ng truy v n d li u ñ lưu tr qu n lý thông tin, do ñó vi c qu n lý và ki m th chúng trong quá trình phát tri n ph n m m t n nhi u th i gian.Vì v y, nhu c u có ñư c m t h th ng ng d ng ki m th ñ t bi n ñ ñánh giá ch t lư ng các b d li u ki m th khi th c hi n ki m th các câu l nh truy v n SQL th c s là c n thi t. M t khác, hi n nay v n ñ b n quy n ph n m m ñang là v n ñ nan gi i ñ i v i các t ch c, ngư i dùng và nhu c u s d ng mã ngu n m ñang phát tri n r ng kh p nh m giúp gi m chi phí. Xu t phát t nh ng phân tích và nh n xét trên, tôi ch n ñ tài “Nghiên c u xây d ng công c ki m th ñ t bi n các câu l nh SQL” dư i s hư ng d n c a TS. Nguy n Thanh Bình, s giúp gi m th i gian và chi phí trong vi c giám sát và ki m th s n ph m ph n m m. 2. M c ñích ý nghĩa M c ñích c a ñ tài là nghiên c u và ng d ng k thu t ki m th ñ t bi n vào vi c ñánh giá ch t lư ng b d li u ki m th khi ki m th các câu l nh truy v n SQL, t ñó phát hi n các -4- l i còn t n t i ñ các l p trình viên hoàn thi n hơn s n ph m c a mình. Ý nghĩa khoa h c: Hi u và ñánh giá các k thu t ki m th ñ t bi n và phương pháp ki m th ñ t bi n câu l nh truy v n SQL. K t qu có th làm tài li u tham kh o cho các ki m th viên ho c các ñơn v phát tri n ph n m m. Ý nghĩa th c ti n: Cung c p m t công c ng d ng k thu t ki m th ñ t bi n vào vi c ki m th cho các câu l nh truy v n SQL. 3. Nhi m v m c tiêu Đ tài t p trung nghiên c u v k thu t ki m th ñ t bi n và c u trúc ñ c ñi m c a ngôn ng truy v n d li u SQL ñ nh n bi t các toán t ñ t bi n, t ñó ñ xu t gi i pháp xây d ng công c h tr ki m th ñ t bi n câu l nh SQL và tri n khai ki m th th c nghi m trên các câu l nh truy v n SQL làm cơ s ñ phân tích và ñánh giá k t qu . 4. Đ i tư ng và ph m vi nghiên c u Đ tài t p trung nghiên c u trên các ñ i tư ng như sau: - K thu t ki m th ñ t bi n. - Ngôn ng truy v n có c u trúc. - Mã ngu n SQL Parser (GuduSoft.gsqlparser.dll). - K thu t l p trình ngôn ng VS.Net. Đ tài thu c ph m vi nghiên c u và ng d ng. 5. Phương pháp nghiên c u -5- - Thu th p và phân tích các tài li u và thông tin liên quan ñ n ñ tài. - Th o lu n, l a ch n hư ng gi i quy t v n ñ . - Phân tích thi t k h th ng chương trình ng d ng. - Tri n khai xây d ng chương trình ng d ng. - Ki m tra, th nghi m, nh n xét và ñánh giá k t qu . 6. D ki n k t qu ñ t ñư c - V m t lý thuy t: N m ñư c ki n th c v k thu t ki m th ñ t bi n và các toán t ñ t bi n câu l nh truy v n SQL. - V m t th c ti n: Xây d ng và ñánh giá công c ki m th áp d ng k thu t ki m th ñ t bi n cho các câu l nh truy v n SQL. 7. B c c lu n văn Lu n văn ñư c chia thành 3 chương như sau: Chương 1: Ki m th ñ t bi n. Chương 2: Ki m th ñ t bi n các câu l nh truy v n SQL. Chương 3: Xây d ng công c h tr ki m th ñ t bi n các câu l nh truy v n SQL. -6- CHƯƠNG 1. KI M TH Đ T BI N 1.1. GI I THI U Trong chương này, chúng tôi trình bày chi ti t lý thuy t v ki m th ñ t bi n, phân tích các ưu và như c ñi m c a phương pháp. Ti p theo, chúng tôi trình bày các k thu t ki m th ñ t bi n khác nhau cũng như các ng d ng ph bi n c a ki m th ñ t bi n trong th c t . 1.2. LÝ THUY T KI M TH Đ T BI N Trư c khi trình bày lý thuy t ki m th ñ t bi n, chúng ta b t ñ u b i m t ý tư ng ñơn gi n sau: ñ ư c lư ng s lư ng cá trong m t cái h , m t cách ñ th c hi n vi c ñó là ñánh d u m t s cá và th vào h (gi s , 80 con cá), sau ñó ...