Sinh Ca Kiểm Thử Từ Các Biểu Đồ UMLTrong quá trình phát triển phần mềm, hoạt động kiểm thử nhằm đảm bảo chất lượng phần mềm có vai trò quan trọng, quyết định đến sự tồn tại của hệ thống phần mềm. Khi sự phức tạp và kích thước của phần mềm tăng lên, thời gian và công sức cần thiết để thực hiện kiểm thử một cách hiệu quả cũng tăng theo. Nhiều nghiên cứu cho rằng hơn 50% chi phí phát triển phần mềm được phân bổ cho việc kiểm thử [2]. Một trong những bài toán quan trọng nhất trong nghiên cứu kiểm thử phần mềm đó là sinh các ca kiểm thử, việc thiết kế các ca kiểm thử và thực hiện chúng đều tốn thời gian và công sức. Thiết kế kịch bản kiểm thử bằng cách thủ công rất tốn thời gian và dễ gặp lỗi. Do vậy, việc nghiên cứu các kỹ thuật để sinh tự động các kịch bản kiểm thử là rất cần thiết. Có hai hướng tiếp cận chính trong việc sinh ca kiểm thử tự động. Một hướng tiếp cận cố gắng thiết kế các ca kiểm thử từ các yêu cầu, đặc tả phần mềm và một hướng khác sinh từ mã nguồn. Thiết kế ca kiểm thử từ mã nguồn rất lộn xộn và khó tự động [3]. Các ký hiệu thiết kế có thể được sử dụng làm cơ sở cho việc kiểm tra đầu ra, làm giảm đáng kể một trong các chi phí của quá trình kiểm thử. Tiến trình sinh các bài kiểm tra từ thiết kế thường giúp các kiểm thử viên phát hiện được vấn đế trong chính thiết kế. 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. Trương Ninh Thuận Tác giả: Nguyễn Thị Bích Hà Số trang: 54 Kiểu file: PDF Ngôn ngữ: Tiếng Việt Đại học Quốc gia Hà Nội 2015 Link Download http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1062576https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1