Các kĩ thuật kiểm thử phần mềm (chi tiết tại )

Công nghệ phần mềmCông nghệ phần mềm

Đề tài :Đề tài : Tìm hiểu các kĩ thuật kiểm thửTìm hiểu các kĩ thuật kiểm thử

Nhóm thực hiệnNhóm thực hiện

Phạm Hoàng HàPhạm Hoàng Hà

Mai Đức KhiêmMai Đức Khiêm

Nguyễn Thanh Nguyễn Thanh LoanLoan

Hoàng Quyết Hoàng Quyết TiếnTiến

Khái quát nội dung trình bàyKhái quát nội dung trình bày

• Kiểm thử phần mềm ( KTPM ) là gì ?Kiểm thử phần mềm ( KTPM ) là gì ?

• Tại sao phải kiểm thử PM ?Tại sao phải kiểm thử PM ?

• Lịch sử của Kiểm thử phần mềm Lịch sử của Kiểm thử phần mềm

• Khái quát về các kĩ thuật kiểm thửKhái quát về các kĩ thuật kiểm thử

• Các kĩ thuật kiểm thửCác kĩ thuật kiểm thử

• Kết luận và hỏi đápKết luận và hỏi đáp

Tại sao phải KTPM ?Tại sao phải KTPM ?

• Đảm bảo chất lượng phần mềm sau Đảm bảo chất lượng phần mềm sau khi đưa ra sử dụngkhi đưa ra sử dụng

• Hoàn thiện & nâng cấp khả năng Hoàn thiện & nâng cấp khả năng phần mềmphần mềm

• Tránh rủi ro cho khách hàng và giảm Tránh rủi ro cho khách hàng và giảm bảo trì, bảo hành cho người viết phần bảo trì, bảo hành cho người viết phần mềm.mềm.

Kiểm thử phần mềmKiểm thử phần mềm

Kiểm thử phần mềm là công việc sau cùng trước Kiểm thử phần mềm là công việc sau cùng trước khi đưa phần mềm ra thị trường (release) , kiểm khi đưa phần mềm ra thị trường (release) , kiểm thử được thực hiện thông qua các bài Test.thử được thực hiện thông qua các bài Test.

- Thực tế là áp dụng các phương pháp, chiến lược - Thực tế là áp dụng các phương pháp, chiến lược cho các các tập giá trị cho đầu vào để xem kết cho các các tập giá trị cho đầu vào để xem kết quả đầu ra có như ý muốn hay không ?quả đầu ra có như ý muốn hay không ?

Lịch sử của kiểm thử phần Lịch sử của kiểm thử phần mềmmềm

Khái quát các kĩ thuật KTPM Khái quát các kĩ thuật KTPM

• White Box TestingWhite Box Testing (Hộp trắng)(Hộp trắng)

• Black Box TestingBlack Box Testing ( Hộp đen )( Hộp đen )

• Grey box testing (Hộp xám)Grey box testing (Hộp xám)

White Box TestingWhite Box TestingKhái niệmKhái niệm

• Còn được gọi là Còn được gọi là clear box testing, glass box clear box testing, glass box testing, transparent box testing, or testing, transparent box testing, or structural testing,structural testing, thường thiết kế các thường thiết kế các trường hợp kiểm thửtrường hợp kiểm thử dựa vào dựa vào cấu trúc bên cấu trúc bên trongtrong của phần mềm. của phần mềm.

• WBT đòi hỏi kĩ thuật lập trình am hiểu cấu WBT đòi hỏi kĩ thuật lập trình am hiểu cấu trúc bên trong của phần mềm ( các đường, trúc bên trong của phần mềm ( các đường, luồng dữ liệu, chức năng, kết quả ). luồng dữ liệu, chức năng, kết quả ).

• Phương thức :Phương thức : Chọn các đầu vào và xem các đầu Chọn các đầu vào và xem các đầu ra ra

White Box TestWhite Box Test

• Phụ thuộc vào các cài đặt hiện tại Phụ thuộc vào các cài đặt hiện tại của hệ thống và của phần mềm, nếu của hệ thống và của phần mềm, nếu có sự thay đổi thì có sự thay đổi thì các bài test cũng cần các bài test cũng cần thay đổi theo.thay đổi theo.

