Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng iêm thử phần mềm chiếm tới 50-60% tông chi phí toàn bộ quy trình phát triền phần mềm. Đẽ giám chi phi kiêm thứ và tăng mức độ tin cậy của phần mềm. các nhả nghiên cửu đang cố gắng tự động hoá các hoạt động phục vụ công việc kiếm thư phần mềm [1,2].Một cách tòng quát, với mỏi kỳ thuật được dùng trong Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng một giai đoạn kiêm thử động (dynamic run-time testing) thi bất cứ phần mềm nào cùng có thể được phân ra làm hai công đoạn con: chuẩn bị các ca kiêm tLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
hử (test case) cho việc kiêm tra phần mềm và thực hiện chạy chương trinh cẩn kiếm thư trên một nền táng hồ trợ các nghiệp vụ kiềm thừ (testing framewo1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng ất nhiều nhân lực đế tạo ra bộ dừ liệu đay đù, có tinh bao phú cao (coverage criteria) trên toàn bộ các đường tính toán (computation paths) của chương trinh. Các ca kiểm thử bao gồm dừ liệu kiềm thử vả các giá trị đầu ra mong muốn.Một trong các hoạt động quan trọng đe giâm chi phi kiêm thử phần mềm Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng là sinh các ca kiểm thư một cách tự động và có tinh đầy đú. Các tồ chức phát triền phần mềm thường phái chi phí một lượng lớn về tải chinh cho các hoạLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
t động liên quan đen kiềm thứ phần mềm. Tinh hiệu qua cúa tiến trình xác minh và thấm định phụ thuộc nhiều vảo số lỏi được lim ra và được sứa chửa trư1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng h ra.Trong nhưng năm qua. nhiều nghiên cữu cùa các nhà khoa học trẽn thế giới nhảm “sinh dừ liệu kiêm thử một cách tự động” [3.4] đê giâm thiêu chi phí cho phần mềm. Có hai cách tiếp cận căn bán đề sinh dìr liệu kiềm thứ đó Là dưa vào mà nguồn (code) vả dựa vào mò hình (model). Đối vói phương pháp d Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng ựa vào mà nguồn lả phương pháp cho khá nâng bao phu cao. có khá năng loại bo các dòng lênh không can thiết chứa các tiềm ẩn gây lỏi nhưng cằn thiết phLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
ái cỏ khả nảng tối tru tinh toán cùa các phần mềm phàn tích kiềm thứ. do vậy gần đây có nhiều nghiên cứu tập trung vào phương pháp này [5. 6. 7].2Tron1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng mô hình, sinh ca kicm thứ hướng đường dần và kỳ thuật thông minh. Tuy nhicn. kiêm thử dựa vào thực thi biêu trưng dà vã dang lã hướng nghiên cứu dược nhiều người quan lâm.Các kỳ thuật cơ bán sinh dừ liệu kiếm thư tự dộng mà các nhã nghiên cứu dà dề xuât đó là: Dựa vào chứng minh định lý (test case Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng generation by theorem proving) [8, 9J: Dựa vào thực thi biêu trưng (test case generation by symbolic execution [5, 7, 10-121); IXta vào kiêm chửng mòLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
hinh (test case generation by model checking) [13]; Dựa vào một mò hình luồng sự kiện (test case generation by an event-flow model [14]); Dựa vào việc1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng g là vấn đề được nhiều nhà khoa học trên thế giói tìm hiếu, phát triền và xây dựng các ứng dụng [5, 6. 7], Hiện nay kỳ thuật này đà và đang được phát triền trên nhiều công cụ. nhiều ngôn ngừ như: C/C++. JavaScrip. .Net. java. HTML vv... Trong phạm vi giới hạn nghiên cứu. nôi dung cua luận án tập tru Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng ng nghiên cứu về một số cai tiến trong bộ giải ràng buộc xâu áp dụng sinh các ca kiếm thử. Các câi đặt thực nghiệm và đánh giá được thực hiện bảng ngôLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
n ngừ Java do Java là ngôn ngừ mạnh mè. hiện đại. Hơn nùa. Java dang được sữ dụng rộng râi vói các thư viện trên kiêu dừ liệu xâu đa dạng, phong phú v1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng i ráng buộc từ dó cài liên khá nàng giâi ràng buộc và áp dụng kỳ thuật thực thi biêu trưng trong lự động sinh các ca kiêm thư. Cài dặt thư nghiệm các phương pháp dề xuất trong sinh ụr dộng các ca kiềm thử trên kiêu dừ liệu xâu và kiêu dừ liệu hồn hợp. Phân lích, đánh giá kết quà sau khi thư nghiệm.Đ Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng ối tượng và phạm vi nghiên cứu:Tòng quan về các phương pháp tự dộng sinh các ca kiêm thừ phần mềm. kỳ thuật thực thi bicu trưng và úng dụng trong sinhLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
tự động các ca kiêm thù. Các kỳ thuật mò hình hóa ràng buộc, giãi ràng buộc trên các kiểu dừ liệu dựa trên hai phương pháp Olomata và Bitvector. Nghi1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng được tạo ra so với thực tế chương trinh.Nội dung nghiên cứu:Các phương pháp kỳ thuật sinh tự động cá ca kiểm thứ. các vấn đề liên quan mò hình hỏa ràng buộc trên các kiêu dừ liệu. Nghiên cứu cãi tiên mô hình hóa và giãi ràng buộc trên kiêu dừ liệu xâu ki tự. từ đó ứng dung trong kỳ thuật thực thi b Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng iêu trưng thực hiện sinh các ca kiêm thừ tự động trên kiêu xâu kí tự cho các chương trình kiêm thử. Phương pháp nghiên cứu:Nghiên cứu. phân tích, tôngLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
hợp các liệu liên quan đen thực thi biêu trưng, vai trò cua giai nàng buộc cũng như giai ràng buộc triên kiêu dừ liêu xâu trong thực thi biêu trưng t1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng ên kiêu dử liệu xâu và ràng buộc hồn hợp. phân tích, đánh giá các kết quả đà còng bố.Các đóng góp cùa luận án:Xây dựng mò hình hóa ràng buộc trên kiêu dử liệu xâu và ràng buộc hỏn hợp. cai tiến khã năng giai ràng buộc trong phương pháp thực thi biêu trưng. Cài đãt kỳ thuật mò hĩnh hóa và giãi ràng b Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng uộc dựa trên Otomat và Bitvector trong giãi ràng buộc xâu, đánh giá so sánh các kết qua thu được với các các kết quá đà còng bố.Bố cục cùa luận án:CấuLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
trúc luận án bao gồm phần mơ đầu. ba chương nôi dung, phần kết luận, danh mục còng trình công bố vả danh mục các tài liệu tham kháo. Nội dung chính c1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng ng sinh các ca kiêm thư. Đồng thời trinh bày các lý thuyết cơ sở sừ dụng trong luận án nhảm đưa ra cái nhìn tồng quan về bài toán nghiên cứu. về sử dung kỳ thuật thực thi biêu trưng ứng dung trong sinh tự đông các ca kiêm thử và hướng nghiên cứu cụ thê của luận án.Chương 2 cùa luận án trình bày kết Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng qua nghiên cứu về các phương pháp mò hình hóa ràng buộc, giãi ràng buộc trong thực thi biêu trưng. Áp dụng các công cụ này vào các trường hợp cụ thê cLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
ùng với các đánh giá tính hiệu qua cùa các phương pháp này trên kiêu dử liệu cụ thê.4Chương 3 của luận án trinh bày các kểt quà nghiên cứu của các cãi1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng g thời trình bày vice mỡ rộng kỳ thuật thực thi biêu trưng. cách thực hiện giai ràng buộc xâu dựa trên phương pháp Otomat.Phân kcl luận ncu nhùng đóng góp. hướng phát triền, nhùng vàn đê quan lâm: danh mục các còng trinh dà dược công bố cua luận ãn và danh sách các tài liệu tham khâo được sứ dụng tr Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng ong luận án cùng được trình bày.5CHƯƠNG 1. TỎNG QUAN VẺ KIẺM THỬ PHẢN MÈM VÀ THựC THI BIỂUtrưngChương này trinh bây lý thuyết tổng quan về kiểm thử vàLuận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
sinh dử liệu kiếm thứ. tlnrc thi biêu trưng và ứng dung cua thực thi biêu trưng trong sinh các ca kiêm thử. Trong đỏ. trình bây các khái niệm cơ bàn 1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, ki Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng hương này.1.1. Kiểm thử phẩn mềm1MỞ ĐẦUKiêm thứ phần mềm (testing) là một trong nhùng hoạt động quan trong nhất trong chu trình phát triển phần mèm. Theo số liệu thống kê thực tế, kiGọi ngay
Chat zalo
Facebook