Kiểm Tra Độ Phủ Trong Kiểm Thử Đơn VịKiểm thử phần mềm có một vai trò quan trọng trong việc đảm bảo tính đúng đắn của hệ thống phần mềm trong suốt quá trình thực thi. Kiểm thử cần được tiến hành ở nhiều mức và phối hợp nhiều kỹ thuật khác nhau. Kiểm thử đơn vị mặc dù không còn quá mới mẻ tuy nhiên nó vẫn là một trong những bước kiểm thử quan trọng khi viết chương trình. Nội dung xuyên suốt của luận văn là nghiên cứu kỹ thuật kiểm thử hộp trắng đi sâu vào kiểm thử luồng điều khiển để phân tích các đường đi trong chương trình. Độ phủ là một trong các tiêu chí khi kiểm thử luồng điều khiển, độ phủ càng lớn thì độ tin cậy của bộ dữ liệu kiểm thử càng cao. Khi chương trình tồn tại các nhánh chưa được phủ thì lỗi rất có thể xảy ra tại các nhánh này. Luận văn đề xuất phương pháp kiểm tra độ phủ của bộ dữ liệu kiểm thử đạt tiêu chuẩn bao phủ nhánh dựa trên công cụ kiểm thử Java PathFinder (JPF). Phương pháp đã sử dụng các chức năng lưu vết khi thực thi chương trình của JPF để xây dựng một công cụ tự động hỗ trợ kiểm tra độ phủ trong kiểm thử đơn vị. Công cụ xây dựng đã hỗ trợ lập trình viên kiểm tra độ phủ của bộ dữ liệu kiểm thử cũng như giúp lập trình viên đánh giá lại mã nguồn đã viết. Luận văn thạc sĩ Công nghệ thông tin Chuyên ngành Kỹ thuật phần mềm Người hướng dẫn khoa học: PGS. TS. Nguyễn Việt Hà Tác giả: Lê Thị Thu Hiền Số trang: 68 Kiểu file: PDF Ngôn ngữ: Tiếng Việt Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2014 Link Download http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1055027https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1
