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
