Bài giảng Nhập môn công nghệ phần mềm: Chương 4 - Nguyễn Thanh Bình

Bài giảng "Nhập môn công nghệ phần mềm - Chương 4: Các kỹ thuật đặc tả" cung cấp cho người học các kiến thức: Khái niệm đặc tả, tại sao phải đặc tả, phân loại các kỹ thuật đặc tả, các kỹ thuật đặc tả. Mời các bạn cùng tham khảo.
Nội dung trích xuất từ tài liệu:
Bài giảng Nhập môn công nghệ phần mềm: Chương 4 - Nguyễn Thanh Bình Các kỹ thuật ñặc tả (4) Nguyễn Thanh Bình Khoa Công nghệ Thông tin Trường ðại học Bách khoa ðại học ðà Nẵng Nội dung
Khái niệm ñặc tả
Tại sao phải ñặc tả ?
Phân loại các kỹ thuật ñặc tả
Các kỹ thuật ñặc tả 2 1 CuuDuongThanCong.com https://fb.com/tailieudientucntt Khái niệm ñặc tả
ðặc tả (specification)  ñịnh nghĩa một hệ thống, mô-ñun hay một sản phẩm cần phải làm cái gì  không mô tả nó phải làm như thế nào  mô tả những tính chất của vấn ñề ñặt ra  không mô tả những tính chất của giải pháp cho vấn ñề ñó 3 Khái niệm ñặc tả
ðặc tả là hoạt ñộng ñược tiến hành trong các giai ñoạn khác nhau của tiến trình phần mềm:  ðặc tả yêu cầu (requirement specification) • sự thống nhất giữa những ngưới sử dụng tương lai và những người thiết kế  ðặc tả kiến trúc hệ thống (system architect specification) • sự thống nhất giữa những người thiết kế và những người cài ñặt  ðặc tả môñun (module specification) • sự thống nhất giữa những người lập trình cài ñặt mô-ñun và những người lập trình sử dụng mô-ñun 4 2 CuuDuongThanCong.com https://fb.com/tailieudientucntt Tại sao phải ñặc tả ?
Hợp ñồng  sự thống nhất giữa người sử dụng và người phát triển sản phẩm
Hợp thức hóa  sản phẩm làm ra phải thực hiện chính xác những gì mong muốn
Trao ñổi  giữa người sử dụng và người phát triển  giữa những người phát triển
Tái sử dụng 5 Phân loại các kỹ thuật ñặc tả
ðặc tả phi hình thức (informal)  ngôn ngữ tự nhiên tự do  ngôn ngữ tự nhiên có cấu trúc  các kí hiệu ñồ họa
ðặc tả nữa hình thức (semi-informal)  trộn lẫn cả ngôn ngữ tự nhiên, các kí hiệu toán học và các kí hiệu ñồ họa
ðặc tả hình thức (formal)  kí hiệu toán học • ngôn ngữ ñặc tả • ngôn ngữ lập trình 6 3 CuuDuongThanCong.com https://fb.com/tailieudientucntt ðặc tả hình thức hay không hình thức ?
ðặc tả hình thức  chính xác (toán học)  hợp thức hóa hình thức (công cụ hóa)  công cụ trao ñổi: khó ñọc, khó hiểu  khó sử dụng
ðặc tả không hình thức  dễ hiểu, dễ sử dụng  mềm dẻo  thiếu sự chính xác  nhập nhằng 7 Ứng dụng ñặc tả hình thức
ứng dụng trong các giai ñoạn sớm của tiến trình phát triển
hạn chế lỗi trong phát triển phần mềm
ứng dụng chủ yếu trong phát triển các hệ thống “quan trọng” (critical systems)  hệ thống ñiều khiển  hệ thống nhúng  hệ thống thời gian thực 8 4 CuuDuongThanCong.com https://fb.com/tailieudientucntt Chi phí phát triển khi sử dụng ñặc tả hình thức 9 Các kỹ thuật ñặc tả
Trình bày một số kỹ thuật  Máy trạng thái hữu hạn  Mạng Petri  ðiều kiện trước và sau  Kiểu trừu tượng  ðặc tả Z 10 5 CuuDuongThanCong.com https://fb.com/tailieudient ...