LUẬN VĂN:SINH CA KIỂM THỬ THAM SỐ HÓA CHO CHƯƠNG TRÌNH JAVA

Kiểm thử đơn vị tham số hóa còn đang là một khái niệm mới mẻ đối với nhiều nhà phát triển phần mềm. Kiểm thử đơn vị tham số hóa đang dần đóng một vài trò hết sức quan trọng trong phát triển phần mềm. Khóa luận này ra đời chính là để nghiên cứu về phương pháp kiểm thử mới này và ứng dụng nó cho mục đích kiểm thử các chương trình Java.
Nội dung trích xuất từ tài liệu:
LUẬN VĂN:SINH CA KIỂM THỬ THAM SỐ HÓA CHO CHƯƠNG TRÌNH JAVA ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Trần Bình DươngSINH CA KIỂM THỬ THAM SỐ HÓA CHO CHƯƠNG TRÌNH JAVAKHÓA LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUYNgành: Công Nghệ Thông Tin HÀ NỘI - 2009 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Trần Bình DươngSINH CA KIỂM THỬ THAM SỐ HÓA CHO CHƯƠNG TRÌNH JAVAKHÓA LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Ngành: Công Nghệ Thông Tin Cán bộ hướng dẫn: TS. Trương Anh Hoàng LỜI CẢM ƠN Lời đầu tiên em xin được gửi lời cảm ơn chân thành tới TS. Trương Anh Hoàng,người thầy đáng kính đã tận tình hướng dẫn em trong suốt thời gian thực hiện khóaluận này. Em cũng muốn bày tỏ lòng biết ơn đến các thầy cô giáo trường Đại học C ôngNghệ - Đại học Quốc Gia Hà nội, đặc biệt là các thầy cô trong khoa công nghệ thôngtin đã tận tình dạy dỗ và tạo mọi điều kiện học tập thuận lợi cho e m trong suốt bốnnăm học qua. Cuối cùng, em xin gửi lời cảm ơn tới gia đình đình em. Nếu không có tình yêu,sự ủng hộ và động viên từ gia đình thì em sẽ không thể hoàn thành khoá luận và cóđược những kết quả như ngày hôm nay. Hà nội, 05/2009 Sinh viên Trần Bình Dương i TÓM TẮT NỘI DUNG Kiểm thử đơn vị tham số hóa còn đang là một khái niệm mới mẻ đối với nhiềunhà phát triển phần mềm. Kiểm thử đơn vị tham số hóa đang dần đóng một vài trò hếtsức quan trọng trong phát triển phần mềm. Khóa luận này ra đời chính là để nghiêncứu về phương pháp kiểm thử mới này và ứng dụng nó cho mục đích kiểm thử cácchương trình Java. Nội dung khóa luận tập trung vào việc áp dụng khả năng của mộtnền kiểm chứng Java bytecode mã nguồn mở rất hiệu quả và phổ biến hiện nay là JavaPathFinder để xây dựng một hệ thống hỗ trợ kiểm thử đơn vị tham số hóa cho mụcđích kiểm thử các chương trình Java. Kết quả của khóa luận là đã xây dựng được mộthệ thống để thực thi các ca kiểm thử đơn vị tham số hóa viết cho các chương trình Javađơn giản. Bên cạnh đó, khóa luận cũng đã trình bày một cách sâu sắc về kiểm thử đơnvị tham số hóa và những kỹ thuật phức tạp đằng sau phương pháp ki ểm thử mới nàycũng như một số nghiên cứu liên quan. Qua đó khóa luận kết thúc bằng việc phác thảomột số hướng có thể phát triển tiếp để hệ thống này xử lý được các kiểu dữ liệu phứctạp hơn. ii MỤC LỤCLỜI CẢM ƠN ..................................................................................................................... iTÓM TẮT NỘI DUNG .....................................................................................................iiMỤC LỤC..........................................................................................................................iiiCÁC KÝ HIỆU VIẾT TẮT ............................................................................................. vDANH MỤC HÌNH VẼ ................................................................................................... viChương 1: Kiểm thử đơn vị tham số hóa ...................................................................... 3 1.1. Kiểm thử phần mềm ................................................................................................. 3 1.2. Kiểm thử đơn vị ........................................................................................................ 4 1.3. Kiểm thử đơn vị tham số hóa ................................................................................... 6 1.3.1. Khái ni ệm ........................................................................................................... 6 1.3.2. Mối quan hệ giữa UT và PUT .......................................................................... 7 1.3.3. Kiểm thử đơn vị tham số hóa với Pex .............................................................. 8 1.3.4. Các mẫu kiểm thử tham số hóa ........................................................................ 9 1.3.5. Lựa chọn đầu vào kiểm thử với Pex ............................................................... 10Chương 2: Sinh dữ liệu kiểm thử tự động cho PUT .................................................. 12 2.1. Thực thi tượng trưng .............................................................................................. 13 2.1.1. Những khái niệm cơ bản ................................................................................. 13 2.1.2. Thực thi tượng trưng tĩnh................................................................................ 14 2.1.3. Thực thi tượng trưng động .............................................................................. 17 2.2. Xây dựng ràng buộc ............................................................................................... 23 2.2.1. Lưu trữ giá trị tượng trưng .............................................................................. 24 2.2.2. SE với các kiểu dữ liệu nguyên thủy.............................................................. 25 2.2.3. SE với đối t ượng .............................................................................................. 28 2.2.4. SE với các lời gọi phương thức ...................................................................... 30 2.3. Sinh dữ liệu kiểm thử cho PUT ............................................................................. 31Chương 3: Sinh ca kiểm thử tham số hóa với JPF ..................................................... 36 3.1. Kiến trúc của ...