THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Tiêu đề | Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa event – b |
---|---|
Tác giả | Nguyễn Xuân Trường |
Người hướng dẫn | PGS.TS Trương Ninh Thuận |
Trường học | Đại học Quốc gia Hà Nội |
Chuyên ngành | Công nghệ thông tin |
Thể loại | luận văn thạc sĩ |
Năm xuất bản | 2016 |
Thành phố | Hà Nội |
Định dạng | |
---|---|
Số trang | 66 |
Dung lượng | 2,29 MB |
Nội dung
Ngày đăng: 05/12/2022, 15:49
Nguồn tham khảo
Tài liệu tham khảo | Loại | Chi tiết |
---|---|---|
[1] GUI Testing Techniques: A Survey Imran Ali Qureshi an AamerNadeem, International Journal of Future Computer and Communication, Vol. 2, No. 2, April 2013 | Khác | |
[2] Cem Kaner, James Bach, Bret Pettichord, Lessons Learned in Software Testing. A Context-Driven Approach, John Wiley & Sons, 2001 | Khác | |
[3] [BEI90] Beizer, B., Software Testing Techniques, 2d ed., Van Nostrand Reinhold, 1990 | Khác | |
[4] J.-R. Abrial, Modeling in Event-B: System and Software Engi-neering. Cambridge University Press, 2010 | Khác | |
[5] A.F. Memon, GUI testing pitfalls and process, Computer, University of Maryland, 2002 | Khác | |
[6] D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, 2006 | Khác | |
[7] Christophe M´etayer, Laurent Voisin, the Event-B Mathematical Language, 2007 | Khác |
HÌNH ẢNH LIÊN QUAN
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN