WHAT IS A SOFTWARE ERROR? One common definition of a software error is a mismatch between the program and its specification. Dont use this definition. LỖI PHẦN MỀM LÀ GÌ Một định nghĩa chung về lỗi phần mềm là sự không phù hợp giữa chương trình và đặc tả của nó. Không sử dụng định nghĩa này. Sự không phù hợp giữa chương trình và đặc tả của nó là một lỗi trong chương trình chỉ khi đặc tả tồn tại và nó đúng.
LỖI PHẦN MỀM LÀ GÌ Một định nghĩa chung lỗi phần mềm không phù hợp chương trình đặc tả Khơng sử dụng định nghĩa Sự khơng phù hợp chương trình đặc tả lỗi chương trình đặc tả tồn Dưới hai định nghĩa tốt hơn: • Một lỗi phần mềm có mặt chương trình khơng làm người sử dụng cuối kỳ vọng làm (Myers, 1976, trang 6) • Khơng có định nghĩa tuyệt đối cho lỗi, không xác định tuyệt đối tồn chúng Mức độ mà chương trình có lỗi đo mức độ mà khơng hữu ích Đây phương pháp người (Beizer, 1984, trang 12) Myers (1976) loại trừ rõ ràng "các sai sót nhân tố người" từ định nghĩa ông lỗi phần mềm Chúng thấy nhóm sai sót Có thể khó thuyết phục lập trình lỗi giao diện người dùng lỗi điều quan trọng người kiểm tra có quyền nói với điều đó, khách hàng phàn nàn lỗi yếu tố người nghiêm trọng họ phàn nàn tai nạn CÁC LOẠI LỖI PHẦN MỀM Chúng tơi mơ tả 13 loại Khơng có hồn tồn xác phân loại Chẳng hạn, Beizer's (1990) cí dụ hữu ích khác biệt LỖI GIAO DIỆN NGƯỜI DÙNG Có nhiều cách để làm cho chương trình khó khăn làm việc Chúng gộp chúng tiêu đề "giao diện người dùng" Dưới số danh mục con: Một chương trình có vấn đề chức khơng làm điều điều nên làm, lúng túng khơng làm đầy đủ Những thông số kĩ thuật xác định chức chương trình cho nhóm thực hiện, định nghĩa cuối chương trình "cho là" tâm huyết người người làm Tất chương trình có vấn đề chức người dùng khác có mong đợi khác Bạn khơng thể đốn trước kỳ vọng người Có thể bạn khơng thể đáp ứng nhu cầu người mà không làm giảm tính đơn giản tồn vẹn khái niệm chương trình Một chương trình có vấn đề chức chương trình làm người dùng khó khăn, lúng túng, khó hiểu, khơng thể Vấn đề lỗi chức kỳ vọng người dùng hợp lý Giao tiếp: Làm để bạn tìm hiểu làm để sử dụng chương trình? Những thơng tin có sẵn hình? Chừng đủ chưa? Nó hiểu được? Có xúc phạm khơng? Bạn nói bạn phạm sai lầm bạn cần giúp đỡ? Nó hữu ích? Có xác khơng? Có điều gây kích thích, gây hiểu nhầm, gây nhầm lẫn trình bày khơng tốt? Về cấu trúc câu lệnh: Dễ dàng bị lạc chương trình? Có lệnh khó hiểu dễ gây nhầm lẫn với người khác? Bạn làm sai lầm, bạn tốn thời gian, sao? Về thiếu câu lệnh: Những thiếu? Chương trình có buộc bạn phải suy nghĩ cách cứng nhắc, không tự nhiên không hiệu quả? Bạn tùy chỉnh cho phù hợp với phong cách làm việc nhu cầu bạn? Khả tùy biến cho chương trình quan trọng nào? Hiệu suất: Tốc độ chất phần mềm tương tác Bất điều làm cho người dùng nghĩ chương trình làm việc chậm vấn đề Đầu ra: Hầu hết chương trình hiển thị, in, biểu đồ, lưu thông tin Bạn sử dụng hầu hết chương trình để có kết Bạn có nhận bạn muốn? Làm in có ý nghĩa? Bạn đọc đồ thị khơng? Chương trình lưu liệu theo định dạng mà chương trình khác đọc? Bạn điều chỉnh sản lượng phù hợp với nhu cầu bạn? Bạn chuyển hướng đầu đến lựa chọn bạn thiết bị đầu cuối, máy in tệp tin? XỬ LÍ LỖI Xử lý lỗi bao gồm dự đoán khả lỗi bảo vệ chúng, thông báo điều kiện lỗi, xử lý lỗi phát cách hợp lý Nhiều chương trình phát xác lỗi sau phân nhánh theo thói quen phục hồi lỗi mà không kiểm tra Những lỗi thường gặp gây nhiều thiệt hại vấn đề ban đầu RANH GIỚI – LIÊN QUAN ĐẾN LỖI Các ranh giới đơn giản số, giống thảo luận ví dụ chương Nhưng việc sử dụng chương trình điều kiện biên Số lượng lớn nhỏ nhớ mà chương trình đối phó ranh giới Nếu có khía cạnh việc sử dụng hoạt động chương trình mô tả chạy từ nhiều đến nhỏ hơn, từ lớn đến nhỏ nhất, sớm đến nhất, trước hết từ trước, ngắn gọn đến dài nhất, bạn kiểm tra ranh giới biên phạm vi giá trị Trong ranh giới, chương trình hoạt động tốt Tại ngồi ranh giới, chương trình croak DỰ ĐỐN LỖI Số học khó khăn dễ bị lỗi số ngôn ngữ Nhiều khả năng, chương trình giải thích sai cơng thức phức tạp Nó độ xác tính, làm tròn cắt xén lỗi Sau nhiều tính tốn trung gian, khẳng định + -1, bước trung gian có sai sót logic Danh mục bao gồm lỗi tính tốn thuật tốn khơng xác Chúng bao gồm việc sử dụng công thức, công thức không phù hợp với liệu phá vỡ biểu thức phức tạp thành thành phần sử dụng quy tắc không xác Trong lỗi thuật tốn, mã thực xác lập trình có tâm trí MỞ ĐẦU VÀ BỔ SUNG Một chức không thành công lần bạn sử dụng Lần đầu tiên, bạn nhận hiển thị kỳ lạ, tính tốn sai, vòng lặp vơ hạn, thơng báo lỗi nhớ ngồi Một số số quay trở lại bạn khởi động lại chương trình Các chương trình xấu lưu trữ thông tin khởi tạo vào đĩa thất bại sử dụng lần - trước tạo tệp khởi tạo Sau bạn sử dụng chương trình lần, bạn khơng thể tìm thấy lỗi mà khơng có chương trình Điều vơ hại bạn nhận tất khách hàng bạn bắt đầu với chương trình Các lập trình đơi qn bạn lưu thói quen, để cố gắng thay đổi bạn làm trước Nếu thứ thiết lập lần bạn sử dụng phần chương trình, điều xảy bạn trở lại phần đó? Liệu đặt lại tất thứ để không? Bạn vừa tất liệu? LUỒNG QUẢN LÝ LỖI Luồng kiểm soát chương trình mơ tả làm tiếp theo, trường hợp Một lỗi điều khiển xảy chương trình làm điều sai trái Các lỗi kiểm soát cực đoan dừng chương trình làm cho chạy loạn xạ Lỗi đơn giản dẫn đến chương trình để hành vi sai trái ngoạn mục LỖI TRONG XỬ LÍ VÀ GIẢI THÍCH DỮ LIỆU Một mơ-đun truyền liệu sang mơ-đun khác cho chương trình khác Một liệu truyền qua lại nhiều lần Trong q trình này, bị hỏng bị giải thích sai Các thay đổi gần liệu bị đến số phận hệ thống thứ khác ĐIỀU KIỆN KẾT QUẢ Cuộc đua cổ điển hai kiện, gọi chúng A B Hoặc A B xảy Nếu A đến trước, chương trình hoạt động Nếu B xảy trước A, chương trình khơng thành cơng mong đợi A ln xuất trước B Người lập trình khơng nhận B thực trước điều kiện đặc biệt Các điều kiện “ kết nằm số thử nghiệm Mong đợi điều kiện kết hệ thống đa xử lý hệ thống tương tác (các hệ thống đáp ứng hầu hết người sử dụng đầu vào gần lập tức) Họ khó để nhân rộng, đặc biệt người kiểm tra không nhạy cảm với vấn đề thời gian Họ dẫn đến nhiều báo cáo lỗi "không thể khắc phục được" ĐIỀU KIỆN TẢI Chương trình khơng hoạt động q tải Nó thất bại khối lượng lớn (nhiều công việc thời gian dài) căng thẳng cao (tải tối đa lúc) Nó thất bại hết nhớ, máy in, tài nguyên khác, cố gắng chia sẻ nhớ thời gian CPU với chương trình khác hai thói quen riêng Tất chương trình có giới hạn Các vấn đề liệu chương trình đáp ứng giới hạn nêu làm khủng khiếp chết giới hạn vượt PHẦN CỨNG Các chương trình gửi liệu khơng hợp lệ đến thiết bị, bỏ qua mã lỗi trở lại cố gắng sử dụng thiết bị bận không Ngay phần cứng bị hỏng, phần mềm bị hỏng khơng nhận diện phục hồi từ thất bại phần cứng NGUỒN VÀ KIỂM SOÁT PHIÊN BẢN Các vấn đề cũ lại xuất người lập trình liên kết phiên cũ chương trình với phiên phần lại chương trình Bạn phải biết (ai phải biết) phiên phần chương trình sử dụng giao cho khách hàng Ai phải đảm bảo chương trình có quyền xác, hình đăng nhập số phiên Cần phải kiểm tra hàng chục chi tiết nhỏ Việc thực thi tiêu chuẩn "nguồn phiên bản" thường ủy quyền cho nhóm Bảo đảm chất lượng Theo quan điểm chúng tơi, việc xác định vấn đề kiểm sốt nguồn phiên chức kiểm tra, thực thi 66 TÀI LIỆU Tài liệu phần mềm phần sản phẩm phần mềm Tài liệu dẫn người dùng tin phần mềm khơng hoạt động xác Thảo luận chi tiết lỗi tài liệu vượt phạm vi sách này, thử nghiệm tài liệu thảo luận Chương 10 LỖI KIỂM THỬ Cuối cùng, chắn khơng kém: lập trình viên làm cho nửa lỗi dòng mã, bạn thực lần kiểm tra? Lỗi người kiểm thử gây số lỗi phổ biến phát trình kiểm thử đừng quên số lỗi bạn phản ánh vấn đề giao diện người dùng chương trình Nếu chương trình dẫn bạn làm sai, có vấn đề thiết kế Lỗi bạn liệu thử nghiệm ... liệu phần mềm phần sản phẩm phần mềm Tài liệu dẫn người dùng tin phần mềm khơng hoạt động xác Thảo luận chi tiết lỗi tài liệu vượt phạm vi sách này, thử nghiệm tài liệu thảo luận Chương 10 LỖI... tin? XỬ LÍ LỖI Xử lý lỗi bao gồm dự đoán khả lỗi bảo vệ chúng, thông báo điều kiện lỗi, xử lý lỗi phát cách hợp lý Nhiều chương trình phát xác lỗi sau phân nhánh theo thói quen phục hồi lỗi mà không... nêu làm khủng khiếp chết giới hạn vượt PHẦN CỨNG Các chương trình gửi liệu khơng hợp lệ đến thiết bị, bỏ qua mã lỗi trở lại cố gắng sử dụng thiết bị bận khơng Ngay phần cứng bị hỏng, phần mềm