Luận Văn Thạc Sĩ Phương Pháp Sinh Dữ Liệu Kiểm Thử Tự Động Từ Biểu Đồ Tuần Tự UML, Biểu Đồ Lớp Và Ràng Buộc OCL

Phương Pháp Sinh Dữ Liệu Kiểm Thử Tự Động Từ Biểu Đồ Tuần Tự UML, Biểu Đồ Lớp Và Ràng Buộc OCL​

Công nghệ phần mềm đang ngày càng phát triển và chi phối cuộc sống của con người. Ngược lại, con người luôn không ngừng sáng tạo để tạo ra những công nghệ mới, phần mềm và dịch vụ mới. Trong quá trình phát triển đó, cần phải có một qui trình song song để phát hiện và kiểm soát những sai lầm mà con người có thể vô tình hoặc cố tình tạo ra, đó chính là kiểm thử. Theo ước tính, quá trình kiểm thử chiếm khoảng 50% thời gian và 40% - 60% tổng chi phí trong toàn bộ quá trình phát triển phần mềm [1]. Quá trình kiểm thử cũng quyết định sự thành công, mức độ đảm bảo của dự án phần mềm đặc biệt là trong các lĩnh vực đòi hỏi độ chính xác cao như hàng không, quân sự, khoa học, vũ trụ..

• Luận văn thạc sĩ Kỹ thuật phần mềm
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: PGS. TS. Phạm Ngọc Hùng
• Tác giả: Nguyễn Văn Hòa
• Số trang: 74
• Ngôn ngữ: Tiếng Việt
• Đại học quốc gia Hà Nội 2016

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1067855
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1