tailieunhanh - 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ả. . | 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 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 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 ðặc tả hình thức hay không hình thức ?