Machine Translated by Google Chủ đề đại học trong khoa học máy tính Machine Translated by Google Đối với các đầu sách khác được xuất bản trong sê ri này, hãy truy cập http //www springer com/series/75[.]
Machine Translated by Google Machine Translated by Google Chủ đề đại học khoa học máy tính Machine Translated by Google Các Chủ đề Đại học Khoa học Máy tính (UTiCS) cung cấp nội dung giảng dạy chất lượng cao cho sinh viên tốt nghiệp theo học tất lĩnh vực khoa học máy tính thông tin Từ tài liệu lý thuyết sở cốt lõi đến chủ đề ứng dụng năm cuối, sách UTiCS có cách tiếp cận mẻ, ngắn gọn đại lý tưởng cho việc tự học cho khóa học hai học kỳ Tất văn chun gia có uy tín lĩnh vực họ soạn thảo, xem xét ban cố vấn quốc tế chứa đựng nhiều ví dụ vấn đề Nhiều người bao gồm giải pháp làm việc đầy đủ Đối với đầu sách khác xuất sê-ri này, truy cập http://www.springer.com/series/7592 Machine Translated by Google Pankaj Jalote Giới thiệu ngắn gọn Kỹ thuật phần mềm 123 Machine Translated by Google Pankaj Jalote, Btech, MS, Tiến sĩ Khoa Khoa học Máy tính Kỹ thuật IIT Delhi, Ấn Độ Nhà xuất truyện dài tập ´ Ian Mackie, Ecole Polytechnique, Pháp Đại học Sussex, Vương quốc Anh Bảng điều khiển Samson Abramsky, Đại học Oxford, Vương quốc Anh Chris Hankin, Đại học Hồng gia Ln Đơn, Vương quốc Anh Dexter Kozen, Đại học Cornell, Hoa Kỳ Andrew Pitts, Đại học Cambridge, Vương quốc Anh Hanne Riis Nielson, Đại học Kỹ thuật Đan Mạch, Đan Mạch Steven Skiena, Đại học Stony Brook, Hoa Kỳ Iain Stewart, Đại học Durham, Vương quốc Anh David Zhang, Đại học Bách khoa Hồng Kông, Hồng Kông Các chủ đề đại học Khoa học máy tính ISSN: 1863-7310 ISBN: 978-1-84800-301-9 e-ISBN: 978-1-84800-302-6 DOI: 10.1007/978-1-84800-302-6 Biên mục thư viện Anh liệu xuất Bản ghi danh mục cho sách có sẵn từ Thư viện Anh Thư viện Quốc hội Số kiểm soát: 2008933221 c Springer-Verlag London Limited 2008 Ngồi thỏa thuận cơng cho mục đích nghiên cứu nghiên cứu riêng tư, phê bình đánh giá, cho phép theo Đạo luật Bản quyền, Kiểu dáng Bằng sáng chế 1988, ấn phẩm chép, lưu trữ truyền đi, hình thức phương tiện nào, với cho phép trước văn nhà xuất trường hợp chép lại theo điều khoản giấy phép Cơ quan cấp phép quyền cấp Các câu hỏi liên quan đến việc chép ngồi điều khoản nên gửi đến nhà xuất Việc sử dụng tên đăng ký, thương hiệu, v.v., ấn phẩm khơng ngụ ý, khơng có tun bố cụ thể, tên miễn trừ khỏi luật quy định có liên quan sử dụng miễn phí Nhà xuất khơng tuyên bố, rõ ràng hay ngụ ý, liên quan đến tính xác thơng tin sách chấp nhận trách nhiệm pháp lý trách nhiệm pháp lý sai sót thiếu sót xảy In giấy khơng có axit Khoa học Springer+Truyền thơng doanh nghiệp springer.com Machine Translated by Google lời nói đầu Khóa học giới thiệu Kỹ thuật phần mềm mơn học khó dạy phần lớn có nhiều chủ đề mà khu vực encom vượt qua Tôi tin thường có xu hướng dạy nhiều khái niệm chủ đề khóa học nhập mơn, dẫn đến kiến thức nơng cạn hiểu biết sâu sắc ứng dụng khái niệm Và Công nghệ phần mềm cuối việc áp dụng khái niệm để thiết kế giải pháp phần mềm tốt cách hiệu Bàn thắng Tôi tin khóa học giới thiệu Kỹ thuật phần mềm nên tập trung vào việc truyền đạt cho sinh viên kiến thức kỹ cần thiết để thực thành công dự án thương mại với nỗ lực vài tháng người áp dụng phương pháp kỹ thuật phù hợp Cần phần lớn dự án thực ngành ngày thuộc phạm vi này—được thực nhóm nhỏ vài tháng Tơi tin cách lựa chọn cẩn thận khái niệm chủ đề, đạt điều suốt học kỳ Đây động lực sách Mục tiêu sách giới thiệu cho sinh viên số lượng hạn chế khái niệm thực hành đạt hai mục tiêu sau: – Dạy cho học sinh kỹ cần thiết để thực dự án thương mại nhỏ – Cung cấp cho sinh viên tảng khái niệm cần thiết để thực nghiên cứu nâng cao công nghệ phần mềm, thông qua khóa học tự học Machine Translated by Google vi lời nói đầu Tổ chức Tơi đưa vào sách khái niệm mà tin tảng thơng qua đạt hai mục tiêu nêu Các chủ đề nâng cao bị loại bỏ cách có ý thức Vì việc thực dự án phần mềm địi hỏi kỹ hai khía cạnh—kỹ thuật quản lý dự án—cuốn sách tập trung vào nhiệm vụ hai khía cạnh này, đồng thời thảo luận khái niệm kỹ thuật áp dụng để thực hiệu nhiệm vụ Cuốn sách tổ chức cách đơn giản, với chương cho nhiệm vụ dự án Đối với kỹ thuật, nhiệm vụ phân tích yêu cầu đặc điểm kỹ thuật, thiết kế kiến trúc, thiết kế cấp độ mô-đun, viết mã kiểm tra đơn vị kiểm tra Đối với quản lý dự án, nhiệm vụ lập kế hoạch dự án giám sát kiểm soát dự án, hai thảo luận chương lập kế hoạch dự án việc giám sát phải lập kế hoạch Ngoài ra, sách chứa chương xác định rõ ràng lĩnh vực vấn đề Công nghệ phần mềm chương khác thảo luận khái niệm trung tâm quy trình phần mềm tích hợp nhiệm vụ khác thực dự án Mỗi chương mở đầu số lời giới thiệu sau liệt kê rõ ràng mục tiêu chương người đọc mong đợi học từ chương Đối với nhiệm vụ đề cập chương này, khái niệm quan trọng thảo luận trước tiên, sau thảo luận đầu nhiệm vụ, đặc tính chất lượng mong muốn đầu ra, số phương pháp ký hiệu thực tế để thực nhiệm vụ Các giải thích hỗ trợ ví dụ học tóm tắt phần cuối cho người đọc Chương kết thúc với số tập tự đánh giá Khán giả mục tiêu Cuốn sách chủ yếu dành cho khóa học giới thiệu Kỹ thuật phần mềm chương trình đại học sau đại học Nó nhắm mục tiêu cho sinh viên biết lập trình chưa có hội tiếp xúc thức với kỹ thuật phần mềm Cuốn sách sử dụng chuyên gia tình trạng tương tự— biết số chương trình muốn giới thiệu cách tiếp cận có hệ thống công nghệ phần mềm Machine Translated by Google lời nói đầu vii Hỗ trợ giảng dạy tài nguyên bổ sung Mặc dù sách độc lập, số hỗ trợ giảng dạy tài ngun bổ sung có sẵn thơng qua trang web URL là: http://www.cse.iitd.ac.in/ConciseIntroToSE Các tài nguyên có sẵn trang web bao gồm: – Các trình chiếu powerpoint cho chương định dạng ppt để giảng viên thay đổi cho phù hợp với phong cách – Các mẫu khác cho đầu khác dự án, sử dụng cho đồ án sinh viên khóa học – Một nghiên cứu điển hình với hầu hết kết đầu dự án – Một số tập thực hành kiểm tra, tra đơn vị Sự nhìn nhận Tơi muốn bày tỏ lịng biết ơn tới biên tập viên tôi, Wayne Wheeler, người nghĩ ý tưởng sách giới thiệu ngắn gọn tạo hội Tôi muốn bày tỏ lời cảm ơn tới vợ tôi, Shikha, hai gái Sumedha Sunanda lần đồng hành tâm trạng phút kỳ quặc Pankaj Jalote Niu Đê-li, tháng năm 2008 Machine Translated by Google nội dung Sự cố phần mềm 1.1 Chi phí, Lịch trình Chất lượng 1.2 Quy mô Thay đổi 1.3 Tổng kết tập tự đánh giá số Quy trình phần mềm 2.1 Quy trình Dự án 10 2.2 Quy trình phần mềm thành phần 11 2.3 Mơ hình Quy trình Phát triển Phần mềm 13 2.3.1 Mơ hình thác nước 14 2.3.2 Tạo mẫu 17 2.3.3 Phát triển lặp lại 19 2.3.4 Quy trình thống hợp lý 22 2.3.5 Mơ hình khung thời gian 25 2.3.6 Quy trình lập trình cực đoan linh hoạt 28 2.3.7 Sử dụng Mơ hình Quy trình Dự án 30 2.4 Quy trình quản lý dự án 32 2.5 Tóm tắt 34 Bài Tập Tự Đánh Giá 35 Phân tích Đặc tả Yêu cầu Phần mềm 37 3.1 Giá trị SRS tốt 38 3.2 Quy trình Yêu cầu 39 3.3 Đặc tả yêu cầu 41 3.3.1 Các đặc điểm mong muốn SRS 41 Machine Translated by Google nội dung x 3.3.2 Các thành phần SRS 43 3.3.3 Cấu trúc Tài liệu Yêu cầu 46 3.4 Đặc tả chức với Ca sử dụng 49 3.4.1 Khái niệm 49 3.4.2 Ví dụ 52 3.4.3 Phần mở rộng 54 3.4.4 Phát triển trường hợp sử dụng 56 3.5 Các Phương pháp Phân tích Khác 58 3.5.1 Sơ đồ luồng liệu 59 3.5.2 Sơ đồ ER 61 3.6 Xác thực 63 3.7 Tóm tắt 66 Bài Tập Tự Đánh Giá 67 Lập kế hoạch cho dự án phần mềm 69 4.1 Ước lượng Nỗ lực 70 4.1.1 Phương pháp ước lượng từ xuống 71 4.1.2 Phương pháp ước lượng từ lên 74 4.2 Tiến độ dự án nhân 76 4.3 Lập kế hoạch chất lượng 78 4.4 Lập kế hoạch quản lý rủi ro 80 4.4.1 Khái niệm quản lý rủi ro 80 4.4.2 Đánh giá rủi ro 81 4.4.3 Kiểm soát rủi ro 83 4.4.4 Phương pháp lập kế hoạch quản lý rủi ro thực tế 84 4.5 Kế hoạch Giám sát Dự án 86 4.5.1 Phép đo 86 4.5.2 Theo dõi Theo dõi Dự án 87 4.6 Lập kế hoạch chi tiết 88 4.7 Tóm tắt 91 Bài Tập Tự Đánh Giá 93 Kiến trúc phần mềm 95 5.1 Vai trò Kiến trúc phần mềm 96 5.2 Chế độ xem kiến trúc 98 5.3 Chế độ xem Thành phần Trình kết nối 101 5.3.1 Thành phần 101 5.3.2 Đầu nối 103 5.3.3 Ví dụ 104 5.4 Kiểu kiến trúc cho Chế độ xem C&C 108 5.4.1 Đường ống Bộ lọc 108 5.4.2 Kiểu liệu chia sẻ 110 Machine Translated by Google 258 Thử nghiệm 10 Giả sử vịng kiểm thử cuối cùng, tất kiểm thử thực thi khơng có lỗi sửa, kéo dài ngày (mỗi 24 giờ) Và thử nghiệm này, số lỗi ghi lại ngày là: 2, 0, 1, 2, 1, 1, Nếu người dùng bình thường sử dụng phần mềm hai ngày theo cách tương tự thực thử nghiệm, độ tin cậy mong đợi phần mềm người dùng gì? Machine Translated by Google Thư mục [1] FB Abreu R Carapuca Các phép đo ứng viên cho phần mềm hướng đối tượng khn khổ phân loại Tạp chí Hệ thống Phần mềm, 26(1):87–96, tháng năm 1994 [2] Thực tế ảo Hướng dẫn mơ hình số liệu cho quản lý kỹ thuật phần mềm Nhà xuất IEEE, 1980 [3] VR Basili, L Briand WL Melo Xác nhận số liệu thiết kế hướng đối tượng số chất lượng IEEE Transactions on Software En gineering, 22(10):751–761, tháng 10 năm 1996 [4] VR Basili A Turner Tăng cường lặp lại, kỹ thuật thực tế để phát triển phần mềm Giao dịch IEEE Kỹ thuật phần mềm, SE-1(4), tháng 12 năm 1975 [5] VR Basili DM Weiss Đánh giá tài liệu yêu cầu phần mềm cách phân tích liệu thay đổi Trong 5th Int Conf Kỹ thuật phần mềm, trang 314– 323 IEEE, 1981 [6] L Bass, P Clements, Rick Kazman Kiến trúc phần mềm thực tế, Phiên thứ hai Addison-Wesley Chuyên nghiệp, 2003 [7] K Beck Giải thích lập trình cực đoan Addison-Wesley, 2000 [8] K Beck Phát triển hướng thử nghiệm: ví dụ Giáo sư Addison-Wesley chuyên nghiệp, 2002 [9] Chất kết dính RV Thử nghiệm hệ thống hướng đối tượng—Mơ hình, Mẫu Cơng cụ Addison-Wesley, 1999 [10] B.Boehm Kỹ thuật phần mềm IEEE Giao dịch máy tính, 25(12), tháng 12 năm 1976 Machine Translated by Google 260 Thư mục [11] B.Boehm Hướng dẫn: quản lý rủi ro phần mềm Hiệp hội máy tính IEEE, 1989 [12] BW Boehm Kinh tế kỹ thuật phần mềm Hội trường Prentice, Vách đá Englewood, NJ, 1981 [13] BW Boehm Kinh tế kỹ thuật phần mềm IEEE Transactions on Software Engineering, 10(1):135–152, tháng năm 1984 [14] BW Boehm Cải thiện suất phần mềm Máy tính IEEE, trang 43–57, tháng năm 1987 [15] G Booch Phân tích thiết kế hướng đối tượng Cơng ty xuất Benjamin/Cum mings, 1994 [16] F Brooks Tháng Người đàn ơng huyền bí Addison-Wesley, 1975 [17] N Nâu Chiến lược quản lý sức mạnh công nghiệp Phần mềm IEEE, Tháng năm 1996 [18] R.N Charette Phân tích quản lý rủi ro kỹ thuật phần mềm mc Đồi Graw, 1989 [19] R.N Charette Quản lý dự án quy mô lớn quản lý rủi ro Phần mềm IEEE, tháng năm 1996 [20] E.Chen Độ phức tạp chương trình suất lập trình viên Các hành động IEEE Trans Kỹ thuật phần mềm, SE-4:187–194, tháng năm 1978 [21] SR Chidamber CF Kemerer Một số liệu cho thiết kế hướng đối tượng IEEE Transactions on Software Engineering, 20(6):476–493, tháng năm 1994 [22] TS Châu Thử nghiệm thiết kế phần mềm mơ hình hóa máy trạng thái hữu hạn Giao dịch IEEE Kỹ thuật phần mềm, SE-4(3):178–187, 1978 [23] P Clements, F Bachmann, L Bass, D Garlan, J Ivers, R Little, R Nord J Stafford Tài liệu Kiến trúc phần mềm: Chế độ xem Addison-Wesley, 2003 [24] A Cockburn Viết trường hợp sử dụng hiệu Addison-Wesley, 2001 [25] DM Cohen, SR Dalal, ML Fredman GC Patton Hệ thống AETG: Một cách tiếp cận thử nghiệm dựa thiết kế tổ hợp Giao dịch IEEE Công nghệ phần mềm, 23(7):437– 443, 1997 [26] SD Conte, HE Dunsmore, VY Shen Kỹ thuật phần mềm Met rics Models Công ty xuất Benjamin/Cummings, 1986 Machine Translated by Google Thư mục 261 [27] J.S Davis Xác định lỗi yêu cầu phần mềm thông qua việc sử dụng công cụ yêu cầu tự động Công nghệ thông tin phần mềm, 31(9):472–476, tháng 11 năm 1989 [28] T DeMarco Phân tích cấu trúc đặc tả hệ thống báo chí bạn, 1979 [29] L Dobrica E Niemela Khảo sát phương pháp phân tích kiến trúc phần mềm Giao dịch IEEE Kỹ thuật phần mềm, 28(7):638–653, 2002 [30] J Eder, G Kappel, M Schrefl Khớp nối gắn kết hệ thống hướng đối tượng Báo cáo kỹ thuật, Đại học Klagenfurt, 1994 [31] TÔI Fagan Kiểm tra thiết kế mã để giảm lỗi trình phát triển chương trình Tạp chí Hệ thống IBM, (3):182–211, 1976 [32] TÔI Fagan Những tiến kiểm tra phần mềm IEEE Transactions on Software Engineering, 12(7):744–751, tháng năm 1986 [33] W Farr Khảo sát mơ hình độ tin cậy phần mềm Trong MR Lyu, biên tập viên, Software Reliability Engineering, trang 71–117 McGraw Hill Hiệp hội máy tính IEEE, 1996 [34] SI Feldman Make—một chương trình để trì chương trình máy tính Thực hành Trải nghiệm Phần mềm, 9(3):255–265, tháng năm 1979 [35] M Fowler UML chắt lọc—Hướng dẫn ngắn gọn ngơn ngữ lập mơ hình đối tượng tiêu chuẩn Addison-Wesley Chuyên nghiệp, 2003 [36] M Fowler, K Beck, J Brant, W Opdyke, D Roberts Tái cấu trúc: Cải thiện thiết kế mã có Addison-Wesley, 1999 [37] DP Freedman GM Weinberg Sổ tay Hướng dẫn, Kiểm tra Đánh giá Kỹ thuật—Đánh giá Chương trình, Dự án Sản phẩm Nhà Dorset, 1990 [38] E Gamma, R Helm, R Johnson, J Vlissides Các mẫu thiết kế—Các thành phần phần mềm hướng đối tượng tái sử dụng Addison-Wesley Profes chuyên nghiệp, 1995 [39] T Gilb D Graham Kiểm tra phần mềm Addison-Wesley, 1993 [40] H Gomma DBH Scott Tạo mẫu công cụ đặc tả yêu cầu người dùng Trong Fifth Int Conf Kỹ thuật phần mềm, trang 333–341, 1981 [41] J Goodenough SL Gerhart Hướng tới lý thuyết lựa chọn liệu thử nghiệm Giao dịch IEEE Kỹ thuật phần mềm, SE-1:156–173, 1975 Machine Translated by Google 262 Thư mục [42] SE Goodman ST Hedetniemi Giới thiệu thiết kế phân tích thuật tốn McGraw-Hill, 1977 [43] R Grady D Caswell Số liệu phần mềm: Thiết lập chương trình tồn cơng ty Hội trường Prentice, 1987 [44] RB Grady TV Slack Các học rút việc đạt việc sử dụng kiểm tra rộng rãi Phần mềm IEEE, trang 48–57, tháng năm 1994 [45] Hội trường EM Quản lý rủi ro: Phương pháp phát triển nâng cao phần mềm Addison-Wesley, 1998 [46] Ông Halstead Các yếu tố khoa học phần mềm Elsevier North-Holland, 1977 [47] W Harrison, K Magel, R Kluczny, A DeKock Áp dụng phép đo độ phức tạp phần mềm để bảo trì chương trình IEEE Computer, trang 65–79, tháng năm 1982 [48] S Henry D Kafura Số liệu cấu trúc phần mềm dựa luồng thông tin Giao dịch IEEE Công nghệ phần mềm, 7(5):510–518, 1981 [49] S Henry D Kafura Việc đánh giá cấu trúc hệ thống phần mềm cách sử dụng số liệu phần mềm định lượng Thực hành Trải nghiệm Phần mềm, 14(6):561–573, tháng năm 1984 [50] Xe Hoare Một tảng rõ ràng cho chương trình máy tính Thơng báo ACM, 12(3):335–355, 1969 [51] IBM-Rational Các phương pháp hay quy trình thống hợp lý để phát triển phần mềm đội tùy chọn Báo cáo kỹ thuật, trang web IBM, 1993 [52] IEEE Bảng thuật ngữ tiêu chuẩn IEEE thuật ngữ công nghệ phần mềm Báo cáo kỹ thuật, 1990 [53] IEEE Thực hành khuyến nghị IEEE cho đặc tả yêu cầu phần mềm Báo cáo kỹ thuật, 1998 [54] IEEE Thực hành khuyến nghị IEEE cho mô tả kiến trúc hệ thống sử dụng nhiều phần mềm Báo cáo Kỹ thuật 1471-2000, 2000 [55] Tổ chức Tiêu chuẩn Quốc tế Công nghệ phần mềm—chất lượng sản phẩm phần 1: Mơ hình chất lượng Báo cáo kỹ thuật ISO9126-1, 2001 [56] I Jacobson Kỹ thuật phần mềm hướng đối tượng—Hướng dẫn trường hợp sử dụng Tiếp cận Addison-Wesley, 1992 [57] P Jalote CMM Thực tế—Quy trình Thực Dự án Phần mềm Infosys Addison-Wesley, 1999 [58] P Jalote Quản lý dự án phần mềm thực tế Addison-Wesley, 2002 Machine Translated by Google Thư mục 263 [59] P Jalote, A Palit, P Kurien Mơ hình quy trình hộp thời gian để phát triển phần mềm lặp lặp lại Trong Những tiến Máy tính, Tập 62, trang 67–103 Nhà xuất Học thuật, 2004 [60] P Jalote, A Palit, P Kurien, VT Peethamber Hộp thời gian: Một mơ hình quy trình để phát triển phần mềm lặp lặp lại Tạp chí Hệ thống Phần mềm, 70:117–127 [61] SH Kan Metrics and Models in Software Quality Engineering Addison Wesley, 1995 [62] T Korson JD Gregor Hiểu hướng đối tượng: Một mơ hình thống Truyền thơng ACM, 33(9):40–60, tháng năm 1990 [63] P Kruchten Quá trình hợp hợp lý Addison-Wesley, 1999 [64] W Lie S Henry Các số liệu hướng đối tượng dự đốn khả bảo trì Tạp chí Hệ thống Phần mềm, 23(2):111–122, 1993 [65] B.Liskov Trừu tượng hóa liệu phân cấp Thông báo SIGPLAN, 23(5), tháng 1988 [66] B Meyer Xây dựng phần mềm hướng đối tượng Hội trường Prentice, 1988 [67] JD Musa, A Iannino, K Okumoto Độ tin cậy phần mềm— Đo lường, Dự đoán, Ứng dụng Đồi McGraw, 1987 [68] G Myers Nghệ thuật kiểm thử phần mềm Wiley-Interscience, New York, 1979 [69] J Offutt, S Liu, A Abdurazik, P Ammann Tạo liệu thử nghiệm từ thông số kỹ thuật dựa trạng thái Tạp chí Kiểm thử phần mềm, Xác minh Độ tin cậy, 13(1):25–53, tháng năm 2003 [70] MS Phadke Lập kế hoạch kiểm thử phần mềm hiệu Xuyên âm, tháng 10 năm 1997 [71] LH Putnam Một giải pháp thực nghiệm chung cho vấn đề định cỡ ước lượng phần mềm vĩ mô IEEE Transactions on Software Engineering, SE-4:345–361, tháng năm 1978 [72] LH Putnam W Myers Phần mềm Sức mạnh Công nghiệp: Quản lý Hiệu Sử dụng Đo lường Hiệp hội máy tính IEEE, 1997 [73] S Rapps EJ Weyuker Lựa chọn liệu kiểm thử phần mềm cách sử dụng thông tin luồng liệu IEEE Transactions on Software Engineering, 11(4):367–375, tháng năm 1985 [74] Thế chiến Royce Quản lý phát triển hệ thống phần mềm lớn Ở Proc Quốc tế thứ Conf Kỹ thuật phần mềm (ICSE-9); ban đầu IEEE Wescon, tháng năm 1970, trang 328–338 IEEE, 1987 Machine Translated by Google 264 Thư mục [75] SEI (Viện Cơng nghệ Phần mềm) Mơ hình trưởng thành khả năng: Hướng dẫn cải tiến quy trình phần mềm Addison-Wesley, 1995 [76] M Shaw D Garlan Kiến trúc phần mềm: Quan điểm kỷ luật Hội trường Prentice, 1996 [77] MD Smith DJ Robson Lập trình hướng đối tượng: Các vấn đề xác thực Proc 6th Int IEEE Conference on Software Main tenance, trang 272–282, tháng 11 năm 1990 [78] MD Smith DJ Robson Một khuôn khổ để thử nghiệm chương trình hướng đối tượng Tạp chí Lập trình hướng đối tượng, trang 45–53, tháng 1992 [79] WP Stevens, GJ Myers, L Constantine Thiết kế có cấu trúc Tạp chí Hệ thống IBM, 13(2), 1974 [80] KS Trivedi Xác suất Thống kê với Độ tin cậy, Xếp hàng Ứng dụng Khoa học Máy tính, Phiên thứ hai Wiley-Interscience, 2002 [81] C Watson C Felix Một phương pháp lập trình đo lường ước lượng Tạp chí Hệ thống IBM, 16(1), tháng năm 1977 [82] GM Weinberg EL Schulman Mục tiêu hiệu suất máy tính lập trình Yếu tố người, 16(1):70–77, 1974 [83] EF Weller Bài học rút từ liệu tra ba năm Phần mềm IEEE, trang 38–53, tháng năm 1993 [84] N.Wirth Phát triển chương trình cách sàng lọc bước truyền thông ACM, 14(4):221–227, tháng năm 1971 [85] M Woodward, M Hennell, D Hedley Một thước đo độ phức tạp luồng điều khiển văn chương trình Giao dịch IEEE Cơng nghệ phần mềm, SE-5:45–50, tháng năm 1979 [86] RT Yeh P Zave Đặc tả yêu cầu phần mềm Kỷ yếu the IEEE, 68(9):1077–1088, tháng năm 1980 [87] BH Yin JW Winchester Việc thiết lập sử dụng biện pháp đánh giá chất lượng thiết kế Ghi Kỹ thuật Phần mềm, 3:45–52, 1978 [88] E Yourdon L Constantine Thiết kế có cấu trúc Hội trường Prentice, 1979 [89] WM Zage DM Zage Đánh giá số liệu thiết kế quy mô lớn phần mềm Phần mềm IEEE, trang 75–81, tháng năm 1993 Machine Translated by Google Mục lục Nghiệm thu, 230 Sơ đồ lớp, 148 Sơ đồ hoạt động, 155 Tương tác máy khách-máy chủ đối tượng, 144 Bảo trì thích ứng, Kiểu máy khách-máy chủ, 112 Tổng hợp, 145, 151 COCOMO, 71 – Nhanh nhẹn, 28 phân phối theo giai đoạn, 73 – hệ Thiết kế thuật toán, 169 số nhân nỗ lực, 72 – phân Phân tích, 39, 58, 66 phối theo lịch trình, 77 – – phân vùng vấn đề, 58 – ước tính lịch trình, 76 chiếu, 58 – chuyển Kiểm tra mã, xem Quy trình kiểm tra sang đặc tả, 41 Mã hóa, 181 Kiến trúc, xem Kiến trúc phần mềm – mã hóa gia tăng, 194 – lập Ngôn ngữ mô tả kiến trúc, 117 trình cặp, 197 – quy trình, 194 – tái cấu Lớp bản, 145 trúc, xem Tái cấu trúc – phát Thử nghiệm hộp đen, 236 triển dựa thử nghiệm, 195 – – phân tích giá trị biên, 239 – tiếp cận từ xuống, 194 phân vùng lớp tương đương, 237 – đoán Tiêu chuẩn viết mã, 191 lỗi, 243 – thử nghiệm – nhận xét bố cục, 192 – quy theo cặp, 240 – thử ước cho câu lệnh, 192 – quy ước nghiệm dựa trạng thái, xem Thử nghiệm tệp, 192 – quy ước đặt tên, dựa trạng thái 191 Phân tích giá trị biên, 239 – Sự gắn kết, 126, 128 ví dụ, 240 Sơ đồ cộng tác, 153 Chi nhánh thử nghiệm, 249 Trắc nghiệm tổ hợp, 241 Lỗi, xem Lỗi, Lỗi Bình luận, 192 Quá trình xây dựng, 200 Phong cách giao tiếp quy trình, 114 Chỉ số độ phức tạp, 216 Biến đổi trung tâm, 137 Trưởng nhóm lập trình viên, 89 Lớp, 143, 144 Chế độ xem thành phần trình kết nối, 101, 119 – kiểu bảng đen, 110 Machine Translated by Google 266 Mục lục – kiểu máy khách-máy chủ, 112 Thiết kế chi tiết, 168 – kiểu quy trình giao tiếp, 114 – thành – thiết kế thuật toán, 169 phần, 101 – trình kết – mơ hình hóa trạng thái lớp, nối, 103 – cấu trúc 170 – sàng lọc bước, 169 n-tier, 113 – kiểu hướng Quy trình phát triển, 12, 13 – đối tượng, 114 – kiểu ngang phát triển lặp, xem Phát triển lặp – mơ hình hàng, 114 – ống dẫn tăng cường lọc kiểu, 108 – kiểu xuất bản- lặp, 19 – tạo mẫu, xem Tạo mẫu – mơ hình đăng ký, 113 – kiểu liệu hộp thời gian, xem Hộp thời gian chia sẻ, 110 Quản lý cấu hình, xem Quản lý cấu hình phần mềm người mẫu – mơ hình thác nước, xem Mơ hình thác nước Sơ đồ ngữ cảnh, 61 Liên kết động, 147 Đồ thị luồng điều khiển, 216, 217, 248 Mơ hình động, 159 Thử nghiệm dựa luồng kiểm soát – tiêu chí, 248 Hiệu quả, Bảo trì khắc phục, Nỗ lực, 86 Tính đắn thiết kế, 122 Ước tính nỗ lực, xem Ước tính Dự tốn chi phí, xem Dự tốn Đóng gói, 143 Khớp nối, 123, 125 Phân vùng lớp tương đương, 237 – ví dụ, Phân tích bảo hiểm, 251 238 – chọn trường hợp Tham khảo chéo yêu cầu, 66 thử nghiệm, 238 Độ phức tạp chu trình, 216 sơ đồ ER, 61 Lỗi, 225, xem thêm Lỗi Từ điển liệu, 61 Đoán sai, 243 Sơ đồ luồng liệu, 59, 135, 161 – Ước tính, 70, 91 – ví quy ước, 59 – ví dụ, dụ cách tiếp cận từ lên, 74 – cách 59 – phân cấp, 61 tiếp cận từ lên, 74 – COCOMO, xem COCOMO – mơ hình Gỡ lỗi, 204 biến đơn, 71 – ước lượng kích Lỗi, – thước, 73 – mơ hình ước vịng đời, 235 – lượng từ xuống, 71 ghi nhật ký theo dõi, 235 Yêu cầu giao diện bên ngồi, 45 Chu trình tiêm loại bỏ khuyết tật, 78 Lập trình cực đỉnh, 28, 197, 201 Hiệu loại bỏ khuyết tật, 255 Khiếm khuyết, 86 Bao toán, 138 Độ sâu thừa kế, 175 Thất Bại, 227 Thiết kế, 121 Lỗi, xem thêm Lỗi, Lỗi – đa chế Ràng buộc thiết kế, 44 độ, 241 – chế độ, Phương pháp thiết kế, 122 241 Số liệu thiết kế, 172 Khả chịu lỗi, 45 – OOD, xem Số liệu OOD – Máy tự động trạng thái hữu hạn, 170 tạp chất đồ thị, 173 – Điểm chức năng, 71 xác định mô-đun dễ bị lỗi, 174 – số liệu Mơ hình chức năng, 160 luồng thơng tin, 173 – số liệu mạng, Yêu cầu chức năng, 43 173 Kiểm thử chức năng, xem Kiểm thử hộp đen Nguyên tắc thiết kế, 122 Chức năng, Đánh giá thiết kế, 172 Thẩm tra thiết kế, 171 Đồ thị số tạp chất, 173 Machine Translated by Google 267 Mục lục Các biện pháp Halstead, 215, 219 Tăng cường nhân lực dự án, 77 Thời gian trung bình để thất bại, 253 Phát triển gia tăng, 194, 204 – tái Đo cấu trúc, xem Tái cấu trúc – – khuyết điểm, 86 phát triển dựa thử nghiệm, 195 – nỗ lực, 86 – Phần mềm sức mạnh cơng nghiệp, kích thước, 87 Dịng vào mô-đun, 174 Số liệu, 214 Số liệu luồng thông tin, 173 – thước đo độ phức tạp, 216 – Che giấu thông tin, 186, 187 độ phức tạp chu trình, 216 – Kế thừa, 145 – hiệu loại bỏ lỗi, 255 – cho lớp sở, 145 – thiết kế, xem Số liệu thiết kế – phân cấp lớp, 145 – bội cho thiết kế hướng đối tượng, xem Số liệu số, 146 – không cho OOD nghiêm ngặt, 146 – đồ thị tạp chất, 173 – nghiêm – Halstead's, 215 ngặt, 146 – lớp – số luồng thông tin, 173 – số con, 145 – siêu lớp, 145 nút, 220 – biến Quy trình kiểm tra, 210 trực tiếp, 219 – – nhật ký lỗi, 214 số mạng, 173 – độ tin – họp nhóm đánh giá, 212 – cậy, 253 – thước người điều hành, đo kích thước, xem Kích 211 – lập kế thước – hoạch, 211 – nhật ký tự chuẩn khoảng cách, 220 – độ phức tạp cấu trúc liên kết, 221 bị, 212 – tự đánh Số liệu cho OOD, 175, 178 – giá, 212 – báo cáo tóm khớp nối lớp, 176 – độ tắt, 214 – ví dụ báo cáo tóm tắt, 214 sâu thừa kế, 175 – phản Kiểm thử tích hợp, 229 hồi cho lớp, 176 – phương Sơ đồ tương tác, 151 pháp có trọng số lớp, 175 Tài liệu nội chương trình, 192 Tính mơ đun, 122, 177 Phát triển lặp lại, 34 – mơ Kích thước mơ-đun, 188 hình nâng cao lặp lại, 19 – mơ hình Giám sát kiểm sốt, 92 hộp thời gian, xem Mơ hình hộp thời gian Đầu vào trừu tượng nhất, 136 Đầu trừu tượng nhất, 136 Mơ hình tăng cường lặp lặp lại, 19 Lỗi đa chế độ, 241 Đa thừa kế, 146 Số nút thắt, 220 Làm tổ cấu trúc, 188 Biểu đồ luồng liệu phân mức, 61 Số liệu mạng, 173 Các mức độ thử nghiệm, 229 Yêu cầu phi chức năng, 43 Vòng đời lỗi, 235 Nguyên tắc thay Liskov, 131 Đối tượng, Biến trực tiếp, 219 143 – hành vi, Thiết kế logic mô-đun, 169 143 – giao diện, 143 – mối quan hệ giữa, 144 – Khả bảo trì, trạng thái, 143 Bảo trì, – Kỹ thuật mơ hình hóa đối tượng, 156 thích ứng, – Phân tích hướng đối tượng, 157 khắc phục, – Thiết kế hướng đối tượng, 142 chi phí, – tập hợp, 145 Machine Translated by Google 268 Mục lục – liên kết đối tượng, 144 – – để trống nếu, phân cấp lớp, 145 – liên khi, 189 – tầm quan trọng ngoại kết, 128 – khớp lệ, 190 – ẩn thông tin, 187 – nối, 125 – xác lồng cấu trúc, 188 – trả định lớp hoạt động bên trong, 161 – từ khối cuối cùng, 189 – độ bền, 188 mẫu thiết – tác dụng phụ, 188 kế, 142 – mơ hình động, – chuyển trường hợp 159 – mơ hình chức năng, 160 mặc định, 189 – liệu đáng tin cậy – liên kết xác định, 158 – xác nguồn, 190 – sử dụng gotos, 187 định thuộc tính, 157 – sử dụng loại người dùng xác định, 187 – Nguyên tắc thay Liskov, 131 – Nguyên lý lập trình, 182 phương pháp, 156 – số Quản lý dự án, 6, 12, 32, 35 – ước tính liệu, xem Số liệu cho OOD – nguyên chi phí, xem Ước tính – giám sát tắc đóng mở, 129 – ví dụ tỷ kiểm soát, xem Giám sát kiểm soát dự án – lệ trả về, 165 – mơ hình hóa trạng thái lớp, 170 – UML, xem UML – ví lập kế hoạch, xem Lập kế hoạch dự án, xem Lập kế hoạch dự án dụ đếm từ, 162 – phân tích hậu kỳ, 33 – quy Nguyên lý đóng mở, 129 trình, 32 – Dịng mô-đun, 174 giám sát dự án, 33 – theo dõi dự án, 33 – chất Lập trình cặp, 197 lượng, xem Kế hoạch chất lượng Thử nghiệm theo cặp, 240, 241 – mối quan hệ với quy trình phát triển, – ví dụ, 242 – tạo trường hợp thử nghiệm, 242 – mục tiêu, 242 Kiểm tra đường dẫn, 250 33 – quản lý rủi ro, xem Quản lý rủi ro tâm trí – lập lịch trình, xem Lập lịch trình dự án Kích thước nhóm cao nhất, 77 Giám sát kiểm soát dự án, 33, 86 – giám Phong cách ngang hàng, 114 sát mức hoạt động, 87 – đo lường, Yêu cầu hiệu suất, 44 86 – phân tích cột mốc, Kiểu ống lọc, 108 87 – báo cáo trạng thái, 87 Đa hình, 145, 146 Tính di động, Lập kế hoạch dự án, 32, 69 Hậu điều kiện chương trình, 184 – trưởng nhóm lập trình viên, 89 Phân tích sau chết, 33 – ước tính nỗ lực, xem Ước tính – tăng Tiền điều kiện chương trình, 184 cường nhân lực, 77 – quy mơ Phân tích vấn đề, xem Phân tích nhóm cao nhất, 77 – kế Sự cố phân vùng, 58 hoạch chất lượng, 80 Quản lý quy trình, 12 – nhóm – quản lý rủi ro, xem Quản lý rủi ro quy trình cơng nghệ phần mềm, 12 tâm trí Mơ hình quy trình, 13 – lịch trình, xem Lập kế hoạch dự án – Năng suất, 1, cấu trúc nhóm, 89 Thực hành lập trình, 182, 187 – kiểm Lập kế hoạch dự án, 76, 91 – tra giá trị trả đọc, 189 – tiêu lịch trình chi tiết, 88 – chuẩn viết mã, xem Viết mã phân phối giai đoạn khác nhau, tiêu chuẩn 77 – cấu trúc điều khiển, 187 – – ước tính, 76 – tham số tương quan, 190 linh hoạt, 76 Machine Translated by Google 269 Mục lục – Dự án Microsoft, 89 – Đánh giá, xem Quy trình kiểm định kiện quan trọng, 77 Quản lý rủi ro, 80, 92 – cách – ước tính lịch trình tổng thể, 76 – tiếp cận thực tế, 84 – ví dụ, kiểm tra bậc hai, 77 85 – danh sách kiểm Theo dõi dự án, 33 tra rủi ro thường xảy ra, Chiếu, 58 82 Tạo mẫu, 17, 34 – lợi – rủi ro, ích, 19 – phương 80 – phân tích rủi ro, pháp cắt giảm chi phí, 18 – quy 83 – đánh giá rủi ro, 81 trình, 17 – vứt – kiểm soát rủi ro, đi, 17 83 – tiếp xúc với rủi Tâm lý kiểm tra, 228 ro, 83 – xác định rủi ro, 81 Kiểu xuất bản-đăng ký, 113 – giám sát rủi ro, 84 – ưu tiên rủi ro, 83, 84 – 10 rủi Chất lượng, 3, 39, 225 ro hàng đầu, 82 – chu trình tiêm loại bỏ khuyết tật, 78 Quy luật hợp thành, 184 Chất lượng suất, Q&P, RUP, xem Quy trình hợp hợp lý Thuộc tính chất lượng, 3, Kế hoạch chất lượng, 80 Kịch bản, 50 Các kịch để lập mơ hình, 159 Q trình thống hợp lý, 22 Lịch trình, 3, 86 Đường cong Rayleigh, 77 An ninh, 45 Tái cấu trúc, 200 – Biểu đồ trình tự, 151 mùi hơi, 202 – tác Kiểu chia sẻ liệu, 110 động đến thiết kế, 202 – mục Tác dụng phụ, 188 tiêu, 201 – giảm Cấu trúc lần vào, lần ra, 185 thiểu rủi ro, 201 – thử Lỗi đơn chế độ, 241 nghiệm, 202 Kích thước, 3, 71, 87, Kiểm thử hồi quy, 230 215 – thước đo halstead, 215 – Độ tin cậy, 4, 253 – dòng mã (LOC), 1, 3, 215 định nghĩa, 253 – Ước tính kích thước, 73 cường độ hỏng hóc, 254 – Phần mềm thời gian trung bình dẫn đến hỏng hóc, 253 – chi phí, Phân tích yêu cầu, xem Phân tích – phần mềm sức mạnh cơng nghiệp, – Thay đổi yêu cầu, suất, – quy Đặc tả yêu cầu, 37, 41 – thành phần, 43 mô, xem Quy mô – – ràng buộc thiết kế, hệ thống sinh viên, 44 – đặc điểm mong muốn, 41 Kiến trúc phần mềm, 95, 119 – xem – cấu trúc tài liệu, 46 – yêu cầu phân bổ, 99 – phân tích, giao diện bên ngồi, 45 – yêu xem Đánh giá kiến trúc phần mềm cầu chức năng, 43 – kiểu kiến trúc, 108 – mô tả – Tiêu chuẩn IEEE, 46 – hành vi, 116 – kiểu bảng đen, 110 yêu cầu hiệu suất, 44 – ngôn ngữ đặc – kiểu máy khách-máy chủ, tả, 46 – trường hợp sử dụng, xem 112 – dạng xem kết hợp, 117 – Trường hợp sử dụng kiểu quy trình giao tiếp, Xác thực yêu cầu, 63 114 – dạng xem thành phần trình kết nối, Yêu cầu, xem Yêu cầu phần mềm xem Đánh giá yêu cầu, 65 Chế độ xem thành phần trình kết nối Machine Translated by Google 270 Mục lục – định nghĩa, 96 – phân tích, xem Phân tích – dạng xem triển khai, 154 – quán, 42 – – mô tả, 96 – thiết sơ đồ luồng liệu, 59 – kế, 119 – lập tài định nghĩa, 37 liệu, 114 – danh mục – Sơ đồ ER, 61 – loại thành phần, 115 – ví dụ, lỗi, 64 – lỗi, 64 – 104 – kiểu lớp, tác động đến 113 – dạng xem mơ-đun, chi phí phát triển, 39 – tác động đến 99, 121 – kiểu hướng đối chất lượng, 39 – yêu cầu tượng, 114 – kiểu ngang hàng, phi chức năng, 43 – quy trình, 39 – 114 – kiểu ống lọc, đặc điểm kỹ 108 – chế độ xem chính, 115 – thuật, xem Đặc tả yêu cầu – trường hợp kiểu xuất bản-đăng ký, sử dụng, xem 113 – thuộc tính chất lượng, 118 – Trường hợp sử dụng – xác thực, mối quan hệ chế độ xem Xác thực yêu cầu – kiểm chứng, 42 xem, 99 – mối quan hệ phần tử, 98 – liệu chia sẻ phong cách, Kích thước phần mềm, xem Kích thước 110 – bên liên quan, Kiểm soát mã nguồn, 198 – 115 – ngữ cảnh hệ toán, 199 – thống, 115 – lượt xem, loại lệnh, 199 – xung đột, 98, 99, 119 199 – công cụ, Đánh giá kiến trúc phần mềm, 118 – cách 198 – bảo trì tiếp cận, 118 – thuộc phiên bản, 200 tính chất lượng, 118 Ngơn ngữ đặc tả, 46 Quản lý cấu hình phần mềm, 12, Tuân thủ tiêu chuẩn, 45 198 Sơ đồ trạng thái, 155, 170 Công nghệ phần mềm – Mô hình hóa trạng thái định nghĩa, – lớp, 170 – ví dụ, 171 miền vấn đề, Thử nghiệm dựa trạng Nhóm quy trình cơng nghệ phần mềm, 12 thái, 244 – ví dụ, 245 Kiểm tra phần mềm, xem Kiểm tra – tiêu chí bao phủ, 246 – trình chọn trường hợp thử nghiệm, 245 Quy trình phần mềm, 10–12 – – mơ hình trạng thái, thành phần, 11 – quy 245 – tiêu chí lựa chọn trường hợp thử nghiệm, 246 trình phát triển, xem Phát triển Tiêu chí bao phủ tuyên bố, 248 trình – quy trình kiểm tra, xem Kiểm tra quy Tinh chế bước, 169 Kiểm thử cấu trúc, xem Kiểm thử hộp trắng Biểu đồ cấu trúc, 132, 137 – trình – quản lý, 12 – biểu diễn định, 133 – biểu quy trình phi kỹ thuật, 11 – quy diễn lặp, 133 trình kỹ thuật sản phẩm, 12 – quy trình Phương pháp thiết kế có cấu trúc, 177 – quản lý dự án, xem biến đổi trung tâm, 137 – Quản lý dự án phân tích nhân tử, Chất lượng phần mềm, xem Chất lượng 138 – phân tích nhân tử cấp Độ tin cậy phần mềm, xem Độ tin cậy một, 137 – đầu vào trừu tượng Quy trình yêu cầu phần mềm, 39 nhất, 136 – đầu trừu tượng Đặc tả yêu cầu phần mềm, xem nhất, 136 – bước, 135 Đặc tả yêu cầu Yêu cầu phần mềm, 37, 41, 66 Lập trình có cấu trúc, 183 Siêu hạng, 145 Machine Translated by Google 271 Mục lục Thiết kế hệ thống – đội, 26 – – tính xác, 122 hoạt động theo nhóm, 26 – tính mô đun, 122 – Công cụ hỗ trợ kiểm tra, 251 thiết kế hướng đối tượng, xem Thiết kế hướng Cách tiếp cận mã hóa từ xuống, 194 đối tượng – nguyên Độ phức tạp tô pô, 221 tắc, 122 – xác minh, xem Xác minh thiết kế UML, 177 – Thử nghiệm hệ thống, 230 sơ đồ hoạt động, 155 – tập hợp, 151 – liên kết Cơ cấu tổ, 89 lớp, 148 – sơ đồ lớp, 148 – biểu Thiết kế trường hợp thử nghiệm, xem Đặc tả diễn phân cấp lớp, 149 – trường hợp thử nghiệm Tạo trường hợp thử nghiệm, 251 sơ đồ cộng tác, 153 – thành phần, hệ thống con, gói, Đánh giá trường hợp thử nghiệm, 234 Đặc tả trường hợp thử nghiệm, 233 154 Kế hoạch kiểm tra, 231 – sơ đồ tương tác, 151 – biểu diễn Phát triển dựa thử nghiệm, 195, 201 mối quan hệ phần-toàn bộ, Thử nghiệm, 225 151 – thử nghiệm chấp nhận, 230 – – sơ đồ trình tự, 151 – sơ đồ hộp đen, xem Thử nghiệm hộp đen – ghi lỗi, trạng thái, 155 – khuôn 235 – phân phối, 233 – mẫu, 156 – kiểu phụ, chức năng, xem Thử mối quan hệ siêu kiểu, 148 – giá trị gắn nghiệm hộp đen – thử nghiệm tích hợp, 229 – thẻ, 156 – sơ đồ trường cấp độ, 229 – hướng đối tượng hợp sử dụng, 156 chương trình, 207 Ngơn ngữ mơ hình hóa thống nhất, xem UML – quy trình, 231 – tâm lý học, 228 – mục Thử nghiệm đơn vị, 204, 229 đích của, 229 – – ví dụ, 207 – với hồi quy, 230 – thử nghiệm Junit, 207 cấu trúc, xem Kiểm thử Khả sử dụng, hộp trắng – thử Sơ đồ ca sử dụng, 51 nghiệm hệ thống, 230 – thiết kế trường hợp thử Trường hợp sử dụng, 49, 66 – tác nghiệm, xem Đặc tả trường nhân, 49 – phát triển, hợp thử nghiệm 56 – ví dụ, 52, 55 – kịch mở rộng, 50 – điều – thực phân tích trường hợp kiểm thử, 234 kiện lỗi, 56 – xử lý lỗi, 56 – đánh giá trường hợp kiểm – mức độ chi tiết, 57 – mức thử, 234 – đặc tả trường hợp kiểm độ, 56 – kịch thành thử, 233 – kế hoạch cơng chính, kiểm thử, 231 – kiểm thử hộp trắng, xem Kiểm 50, 56 – điều kiện tiên quyết, 52 – tác thử hộp trắng nhân chính, 49 – sàng Quy trình thử nghiệm, 231 lọc, 54 – kịch bản, 50, Mơ hình hộp thời gian, 25, 35 – 159 – phạm vi, 54 – hộp thời gian, 25 – mức tóm tắt, 55 – sơ đồ thực với hộp thời gian ba giai đoạn, trường hợp sử 26 dụng, 51 – viết chúng, 57 – thời gian hoàn thành lặp lại, 26 – thực thi lặp lại theo đường ống, 25 – giai đoạn hộp thời gian, 25 Loại người dùng định nghĩa, 187 Machine Translated by Google 272 Mục lục Verification Thử nghiệm hộp trắng, 247 – kiểm tra, xem Quy trình kiểm tra – kiểm – thử nghiệm nhánh, 249 thử đơn vị, xem Kiểm thử đơn vị – dựa luồng điều khiển, Mơ hình thác nước, 14, 34 – tác động thứ tự tuyến tính giai đoạn, 14 – giới hạn, 16 – đầu ra, 16 – giai đoạn, 14 248 – thử nghiệm đường dẫn, 250 – tiêu chí bao phủ câu lệnh, 248 – tạo trường hợp thử nghiệm, 251 – hỗ trợ công cụ, 251 Sản phẩm lao động, 15 Các phương thức có trọng số lớp, 175 Thí nghiệm Weinberg, 181 XP, xem Lập trình cực đoan