Data-Flow Analysis là một phương pháp phân tích source code để xác định cách dữ liệu chảy qua các phần của chương trình. Nó tập trung vào việc theo dõi và phân tích cách dữ liệu được tạo ra, truyền đi và sử dụng trong source code.
Static Analysis: Control-Flow Analysis (phần 23)
Trong phân tích tĩnh (Static Analysis), Complexity Analysis được sử dụng để đo lường độ phức tạp của source code mà không cần thực thi chương trình. Điều này giúp đánh giá mức độ phức tạp của code và xác định các vấn đề có thể xảy ra hoặc cần được tinh chỉnh để cải thiện hiệu suất, bảo trì hoặc sửa lỗi.
White-box Testing: API Testing (phần 22)
API Testing là quá trình kiểm thử để đảm bảo tính đúng đắn, độ tin cậy và hiệu suất của các giao diện lập trình ứng dụng (APIs). Trong quá trình phát triển phần mềm, API Testing là một phần quan trọng để đảm bảo rằng các API hoạt động đúng cách và tuân thủ các quy định đã được xác định.
White-box Testing: Basis Path/Cyclomatic Complexity Testing (phần 21)
Độ phức tạp chu kỳ – Cyclomatic complexity là số vòng lặp cần thiết và không phải ngẫu nhiên số trường hợp kiểm thử mà chúng ta cần để kiểm thử tập hợp các đường dẫn cơ sở. Độ phức tạp không phụ thuộc vào kích thước của module mà phụ thuộc vào số lượng quyết định có trong đó.
White-box Testing: Linear Code Sequence and Jump – LCSAJ (phần 20)
Linear Code Sequence and Jump – LCSAJ là các khối code nhỏ phù hợp với một cấu hình cụ thể. Về mặt hình thức, ta coi rằng các module phần mềm được tạo thành từ các chuỗi code tuyến tính được nhảy tới, thực thi và sau đó nhảy từ đó.
White-box Testing: Multiple Condition Coverage (Phần 19)
Bao phủ nhiều điều kiện – Multiple Condition Coverage là một phương pháp trong kiểm thử phần mềm dùng để đảm bảo rằng tất cả các khả năng kết hợp của các điều kiện trong source code đã được kiểm tra.
White-box Testing: Modified Condition/Decision Coverage (MC/DC) (Phần 18)
Bao phủ quyết định/điều kiện – Condition/Decision Coverage là sự kết hợp giữa bao phủ quyết định và bao phủ điều kiện để giải quyết nhược điểm của bao phủ chỉ có điều kiện đã chỉ ra ở bài viết trước.
White-box Testing: Condition Testing (phần 17)
Kiểm thử điều kiện – Condition testing (còn gọi là condition coverage) là một phương pháp kiểm thử phần mềm nhằm đảm bảo rằng tất cả các điều kiện logic trong source code đã được kiểm tra và đánh giá ít nhất một lần trong quá trình kiểm thử.
White-box Testing: Loop Testing (phần 16)
Kiểm thử vòng lặp – Loop testing (hay Loop coverage) là một phương pháp trong kiểm thử phần mềm để đảm bảo rằng tất cả các loại vòng lặp trong source code đã được thực thi một số lần tương ứng.
White-box Testing: Decision Testing (phần 15)
Kiểm thử quyết định – Decision Testing (hay decision coverage hoặc branch coverage) là một phương pháp trong kiểm thử phần mềm để đảm bảo rằng tất cả các nhánh của source code được thực hiện ít nhất một lần trong quá trình kiểm thử.