Please enable JavaScript.

Coggle requires JavaScript to display documents.

Software Testing - Coggle Diagram

- - - - Phủ dòng lệnh: mỗi câu lệnh phải được thực thi ít nhất 1 lần
      - Phủ nhánh: mỗi nhánh T/F cần được thực hiện
      - Phủ đường: tất cả đường đi được thực thi
    - - p-use: sử dụng biến trong câu lệnh điều kiện/c-use: còn lại
      - def clear path của v: không có def của v trên path / complete path: path hoàn chỉnh từ entry đến exit
      - DU pair: một cặp (d, u): giữa def và use có 1 def clear path của v
      - All-defs: mỗi v, ít nhất 1 def-clear từ mỗi def của v tới ít nhất 1 c-use hoặc p-use của v phải được phủ
      - All-uses: tương tự như All-defs, nhưng thay ít nhất của c-use/p-use thành mỗi của c-use/p-use
  - - - B1: Truy vết khả năng phủ của chương trình v1
      - B2: Đánh dấu các path nguy hiểm dựa vào sự khác nhau giữa v1, v2 (có thể bằng CFG)
      - B3: tất cả những test trên path nguy hiểm của v1 được mang test cho v2
    - - PP1: Ưu tiên theo tổng (total) - chọn test case phủ được nhiều đơn vị nhất làm test kế tiếp
      - PP2: Ưu tiên theo phần bù (additional): chọn test case phủ được nhiều đơn vị mà chưa được phủ nhất làm test kế tiếp