Báo cáo môn học các vấn đề hiện đại công nghệ phần mềm

Trong các công ty phát triển phần mềm hầu hết công việc kiểm thử của kiểm thử viên được thực hiện thủ công bằng tay. Trong khi đó số lượng tình huống kiểm tra quá nhiều mà các kiểm thử viên không thể hoàn tất bằng tay trong thời gian cụ thể nào đó. Hoặc khi nhóm lập trình đưa ra nhiều phiên bản phần mềm liên tiếp để kiểm tra. Thực tế cho thấy việc đưa ra các phiên bản phần mềm có thể là hàng ngày, mỗi phiên bản bao gồm những tính năng mới, hoặc tính năng...
Nội dung trích xuất từ tài liệu:
Báo cáo môn học các vấn đề hiện đại công nghệ phần mềm Báo cáo môn học các vấn đề hiện đại công nghệ phần mềm Bộ môn : Các vấn đề hiện đại công nghệ phần mềm. LỜI CẢM ƠN Để hoàn thành báo cáo môn học các vấn đ ề hiện đại công nghệ phần mềm một cách hoàn chỉnh, chúng em xin bày tỏ lòng cảm ơn chân thành đến các thầy cô đ ã hướng dẫn chúng em tại trường Đại Học Công Nghệ. Đặ c biệt là thầyĐặng Đức Hạnh và cô Vũ Diệu Hương, thầ y cô đã trực tiếp hướng dẫ n tận tình, sửa ch ữa và đóng góp nhiều ý kiến quý báu giúp chúng em hoàn thành tốt báo cáo môn học của mình. Lời cảm ơn chân thành và sâu sắc, chúng em xin gửi đ ến gia đình, đ ã luôn sát cánh và động viên chúng em trong những giai đoạn khó khăn nhấ t. Chân thành cảm ơn đến các bạn trong lớp đã hỗ trợ để chúng em có thể hoàn thành tốt công việc được giao. Chúng em xin chân thành biết ơn sự tậ n tình dạy dỗ của tất cả các quý thầy cô Khoa Công nghệ Thông tin – Trường Đại học Công Nghệ Thông Tin – Đại học Quốc gia Hà Nội. Chúng cũng xin chân thành gửi lời cảm ơn đến tất cả các thầy cô đã giảng dạy chúng em thời gian qua, đã truyền đạt và trang bị cho chúng em những kinh nghiệm, kiến thức chuyên môn, giúp chúng em mở rộng tầm nh ìn khi thâm nhập vào thực tế. chúng em xin hứa sẽ không ngừng phấn đấu nỗ lực vươn lên trong học tập và công tác sau này. 2 Bộ môn : Các vấn đề hiện đại công nghệ phần mềm. Ph l c LỜI CẢM ƠN ......................................................................................................... 1 CHƯƠNG 1 GIỚI THIỆU ...................................... Error! Bookmark not defined. 1.1Đặt vấn đề ...................................................... Error! Bookmark not defined. 1.2Nộ i dung báo cáo môn học ............................. Error! Bookmark not defined. 1.3Cấu trúc báo cáo môn học .............................. Error! Bookmark not defined. CHƯƠNG 2 TRÌNH BÀY KHÁI NIỆM MÔ HÌNH PROMELA.............................5 Khái niệm cơ bản ngôn ngữ Promela......................................................6 2.1 2.2 Biến và Kiểu ...........................................................................................6 2.3 Định danh, Hằng số và Biểu thức...........................................................7 2.4 Tiến trình.................................................................................................8 2.5 Lệnh và cấu trúc lệnh Promela............................................................... 9 2.6 Sự khác biệt khi sử dụng 2 từ khóa Atomic, D-step trong bài toán cụ thể....................................................................................................................10 CHƯƠNG 3 TRÌNH BÀY CÔNG CỤ SPIN, THAM SỐ, CÚ PHÁP LỆNH.....17 Sơ lược về công c ụ spin...................................................................17 3.1 Lịch sử p hát triển công cụ SPIN..........................................................17 3.2 Một số yếu tố thành công của SPIN......................................................17 3.3 Kiến trúc SPIN – Cấp độ tổ chức Spin.................................................18 3.4 Công cụ dòng lệnh................................................................................18 3.4 CHƯƠNG 4 GIỚ I THIỆU CÔNG CỤ SOẠN TH ẢO EMACS.....................21 4.1 Khái niệm và chức năng của GNU Emacs............................................21 Các lo ại trình soạn thảo Emacs.............................................................22 4.2 Bộ gõ.................................................................................................. ...23 4.4 Giao diện trình so ạn thảo Emacs...........................................................23 4.4 Cấu trúc lệnh Emac...............................................................................24 4.6 Các phím đơn..................................................................................... .24 4.5 3 Bộ môn : Các vấn đề hiện đại công nghệ phần mềm. 4.6 Các phím tiền tố và tổ hợp................................................................... 25 CHƯƠNG 5 KẾT LUẬN ....................................... Error! Bookmark not defined. TÀI LIỆU THAM KHẢO....................................... Error! Bookmark not defined. 4 Bộ môn : Các vấn đề hiện đại công nghệ phần mềm. CHƯƠNG 1 GIỚ I THIỆU 1.1 Đặt vấn đề Trong các công ty phát triển phần mềm hầu hết công việc kiểm thử của kiểm thử viên được thực hiện thủ công bằng tay. Trong khi đó số lượng tình huố ng kiểm tra quá nhiều mà các kiểm thử viên không thể hoàn tất bằng tay trong thời gian cụ thể nào đó. Hoặc khi nhóm lập trình đưa ra nhiều phiên bản phần mềm liên tiếp để kiểm tra. Thực tế cho thấy việc đưa ra các phiên bản phần mềm có thể là hàng ngày, mỗi phiên bản bao gồm những tính năng mới, hoặc tính năng cũ được sửa lỗi hay nâng cấp. Việc bổ sung hoặc sửa lỗi code cho những tính năng ở phiên bản mới có thể làm cho những tính năng khác đã kiểm tra tốt chạy sai m ặc dù phần code của nó không hề chỉnh sửa. Để khắc phục điều này, đối với từng phiên b ản, kiểm thử viên không chỉ kiểm tra chức năng mới hoặc được sửa, mà phải kiểm tra lại tất cả những tính năng đã kiểm tra tốt trước đó. Điều này khó khả thi về m ặt thời gian nếu kiểm tra thông thường. Để giải quyết vấn đề này chúng ta áp dụng kỹ thuật kiểm thử dựa trên mô hình cho quá trình sinh các ca kiểm thử tự động. Nhưng làm sao đ ể thực hiện được quá trình sinh các ca kiểm thử tự động chúng ta phải áp dụng khá nhiều các công nghệ sẵn có và thông dụng nhất. Ở đây chúng em xin giới thiệu mã nhú ...