Các cách kiểm thử phần mềm

Các cách Kiểm thử phần mềm Bùi Thế Hồng Chư ng 14 Ki ểm th ph ần m ềm Trang Mục tiêu Bàn khác kiểm thử tính phù hợp kiểm thử khiếm khuyết Mô tả nguyên tắc kiểm thử hệ thống kiểm thử thành phần Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang Qui trình kiểm thử Kiểm thử thành phần • • Kiểm thử thành phần chương trình riêng rẽ; Trách nhiệm người phát triển thành phần; Kiểm thử hệ thống • • • Bùi Thế Hồng Kiểm thử nhóm thành phần tích hợp lại để tạo thành hệ thống hệ thống con; Là trách nhiệm đội kiểm thử độc lập; Các kiểm thử dựa đặc tả hệ thống Chương 14 Ki ểm th ph ần m ềm Trang Các pha kiểm thử Component testing Software developer Bùi Thế Hồng System testing Independent testing team Chương 14 Ki ểm th ph ần m ềm Trang Kiểm thử khiếm khuyết Mục đích kiểm thử khiếm khuyết phát khiếm khuyết chương trình Một kiểm thử khiếm khuyết thành công phép thử gây cho chương trình hành động cách không bình thường Các kiểm thử diện không không tồn khiếm khuyết Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang Mục đích qui trình kiểm thử Kiểm thử chấp nhận • • Nhằm chứng minh cho người phát triển khách hàng hệ thống phần mềm đáp ứng yêu cầu họ; Một kiểm thử chấp nhận thành công hệ thống hoạt động dự kiến Kiểm thử khiếm khuyết • • Bùi Thế Hồng Nhằm phát lỗi khiếm khuyết phần mềm làm cho hành động không không phù hợp với đặc tả nó; Một kiểm thử thành công phép thử làm cho hệ thống thực không vạch thiếu sót hệ thống Chương 14 Ki ểm th ph ần m ềm Trang Qui trình kiểm thử phần mềm T est cases Design test cases Bùi Thế Hồng T est data Pr eparetest data T est results un R program with test da ta Chương 14 Ki ểm th ph ần m ềm T est repor ts Compar ee r sults to test cases Trang Các sách kiểm thử Chỉ có kiểm thử vét cạn chương trình khiếm khuyết Tuy nhiên, kiểm thử vét cạn Các sách kiểm thử xác định cách tiếp cận sử dụng lựa chọn kiểm thử hệ thống: • • • Bùi Thế Hồng Tất chức truy cập từ menu phải kiểm thử; Sự kết hợp chức truy cập qua menu phải kiểm thử; Tại nơi yêu cầu input từ người sử dụng, tất chức phải kiểm thử với input input sai Chương 14 Ki ểm th ph ần m ềm Trang Kiểm thử hệ thống Bao gồm thành phần tích hợp để tạo hệ thống hệ thống Có thể bao gồm kiểm thử sản phẩm phát triển theo kiểu tăng dần chuyển giao cho khách hàng Hai pha: • • Bùi Thế Hồng Kiểm thử tích hợp - đội kiểm thử nên xem xét mã nguồn chương trình Hệ thống kiểm thử thành phần tích hợp lại với Kiểm thử để chuyển giao - đội kiểm thử kiểm thử hệ thống hoàn chỉnh hộp đen để chuyển giao cho khách hàng Chương 14 Ki ểm th ph ần m ềm Trang Kiểm thử tích hợp Bao gồm việc xây dựng hệ thống từ thành phần kiểm thử hệ thống vấn đề phát sinh từ tác động thành phần Tích hợp xuống • Phát triển khung cho hệ thống đắp dần khung thành phần Tích hợp lên • Tích hợp thành phần hạ tầng sau thêm vào thành phần chức Để đơn giản cho việc định vị sai sót, nên tích hợp cách tăng dần Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang 10 Kiểm thử hộp đen Ie Input test data Inputs causing anomalous behaviour System Output testesults r Bùi Thế Hồng Oe Chương 14 Ki ểm th ph ần m ềm Outputs which reveal the pr esence of defects Trang 13 Các hướng dẫn kiểm thử • • • • • Bùi Thế Hồng Chọn inputs buộc hệ thống phải sinh tất thông báo lỗi; Thiết kế inputs làm đầy nhớ đệm; Lặp lại input dãy input số lần; Buộc phải sinh outputs không hợp lệ; Làm cho kết tính toán trở nên lớn nhỏ Chương 14 Ki ểm th ph ần m ềm Trang 14 Kiểm thử hiệu suất Một phần kiểm thử chuyển giao kiểm thử thuộc tính trội hệ thống, ví dụ hiệu độ tin cậy Các kiểm thử hiệu thường bao gồm việc lập kế hoạch cho loạt phép thử với tải tăng dần hiệu hệ thống trở nên chấp nhận Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang 15 Kiểm thử thành phần Kiểm thử thành phần hay đơn vị qui trình kiểm thử tách biệt thành phần riêng rẽ Đây qui trình kiểm thử khiếm khuyết Các thành phần : • • • Bùi Thế Hồng Các chức phương pháp riêng rẽ đối tượng; Các lớp đối tượng với vài thuộc tính phương pháp; Các thành phần hỗn hợp với giao diện định nghĩa dùng để truy cập chức chúng Chương 14 Ki ểm th ph ần m ềm Trang 16 Thiết kế ca kiểm thử Bao gồm thiết kế ca kiểm thử (inputs outputs) dc sử dụng để kiểm thử hệ thống Mục đích thiết kế ca kiểm thử lập tập kiểm thử mang lại hiệu kiểm thử nghiệm thu kiểm thử khiếm khuyết Các cách thiết kế: • • • Bùi Thế Hồng Kiểm thử dựa yêu cầu; Kiểm thử phân hoạch; Kiểm thử cấu trúc Chương 14 Ki ểm th ph ần m ềm Trang 17 Kiểm thử dựa yêu cầu Một nguyên tắc chung công nghệ yêu cầu tất yêu cầu phải có khả kiểm thử Kiểm thử dựa yêu cầu kỹ thuật kiểm thử chấp nhận phải xem xét yêu cầu đưa tập phép thử yêu cầu Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang 18 Các yêu cầu LIBSYS Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang 19 Kiểm thử LIBSYS • • • • • Bùi Thế Hồng Initiate user search for searches for items that are known to be present and known not to be present, where the set of databases includes database Initiate user searches for items that are known to be present and known not to be present, where the set of databases includes databases Initiate user searches for items that are known to be present and known not to be present where the set of databases includes more than databases Select one database from the set of databases and initiate user searches for items that are known to be present and known not to be present Select more than one database from the set of databases and initiate searches for items that are known to be present and known not to be present Chương 14 Ki ểm th ph ần m ềm Trang 20 Các hướng dẫn kiểm thử Kiểm thử phần mềm xâu có giá trị đơn Sư dụng xâu có độ dài khác phép thử khác Đưa phép thử cho truy cập phần tử đầu, cuối xâu Kiểm thử với xâu có độ dài Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang 21 Kiểm thử cấu trúc Đôi gọi kiểm thử hộp trắng (whitebox) Kết ca kiểm thử phải phù hợp cấu trúc chương trình Mục đích thực hành lại tất câu lệnh chương trình Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang 22 Kiểm thử cấu trúc Test da ta T ests Derives Component code Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Test outputs Trang 23 Kiểm thử đường chương trình Mục đích kiểm thử đường để đảm bảo tập ca kiểm thử buộc đường chương trình phải thực lần Kiểm thử đường phải xuất phát từ đồ thị luồng chương trình đỉnh định chương trình cung luồng điều khiển Các câu lệnh có điều kiện đỉnh đồ thị luồng chương trình Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang 24 Đồ thị luồng chương trình tìm kiếm nhị phân bottom > top while bottom k ey 12 elemArray [mid] < k ey 13 14 Bùi Thế Hồng 10 Chương 14 Ki ểm th ph ần m ềm Trang 25 Các đường độc lập 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14 1, 2, 3, 4, 5, 14 1, 2, 3, 4, 5, 6, 7, 11, 12, 5, … 1, 2, 3, 4, 6, 7, 2, 11, 13, 5, … Cần phải lập ca kiểm thử cho tất đường phải thực Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang 26 Các điểm chìa khóa Kiểm thử có tồn khiếm khuyết hệ thống; kiểm thử chứng minh không lỗi Những người phát triển thành phần có trách nhiệm kiểm thử thành phần phát triển; kiểm thử hệ thống trách nhiệm đội độc lập Kiểm thử tích hợp kiểm thử hệ thống tích hợp thêm thành phần; kiểm thử chuyển giao kiểm thử hệ thống chuyển giao cho khách hàng Bùi Thế Hồng Chương 14 Ki ểm th ph ần m ềm Trang 27 [...]... Bao gồm thiết kế các ca kiểm thử (inputs và outputs) dc sử dụng để kiểm thử hệ thống Mục đích của thiết kế các ca kiểm thử là lập ra một tập các kiểm thử mang lại hiệu quả trong các kiểm thử nghiệm thu và kiểm thử khiếm khuyết Các cách thiết kế: • • • Bùi Thế Hồng Kiểm thử dựa trên yêu cầu; Kiểm thử phân hoạch; Kiểm thử cấu trúc Chương 14 Ki ểm th ử ph ần m ềm Trang 17 Kiểm thử dựa trên các yêu cầu Một... Các hướng dẫn kiểm thử Kiểm thử phần mềm bằng các xâu chỉ có một giá trị đơn Sư dụng các xâu có độ dài khác nhau trong các phép thử khác nhau Đưa ra các phép thử sao cho có thể truy cập được các phần tử đầu, giữa và cuối của xâu Kiểm thử với các xâu có độ dài bằng 0 Bùi Thế Hồng Chương 14 Ki ểm th ử ph ần m ềm Trang 21 Kiểm thử cấu trúc Đôi khi còn gọi là kiểm thử hộp trắng (whitebox) Kết quả của các. .. là kiểm thử các thuộc tính trội của một hệ thống, ví dụ hiệu năng và độ tin cậy Các kiểm thử hiệu năng thường bao gồm việc lập kế hoạch cho một loạt các phép thử với các tải được tăng dần đều cho đến khi hiệu năng của hệ thống trở nên không thể chấp nhận được Bùi Thế Hồng Chương 14 Ki ểm th ử ph ần m ềm Trang 15 Kiểm thử thành phần Kiểm thử thành phần hay đơn vị là qui trình kiểm thử tách biệt các. .. thống; kiểm thử không thể chứng minh là không còn lỗi nào nữa Những người phát triển các thành phần có trách nhiệm kiểm thử thành phần do mình phát triển; kiểm thử hệ thống là trách nhiệm của một đội độc lập Kiểm thử tích hợp là kiểm thử mỗi khi hệ thống được tích hợp thêm một thành phần; kiểm thử chuyển giao là kiểm thử hệ thống sẽ chuyển giao cho khách hàng Bùi Thế Hồng Chương 14 Ki ểm th ử ph ần m... các thành phần riêng rẽ Đây là qui trình kiểm thử khiếm khuyết Các thành phần có thể là : • • • Bùi Thế Hồng Các chức năng hoặc phương pháp riêng rẽ trong một đối tượng; Các lớp đối tượng với một vài thuộc tính và phương pháp; Các thành phần hỗn hợp với các giao diện đã được định nghĩa được dùng để truy cập các chức năng của chúng Chương 14 Ki ểm th ử ph ần m ềm Trang 16 Thiết kế các ca kiểm thử Bao... tắc chung của công nghệ các yêu cầu là tất cả các yêu cầu phải có khả năng có thể kiểm thử được Kiểm thử dựa trên yêu cầu là kỹ thuật kiểm thử chấp nhận trong đó chúng ta phải xem xét từng yêu cầu và đưa ra một tập các phép thử đối với yêu cầu đó Bùi Thế Hồng Chương 14 Ki ểm th ử ph ần m ềm Trang 18 Các yêu cầu của LIBSYS Bùi Thế Hồng Chương 14 Ki ểm th ử ph ần m ềm Trang 19 Kiểm thử LIBSYS • • • • •.. .Kiểm thử tích hợp tăng dần A A T1 T1 T2 A T2 T2 B T3 B T3 B C T3 T4 C T4 D estTsequence 1 Bùi Thế Hồng T1 estTsequence 2 Chương 14 Ki ểm th ử ph ần m ềm T5 est T sequence 3 Trang 11 Kiểm thử chuyển giao Kiểm thử chuyển giao là kiểm thử lại toàn bộ hệ thống trước khi chuyển giao cho khách hàng Mục đích chính của kiểm thử này là tăng thêm sự tin tưởng của nhà cung cấp đối với sản phẩm của họ Kiểm thử. .. họ Kiểm thử chuyển giao thành công sẽ khẳng định hệ thống đáp ứng được các yêu cầu của người sử dụng Kiểm thử chuyển giao thường là kiểm thử kiểu hộp đen hoặc kiểm thử chức năng • • Bùi Thế Hồng Chỉ dựa vào các đặc tả hệ thống; Người kiểm thử không cần có kiến thức về thực hiện hệ thống Chương 14 Ki ểm th ử ph ần m ềm Trang 12 Kiểm thử hộp đen Ie Input test data Inputs causing anomalous behaviour System... các ca kiểm thử phải phù hợp cấu trúc của chương trình Mục đích là thực hành lại tất cả các câu lệnh của chương trình Bùi Thế Hồng Chương 14 Ki ểm th ử ph ần m ềm Trang 22 Kiểm thử cấu trúc Test da ta T ests Derives Component code Bùi Thế Hồng Chương 14 Ki ểm th ử ph ần m ềm Test outputs Trang 23 Kiểm thử đường đi của chương trình Mục đích của kiểm thử đường đi là để đảm bảo rằng tập các ca kiểm thử sẽ... 13 Các hướng dẫn kiểm thử • • • • • Bùi Thế Hồng Chọn những inputs buộc hệ thống phải sinh ra tất cả các thông báo lỗi; Thiết kế các inputs làm đầy bộ nhớ đệm; Lặp lại cùng một input hoặc một dãy các input một số lần; Buộc phải sinh ra những outputs không hợp lệ; Làm cho các kết quả tính toán trở nên quá lớn hoặc quá nhỏ Chương 14 Ki ểm th ử ph ần m ềm Trang 14 Kiểm thử hiệu suất Một phần của kiểm thử