• Được ứng dụng trong các kiểm tra ở cấp Được ứng dụng trong các kiểm tra ở cấp độđộ mô đun(điển hình)mô đun(điển hình), , tích hợp (có khả tích hợp (có khả năng)năng) và hệ thốngvà hệ thống của quá trình test phần của quá trình test phần mềmmềm. .

White Box TestingWhite Box TestingĐặc điểmĐặc điểm

• Kiểm thử luồng, lộ trình Kiểm thử luồng, lộ trình ( ( Deriving Test CasesDeriving Test Cases))

• ++ Lộ trình cơ sở Lộ trình cơ sở ((Basis path TestingBasis path Testing))

• Luồng điều khiển / Phạm vi Luồng điều khiển / Phạm vi • ((Control-flow / CoveraControl-flow / Coveragge Testinge Testing))

• + + Phương thức - Phương thức - Method CoverageMethod Coverage

• + + Câu lệnhCâu lệnh – – Statement Statement CovergeCoverge

• + + Nhánh - Nhánh - BranchBranch Coverge Coverge

• + + Điều kiệnĐiều kiện – – Condition Condition ConverageConverage

• Kiểm thử luồng dữ liệu Kiểm thử luồng dữ liệu ( Data Flow Test )( Data Flow Test ) • Trường hợp hỏng ‘rác’ Trường hợp hỏng ‘rác’ – – Failure ‘Dirty’ Case TestFailure ‘Dirty’ Case Test

• Flow Groaps RevisitedFlow Groaps Revisited

White Box TestingWhite Box TestingCác kĩ thuậtCác kĩ thuật

• Basis Path Testing ( Basis Path Testing ( Kiểm thử lộ trình cơ sởKiểm thử lộ trình cơ sở))

• Equivalence Partitioning / Boundary ValueEquivalence Partitioning / Boundary Value

( Phân vùng tương đương và Giá trị biên )( Phân vùng tương đương và Giá trị biên )

White Box TestingWhite Box TestingKiểm thử luồng, lộ trình Kiểm thử luồng, lộ trình ( ( Deriving Test CasesDeriving Test Cases))

• Kiểm tra lộ trình cơ sở : Kiểm tra lộ trình cơ sở :

• Là kĩ thuật kiểm thử mà phần mềm Là kĩ thuật kiểm thử mà phần mềm được chia thành các lộ trình được chia thành các lộ trình

• Đảm bảo các lộ trình độc lập qua một mô Đảm bảo các lộ trình độc lập qua một mô đun mã sẽ được kiểm thử đầy đủđun mã sẽ được kiểm thử đầy đủ

White Box TestingWhite Box TestingBasis Path TestingBasis Path Testing


Một số khái niệmMột số khái niệm

• Đồ hình lộ trình :Đồ hình lộ trình : Bao gồm các hình, mũi Bao gồm các hình, mũi tên (cạnh), chỉ số, mô tả kháctên (cạnh), chỉ số, mô tả khác

• Độ phức tạp chu trình ( Cyclomatic Độ phức tạp chu trình ( Cyclomatic Complexity ) :Complexity ) : Được tìm ra bởi chu trình Được tìm ra bởi chu trình McCabe, chỉ ra độ phức tạp lôgic của một McCabe, chỉ ra độ phức tạp lôgic của một chương trình.chương trình.



• Cách tạo kiểm thửCách tạo kiểm thử

• Sử dụng một đoạn code hoặc thiết kế Sử dụng một đoạn code hoặc thiết kế làm cơ sở để xây dựng lên đồ hình luồng.làm cơ sở để xây dựng lên đồ hình luồng.

• Đưa ra các chu trình lộ trình từ đồ hình Đưa ra các chu trình lộ trình từ đồ hình vừa có được.vừa có được.

• Quyết định một lộ trình độc lập tuyến Quyết định một lộ trình độc lập tuyến tínhtính

• Kiểm tra tất các chu trình đã tạo.Kiểm tra tất các chu trình đã tạo.


• Là cách tạo ra các bộ giá trị kiểm thử để Là cách tạo ra các bộ giá trị kiểm thử để có thể xem được 100% các trường hợp có có thể xem được 100% các trường hợp có thể xảy ra với các thành phần của một thể xảy ra với các thành phần của một chương trình bao gồm :chương trình bao gồm :

