Bài giảng Nhập môn Công nghệ phần mềm: Phần 2 - ThS. Phan Phương Lan

Bài giảng Nhập môn Công nghệ phần mềm - Phần 2: Tiến trình phần mềm cung cấp cho người học các kiến thức: Phân tích và đặc tả, thiết kế, lập trình, kiểm thử, triển khai hệ thống và bảo trì, tiến trình RUP

NHẬP MƠN CƠNG NGHỆ PHẦN MỀM TIẾN TRÌNH PHẦN MỀM PHẦN II – TIẾN TRÌNH PHẦN MỀM PHẦN II.3 – LẬP TRÌNH Bộ mơn Cơng nghệ phần mềm, Khoa CNTT&TT, Đại học Cần Thơ Ths.Phan Phương Lan Nội dung  Phân tích Đặc tả Thiết kế Lập trình Kiểm thử Triển khai hệ thống Bảo trì  Tiến trình RUP     Ths.Phan Phương Lan Nội dung     Các chuẩn thủ tục lập trình Chọn ngơn ngữ lập trình Ngun tắc lập trình Tài liệu lập trình Ths.Phan Phương Lan Ths.Phan Phương Lan Các chuẩn thủ tục lập trình  Các chuẩn thủ tục lập trình Chuẩn thủ tục giúp lập trình viên    Tổ chức ý định tránh lỗi  Các tài liệu theo chuẩn giúp ta quay lại cơng việc mà khơng dấu làm  Các tài liệu theo chuẩn giúp ta định vị lỗi tạo thay đổi Dịch thiết kế sang mã lệnh Chuẩn thủ tục giúp tạo tương ứng trực tiếp thành phần thiết kế thành phần cài đặt   Các đặc trưng chương trình nên giống đặc trưng thiết kế: nối kết thấp, gắn kết cao giao diện rõ ràng => Các giải thuật, chức năng, giao diện cấu trúc liệu theo vết từ thiết kế sang chương trình ngược lại cách dễ dàng Ths.Phan Phương Lan Ths.Phan Phương Lan Các chuẩn thủ tục lập trình  Chọn ngơn ngữ lập trình  Chuẩn thủ tục giúp thành viên khác  Giúp thành viên khác hiểu mã lệnh (do lập trình viên viết ra) làm làm nhằm thực việc:    Theo loại phần mềm     Tái sử dụng (lập trình viên khác) Kiểm thử (kiểm thử viên) Hiệu chỉnh hay hồn thiện hệ thống (bảo trì viên)      Phần mềm hệ thống: C, C++ Phần mềm thời gian thực: C, C++, Assembly Phần mềm nhúng: C++, Java Phần mềm nghiệp vụ (HTTT):  CSDL: Oracle, MySQL, SQL Server  NNLT: VB, Foxpro, VC++ Phần mềm trí tuệ nhân tạo: Prolog, Lisp Phần mềm (dịch vụ) Web: PHP, ASP, Java Script Theo đặc trưng ngôn ngữ Theo lực kinh nghiệm nhóm phát triển phần mềm Theo yêu cầu khách hàng Ths.Phan Phương Lan Ths.Phan Phương Lan Nguyên tắc lập trình  Cấu trúc điều khiển Dù ngơn ngữ lập trình sử dụng, thành phần chương trình liên quan tới khía cạnh chính:    Cấu trúc điều khiển Giải thuật Cấu trúc liệu Ths.Phan Phương Lan Cấu trúc điều khiển  Ví dụ: Đoạn chương trình benefit = minimum; if (age < 75) goto A; benefit = maximum; goto C; if (AGE < 65) goto B; if (AGE < 55) goto C; A: if (AGE < 65) goto B; benefit = benefit * 1.5 + bonus; goto C; B: if (age < 55) goto C; benefit = benefit * 1.5; C: next statement Được viết lại: if (age < 55) benefit = minimum; elseif (AGE < 65) benefit = minimum + bonus; elseif (AGE < 75) benefit = minimum * 1.5 + bonus; Ths.Phan Phương Lan else benefit = maximum;  Cấu trúc điều khiển Tạo mã lệnh dễ đọc  Ví dụ: Cho đoạn chương trình benefit = minimum; if (age < 75) goto A; benefit = maximum; goto C; if (AGE < 65) goto B; if (AGE < 55) goto C; A:if (AGE < 65) goto B; benefit = benefit * 1.5 + bonus; goto C; B: if (age < 55) goto C; benefit = benefit * 1.5; C: next statement Điều khiển đoạn chương trình bỏ qua số câu lệnh => Rất khó đọc    Xây dựng chương trình từ khối mơ đun nhằm làm cho hệ thống dễ hiểu, dễ kiểm thử dễ bảo trì Viết mã lệnh có tính tổng quát không làm ảnh hưởng đến thực hiểu biết Sử dụng tên tham số thích để biểu thị kết hợp thành phần Tạo phụ thuộc thành phần cách rõ ràng 10 Ths.Phan Phương Lan 11 12 Ths.Phan Phương Lan Cấu trúc liệu Giải thuật   Mục tiêu chung: tăng hiệu thực (tốc độ) Tính hiệu thực có chi phí ẩn Tốn thời gian để viết mã lệnh thực thi nhanh  Tốn thời gian để kiểm thử mã lệnh  Tốn thời gian để người dùng hiểu mã lệnh  Tốn thời gian để hiệu chỉnh mã lệnh, cần => Cân thời gian thực thi với chất lượng thiết kế, chuẩn yêu cầu khách hàng   Làm cho chương trình đơn giản Ví dụ: xác định thuế thu nhập  Với $10,000 thu nhập đầu tiên, thuế 10%  Với $10,000 thu nhập (trên $10,000), thuế 12%  Với $10,000 thu nhập (trên $20,000), thuế 15%  Với $10,000 thu nhập tiếp theo(trên $30,000), thuế 18%  Với thu nhập $40,000, thuế 20% 13 Ths.Phan Phương Lan Cấu trúc liệu Cấu trúc liệu    Ta nên định dạng lưu trữ liệu cho việc quản lý thực liệu không phức tạp Các cấu trúc liệu: danh sách, ngăn xếp, cây, v.v Một số kỹ thuật sử dụng cấu trúc liệu để tổ chức chương trình   Làm cho chương trình đơn giản Sử dụng cấu trúc liệu để xác định cấu trúc chương trình 14 Ths.Phan Phương Lan 15 Ths.Phan Phương Lan tax = if (taxable_income == 0) goto EXIT; if (taxable_income > 10000) tax = tax + 1000; else { tax = tax + 10*taxable_income; goto EXIT; } if (taxable_income > 20000) tax = tax + 1200; else { tax = tax + 12*(taxable_income-10000): goto EXIT; } if (taxable_income > 30000) tax = tax + 1500; else { tax = tax + 15*(taxable_income-20000); goto EXIT; } if (taxable_income < 40000){ tax = tax + 18*(taxable_income-30000); goto EXIT; } else tax = tax + 1800 + 20*(taxable_income-40000); Ths.Phan Phương Lan EXIT; 16 Cấu trúc liệu   Xác định bảng thuế Bracket 10,000 20,000 30,000 40,000  Nguyên tắc chung Base 1000 2200 3700 55000 Cục hóa input output  Percent 10 12 15 18 20  Giải thuật đơn giản hóa for (int i=2; level=1; i bracket[i]) level = level + 1; tax = base[level]+percent[level]*(taxable_income-bracket[level]);  Các phần đọc input sinh output phần có khả phải thay đổi nhiều phần cứng phần mềm sửa đổi Chúng tách riêng khỏi phần lại mã lệnh nhằm giúp ta dễ hiểu dễ thay đổi hệ thống Tái sử dụng   Tái sử dụng nhà sản xuất: tạo thành phần mà chúng tái sử dụng ứng dụng nối tiếp Tái sử dụng người tiêu thụ: tái sử dụng thành phần mà ban đầu chúng phát triển cho dự án khác 17 Ths.Phan Phương Lan Cấu trúc liệu  19 Ths.Phan Phương Lan Nguyên tắc chung Sử dụng cấu trúc liệu để xác định cấu trúc chương trình  Cấu trúc liệu chi phối tổ chức chương trình  Cấu trúc liệu tác động đến việc chọn ngôn ngữ  Nếu cấu trúc liệu đệ quy, chọn ngơn ngữ cho phép lập trình thủ tục đệ quy  Nếu cấu trúc liệu danh sách, chọn ngôn ngữ Lisp  …  Một số lưu ý lập trình        Bắt ngoại lệ Quên cấp phát thu hồi nhớ Vấn đề làm tròn số Hạn chế gọi nhiều lần hàm có qui mơ nhỏ Truyền tham số Tránh dùng mảng nhiều chiều Sử dụng phép toán nhanh 18 Ths.Phan Phương Lan 20 Ths.Phan Phương Lan Tài liệu chương trình   Tài liệu chương trình Tài liệu chương trình: tập mơ tả giải thích với người đọc chương trình làm chúng làm Các loại tài liệu chương trình    Tài liệu ngoại   Tài liệu nội mô tả viết trực tiếp mã lệnh sử dụng người đọc mã lệnh Tài liệu ngoại gồm tài liệu khác sử dụng người không trực tiếp đọc mã lệnh  Mô tả vấn đề: mô tả lựa chọn xem xét để giải vấn đề giải pháp cụ thể chọn Mô tả giải thuật: giải thích giải thuật sử dụng thành phần (công thức, ranh giới, điều kiện đặc biệt, bắt lỗi, v.v) Mô tả liệu: từ điển liệu 21 Ths.Phan Phương Lan 23 Ths.Phan Phương Lan Tài liệu chương trình  TIẾN TRÌNH PHẦN MỀM Tài liệu nội     Khối thích phần đầu thành phần: ai, gì, sao, nào, đâu Các thích khác giúp ta hiểu chương trình rõ hơn: thêm thơng tin mới, khơng phải diễn đạt lại rõ ràng Nhãn cho câu lệnh tên biến phải có nghĩa Định dạng để gia tăng hiểu biết: thụt lề, khoảng trắng PHẦN II.4 – KIỂM THỬ 22 Ths.Phan Phương Lan 24 Ths.Phan Phương Lan Lỗi phần mềm Nội dung  Phần – Kiểm thử chương trình  Phần – Kiểm thử hệ thống  Các nguyên nhân làm phần mềm thất bại  Đặc tả sai  Đặc tả thiếu  Yêu cầu thực thi  Thiết kế không cài đặt khơng  Mã lệnh có thiếu sót 25 Ths.Phan Phương Lan Phần - Nội dung       27 Ths.Phan Phương Lan Lỗi phần mềm Các lỗi phần mềm Các vấn đề kiểm thử Kiểm thử đơn vị Kiểm thử tích hợp Lập kế hoạch kiểm thử Các công cụ kiểm thử tự động   Mục đích kiểm thử: phát lỗi Một kiểm thử thành công lỗi phát   Nhận dạng lỗi trình xác định lỗi gây thất bại Hiệu chỉnh lỗi trình tạo thay đổi hệ thống nhằm loại bỏ lỗi 26 Ths.Phan Phương Lan 28 Ths.Phan Phương Lan Lỗi phần mềm  Lỗi phần mềm Các loại lỗi  Lỗi giải thuật (các lỗi giải thuật điển hình)  Lỗi giải thuật xuất logic hay giải thuật thành phần không tạo kết xuất với đầu vào xác định có sai sót bước xử lý như:         Rẽ nhánh sớm Rẽ nhánh trễ Kiểm thử cho điều kiện sai Quên khởi tạo giá trị ban đầu biến hay đặt vòng lặp bất biến Quên kiểm thử cho điều kiện đặc biệt So sánh giá trị kiểu liệu không phù hợp Các loại lỗi  Lỗi hợp tác thời gian  Lỗi thực   Hệ thống không thực với tốc độ mơ tả Lỗi quy trình chuẩn Lỗi cú pháp 29 Ths.Phan Phương Lan Lỗi phần mềm  31 Ths.Phan Phương Lan Các vấn đề kiểm thử Các loại lỗi  Lỗi độ xác tính tốn  Sự thực cơng thức sai khơng tính kết với độ xác mong muốn  Lỗi tài liệu  Tài liệu khơng phù hợp với mà chương trình làm  Lỗi tải hay dung lượng  Sự thực hệ thống chấp nhận đạt đến ranh giới  Tổ chức kiểm thử  Kiểm thử đơn vị  Kiểm thử tích hợp  Kiểm thử chức  Kiểm thử thực  Kiểm thử chấp nhận  Kiểm thử cài đặt 30 Ths.Phan Phương Lan 32 Ths.Phan Phương Lan Các vấn đề kiểm thử  Các vấn đề kiểm thử Tổ chức kiểm thử  Người kiểm thử: nhóm kiểm thử độc lập  Tránh mâu thuẫn  Tăng tính khách quan  Cho phép kiểm thử lập trình đồng thời 33 Ths.Phan Phương Lan Các vấn đề kiểm thử  35 Ths.Phan Phương Lan Các vấn đề kiểm thử Quan điểm kiểm thử  Các chương trình xem thành phần hệ thống lớn hơn, không tài sản người viết chúng  Tổng quan phương pháp kiểm thử  Kiểm thử hộp đóng hay hộp đen: sử dụng chức đối tượng kiểm thử để kiểm thử theo nhiều cách  Kiểm thử hộp mở hay hộp trắng: sử dụng cấu trúc đối tượng kiểm thử để kiểm thử theo nhiều cách 34 Ths.Phan Phương Lan 36 Ths.Phan Phương Lan Các vấn đề kiểm thử  Các vấn đề kiểm thử Kiểm thử hộp đen  Đặc điểm  Đối tượng kiểm thử hộp đen, thông qua giao diện để đưa liệu vào nhận liệu Input Hộp đen   Results Các yếu tố ảnh hưởng đến việc chọn phương pháp kiểm thử:  Số đường logic có  Trạng thái liệu input  Số lượng tính tốn có liên quan  Độ phức tạp giải thuật Độc lập với ràng buộc bị tác động cấu trúc bên tính logic đối tượng 37 Ths.Phan Phương Lan Các vấn đề kiểm thử  Kiểm thử đơn vị Kiểm thử hộp trắng  39 Ths.Phan Phương Lan  Phương pháp thiết kế trường hợp kiểm thử sử dụng cấu trúc điều khiển thiết kế thuật toán để dẫn trường hợp kiểm thử  Kiểm thử đơn vị: kiểm thử thành phần hay mô đun phần mềm Các bước kiểm thử đơn vị   Input   Results    Xem lại mã lệnh Biên dịch mã lệnh loại bỏ lỗi cú pháp lại Phát triển trường hợp kiểm thử để input chuyển đổi xác thành ouput mong đợi 38 Ths.Phan Phương Lan 40 Ths.Phan Phương Lan 10 Các nguyên lý kiểm thử hệ thống  Các nguyên lý kiểm thử hệ thống Những kỹ thuật sử dụng kiểm thử hệ thống     Kế hoạch tích hợp hay xây dựng Kiểm thử hồi quy Quản lý cấu hình Ví dụ kế hoạch xây dựng cho hệ thống viễn thông Spin Chức Bắt đầu kiểm thử Kết thúc kiểm thử Exchange September 15 September Area code 30 September 15 October State/province/district 25 October November Country 10 November 20 November International December 15 December 69 Ths.Phan Phương Lan Các nguyên lý kiểm thử hệ thống  Các nguyên lý kiểm thử hệ thống Kế hoạch tích hợp hay xây dựng   71 Ths.Phan Phương Lan  Mô tả hệ thống (spin) kiểm thử Mô tả cách thức, nơi chốn, thời gian người thực kiểm thử Kiểm thử hồi quy   Nhận dạng lỗi mà chúng gây lỗi hiệu chỉnh Kiểm tra phiên hay phát hành để xác nhận thực chức theo cách phiên hay phát hành cũ 70 Ths.Phan Phương Lan 72 Ths.Phan Phương Lan 17 Các nguyên lý kiểm thử hệ thống  Kiểm thử chức Các bước kiểm thử hồi quy      Chèn vào mã lệnh Kiểm thử chức biết bị ảnh hưởng mã lệnh Kiểm thử chức cần thiết phiên m để xác nhận chúng hoạt động xác Tiếp tục kiểm thử chức phiên m + Mục đích vai trò   So sánh thực thực tế hệ thống với yêu cầu Phát triển trường hợp kiểm thử dựa tài liệu yêu cầu 73 Ths.Phan Phương Lan Các nguyên lý kiểm thử hệ thống  Kiểm thử chức Nhóm kiểm thử      75 Ths.Phan Phương Lan  Kiểm thử viên chuyên nghiệp: tổ chức thực kiểm thử Nhà phân tích: người tạo đặc tả Nhà thiết kế hệ thống: hiểu giải pháp đề nghị Chuyên gia quản lý cấu hình: giúp kiểm sốt sửa chữa Người dùng: đánh giá phát sinh Tạo trường hợp kiểm thử chức    Vẽ đồ thị nhân từ yêu cầu Chuyển đồ thị thành bảng định Mỗi cột bảng định tương ứng với trường hợp kiểm thử chức 74 Ths.Phan Phương Lan 76 Ths.Phan Phương Lan 18 Kiểm thử chức  Kiểm thử thực thi Đồ thị nhân    Một đồ thị logic phản ánh quan hệ logic nguyên nhân (các input) kết (output hay biến đổi) Vẽ đồ thị nhân từ yêu cầu:    Mục đích vai trị  Được sử dụng để kiểm tra:   Các yêu cầu phân tách cho yêu cầu mô tả chức Mơ tả ngun nhân, kết (đó nút đồ thị với nhân nằm bên trái nằm bên phải) Vẽ mối quan hệ chúng    Sự tính tốn Tốc độ đáp ứng Độ xác kết Khả truy cập liệu Được thiết kế quản lý nhóm kiểm thử 77 Ths.Phan Phương Lan Kiểm thử chức  Ký hiệu đồ thị nhân 79 Ths.Phan Phương Lan  Kiểm thử thực thi Ký hiệu bổ sung đồ thị nhân  Các loại kiểm thử thực thi        78 Ths.Phan Phương Lan Kiểm thử ứng suất Kiểm thử dung lượng CTDL Kiểm thử cấu hình Kiểm thử tính tương thích Kiểm thử hồi quy Kiểm thử bảo mật Kiểm thử điều hòa thời gian       Kiểm thử môi trường Kiểm thử chất lượng Kiểm thử hồi phục Kiểm thử bảo trì Kiểm thử tài liệu Kiểm thử tính dễ sử dụng 80 Ths.Phan Phương Lan 19 Tính tin cậy, tính sẵn có tính bảo trì  Kiểm thử chấp nhận Định nghĩa     Tính tin cậy phần mềm: vận hành mà khơng có lỗi điều kiện xác định khoảng thời gian cho trước Tính sẵn có phần mềm: vận hành thành cơng theo đặc tả điểm thời gian xác định Tính bảo trì phần mềm: với điều kiện sử dụng xác định, hoạt động bảo trì thực khoảng thời gian, thủ tục tài nguyên xác định Mục đích vai trò   Cho phép khách hàng người dùng xác định xem hệ thống xây dựng có đáp ứng yêu cầu mong đợi họ hay không Được viết, quản lý đánh giá khách hàng 81 Ths.Phan Phương Lan Tính tin cậy, tính sẵn có tính bảo trì  Kiểm thử chấp nhận Các mức độ khác lỗi     83 Ths.Phan Phương Lan  Thảm khốc: gây chết chóc thất bại hệ thống Then chốt: gây tổn hại xấu hay hư hại hệ thống dẫn đến thất bại nhiệm vụ Lề: gây tổn hại phụ hay hư hại hệ thống phụ dẫn đến ngừng trệ, tính sẵn có hay giảm sút công việc Thứ yếu: không đủ nghiêm trọng để gây tổn hại hay hư hại hệ thống dẫn đến việc bảo trì sửa chữa khơng có kế hoạch Các loại kiểm thử chấp nhận  Kiểm thử thử nghiệm (pilot): cài đặt hệ thống sở thực nghiệm    Kiểm thử song song: hệ thống vận hành song song với hệ thống cũ 82 Ths.Phan Phương Lan Kiểm thử alpha: kiểm thử người dùng tổ chức hay công ty phát triển phần mềm Kiểm thử beta: kiểm thử khách hàng 84 Ths.Phan Phương Lan 20 Tài liệu kiểm thử Kiểm thử cài đặt       Trước kiểm thử Các tài liệu tạo suốt kiểm thử Cấu hình hệ thống Gắn số loại thiết bị Thiết lập giao tiếp với hệ thống khác Kiểm thử  Kiểm thử hồi quy: kiểm tra hệ thống cài đặt cách xác hoạt động 85 Ths.Phan Phương Lan Tài liệu kiểm thử     87 Ths.Phan Phương Lan Tài liệu kiểm thử Kế hoạch kiểm thử: mô tả hệ thống kế hoạch để kiểm tra tất chức đặc trưng Đặc tả đánh giá kiểm thử: chi tiết kiểm thử định nghĩa tiêu chí để đánh giá đặc điểm Mơ tả kiểm thử: thủ tục liệu kiểm thử cho kiểm thử Báo cáo phân tích kiểm thử: kết kiểm thử  Các phần kế hoạch kiểm thử 86 Ths.Phan Phương Lan 88 Ths.Phan Phương Lan 21 Tài liệu kiểm thử Tài liệu kiểm thử  Sự mô tả kiểm thử gồm:     Biểu mẫu báo cáo vấn đề  Phương tiện kiểm soát Dữ liệu Thủ tục        Vị trí: vấn đề xuất đâu? Thời gian: xuất nào? Dấu hiệu: quan sát? Kết cuối cùng: hệ quả? Kỹ thuật: xuất nào? Nguyên nhân: xuất hiện? Tính khốc liệt: mức độ mà người dùng hay doanh nghiệp bị ảnh hưởng? Chi phí: tốn bao nhiêu? 89 Ths.Phan Phương Lan 91 Ths.Phan Phương Lan Tài liệu kiểm thử  TIẾN TRÌNH PHẦN MỀM Báo cáo phân tích kiểm thử     Ghi kết kiểm thử Cung cấp thông tin cần để chép lại thất bại, định vị sửa tận gốc vấn đề Cung cấp thông tin cần thiết để xác định xem dự án có hồn thành hay không Thiết lập tin cậy thực thi hệ thống PHẦN II.5 – TRIỂN KHAI & BẢO TRÌ 90 Ths.Phan Phương Lan 92 Ths.Phan Phương Lan 22 Nội dung Huấn luyện  Triển  khai hệ thống  Bảo trì Phân loại người sử dụng hệ thống  Người dùng: sử dụng chức hệ thống  Điều hành viên: thực chức bổ sung  Tạo dự phòng tập tin liệu  Xác định người truy xuất vào hệ thống 93 Ths.Phan Phương Lan Triển khai hệ thống  95 Ths.Phan Phương Lan Huấn luyện Triển khai hệ thống:  Không đặt hệ thống vào vị trí  Cịn giúp người dùng hiểu cảm thấy thoải mái với hệ thống  Huấn luyện  Tài liệu  Các chức người dùng điều hành viên Chức người dùng Chức điều hành viên Thao tác tập tin liệu Chấp nhận truy xuất người dùng Mô hoạt động Chấp nhận truy xuất tập tin Phân tích liệu Thực lưu Giao tiếp liệu Cài đặt thiết bị Vẽ đồ thị biểu đồ Cài đặt phần mềm Phục hồi tập tin hư 94 Ths.Phan Phương Lan 96 Ths.Phan Phương Lan 23 Huấn luyện  Huấn luyện Các kiểu huấn luyện  Huấn luyện người dùng  Huấn luyện điều hành viên  Yêu cầu huấn luyện đặc biệt  Huấn luyện điều hành viên  Tập trung vào việc huấn luyện điều hành viên quen với chức hỗ trợ hệ thống xác định cách thức hệ thống làm việc (hơn mà hệ thống làm)  Thực huấn luyện theo hai mức  Cách đưa thực thi hệ thống  Cách hỗ trợ người dùng 97 Ths.Phan Phương Lan Huấn luyện  99 Ths.Phan Phương Lan Huấn luyện Huấn luyện người dùng  Giới thiệu chức  Quản lý hồ sơ: tạo, xóa, truy lục, xếp hồ sơ  Sự điều hướng qua hệ thống  Không cần kỹ thuật bên (giải thuật, cấu trúc liệu, …)  Liên hệ cách chức thực hiện tại, cách thực sau hệ thống  Cần ý đến tính khó học hỏi chuyển giao  Yêu cầu huấn luyện đặc biệt  Người sử dụng thường xuyên không thường xuyên  Người sử dụng 98 Ths.Phan Phương Lan 100 Ths.Phan Phương Lan 24 Huấn luyện  Tài liệu Phương tiện trợ giúp huấn luyện       Tài liệu hình thức, sách hướng dẫn Một tỷ lệ phần trăm nhỏ người dùng đọc chúng Biểu tượng cho đối tượng chức Sách hướng dẫn trực tuyến cung cấp liên kết siêu văn  Tổ chức lớp học; Sử dụng thiết bị đa phương tiện (nghe, nhìn) Người dùng thành thạo (và người huấn luyện) Người dùng  Điều hành viên  Nhân viên khách hàng  Các thành viên khác nhóm phát triển Thiết kế tài liệu khác cho nhóm thính giả khác 101 Ths.Phan Phương Lan 103 Ths.Phan Phương Lan Huấn luyện  Phân nhóm thính giả  Các thể lớp   Hiểu thính giả Trợ giúp trực tuyến biểu tượng    Tài liệu Tài liệu Nguyên tắc huấn luyện  Hiểu sở thích cá nhân, kiểu làm việc áp lực tổ chức  Cần xem xét kiểu học viên khác  Hệ thống đặc thù hóa  Chia nội dung huấn luyện thành dạng ngắn  Xác định kiểu huấn luyện dựa vị trí học viên  Các loại tài liệu  Sách hướng dẫn người dùng  Sách hướng dẫn điều hành viên  Hướng dẫn hệ thống chung  Hướng dẫn tự học  Tài liệu khác: hướng dẫn lập trình viên 102 Ths.Phan Phương Lan 104 Ths.Phan Phương Lan 25 Tài liệu  Tài liệu Sách hướng dẫn người dùng  Bắt đầu mục tiêu chung, tiến tới mô tả chức chi tiết  Mục tiêu mục đích hệ thống  Các chức khả hệ thống  Các đặc điểm, đặc trưng thuận lợi hệ thống  Hướng dẫn hệ thống chung  Hệ thống chi tiết hóa theo cách mà khách hàng hiểu  Cấu hình phần cứng phần mềm hệ thống 105 Ths.Phan Phương Lan Tài liệu  Tài liệu Sách hướng dẫn điều hành viên     107 Ths.Phan Phương Lan  Cấu hình phần cứng, phần mềm Các phương pháp chấp nhận từ chối truy xuất người dùng Các thủ tục thêm để bổ sung loại bỏ ngoại vi khỏi hệ thống Các kỹ thuật để chép dự phòng tập tin tài liệu Hướng dẫn học  Hướng dẫn học tự động hóa, bước đa phương tiện 106 Ths.Phan Phương Lan 108 Ths.Phan Phương Lan 26 Tài liệu  Bảo trì Hướng dẫn lập trình viên  Khái quát cách thức phần cứng, phần mềm cấu hình  Các thành phần phần mềm chi tiết hóa chức chúng thực  Các chức hỗ trợ hệ thống  Các cải tiến hệ thống       Định nghĩa Phân loại bảo trì Framework bảo trì phần mềm (BTPM) Các vấn đề then chốt BTPM Quy trình BTPM Các kỹ thuật công cụ BTPM 109 Ths.Phan Phương Lan Tài liệu  111 Ths.Phan Phương Lan Định nghĩa Gỡ rối giúp đỡ người dùng  Các dẫn hệ thống không thực  Các tài liệu tham khảo  Các tập tin giúp đỡ trực tuyến  Bảo trì phần mềm (Software Maintenace)   [IEEE 1219] Bảo trì phần mềm sửa đổi sản phẩm phần mềm sau phát hành nhằm hiệu chỉnh lỗi, cải thiện thực thi hay đặc tính khác, hay làm cho sản phẩm thích ứng với môi trường bị thay đổi [ISO/IEC 14764] Bảo trì phần mềm sản phẩm phần mềm phải trải qua sửa đổi mã lệnh tài liệu liên quan trục trặc hay nhu cầu cải tiến Mục đích sửa đổi sản phẩm phần mềm có mà giữ tính tồn vẹn 110 Ths.Phan Phương Lan 112 Ths.Phan Phương Lan 27 Framework bảo trì phần mềm Các loại bảo trì phần mềm sách Framework bảo trì phần mềm 113 Ths.Phan Phương Lan Các loại bảo trì phần mềm  115 Ths.Phan Phương Lan Các vấn đề then chốt BTPM Cơng sức bảo trì  Các vấn đề kỹ thuật: Sự hiểu biết có giới hạn, Kiểm thử, Phân tích tác động, Tính bảo trì  Các vấn đề quản lý: Bố trí nhân sự, Các vấn đề quy trình, Chọn nhóm bảo trì, Gia cơng bảo trì phần mềm Dự phịng 4% Dự đốn chi phí phần mềm  Phép đo bảo trì phần mềm  114 Ths.Phan Phương Lan 116 Ths.Phan Phương Lan 28 Quy trình BT theo chuẩn ISO/IEC 14764 Quy trình bảo trì   Quy trình bảo trì Quy trình bảo trì phần mềm (Software Maintenance Process): Các chuỗi hoạt động thực để đem lại thay đổi suốt bảo trì Những quy trình bảo trì phổ biến mô tả chuẩn   Thực thi quy trình Phân tích vấn đề thay đổi Thực thi thay đổi Xem lại chấp nhận bảo trì Di trú Khơng sử dụng PM Kiểm sốt IEEE 1219 ISO/IEC 14764 Input Output Hỗ trợ 117 Ths.Phan Phương Lan Tên hoạt động 119 Ths.Phan Phương Lan Quy trình BT theo chuẩn IEEE 1219 Nhận dạng vấn đề/hiệu chỉnh, phân loại xếp mức ưu tiên Kỹ thuật cơng cụ bảo trì Phân tích  Thiết kế Yêu cầu thay đổi   Cài đặt Phát hành  Kiểm thử chấp nhận Sự hiểu biết chương trình Kỹ thuật đảo ngược (Reverse Engineering) Kỹ thuật tái kiến tạo (ReEngineering) Các cơng cụ bảo trì Kiểm thử hệ thống Kiểm sốt Mỗi giai đoạn quy trình Input trình bày theo: Ths.Phan Phương Lan Tên giai đoạn Quy trình liên quan Output 118 120 Ths.Phan Phương Lan 29 Định nghĩa Sự hiểu biết chương trình   Mục đích cuối việc đọc hiểu chương trình thực thành cơng thay đổi yêu cầu Điều đòi hỏi phải có kiến thức điểm đặc trưng hệ thống phần mềm:       Kỹ thuật đảo ngược quy trình phân tích hệ thống chủ thể để:   Phạm vi vấn đề Ảnh hưởng thực Quan hệ nhân - Quan hệ sản phẩm - môi trường Các điểm đặc trưng hỗ trợ việc định Nhận dạng thành phần hệ thống mối quan hệ chúng Tạo biểu diễn hệ thống dạng khác hay mức trừu tượng cao 121 Ths.Phan Phương Lan Kỹ thuật đảo ngược Sự hiểu biết chương trình  123 Ths.Phan Phương Lan Các hoạt động liên quan đến việc hiểu chương trình  Kỹ thuật đảo ngược quy trình phân tích hệ thống chủ thể để:   Nhận dạng thành phần hệ thống mối quan hệ chúng Tạo biểu diễn hệ thống dạng khác hay mức trừu tượng cao 122 Ths.Phan Phương Lan 124 Ths.Phan Phương Lan 30 Kỹ thuật đảo ngược Các loại cơng cụ bảo trì  Các mức kỹ thuật đảo ngược Mức trừu tượng Các giai đoạn  Cao Đặc tả Trung bình   Khơi phục đặc tả Thiết kế Trung bình Thấp Dẫn chứng lại tài liệu Dẫn chứng lại tài liệu  Kỹ thuật đảo ngược   Khôi phục thiết kế Thực thi Về ngun tắc, ta phân loại cơng cụ bảo trì phần mềm dựa cơng việc mà chúng hỗ trợ Các công việc giúp phân loại công cụ bảo trì: Dẫn chứng lại tài liệu Hiểu chương trình, kỹ thuật đảo ngược Kiểm thử Quản lý cấu hình Lập tài liệu đo lường Trong thực tế, ta khó có phân loại tốt trạng thái tự nhiên đa dạng hóa có liên quan với hoạt động bảo trì phần mềm 125 Ths.Phan Phương Lan 127 Ths.Phan Phương Lan Kỹ thuật tái kiến tạo  TIẾN TRÌNH PHẦN MỀM Kỹ thuật tái kiến tạo   Là quy trình kiểm tra sửa đổi hệ thống đích để thực thi thay đổi mong muốn Gồm hai bước:   PHẦN II.6 – QUY TRÌNH RUP (Đọc giáo trình) Kỹ thuật đảo ngược Kỹ thuật chuyển tiếp 126 Ths.Phan Phương Lan 128 Ths.Phan Phương Lan 31 ... Lan 1 12 Ths .Phan Phương Lan 27 Framework bảo trì phần mềm Các loại bảo trì phần mềm sách Framework bảo trì phần mềm 113 Ths .Phan Phương Lan Các loại bảo trì phần mềm  115 Ths .Phan Phương Lan Các... khoảng trắng PHẦN II.4 – KIỂM THỬ 22 Ths .Phan Phương Lan 24 Ths .Phan Phương Lan Lỗi phần mềm Nội dung  Phần – Kiểm thử chương trình  Phần – Kiểm thử hệ thống  Các nguyên nhân làm phần mềm thất... 45 Ths .Phan Phương Lan Kiểm thử đường  47 Ths .Phan Phương Lan Kiểm thử đường Ví dụ  Ví dụ Các đường độc lập bản: 1 - 11 – 2, 3 – 4,5 – 10 – - 11 – 2, 3 – – – – 10 – - 11 – 2, 3 – – – – 10 – -1 1