CSDL Luận văn _ Luận án
Chủ đề: Java
Các kỹ thuật kiểm thử đột biến và ứng dụng để kiểm thử chương trình Java
- Tác giả: Khúc Ngọc Vinh |
- Giảng viên hướng dẫn: PGS. TS. Đoàn Văn Ban |
- Chuyên ngành: Khoa học Máy tính
Tổng quan về kiểm thử phần mềm, khái niệm về kiểm thử phần mềm, các phương pháp và quy trình kiểm thử. Giới thiệu các phương pháp kiểm thử đột biến nhằm giảm chi phí tính toán và tăng tự động hóa. Nêu ra các kỹ thuật để phát hiện các đột biến tương đương. Giới thiệu các công cụ hỗ trợ tạo đột biến và tập trung vào ứng dụng kỹ thuật kiểm thử đột biến.
Nghiên cứu hệ tiên đề Hoare và triển khai trên ngôn ngữ Java
- Tác giả: Trần Đức Hạnh |
- Giảng viên hướng dẫn: PGS.TSKH Nguyễn Xuân Huy |
- Chuyên ngành: Khoa học Máy tính
Chương 1. Tổng quan về công nghệ phần mềm; Chương 2. Hệ tiên đề Hoare; Chương 3. Chứng minh một số giải thuật.