+ Các phương thức ( Method )+ Các phương thức ( Method ) + Các câu lệnh (Statement )+ Các câu lệnh (Statement ) + Các nhánh (branch)+ Các nhánh (branch) + Các điều kiện+ Các điều kiện

White Box TestingWhite Box TestingLuồng điều khiển / Gom Luồng điều khiển / Gom

((Control-flow / CoveraControl-flow / Coveragge Testinge Testing))

• Ví dụ :Ví dụ : Kiểm tra phương thức bằng các bộ Kiểm tra phương thức bằng các bộ giá trị của hàm foo sau :giá trị của hàm foo sau :

• Bộ giá trị được chọn là foo(0,0,0,0,0)Bộ giá trị được chọn là foo(0,0,0,0,0)

White Box TestingWhite Box TestingLuồng điều khiển / Gom Luồng điều khiển / Gom


• Với nhánh (branch )Với nhánh (branch ) IF ( a equals b AND c less than d ) THENIF ( a equals b AND c less than d ) THEN

statement 1 statement 1ELSEELSE statement 2 statement 2END IF END IF

• Chọn bộ giá trị a b c d sao cho có thể kiểm Chọn bộ giá trị a b c d sao cho có thể kiểm tra hết các nhánh rẽ . tra hết các nhánh rẽ .

• Ví dụ : (a,b,c,d) = (1, 1, 2, 6) & (1,2,3,3)Ví dụ : (a,b,c,d) = (1, 1, 2, 6) & (1,2,3,3)

White Box TestingWhite Box TestingLuồng điều khiển / Phạm vi Luồng điều khiển / Phạm vi


• Kiểm tra sự khởi tạo, biến đổi và huỷ của Kiểm tra sự khởi tạo, biến đổi và huỷ của các các luồng dữ liệu.các các luồng dữ liệu.

• Thường được phân tích qua đồ hình và Thường được phân tích qua đồ hình và đặt ra các bộ giá trị thử và giá trị trả về đặt ra các bộ giá trị thử và giá trị trả về mong muốn dựa vào đồ hình đó.mong muốn dựa vào đồ hình đó.

White Box TestingWhite Box Testing Kiểm thử luồng dữ liệu Kiểm thử luồng dữ liệu

( Data Flow Test )( Data Flow Test )

• Một số trạng thái Một số trạng thái của biến dữ liệu của biến dữ liệu trong quá trình biến trong quá trình biến đối đối



Ví dụVí dụ

• Hoá đơn thanh Hoá đơn thanh

toán cho việc toán cho việc

sử dụng điệnsử dụng điện

Xét sự biếnXét sự biến

đổi luồng đổi luồng

dữ liệu của Billdữ liệu của Bill



White Box TestingWhite Box Testing ( Data Flow Test )( Data Flow Test )


• Quá trình biến đổi của billQuá trình biến đổi của bill


• Thiết kế bộ giá trị kiểm thử cho BillThiết kế bộ giá trị kiểm thử cho Bill

• Là trường hợp kiểm thử các trường hợp Là trường hợp kiểm thử các trường hợp mà người lập trình cần đứng ở vị trí người mà người lập trình cần đứng ở vị trí người dùng để nhập giá trịdùng để nhập giá trị

• Cụ thể là người dùng có thể nhập số Cụ thể là người dùng có thể nhập số thay cho chữ, hoặc không nhập gì, tạo ra thay cho chữ, hoặc không nhập gì, tạo ra lỗi phép toán (divided by Zero )...lỗi phép toán (divided by Zero )...

White Box TestingWhite Box Testing Trường hợp hỏng ‘rác’ Trường hợp hỏng ‘rác’

Failure ‘Dirty’ Case Test Failure ‘Dirty’ Case Test

• Cách kiểm thửCách kiểm thử

• Tạo ra tất cả các trường hợp test mà Tạo ra tất cả các trường hợp test mà người dùng thường mắc lỗi ( dựa vào kinh người dùng thường mắc lỗi ( dựa vào kinh nghiệm thực tế )nghiệm thực tế )

• Kiểm tra các lỗi toán học, số học, phạm Kiểm tra các lỗi toán học, số học, phạm vi biến, kiểu biến ....vi biến, kiểu biến ....

White Box TestingWhite Box Testing Trường hợp hỏng ‘rác’ Trường hợp hỏng ‘rác’

