II. Kĩ thuật phân tích và các phơng pháp hình thức hoá trong
8. Kĩ thuật tự động hoá
Kĩ thuật phân tích các yêu cầu tự động dùng một kí pháp đặc biệt đã đ- ợc thiết kế tờng minh cho việc xử lí dùng một công cụ tự động hoá.Các yêu cầu đợc mô tả bằng một ngôn ngữ đặc tả có tổ hợp những chỉ báo từ khoá với lời tờng thuật trong ngôn ngữ tự nhiên.Ngôn ngữ đặc tả đợc nạp vào bộ xử lí để tạo ra đặc tả yêu cầu một tập các báo cáo chuẩn đoán về tính nhất quán và tổ chức của đặc tả.
8.1 Phơng pháp luận kĩ nghệ yêu cầu phần mềm(SREM)
SREM là một công cụ phân tích yêu cầu tự động hoá có sử dụng ngôn ngữ phát biểu yêu cầu(RSL) mô tả các phần tử các phần tử , thuộc tính, quan hệ và cấu trúc.Các phần tử bao gồm một tập các sự vật và khái niệm tơng đ- ơng dùng để phát triển việc phân tích đặc tả.Mối quan hệ giữa các sự vật đợc đặc tả nh một phần của RSL, còn thuộc tính thì đợc dùng để thay đổi hay định tính các phần tử.
Các thủ tục bao gồm: (1) Dịch. Một hoạt động biến đổi các yêu cầu phần mềm ban đầu đợc mô tả trong bản đặc tả hệ thống thành một tập hợp các mô tả dữ liệu và các bớc xử lí chi tiết hơn.(2) Phân rã. Một hoạt động đánh giá thông tin tại giao diện đối với các phần tử phần mềm và làm phát sinh một tập đầy đủ các yêu cầu tính toán.(3) Cấp phát. Hoạt động xem xét các cách tiếp cận khác đối với yêu cầu đã đợc thiết lập;nghiên cứu về trả giá và tiến hành phân tích tính nhạy cảm.(4) Trình diễn tính khả thi phân tích. Một hoạt động phân tích cố gắng mô phỏng các yêu cầu xử lí chủ chốt để xác định tính khả thi.
8.2 Ngôn ngữ phát biểu vấn đề/Bộ phân tích phát biểu vấn đề (PSL/PSA) (PSL/PSA)
PSL/PSA cung cấp cho ngời phân tích các khả năng bao gồm: (1) mô tả hệ thông tin, bất kể lĩnh vực ứng dụng;(2) tạo ra cơ sở dữ liệu có chứa các bộ
Đề án chuyên ngành Khoa tin học kinh tế ra tài liệu đã định dạng và nhiều báo cáo về đặc tả.Mô hình PSL dùng một tập các từ khoá để xác định bộ mô tả cho luồng thông tin hệ thống, cấu trúc hệ thống, cấu trúc dữ liệu, suy diễn dữ liệu, kích cỡ và dung lợng hệ thống, tính động hệ thống, tính chất hệ thống và quản lý dự án. PSA tạo ra một số các báo cáo kể cả một bản ghi về mọi thay đổi đã đợc thực hiện cho cơ sở dữ liệu đặc tả, các báo cáo tham khảo trình bày thông tin cơ sở dữ liệu theo nhiều định dạng khác nhau, các báo cáo tóm tắt cung cấp thông tin quản lý dự án, và báo cáo phân tích đánh giá các đặc trng của cơ sở dữ liệu.
8.3 Công nghệ cho việc sinh tự động hệ thống (TAGS)
TAGS bao gồm ba thành phần chủ yếu: Một ngôn ngữ đặc tả gọi là ngôn ngữ yêu cầu vào/ra (IORL), một tập các công cụ phần mềm cho phân tích yêu cầu và xử lý IORL, một phơng pháp luận nền tảng TAGS.
Ngôn ngữ đặc tả TAGS đợc thiết kế để thực hiện cả biểu diễn văn bản và đồ hoạ do ngời phân tích tạo ra bằng cách dùng công cụ tơng tác. Mức cao nhất của biểu diễn IORL là biểu đồ khối sơ đồ (SBD). SBD địng danh các thành phần hệ thống chính và giao diện dữ liệu giữa chúng. Đặc tả IORL đợc phân tích bằng cách dùng nhiều công cụ phần mềm gồm: Bộ phân tích chẩn đoán giúp phát hiện các lỗi tính, bộ biên dịch mô phỏng giúp cho việc khám phá các lỗi động bằng cách mô phỏng thống đã đợc mô hình hoá theo IORL.
Các công cụ trên đây chỉ mang tính chất đại diện cho kĩ thuật phân tích yêu cầu tự động hoá, trong thực tế còn có nhiều công cụ khác và chắc chắn trong t- ơng lai kĩ thuật nay còn có những bớc khám phá mới hiện đại và phù hợp hơn.
Đề án chuyên ngành Khoa tin học kinh tế
Kết luận
Công nghệ phần mềm là một lĩnh vực hết sức rộng lớn với nội dung đa dạng phức tạp và rất nhiều vấn đề liên quan .Để hiểu đợc nó,chúng ta phải không ngừng học tập ,nghiên cứu, nắm bắt mọi thông tin cập nhật liên quan tới lĩnh vực này.
Ngày nay, việc sản xuất phần mềm cũng đang gặp phải những khó khăn liên quan tới mặt kĩ thuật nh: Không có phơng pháp mô tả rõ ràng yêu cầu của ngời sử dụng; Với những phần mềm có quy mô lớn,t liệu đặc tả đã cố định thời gian dài, do vậy khó đáp ứng nhu cầu thay đổi của ngời dùng một cách kịp thời trong thời gian đó;Không có phơng pháp thiết kế nhất quán mà thiết kế theo cách riêng làm suy giảm chất lợng phần mềm; những đặc tả không rõ ràng sẽ làm giảm chất lợng phần mềm do không có các chuẩn trong quy trình sản xuất phần mềm...
Chính vì vậy, đối với ngời làm tin học, cần phải hiểu và biết về các kiến thức căn bản về phần mềm, đặc biệt đối với nhà sản xuất phần mềm thì việc nắm đợc các kĩ thuật , các phơng pháp trong công nghệ phần mềm là rất cần thiết.
Nội dung của đề án nghiên cứu về kĩ thuật phân tích và phơng pháp hình thức trong công nghệ phần mềm, tuy nhiên chỉ là đứng trên góc độ chủ quan của bản thân ngời thực hiện đề án.Bởi vì, trên thực tế ,kho tàng kiến thức là vô tận ,chúng ta không thể nắm bắt hết đợc và cách nhìn nhận đánh giá của từng ngời là khác nhau.Chúng ta đã nghiên cứu phân tích có cấu trúc, phân tích hớng sự vật,phơng pháp hớng cấu trúc dữ liệu, phơng pháp luận Warnier – Orr, JDS , SADT, kĩ thuật đặc tả...và cũng đã hiểu hơn đợc các kĩ thuật và phơng pháp trong công nghệ phần mềm, đặc biệt là trong giai đoạn phân tích yêu cầu phần mềm.
Với các nội dung đã phân tích và nghiên cứu nêu trong đề án , em cũng mong mang tới cho ngời đọc những kiến thức bổ ích và cần thiết.Em rất mong đợc sự đóng góp của thầy cô và các bạn để đề án thêm hoàn thiện.Xin chân thành cảm ơn PGS.TS Hàn Viết Thuận đã hớng dẫn em hoàn thành đề án này, cảm ơn các thầy cô trong khoa, các bạn trong lớp đã giúp đỡ em trong khi tìm tài liệu và đóng góp ý kiến.
Đề án chuyên ngành Khoa tin học kinh tế
Mục lục
Mở đầu...1
chơng I...2
tổng quan về công nghệ phần mềm...2
I. Giới thiệu chung về phần mềm...2
1.Định nghĩa...2
2.Tầm quan trọng của SW...2
2.1 Vai trò tiến hoá của SW...3
2.2 Vai trò của SW trong việc phát triển HTMT...4
3.ứng dụng của SW...4 3.1 SW hệ thống...4 3.2 SW thời gian thực...5 3.3 SW nghiệp vụ...5 3.4 SW khoa học và công nghệ...6 3.5 SW nhúng...6 3.6 SW máy tính cá nhân...6
3.7 SW trí tụê nhân tạo(AI)...6
II. công nghệ phần mềm...7
1..Khái niệm...7
2.Lịch sử và xu hớng phát triển của CNPM...8
chơng II...10
Phân tích yêu cầu...10
I.khái niệm...10
II.quy trình phân tích yêu cầu...11
III.nguyên lí phân tích...13
1. Miền thông tin của vấn đề phải đợc diễn đạt lại và hiểu rõ...14
2.Miền thông tin...14
3..Mô hình hoá...15
4.Phân hoạch...16
5.Cái nhìn bản chất và cài đặt...16
Chơng III...18
Các kĩ thuật phân tích và phơng pháp hình thức hoá trong CNPM...18
I. khái quát chung về kĩ thuật và phơng pháp trong CNPM...18
II. Kĩ thuật phân tích và các phơng pháp hình thức hoá trong CNPM...20
1.Phơng pháp phân tích yêu cầu...21
1.1 Các đặc trng chung...22
1.2 Sự khác biệt trong phơng pháp phân tích...22
2. Phân tích có cấu trúc ...23
2.1 Biểu đồ luồng dữ liệu DFD (data flow diagram)...24
2.2 Mở rộng cho các hệ thống thời gian thực...25
Đề án chuyên ngành Khoa tin học kinh tế
2.3.1 Tạo ra mô hình luồng dữ liệu...28
2.3.2 Tạo ra mô hình luồng điều khiển...29
2.3.4 Đặc tả điều khiển và đặc tả tiến trình...29
2.4 Phân tích có cấu trúc và Case...30
3.Phân tích hớng sự vật ...30
3.1 Khái niệm hớng sự vật...31
3.2 Mô hình hoá phân tích hớng sự vật...32
4. Phơng pháp mô hình hoá dữ liệu...33
4.1 Khái niệm...33
4.2 Kĩ thuật mô hình hoá dữ liệu...33
5. Phơng pháp hớng cấu trúc dữ liệu...35
5.1 Đặc điểm của phơng pháp hớng cấu trúc dữ liệu...35
5.2 Phơng pháp luận Warnier – Orr...36
5.3 Phát triển hệ thống JACKSON...39
6. Kĩ thuật phân tích và thiết kế có cấu trúc (SADT)...41
7. Kĩ thuật đặc tả hình thức...41
8. Kĩ thuật tự động hoá...42
8.1 Phơng pháp luận kĩ nghệ yêu cầu phần mềm(SREM)...42
8.2 Ngôn ngữ phát biểu vấn đề/Bộ phân tích phát biểu vấn đề (PSL/PSA)...42
8.3 Công nghệ cho việc sinh tự động hệ thống (TAGS)...43
Kết luận...44