TAILIEUCHUNG - Bài giảng Đặc tả hình thức: Chương 1 - PGS.TS. Vũ Thanh Nguyên

Bài giảng Đặc tả hình thức: Chương 1 Tổng quan, cung cấp cho người đọc những kiến thức như: Đặc tả hình thức và quy trình công nghệ phần mềm; Ngôn ngữ và đặc tả; Một số ngôn ngữ đặc tả hình thức; Đặc tả và công nghệ phần mềm. Mời các bạn cùng tham khảo! | Trường Đại học Công Nghệ Thông Tin ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương 1 Tổng quan Giảng viên . Vũ Thanh Nguyên 1 Đặc tả hình thức và quy trình CNPM Các hoạt động trong Khảo sát thế giới thực Hiện trạng Xác định Các yêu cầu Yêu cầu Mô hình Thế giới thực Phân tích Mô hình phần mềm Thiết kế Phần mềm Cài đặt Phần mềm chất lượng Kiểm chứng Triển khai Waterfall 2 Mở đầu Quan tâm đến kết quả thực hiện amp chuyển giao giữa các giai đoạn. Ngôn ngữ tự nhiên Sơ đồ Độ chính xác không cao có thể gây Độ chính xác tăng lên ra hiểu nhầm Dài dòng nếu mô tả đầy đủ. Trình bày ngắn gọn trực quan Phù hợp cho việc mô tả 1 cách tổng Thích hợp cho việc mô tả chi tiết quát 3 Mở đầu Phương pháp hình thức được chấp nhận ở cả 2 lãnh vực là nghiên cứu và công nghiệp như một con đường có thể giúp đỡ cải tiến chất lượng của các hệ thống phần cứng phần mềm. Đặc tả hình thức là sự miêu tả đơn giản của một hệ thống sử dụng các ký hiệu toán học. Ưu điểm của việc sử dụng toán học chính là nó là sự chính xác không giống như ngôn ngữ tự nhiên còn mơ hồ mà nó thường được sử dụng cho đặc tả. Nhược điểm của nó là sự bao vây của các ký hiệu vì rất nhiều người hiểu ngôn ngữ tự nhiên hơn toán học Ngôn ngữ đặc tả cần phải được nghiên cứu và nó được sử dụng như một công cụ thiết kế và nếu ký hiệu đủ rõ hay nó được xem như công cụ tài liệu hoá. 4 Mở đầu Các quá trình thiết kế một hệ thống thực tế cam kết việc sử dụng ký hiệu hình thức để truyền đạt các ý tưởng của các thành viên trong đội ngũ thiết kế. Khi thiết kế đã hoàn chỉnh sau đó nó có thể là cơ sở cho việc mô tả hướng dẫn về hệ thống. 5 Mở đầu Tại Sao Sử Dụng Đặc Tả Hình Thức Đặc tả hình thức là sự rõ ràng và chính xác Đặc tả hình thức chưa đúng dễ dàng phát hiện lỗi sai và chỉnh sửa nó. Đặc tả phi hình thức rất khó tìm ra lỗi và chỉnh sửa nó. Sử dụng ký hiệu hình thức tăng cường sự hiểu biết của sự vận hành hệ thống đặc biệt giai đoạn ban đầu trong thiết kế. Tổ chức ý tưởng của người thiết kế tạo sự rõ ràng thiết kế đơn giản. Khả thi để suy

• Kỹ thuật lập trình
• Bài giảng Đặc tả hình thức
• Đặc tả hình thức
• Mô hình Thế giới thực
• Ngôn ngữ đặc tả hình thức
• Quy trình công nghệ phần mềm
• Ngôn ngữ hình thức
• Đặc tả hàm
• Đặc tả đệ quy
• Đặc tả hàm tường minh
• Đặc tả hàm không tường minh
• Lập trình phần mềm
• Công nghệ phần mềm
• Đặc tả phần mềm
• Đặc tả yêu cầu phần mềm
• Bài giảng Đặc tả yêu cầu phần mềm
• Công nghệ phần mềm nâng cao
• Phân loại đặc tả yêu cầu phần mềm
• Đặc tả phi hình thức phần mềm
• Đặc tả hình thức phần mềm
• Thiết kế ở mức cao
• Đặc tả ở mức mã nguồn
• JML nâng cao
• Từ khóa chính trong JML
• Các tính năng nâng cao
• Đặc tả các ngoại lệ
• Thừa kế đặc tả
• Các trường model
• Đặc tả không hình thức
• Phép toán vị từ
• Cơ sở đặc tả hình thức
• Luật suy diễn
• Cơ sở toán học trong đặc tả hình thức
• Hệ thống phần mềm
• Lỗi phần mềm
• Ngôn ngữ và hệ thống
• Các ngôn ngữ đặc tả
• Kiểm tra mô hình
• Mô hình hóa dữ liệu
• Kiểu dữ liệu
• Đặc tả operation
• Dữ liệu kiểu mảng
• Kiểu đối tượng phức
• Kiểu tập hợp
• Design by contract
• Ngôn ngữ đặc tả
• Công cụ hỗ trợ
• Giới thiệu về ESC Java2
• Cách sử dụng và thuộc tính
• Cấu trúc của ESC
• Các file đặc tả
• Thủ thuật và cạm bẫy
• Đặc tả thừa kế
• Đặc tả sử dụng ánh xạ
• Kiểu ánh xạ
• Ngôn ngữ đặc tả Z
• Phép toán trên giản đồ