Failure ‘Dirty’ Case Test Failure ‘Dirty’ Case Test

• BLACKBOX TESTINGBLACKBOX TESTING

White Box TestingWhite Box Testing Flow Groaps RevisitedFlow Groaps Revisited

Black Box TestingBlack Box Testing

• Black-box testingBlack-box testing sử dụng mô tả bên ngoài sử dụng mô tả bên ngoài của phần mềm để kiểm thửcủa phần mềm để kiểm thử,, bao gồm các đặc tả bao gồm các đặc tả (specifications), yêu cầu (requirements) và thiết kế ((specifications), yêu cầu (requirements) và thiết kế (designdesign) .) .

• Không có sự hiểu biết cấu trúc bên trong của Không có sự hiểu biết cấu trúc bên trong của phần mềmphần mềm

• Các dạng đầu vào có dạng hàm hoặc không , Các dạng đầu vào có dạng hàm hoặc không , hợp lệ và không không hợp lệ và biết trước đầu hợp lệ và không không hợp lệ và biết trước đầu rara..


• Được sử dụng để kiểm thử phần mềm Được sử dụng để kiểm thử phần mềm tại mức tại mức : : mô đun, tích hợp, hàm, hệ thống và chấp nhậnmô đun, tích hợp, hàm, hệ thống và chấp nhận..

• - Lợi điểm của kiểm thử hộp đen là khả năng đơn - Lợi điểm của kiểm thử hộp đen là khả năng đơn giản hoá kiểm thử tại các mức độ được đánh giá giản hoá kiểm thử tại các mức độ được đánh giá là khó kiểm thửlà khó kiểm thử

• - Yếu điểm là khó đánh giá còn bộ giá trị nào - Yếu điểm là khó đánh giá còn bộ giá trị nào chưa được kiểm thử hay khôngchưa được kiểm thử hay không


Ví dụ minh hoạVí dụ minh hoạ

• Các kí thuật chính của kiểm thử hộp đen :Các kí thuật chính của kiểm thử hộp đen :

• + + Decision TableDecision Table testing testing

• + Pairwise testing+ Pairwise testing

• + State transition tables+ State transition tables

• + + Tests of Customer RequirementTests of Customer Requirement

• + + Equivalence partitioningEquivalence partitioning

• + + Boundary value analysisBoundary value analysis

• + + Failure Test CasesFailure Test Cases


http://en.wikipedia.org/wiki/Equivalence_partitioning

http://en.wikipedia.org/wiki/Boundary_value_analysis

• Giảm thiểu số trường hợp kiểm thửGiảm thiểu số trường hợp kiểm thử

• Phân vùng giá trị kiểm thửPhân vùng giá trị kiểm thử

White Box TestingWhite Box TestingKhoảng giá trị tương đương – Phân tích giá trị biênKhoảng giá trị tương đương – Phân tích giá trị biên

• Decision Table TestingDecision Table Testing• Là cách xây dựng một bộ các giá trị Là cách xây dựng một bộ các giá trị

kiểm thử đầy đủ không cần biết cấu kiểm thử đầy đủ không cần biết cấu trúc bên trong của phần mềm.trúc bên trong của phần mềm.

• Bảng quyết định được xây dựng dựa Bảng quyết định được xây dựng dựa vàovào

• Trong đó :Trong đó :

• Condition : inputCondition : input

• Action : outputAction : output


Decision Table TestingDecision Table Testing

Black box testing Black box testing Pairwise testing Pairwise testing

• Pairwise testing là cách phối hợp các đầu Pairwise testing là cách phối hợp các đầu vào để tạo ra bộ giá trị kiểm thửvào để tạo ra bộ giá trị kiểm thử

• Ở ví dụ này Bộ có thể chọn của X=1 | 2Ở ví dụ này Bộ có thể chọn của X=1 | 2• Y= Q | R , Z= 5 | 6Y= Q | R , Z= 5 | 6

Black box testingBlack box testingPairwise TestingPairwise Testing

• Hạn chế :Hạn chế : số lượng giá trị của mỗi đầu số lượng giá trị của mỗi đầu vào tăng tạo ra sự tăng nhanh trong các vào tăng tạo ra sự tăng nhanh trong các trường hợp thửtrường hợp thử

• Có thể gặp phải lỗi trong việc kết hợp các Có thể gặp phải lỗi trong việc kết hợp các giá trị đôi khi không xảy ragiá trị đôi khi không xảy ra

• Ưu điểm :Ưu điểm : Xét được hết các trường hợp Xét được hết các trường hợp đầu vào kể cả trường hợp ngẫu nhiên của đầu vào kể cả trường hợp ngẫu nhiên của người dùngngười dùng

Black box TestingBlack box Testing

• Testing based on Customer RequirementsTesting based on Customer Requirements

• Dựa vào các yêu cầu của khách hàng để Dựa vào các yêu cầu của khách hàng để tạo ra các bộ giá trị kiểm thử.tạo ra các bộ giá trị kiểm thử.

Black box TestingBlack box Testing

• State transition tables :State transition tables : Là bảng mô Là bảng mô tả sự chuyển trạng thái tương ứng với giá tả sự chuyển trạng thái tương ứng với giá trị đầu vào tương ứng.trị đầu vào tương ứng.

• Là sự kết hợp của kiểm thử hộp đen và Là sự kết hợp của kiểm thử hộp đen và kiểm thử hộp trắng khi mà người kiểm thử kiểm thử hộp trắng khi mà người kiểm thử biết được một phần cấu trúc bên trong của biết được một phần cấu trúc bên trong của phần mềmphần mềm

• Như vậy không phải là KT hộp đenNhư vậy không phải là KT hộp đen• Là dạng kiểm thử tốt và có sự kết hợp Là dạng kiểm thử tốt và có sự kết hợp

các kĩ thuật của cả kiểm thử hộp đen và các kĩ thuật của cả kiểm thử hộp đen và hộp trắnghộp trắng

Grey Box TestingGrey Box Testing

Other testsOther tests

• Sanity testingSanity testing • Smoke testingSmoke testing • Software testingSoftware testing • Stress testingStress testing • Test automationTest automation • Web Application Security ScannerWeb Application Security Scanner • FuzzingFuzzing • Acceptance testingAcceptance testing • Sanwich TestingSanwich Testing

http://en.wikipedia.org/wiki/Sanity_testing

http://en.wikipedia.org/wiki/Smoke_testing

http://en.wikipedia.org/wiki/Software_testing

http://en.wikipedia.org/wiki/Stress_testing

http://en.wikipedia.org/wiki/Test_automation

http://en.wikipedia.org/wiki/Web_Application_Security_Scanner

http://en.wikipedia.org/wiki/Fuzzing

http://en.wikipedia.org/wiki/Acceptance_testing

Sanity testingSanity testing

• Kiểm thử đúng đắn là kiểm thử lướt qua; Kiểm thử đúng đắn là kiểm thử lướt qua; được thực hiện khi có đủ điều kiện nâng cao được thực hiện khi có đủ điều kiện nâng cao ứng dụng nhờ việc hàm hoá đặc tả.ứng dụng nhờ việc hàm hoá đặc tả.

• Kiểm thử các thành phần thoái hoá của phần Kiểm thử các thành phần thoái hoá của phần mềm. mềm.

• – – Bao gồm các kiểm thử vào vùng lõi của các Bao gồm các kiểm thử vào vùng lõi của các hàm GUI cơ sở để xem kết nối dữ liệu, máy chủ hàm GUI cơ sở để xem kết nối dữ liệu, máy chủ ứng dụng, máy in , vv...ứng dụng, máy in , vv...

•

http://en.wikipedia.org/wiki/Sanity_testing

Smoke testingSmoke testing

• Smoke Testing xảy ra khi thành phần mới Smoke Testing xảy ra khi thành phần mới được thêm vào và được tích hợp vào phần được thêm vào và được tích hợp vào phần code đã có của phần mềm. Nó đảm bảo code đã có của phần mềm. Nó đảm bảo việc làm việc ăn khớp của khối code mớiviệc làm việc ăn khớp của khối code mới. .

• Là bước đầu kiểm tra sau đó cần kiểm Là bước đầu kiểm tra sau đó cần kiểm thử thêm các bằng các kĩ thuật khác .thử thêm các bằng các kĩ thuật khác .

Question of Everyone ?Question of Everyone ?

Thanks YOU !Thanks YOU !

Documents

Các kĩ thuật kiểm thử phần mềm (chi tiết tại )