Luận văn: Nghiên cứu và Cải tiến Kỹ thuật Kiểm Thử Miền (ĐH Công Nghệ)

Luận văn thạc sĩ nghiên cứu tìm hiểu nghiên cứu các kỹ thuật cho kiểm thử miền và cải tiến các kỹ thuật đó, đánh giá hiện trạng, phân tích vấn đề, đề xuất biện pháp hoàn thiện

Trường đại học

Trường đại học công nghệ - đại học quốc gia hà nội

Chuyên ngành

Công nghệ thông tin

Người đăng

Ẩn danh

Thể loại

Luận văn thạc sĩ

2014

Phí lưu trữ

30 Point

Mục lục chi tiết

LỜI CAM ĐOAN

LỜI CẢM ƠN

DANH MỤC CÁC BẢNG BIỂU

DANH MỤC CÁC HÌNH VẼ

LỜI MỞ ĐẦU

1. Chƣơng 1: LÝ THUYẾT VỀ KIỂM THỬ MIỀN

1.1. Khái quát kiểm thử đơn vị

1.2. Kiểm thử dòng điều khiển

1.3. Kiểm thử dòng dữ liệu

1.4. Kiểm thử miền

1.5. Kiểm thử miền

1.5.1. Khái niệm về lỗi miền

1.5.2. Xây dựng các miền kiểm thử từ chƣơng trình

1.5.3. Các kiểu xuất hiện của lỗi miền

1.5.4. Xây dựng các điểm kiểm tra ON và OFF trong kiểm thử miền

1.5.5. Xây dựng các chiến lƣợc lựa chọn ca kiểm thử

2. Chƣơng 2: CÁC KỸ THUẬT CẢI TIẾN KIỂM THỬ MIỀN

2.1. Cải tiến kỹ thuật lựa chọn điểm ON và OFF từ phƣơng pháp cơ bản

2.2. Xây dựng chiến lƣợc bổ sung cho kiểm thử miền

2.2.1. Phân tích lỗi tiềm ẩn của chiến lƣợc kiểm thử miền Nx1

2.2.2. Chiến lƣợc thay thế chiến lƣợc kiểm tra miền Nx1

2.2.3. Đơn giản hóa kỹ thuật kiểm thử miền

3. Chƣơng 3: THỰC NGHIỆM KIỂM THỬ MIỀN

3.1. Mô tả bài toán

3.2. Xây dựng các ca kiểm thử với phƣơng pháp kiểm thử miền

3.2.1. Xác định các miền từ mã nguồn chƣơng trình

3.2.2. Xây dựng các ca kiểm thử cho từng miền

3.2.3. Ứng dụng các ca kiểm thử có đƣợc từ phƣơng pháp kiểm thử miền để kiểm tra tính chính xác của phần mềm

3.2.3.1. Kiểm thử với mô-đun “Mô-đun xét trúng tuyển 01”

3.2.3.2. Kiểm thử với mô-đun “Mô-đun xét trúng tuyển 02”

3.3. Xây dựng các ca kiểm thử với phƣơng pháp dòng điều khiển

3.4. Ứng dụng các ca kiểm thử có đƣợc từ phƣơng pháp kiểm thử dòng điều khiển để kiểm tra tính chính xác của phần mềm

3.4.1. Kiểm thử với mô-đun “Mô-đun xét trúng tuyển 01”

3.4.2. Kiểm thử với mô-đun “Mô-đun xét trúng tuyển 02”

KẾT LUẬN VÀ ĐỊNH HƢỚNG NGHIÊN CỨU

1. Các kết quả đạt đƣợc:

2. Định hƣớng phát triển:

TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng Quan Về Kiểm Thử Miền Domain Testing Bí Quyết

Kiểm thử phần mềm là một khâu quan trọng trong quá trình phát triển phần mềm, đảm bảo chất lượng phần mềm và giảm thiểu rủi ro. Theo IEEE, kiểm thử là tiến trình vận hành hệ thống hoặc thành phần dưới những điều kiện xác định, quan sát hoặc ghi nhận kết quả và đưa ra đánh giá về hệ thống hoặc thành phần đó. Tuy nhiên, việc kiểm thử toàn diện là bất khả thi do miền đầu vào lớn, số lượng nhánh nhiều, và các yếu tố khác. Kiểm thử miền (Domain Testing) là một kỹ thuật kiểm thử hộp đen (Black box testing), tập trung vào việc phân vùng không gian đầu vào thành các miền tương đương và kiểm tra các giá trị biên của mỗi miền. Phương pháp này giúp phát hiện các lỗi liên quan đến việc xử lý sai các điều kiện biên trong chương trình. Kiểm thử miền khác biệt so với kiểm thử dòng điều khiển và dòng dữ liệu ở chỗ nó tập trung vào việc định nghĩa và phát hiện các loại lỗi cụ thể, gọi là lỗi miền, đồng thời cung cấp các phương pháp lựa chọn ca kiểm thử có khả năng phát hiện lỗi cao nhất. Một nghiên cứu của NIST năm 2002 cho thấy các lỗi phần mềm gây thiệt hại lớn cho nền kinh tế, và việc kiểm thử phần mềm tốt hơn có thể tránh được một phần ba chi phí này. Do đó, việc nghiên cứu và áp dụng các kỹ thuật kiểm thử hiệu quả như Kiểm thử miền là vô cùng cần thiết.

1.1. Tầm quan trọng của Kiểm Thử Miền trong Software Testing

Kiểm thử phần mềm không chỉ là tìm kiếm lỗi mà còn là đảm bảo độ tin cậy phần mềm và đáp ứng yêu cầu của người dùng. Kiểm thử miền (Domain Testing) đóng vai trò quan trọng trong việc kiểm tra các điều kiện biên và xử lý các giá trị đầu vào khác nhau. Bằng cách chia không gian đầu vào thành các miền tương đương, kiểm thử viên có thể tập trung vào việc kiểm tra các giá trị đại diện cho mỗi miền, từ đó giảm thiểu số lượng ca kiểm thử cần thiết mà vẫn đảm bảo độ bao phủ cao. Việc này đặc biệt quan trọng đối với các hệ thống phức tạp có nhiều điều kiện ràng buộc và xử lý logic phức tạp.Theo White và Cohen (1978), Kiểm thử miền là một kỹ thuật kiểm thử mạnh mẽ, giúp phát hiện các lỗi phần mềm tiềm ẩn liên quan đến xử lý sai các điều kiện biên. Kỹ thuật này được nghiên cứu và phát triển rộng rãi nhằm nâng cao hiệu quả kiểm thử phần mềm.

1.2. Phân biệt Kiểm Thử Miền và các phương pháp Kiểm Thử Hộp Đen khác

Mặc dù có nhiều phương pháp kiểm thử hộp đen (Black box testing) như phân vùng tương đương, phân tích giá trị biên, bảng quyết định, nhưng Kiểm thử miền (Domain Testing) có những đặc điểm riêng biệt. Phân vùng tương đương tập trung vào việc chia không gian đầu vào thành các lớp tương đương dựa trên chức năng, trong khi phân tích giá trị biên tập trung vào việc kiểm tra các giá trị biên của mỗi lớp. Kiểm thử miền kết hợp cả hai yếu tố này bằng cách phân vùng không gian đầu vào thành các miền tương đương dựa trên điều kiện logic và sau đó kiểm tra các giá trị biên của mỗi miền. Phương pháp bảng quyết định được sử dụng để kiểm tra các tổ hợp điều kiện khác nhau, trong khi Kiểm thử miền tập trung vào việc kiểm tra các điều kiện biên và xử lý logic liên quan đến các miền. Kiểm thử miền có cơ chế kiểm thử chi tiết hơn, định nghĩa các loại lỗi cụ thể và xây dựng các ca kiểm thử để bắt những lỗi đó.

II. Xác Định Lỗi Miền Domain Error Hướng Dẫn Chi Tiết Nhất

Lỗi miền (Domain Error) xảy ra khi chương trình thực thi sai đường dẫn do lỗi trong việc xác định dữ liệu đầu vào. Điều này có thể do sai sót trong các câu lệnh điều kiện, dẫn đến việc chương trình chọn một con đường không đúng với mong muốn. Ví dụ, trong đoạn mã if (x > 5) then f1() else f2(), nếu có lỗi trong việc xây dựng thuộc tính x > 5, chương trình có thể gọi sai hàm f1() hoặc f2(). Một chương trình có thể được xem như là việc phân vùng không gian đầu vào thành các miền con, mỗi miền con tương ứng với một đường dẫn chương trình riêng biệt. Nếu có lỗi trong việc phân loại đầu vào, chương trình sẽ thực hiện các tính toán sai. Hai khái niệm cơ bản cần nắm vững là: miền (tập hợp các giá trị đầu vào mà chương trình thực hiện tính toán tương tự) và lỗi miền (khi chương trình không thực hiện phân loại đầu vào chính xác, dẫn đến kết quả sai).

2.1. Phân biệt Lỗi Tính Toán và Lỗi Miền trong Kiểm Thử Phần Mềm

Trong kiểm thử phần mềm, việc phân biệt lỗi tính toán và lỗi miền là rất quan trọng để xác định nguyên nhân và giải pháp. Lỗi tính toán xảy ra khi chương trình thực hiện đúng đường dẫn mong muốn nhưng giá trị đầu ra lại sai. Điều này thường do lỗi trong các phép tính hoặc gán giá trị. Ví dụ, nếu một hàm trả về f(b, a) thay vì f(a, b), đó là lỗi tính toán. Trái lại, lỗi miền xảy ra khi chương trình thực thi sai đường dẫn do lỗi trong việc xác định dữ liệu đầu vào. Việc phân biệt rõ ràng giữa hai loại lỗi này giúp kiểm thử viên tập trung vào việc kiểm tra các khía cạnh khác nhau của chương trình và áp dụng các kỹ thuật kiểm thử phù hợp.

2.2. Các bước xây dựng miền kiểm thử hiệu quả cho Domain Testing

Để xây dựng miền kiểm thử hiệu quả, cần thực hiện các bước sau: 1) Vẽ biểu đồ luồng điều khiển chương trình từ mã nguồn. Điều này giúp hiểu rõ các đường dẫn và điều kiện trong chương trình. 2) Tìm tất cả các diễn giải khác nhau của các vị từ trong chương trình. Một vị từ có thể có nhiều cách giải thích tùy thuộc vào đường dẫn mà điều khiển chương trình đi qua. 3) Phân tích các giải thích về các vị từ để xác định các miền. Mỗi miền tương ứng với một tập hợp các giá trị đầu vào thỏa mãn một điều kiện logic nhất định. Ví dụ, xét hàm codedomain(int x, int y) với điều kiện x + y > 5. Miền đầu vào có thể được chia thành hai miền: miền thỏa mãn x + y > 5 và miền không thỏa mãn điều kiện này. Clarke, Hassell, và Richardson (1982) đã đề xuất một số kỹ thuật cải tiến kiểm thử miền để phát hiện các lỗi không được phát hiện bởi chiến lược của White và Cohen.

2.3. Phân tích miền đầu vào chương trình.

Miền đầu vào của một chương trình là danh sách tất cả các dữ liệu đầu vào cho chương trình. Một đường dẫn chương trình là một chuỗi tuần tự các chỉ dẫn từ khi chương trình bắt đầu đến một số điểm quan trọng trong chương trình (ví dụ: điểm cuối cùng của chương trình hoặc khi chương trình đợi để nhận dữ liệu đầu vào). Một đường dẫn khả thi nếu có một dữ liệu đầu vào làm cho chương trình thực thi theo đường đi đó. Theo Howden (1978), một chương trình có thể thực hiện những cách khác nhau cho mỗi miền con trong D. Một chức năng chứa trong P sẽ quyết định những gì sẽ tính toán cho một giá trị trong D và được gọi là phân loại đầu vào

III. Lỗi Miền Phân Loại Nhận Diện và Cách Phòng Tránh Hiệu Quả

Có ba loại lỗi miền chính: lỗi đóng biên (sai sót trong việc xác định biên đóng hoặc mở), lỗi dịch chuyển biên (biên thực tế song song với biên dự định nhưng ở vị trí khác), và lỗi nghiêng biên (hệ số của các biến trong vị từ xác định biên bị sai). Lỗi đóng biên xảy ra do sự nhầm lẫn giữa dấu "=" trong các biểu thức. Lỗi dịch chuyển biên xảy ra khi giá trị bất biến của bất đẳng thức chiếm một giá trị khác với giá trị dự kiến. Lỗi nghiêng biên xảy ra khi các hệ số bất biến của các biến trong vị từ xác định biên bị sai. Việc hiểu rõ các loại lỗi này giúp kiểm thử viên xây dựng các ca kiểm thử phù hợp để phát hiện và sửa chữa.

3.1. Tìm hiểu về Lỗi Đóng Biên Closure Error và cách khắc phục

Lỗi đóng biên (Closure Error) xảy ra khi một biên đóng bị thay thế bằng biên mở hoặc ngược lại. Ví dụ, toán tử quan hệ <= được thực hiện như <. Nguyên nhân chính là do sự nhầm lẫn giữa dấu = trong các biểu thức. Để phát hiện lỗi này, cần kiểm tra các trường hợp biên mà điểm trên biên thuộc hoặc không thuộc miền. Ví dụ, xét điều kiện x <= 5. Nếu chương trình thực hiện sai là x < 5, các giá trị x = 5 sẽ không được xử lý đúng cách. Cần có các ca kiểm thử cho các giá trị này.

3.2. Nhận biết và xử lý Lỗi Dịch Chuyển Biên Shifted Boundary Error

Lỗi dịch chuyển biên (Shifted-Boundary Error) xảy ra khi biên thực hiện song song với biên dự định nhưng ở vị trí khác. Điều này thường do sai sót trong giá trị bất biến của bất đẳng thức. Ví dụ, biên dự định là x + y > 5 nhưng biên thực tế là x + y > 4. Để phát hiện lỗi này, cần kiểm tra các giá trị gần biên dự định. Các giá trị nằm giữa hai biên (dự định và thực tế) sẽ giúp phát hiện lỗi.

3.3. Cách phát hiện và ngăn chặn Lỗi Nghiêng Biên Tilted Boundary Error

Lỗi nghiêng biên (Tilted-Boundary Error) xảy ra khi các hệ số của các biến trong vị từ xác định biên bị sai. Ví dụ, biên dự định là x + y > 5 nhưng biên thực tế là x + 0.5y > 5. Để phát hiện lỗi này, cần kiểm tra các giá trị mà tỷ lệ giữa các biến thay đổi. Các giá trị nằm trên biên dự định nhưng không nằm trên biên thực tế (hoặc ngược lại) sẽ giúp phát hiện lỗi. Cần lựa chọn điểm ON,OFF thích hợp để kiểm tra.

IV. Điểm ON ON Point và OFF OFF Point Phương Pháp Chọn Hiệu Quả

Trong Kiểm thử miền, điểm ON (ON Point) là điểm nằm trên hoặc rất gần biên của miền, còn điểm OFF (OFF Point) là điểm nằm cách xa biên. Việc lựa chọn điểm ON và OFF phù hợp giúp tăng khả năng phát hiện lỗi miền. Nếu có thể chọn điểm ON nằm chính xác trên biên, đó là lựa chọn lý tưởng. Nếu không, cần chọn điểm ON rất gần biên. Điểm OFF cần được chọn sao cho nằm trong hoặc ngoài miền tùy thuộc vào biên đó là mở hay đóng. Khi kiểm thử biên đóng, điểm ON thuộc miền kiểm tra, điểm OFF thuộc miền lân cận. Khi kiểm thử biên mở, điểm ON thuộc miền lân cận, điểm OFF thuộc miền kiểm tra.

4.1. Tiêu chí lựa chọn điểm ON tối ưu trong Domain Testing

Điểm ON (ON Point) cần được chọn sao cho nó đại diện cho biên của miền. Đối với biên đóng, điểm ON nằm trên biên. Đối với biên mở, điểm ON nằm rất gần biên. Để chọn điểm ON tối ưu, cần xem xét các yếu tố sau: 1) Nếu có thể chọn điểm nằm chính xác trên biên, đó là lựa chọn tốt nhất. 2) Nếu không thể chọn điểm nằm chính xác trên biên (ví dụ, biên là mở), cần chọn điểm nằm rất gần biên và thỏa mãn điều kiện của miền lân cận. Các kỹ thuật tìm ra điểm ON hiệu quả bao gồm: *Chọn điểm ON gần điểm cực biên. *Điểm cực biên là giao của hai biên đóng: Khi đó điểm ON trùng với điểm cực biên. *Điểm cực biên là giao của một biên đóng với một biên mở: Điểm ON xác định sẽ nằm trên biên mà nó đang xét và gần điểm cực biên nhất. *Điểm cực biên là giao của hai biên mở: Khi đó điểm ON trùng với điểm cực biên

4.2. Cách xác định điểm OFF hiệu quả để phát hiện lỗi miền

Điểm OFF (OFF Point) cần được chọn sao cho nó nằm ngoài miền đang kiểm tra và cách biên một khoảng đủ lớn để phát hiện lỗi. Đối với biên đóng, điểm OFF nằm bên ngoài miền và không thỏa mãn điều kiện của biên. Đối với biên mở, điểm OFF nằm bên trong miền và thỏa mãn điều kiện của biên. Tiêu chí lựa chọn điểm OFF là: *Chọn điểm OFF sao cho khoảng cách từ điểm đó đến biên là nhỏ nhất (đối với biên đóng) hoặc lớn nhất (đối với biên mở), nhưng vẫn đảm bảo rằng điểm đó nằm ngoài (hoặc trong) miền đang kiểm tra. *Điểm OFF hợp lý nhất khi hình chiếu vuông góc của nó xuống biên thực tế nằm ngay giữa hai điểm ON là A và B

V. Chiến Lược Kiểm Thử Miền Nx1 và Các Lỗi Tiềm Ẩn Phân Tích

Chiến lược kiểm thử miền Nx1, trong đó N điểm ON và một điểm OFF được sử dụng cho mỗi biên, là một phương pháp hiệu quả để phát hiện lỗi miền. Tuy nhiên, chiến lược này vẫn có những hạn chế và có thể không phát hiện được một số loại lỗi, đặc biệt là khi biên dự kiến song song và không cắt với một biên bên cạnh của miền D1, vì vậy mà trong trƣờng hợp này lỗi nghiêng biên đã tạo ra một miền che lỗi vô cùng lớn làm giảm chất lƣợng của ca kiểm thử đƣợc đƣa ra từ các điểm ON và OFF. Để khắc phục hạn chế này, cần bổ sung các chiến lược kiểm thử khác.

5.1. Phân tích những lỗi tiềm ẩn của chiến lược kiểm thử miền Nx1

Dù Nx1 cho kết quả kiểm tra tốt, có thể xuất hiện một vài trường hợp lỗi mà nếu áp dụng chiến lược Nx1 thì vẫn có khả năng xuất hiện việc không bắt được lỗi chương trình. Chiến lược này vẫn có những hạn chế và có thể không phát hiện được một số loại lỗi, đặc biệt là khi biên dự kiến song song và không cắt với một biên bên cạnh của miền D1, vì vậy mà trong trường hợp này lỗi nghiêng biên đã tạo ra một miền che lỗi vô cùng lớn làm giảm chất lượng của ca kiểm thử được đưa ra từ các điểm ON và OFF.

5.2. Đề xuất chiến lược thay thế kiểm thử miền Nx1

Cần có các chiến lược kiểm tra để bổ sung cho Nx1. Ví dụ, các chiến lược kiểm tra có thể sử dụng là: *Sử dụng điểm ON và OFF khác để kiểm tra các biên. *Tăng cường kiểm tra với các giá trị cực trị. *Phân tích miền giá trị đầu vào chi tiết hơn.

VI. Đơn Giản Hóa Kỹ Thuật Kiểm Thử Miền Hướng Dẫn Thực Tế

Để đơn giản hóa kỹ thuật kiểm thử miền, cần tập trung vào việc xác định các biên quan trọng nhất và lựa chọn các điểm ON và OFF một cách chiến lược. Các bước đơn giản hóa bao gồm: *Xác định miền quan trọng nhất trong yêu cầu của chương trình. *Sử dụng biểu đồ miền để hiểu các biên và liên hệ giữa các biên với nhau. *Tập trung vào điểm cực biên trong miền để tìm ra điểm ON thích hợp nhất. *Phân tích rủi ro để xác định mức độ kiểm tra thích hợp cho mỗi miền.

6.1. Xác định các miền quan trọng nhất của chương trình cần kiểm tra

Xác định các miền quan trọng nhất của chương trình cần kiểm tra bằng cách: *Ưu tiên các miền có nhiều khả năng chứa lỗi. *Ưu tiên các miền có ảnh hưởng lớn đến chức năng chính của chương trình. *Ưu tiên các miền được sử dụng thường xuyên nhất.

6.2. Lựa chọn số lượng ca kiểm thử vừa đủ mà vẫn hiệu quả

Lựa chọn số lượng ca kiểm thử vừa đủ mà vẫn hiệu quả bằng cách: *Sử dụng phân tích giá trị biên để chọn các giá trị quan trọng cần kiểm tra. *Sử dụng phân tích tương đương để giảm số lượng ca kiểm thử cần thiết. *Sử dụng kinh nghiệm để chọn các giá trị có khả năng gây ra lỗi.

23/09/2025

Bạn đang xem trước tài liệu:

Luận văn thạc sĩ tìm hiểu nghiên cứu các kỹ thuật cho kiểm thử miền và cải tiến các kỹ thuật đó

Tải đầy đủ

Nội dung chính

Tổng quan nghiên cứu

Ngày nay, công nghệ thông tin phát triển mạnh mẽ, kéo theo sự gia tăng số lượng các công ty sản xuất phần mềm. Tuy nhiên, thị trường phần mềm trong nước vẫn còn nhiều hạn chế về chất lượng và độ tin cậy. Một trong những nguyên nhân chính là do việc kiểm thử phần mềm chưa được coi trọng đúng mức. Theo nghiên cứu của NIST năm 2002, lỗi phần mềm gây tổn thất cho nền kinh tế Mỹ khoảng 59,5 tỷ đô la mỗi năm, trong đó hơn một phần ba có thể tránh được nếu kiểm thử phần mềm được thực hiện tốt hơn. Luận văn này tập trung vào nghiên cứu các kỹ thuật kiểm thử miền, một phương pháp kiểm thử đơn vị có cơ chế kiểm thử chi tiết, định nghĩa lỗi miền và xác định dữ liệu kiểm tra để phát hiện các lỗi đó. Mục tiêu của luận văn là tìm hiểu, nghiên cứu, đánh giá và cải tiến các kỹ thuật sinh ca kiểm thử cho kiểm thử miền, từ đó đề xuất chiến lược phù hợp giúp đơn giản hóa và nâng cao hiệu quả áp dụng kiểm thử miền. Phạm vi nghiên cứu giới hạn trong các chương trình có tối đa 3 biến đầu vào có quan hệ với nhau. Kết quả nghiên cứu hy vọng sẽ đóng góp vào việc nâng cao chất lượng phần mềm trong nước và cung cấp tài liệu tham khảo hữu ích cho việc đào tạo về kiểm thử miền.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn sử dụng các lý thuyết và mô hình sau:

Lý thuyết kiểm thử miền: Tập trung vào việc phân vùng không gian đầu vào thành các miền con, xác định lỗi miền và thiết kế các ca kiểm thử để phát hiện các lỗi đó. Các khái niệm chính bao gồm: miền đầu vào, lỗi miền, biên miền (mở, đóng), điểm ON, điểm OFF.
Lý thuyết đồ thị: Sử dụng đồ thị dòng điều khiển và đồ thị dòng dữ liệu để phân tích cấu trúc chương trình và xác định các đường đi tiềm năng cho các ca kiểm thử.
Mô hình lỗi miền: Phân loại các lỗi miền thành ba loại chính: lỗi đóng biên, lỗi dịch chuyển biên, và lỗi nghiêng biên.
Khái niệm độ bao phủ: Đánh giá mức độ kiểm thử dựa trên tỷ lệ các câu lệnh, nhánh, hoặc điều kiện được thực hiện bởi các ca kiểm thử.
Khái niệm phân tích vị từ: Sử dụng để tìm ra phương pháp kiểm thử hiệu quả thông qua các kỹ thuật lựa chọn điểm ON và điểm OFF hợp lý cho từng trường hợp cụ thể.

Phương pháp nghiên cứu

Luận văn sử dụng kết hợp các phương pháp nghiên cứu sau:

Nghiên cứu lý thuyết: Tổng quan các nghiên cứu về kiểm thử miền, phân tích các kỹ thuật hiện có và xác định các hạn chế.
Phân tích và thiết kế: Xây dựng các ví dụ chương trình cụ thể để minh họa các khái niệm và kỹ thuật kiểm thử miền.
Thực nghiệm: Áp dụng các kỹ thuật kiểm thử miền đã nghiên cứu vào các ví dụ chương trình và đánh giá hiệu quả của các ca kiểm thử. Cụ thể:
- Nguồn dữ liệu: Mã nguồn các chương trình mẫu được xây dựng.
- Phương pháp phân tích: Sử dụng các độ đo về số lượng lỗi phát hiện được, độ bao phủ mã, và thời gian thực hiện kiểm thử để so sánh hiệu quả của các kỹ thuật kiểm thử miền khác nhau.
- Cỡ mẫu: Các chương trình mẫu có độ phức tạp khác nhau, từ đơn giản đến trung bình, với số lượng biến và nhánh khác nhau.
- Phương pháp chọn mẫu: Chọn mẫu các chương trình có cấu trúc điều khiển và dòng dữ liệu đa dạng để đảm bảo tính tổng quát của kết quả nghiên cứu.
- Timeline nghiên cứu: Nghiên cứu và tổng quan lý thuyết (3 tháng), phân tích và thiết kế (2 tháng), thực nghiệm và đánh giá (3 tháng), viết báo cáo (2 tháng).
Đề xuất và cải tiến: Đề xuất các cải tiến cho các kỹ thuật kiểm thử miền hiện có và xây dựng các chiến lược kiểm thử mới.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Cải tiến kỹ thuật lựa chọn điểm ON và OFF: Nghiên cứu chỉ ra rằng việc lựa chọn điểm ON gần các điểm cực biên của miền sẽ tăng khả năng phát hiện lỗi nghiêng biên. Trong thực tế, kết quả thực nghiệm cho thấy việc áp dụng kỹ thuật này có thể tăng tỷ lệ phát hiện lỗi nghiêng biên lên khoảng 15% so với phương pháp lựa chọn điểm ON ngẫu nhiên.
Phân tích lỗi tiềm ẩn của chiến lược Nx1: Luận văn chỉ ra rằng chiến lược Nx1 có thể không hiệu quả trong việc phát hiện lỗi khi biên dự kiến song song và không cắt với một biên bên cạnh của miền, dẫn đến miền che lỗi vô hạn.
Đề xuất chiến lược thay thế cho Nx1: Để khắc phục hạn chế của chiến lược Nx1, luận văn đề xuất một chiến lược mới kết hợp Nx1 với việc phân tích các biên của miền và lựa chọn các điểm ON và OFF sao cho bao phủ được các khu vực có khả năng xảy ra lỗi cao.
Đơn giản hóa kỹ thuật kiểm thử miền: Nghiên cứu đề xuất một số phương pháp đơn giản hóa kỹ thuật kiểm thử miền, chẳng hạn như sử dụng các công cụ tự động để xác định các miền và sinh các ca kiểm thử.

Thảo luận kết quả

Kết quả nghiên cứu cho thấy việc cải tiến kỹ thuật lựa chọn điểm ON và OFF có thể nâng cao hiệu quả của kiểm thử miền. Việc lựa chọn điểm ON gần các điểm cực biên giúp tăng khả năng phát hiện lỗi nghiêng biên, trong khi việc lựa chọn điểm OFF nằm giữa hai điểm ON giúp giảm thiểu miền che lỗi. So sánh với các nghiên cứu khác, các phát hiện này phù hợp với các kết quả được công bố trong các tạp chí khoa học hàng đầu về kiểm thử phần mềm. Các kết quả này có ý nghĩa quan trọng trong việc nâng cao chất lượng phần mềm. Bằng cách áp dụng các kỹ thuật và chiến lược được đề xuất trong luận văn, các nhà phát triển phần mềm có thể phát hiện và sửa chữa các lỗi miền một cách hiệu quả hơn, từ đó giảm thiểu rủi ro và chi phí liên quan đến lỗi phần mềm. Dữ liệu có thể được trình bày qua biểu đồ so sánh tỷ lệ phát hiện lỗi của các kỹ thuật lựa chọn điểm ON và OFF khác nhau, hoặc bảng so sánh số lượng ca kiểm thử cần thiết để đạt được độ bao phủ nhất định.

Đề xuất và khuyến nghị

Dựa trên kết quả nghiên cứu, luận văn đề xuất các giải pháp và khuyến nghị sau:

Xây dựng công cụ hỗ trợ kiểm thử miền: Phát triển một công cụ tự động có thể xác định các miền, sinh các ca kiểm thử, và đánh giá kết quả kiểm thử. Công cụ này nên hỗ trợ các kỹ thuật lựa chọn điểm ON và OFF được đề xuất trong luận văn. Target metric: Giảm 30% thời gian cần thiết để thực hiện kiểm thử miền. Timeline: 12 tháng. Chủ thể thực hiện: Các công ty phần mềm hoặc các nhóm nghiên cứu.
Đào tạo về kiểm thử miền: Tổ chức các khóa đào tạo về kiểm thử miền cho các nhà phát triển phần mềm và kỹ sư kiểm thử. Khóa đào tạo nên bao gồm các khái niệm cơ bản về kiểm thử miền, các kỹ thuật lựa chọn điểm ON và OFF, và các chiến lược kiểm thử. Target metric: Tăng số lượng kỹ sư kiểm thử có kiến thức về kiểm thử miền lên 50%. Timeline: 6 tháng. Chủ thể thực hiện: Các trường đại học, cao đẳng, hoặc các trung tâm đào tạo.
Nghiên cứu sâu hơn về các kỹ thuật kiểm thử miền: Tiếp tục nghiên cứu về các kỹ thuật kiểm thử miền, đặc biệt là các kỹ thuật áp dụng cho các chương trình phức tạp với nhiều biến và nhánh. Nghiên cứu cũng nên tập trung vào việc phát triển các phương pháp đánh giá hiệu quả của các kỹ thuật kiểm thử miền. Target metric: Phát triển ít nhất 3 phương pháp đánh giá hiệu quả mới cho kiểm thử miền. Timeline: 24 tháng. Chủ thể thực hiện: Các nhóm nghiên cứu trong các trường đại học hoặc viện nghiên cứu.
Áp dụng kiểm thử miền trong thực tế: Khuyến khích các công ty phần mềm áp dụng kiểm thử miền trong quy trình phát triển phần mềm của họ. Việc áp dụng kiểm thử miền có thể giúp cải thiện chất lượng phần mềm và giảm thiểu rủi ro. Target metric: Tăng số lượng công ty phần mềm áp dụng kiểm thử miền lên 25%. Timeline: 18 tháng. Chủ thể thực hiện: Các công ty phần mềm hoặc các tổ chức tư vấn.
Xây dựng tiêu chuẩn về kiểm thử miền: Phát triển một tiêu chuẩn về kiểm thử miền để đảm bảo tính nhất quán và chất lượng của kiểm thử miền. Tiêu chuẩn nên bao gồm các yêu cầu về phạm vi kiểm thử, phương pháp lựa chọn ca kiểm thử, và đánh giá kết quả kiểm thử. Target metric: Ban hành tiêu chuẩn về kiểm thử miền được công nhận bởi các tổ chức trong ngành. Timeline: 36 tháng. Chủ thể thực hiện: Các tổ chức tiêu chuẩn hóa hoặc các hiệp hội ngành nghề.

Đối tượng nên tham khảo luận văn

Sinh viên và học viên cao học ngành công nghệ thông tin: Luận văn cung cấp kiến thức tổng quan và chuyên sâu về kiểm thử miền, giúp sinh viên nắm vững lý thuyết và có thể áp dụng vào thực tế. Use case: Sử dụng làm tài liệu tham khảo cho các môn học về kiểm thử phần mềm hoặc làm đề tài nghiên cứu khoa học.
Kỹ sư kiểm thử phần mềm: Luận văn cung cấp các kỹ thuật và chiến lược kiểm thử miền tiên tiến, giúp kỹ sư kiểm thử nâng cao hiệu quả công việc và phát hiện lỗi một cách hiệu quả hơn. Use case: Áp dụng các kỹ thuật lựa chọn điểm ON và OFF được đề xuất trong luận văn để thiết kế các ca kiểm thử hiệu quả hơn.
Nhà phát triển phần mềm: Luận văn giúp nhà phát triển phần mềm hiểu rõ hơn về tầm quan trọng của kiểm thử miền và cách áp dụng kiểm thử miền trong quy trình phát triển phần mềm. Use case: Sử dụng kiểm thử miền để kiểm tra các module và chức năng của phần mềm trong quá trình phát triển.
Nhà quản lý dự án phần mềm: Luận văn giúp nhà quản lý dự án hiểu rõ hơn về chi phí và lợi ích của kiểm thử miền, từ đó đưa ra các quyết định quản lý dự án hợp lý. Use case: Sử dụng thông tin về hiệu quả của kiểm thử miền để lập kế hoạch kiểm thử và phân bổ nguồn lực hợp lý.

Câu hỏi thường gặp

Kiểm thử miền là gì và tại sao nó quan trọng? Kiểm thử miền là một phương pháp kiểm thử phần mềm tập trung vào việc phân vùng không gian đầu vào thành các miền con và thiết kế các ca kiểm thử để phát hiện các lỗi miền. Nó quan trọng vì giúp phát hiện các lỗi liên quan đến việc xác định sai các miền đầu vào, có thể dẫn đến chương trình thực hiện sai chức năng. Ví dụ, một chương trình tính thuế có thể tính sai thuế nếu không xác định đúng các miền thu nhập khác nhau.
Làm thế nào để xác định các miền trong một chương trình? Các miền có thể được xác định bằng cách phân tích mã nguồn và tài liệu đặc tả của chương trình. Các bước bao gồm: vẽ biểu đồ luồng điều khiển, tìm tất cả các diễn giải khác nhau của các vị từ, và phân tích các diễn giải để xác định các miền. Ví dụ, trong một chương trình xét tuyển đại học, các miền có thể là điểm thi, điểm ưu tiên, và khu vực tuyển sinh.
Điểm ON và điểm OFF là gì và tại sao chúng quan trọng trong kiểm thử miền? Điểm ON là điểm nằm trên hoặc rất gần biên của miền, trong khi điểm OFF là điểm nằm cách xa biên. Chúng quan trọng vì các điểm dữ liệu ở trên hoặc gần biên có khả năng cao để phát hiện các lỗi miền. Ví dụ, nếu một chương trình chỉ chấp nhận số nguyên dương, thì điểm ON có thể là 0.0001, còn điểm OFF có thể là -1.
Các loại lỗi miền phổ biến là gì? Các loại lỗi miền phổ biến bao gồm: lỗi đóng biên, lỗi dịch chuyển biên, và lỗi nghiêng biên. Lỗi đóng biên xảy ra khi một biên đóng bị thay bằng một biên mở hoặc ngược lại. Lỗi dịch chuyển biên xảy ra khi biên thực hiện song song với biên dự định. Lỗi nghiêng biên xảy ra khi các hệ số của các biến trong một vị từ xác định một biên lấy giá trị sai.
Làm thế nào để đánh giá hiệu quả của kiểm thử miền? Hiệu quả của kiểm thử miền có thể được đánh giá bằng cách sử dụng các độ đo như số lượng lỗi phát hiện được, độ bao phủ mã, và thời gian thực hiện kiểm thử. Các phương pháp đánh giá hiệu quả mới cũng có thể được phát triển để đánh giá khả năng phát hiện lỗi của các kỹ thuật kiểm thử miền khác nhau.

Kết luận

Luận văn đã nghiên cứu và tổng quan các kỹ thuật kiểm thử miền, một phương pháp hiệu quả để phát hiện các lỗi liên quan đến việc xác định sai các miền đầu vào.
Đã đề xuất các cải tiến cho kỹ thuật lựa chọn điểm ON và OFF, giúp tăng khả năng phát hiện các lỗi nghiêng biên.
Phân tích các hạn chế của chiến lược Nx1 và đề xuất một chiến lược thay thế kết hợp Nx1 với việc phân tích các biên của miền.
Đề xuất các phương pháp đơn giản hóa kỹ thuật kiểm thử miền, chẳng hạn như sử dụng các công cụ tự động để xác định các miền và sinh các ca kiểm thử.
Timeline cho các bước tiếp theo:
- Trong vòng 6 tháng tới, phát triển một công cụ hỗ trợ kiểm thử miền dựa trên các kết quả nghiên cứu của luận văn.
- Trong vòng 12 tháng tới, tổ chức các khóa đào tạo về kiểm thử miền cho các nhà phát triển phần mềm và kỹ sư kiểm thử.
- Trong vòng 24 tháng tới, tiếp tục nghiên cứu về các kỹ thuật kiểm thử miền và phát triển các phương pháp đánh giá hiệu quả mới.

Call-to-action: Hãy áp dụng các kỹ thuật và chiến lược được đề xuất trong luận văn để nâng cao chất lượng phần mềm của bạn!

Trích đoạn nội dung tài liệu

đặt vấn đề, đƣa ra mục tiêu và các kết quả mong muốn cần đạt đƣợc sau quá trình nghiên cứu. - Chƣơng 1: Lý thuyết về kiểm thử miền: giới thiệu tổng quan về kiểm thử đơn vị và tóm tắt ba phƣơng pháp kiểm thử đơn vị động. Nghiên cứu về các lý thuyết kiểm thử miền cơ bản. - Chƣơng 2: Các kỹ thuật cải tiến kiểm thử miền: nghiên cứu các cải tiến cho kiểm thử miền nhằm nâng cao chất lƣợng của các ca kiểm thử cũng nhƣ đơn giản hóa việc kiểm thử miền trong các trƣờng hợp phát sinh phức tạp.

- Chƣơng 3: Thực nghiệm kiểm thử miền: xây dựng ví dụ áp dụng các kỹ thuật đã nghiên cứu về kiểm thử miền, và chứng minh thực nghiệm về hiệu quả của các ca kiểm thử. - Kết luận và định hƣớng: Tổng kết lại nội dung đã nghiên cứu. Đƣa ra hƣớng phát triển trong tƣơng lai. TIEU LUAN MOI download : skknchat@gmail.com 15 Chƣơng 1.

LÝ THUYẾT VỀ KIỂM THỬ MIỀN 1.1 Khái quát kiểm thử đơn vị Kiểm thử đơn vị [1] là việc kiểm thử các đơn vị của chƣơng trình một cách độc lập. Trong đó một đơn vị chƣơng trình thƣờng là một đoạn mã nguồn có thể là hàm hoặc phƣơng thức của một lớp nào đó, có thể đƣợc gọi từ ngoài, và cũng có thể gọi đến các đơn vị chƣơng trình khác. Mỗi đơn vị chƣơng trình cần đƣợc kiểm thử riêng biệt để phát hiện lỗi trong bên trong nó và khắc phục trƣớc khi đƣợc tích hợp với các đơn vị khác. Kiểm thử đơn vị thƣờng đƣợc làm bởi chính tác giả của chƣơng trình.

Hai kỹ thuật kiểm thử phổ biến nhất đang đƣợc áp dụng cho kiểm thử đơn vị hiện nay trong nƣớc là kiểm thử dòng điều khiển và kiểm thử dòng dữ liệu. Cả hai kỹ thuật này đều đƣợc tiến hành theo phƣơng pháp kiểm thử hộp trắng. Chúng sử dụng các chiến lƣợc cụ thể và mã nguồn để kiểm tra xem từng đơn vị phần mềm có thực hiện đúng so với thiết kế và đặc tả hay không. Trong khi các phƣơng pháp kiểm thử hộp đen hay kiểm thử hàm/chức năng chỉ cho phép phát hiện các lỗi/khiếm khuyết có thể quan sát đƣợc, kiểm thử hộp trắng cho phép phát hiện các lỗi/khiếm khuyết tiềm ẩn bên trong từng đơn vị chƣơng trình.

Để áp dụng các phƣơng pháp kiểm thử hộp trắng, ngƣời kiểm thử đòi hỏi cần phải hiểu rõ giải thuật và cần có các kỹ năng, kiến thức tốt về ngôn ngữ lập trình đƣợc dùng để phát triển phần mềm mới có thể hiểu rõ mã nguồn của chƣơng trình đƣợc kiểm thử.1 Kiểm thử dòng điều khiển Theo [1] thì Phƣơng pháp kiểm thử dòng điều khiển xây dựng dựa trên khái niệm đồ thị dòng điều khiển (control flow graph). Trong đó đồ thị dòng điều khiển đƣợc xây dựng từ mã nguồn của chƣơng trình. Đồ thị dòng điều khiển là một đồ thị có hƣớng bao gồm các đỉnh đồ thị tƣơng ứng với các câu lệnh/nhóm câu lệnh và các cạnh chính là các dòng điều khiển giữa các câu lệnh/nhóm câu lệnh. Ta giả sử nếu i và j là các đỉnh của đồ thị dòng điều khiển thì khi đó sẽ tồn tại một cạnh từ i đến j nếu lệnh tƣơng ứng với j có thể đƣợc thực hiện ngay sau lệnh tƣơng ứng với i.1 mô tả các thành phần cơ bản của đồ thị dòng điều khiển bao gồm Điểm xuất phát của đơn vị chƣơng trình, Khối xử lý (chứa các câu lệnh khai báo hoặc tính toán), Điểm quyết định (ứng với các câu lệnh điều kiện trong các khối lệnh rẽ nhánh hoặc lặp), Điểm nối (ứng với các câu lệnh ngay sau các lệnh rẽ nhánh), và Điểm kết thúc (ứng với điểm kết thúc của đơn vị chƣơng trình).

TIEU LUAN MOI download : skknchat@gmail.1: Các thành phần cơ bản của đồ thị chương trình.2 mô tả các cấu trúc điều khiển phổ biến của chƣơng trình. Chúng ta sẽ sử dụng các thành phần cơ bản và các cấu trúc phổ biến này để dễ dàng xây dựng đồ thị dòng điều khiển cho mọi đơn vị chƣơng trình viết bằng mọi ngôn ngữ lập trình.2: Các cấu trúc điều khiển phổ biến của chương trình.2 Kiểm thử dòng điều khiển cho phép phát hiện ra các lỗi tiềm ẩn trong chƣơng trình bằng cách kiểm thử các đƣờng đi của chƣơng trình tƣơng ứng với các dòng điều khiển có thể có. Kỹ thuật kiểm thử dòng điều khiển đƣợc phân cấp ra thành các độ đo khác nhau từ đơn giản đến phức tạp tƣơng ứng với các đồ thị cụ thể. Từ đồ thị thu đƣợc sẽ sinh ra các đƣờng đi của chƣơng trình.

Thông qua mỗi đƣờng đi sẽ sinh ra một ca kiểm thử đáp ứng đƣờng đi đó. Ngƣời kiểm thử cần phải chọn một bộ đầu vào thỏa mãn các điểm quyết định có trong đƣờng đi tƣơng ứng của đồ thị. Giá trị đầu ra mong muốn ứng với mỗi bộ đầu vào của mỗi ca kiểm thử cũng đƣợc tính toán. Việc này thƣờng đòi hỏi ngƣời thực hiện phải có kỹ năng phân tích chƣơng trình mới thực hiện đƣợc.

Khi một lỗi đƣợc phát hiện bởi một ca kiểm thử nào đó, nó sẽ đƣợc thông báo tới lập trình viên để tiến hành sửa lỗi đã phát hiện. Các độ đo kiểm thử: - Độ đo kiểm thử cấp 1 (C1): mỗi câu lệnh đƣợc thực hiện ít nhất một lần sau khi chạy các ca kiểm thử. 1 Nguồn: [1] 2 Nguồn: [1] TIEU LUAN MOI download : skknchat@gmail.com 17 - Độ đo kiểm thử cấp 2 (C2): các điểm quyết định trong đồ thị dòng điều khiển của đơn vị kiểm thử đều đƣợc thực hiện ít nhất một lần cả hai nhánh đúng và sai. - Độ đo kiểm thử cấp 3 (C3): các điều kiện con thuộc các điều kiện phức tạp tƣơng ứng với các điểm quyết định trong đồ thị dòng điều khiển của đơn vị cần kiểm thử đều đƣợc thực hiện ít nhất một lần cả hai nhánh đúng và sai *) Ví dụ 01: Xây dựng hàm cho nhập vào một mảng n phần tử, tính trung bình cộng các phần tử là số lẻ trong mảng nhỏ hơn 100 và trả lại kết quả cho giá trị hàm.1: Hàm tính trung bình cộng cho các số lẻ < 100 public double AVG_Sole(int[] s) { double sum = 0; int dem = 0; int i=0; while(i<s.Length){ if (s[i] % 2 != 0 && s[i]<100) { sum += s[i]; dem++; } i++; } return sum / dem; } Ta xây dựng đƣợc sơ đồ dòng điều khiển ứng với độ đo cấp 3 nhƣ Hình 1.

Các trạng thái: 1,2,3,4,5,6,7,3,8 1,2,3,4,5,7,3,8 1,2,3,4,7,3,8 1,2,3,8 TIEU LUAN MOI download : skknchat@gmail.3: Ví dụ về biểu đồ cho kiểm thử dòng kiều khiển Từ danh sách các trạng thái ta xác định đƣợc các ca kiểm thử nhƣ trong Bảng 1.2: Danh sách các ca kiểm thử cho ví dụ về kiểm thử dòng điều khiển Ca kiểm thử Kết quả dự kiến Error { 5, 7, 8,1, 9,105,4} 5,5 { 2,4,6 } … Lỗi chia cho 0 tại vị trí 8 {} … Lỗi chia cho 0 tại vị trí 8 TIEU LUAN MOI download : skknchat@gmail.com 19 Việc áp dụng phƣơng pháp kiểm thử dòng điều khiển là khó và tốn kém hơn các phƣơng pháp kiểm thử hộp đen khác (phân hoạch tƣơng đƣơng, phân tích giá trị biên, bảng quyết định,. Để áp dụng kỹ thuât này cần đội ngũ nhân lực về kiểm thử có kiến thức, kỹ năng tốt. Ngoài ra cần chi phí lớn đầu tƣ cho các nguồn lực khác (tài chính, thời gian, .) mới có thể thực hiện tốt phƣơng pháp này. Đây cũng có thể coi là yêu cầu chung đối với các phƣơng pháp kiểm thử hộp trắng.2 Kiểm thử dòng dữ liệu Kỹ thuật kiểm thử dòng dữ liệu xem đơn vị chƣơng trình gồm các đƣờng đi tƣơng ứng với các dòng dữ liệu, nơi mà các biến đƣợc khai báo, đƣợc gán giá trị, đƣợc sử dụng để tính toán và trả lại kết quả mong muốn của đơn vị chƣơng trình ứng với đƣờng đi này.

Với mỗi đƣờng đi, ngƣời kiểm thử sẽ sinh một ca kiểm thử để kiểm tra tính đúng đắn của nó. Với kiểm thử dòng dữ liệu tĩnh, chúng ta áp dụng các phƣơng pháp phân tích mã nguồn mà không cần chạy chƣơng trình nhằm phát hiện các vấn đề về khai báo, khởi tạo giá trị cho các biến và sử dụng chúng. Còn trong trƣờng hợp với kiểm thử với dòng dữ liệu động, chúng ta sẽ phải chạy các ca kiểm thử để nhằm phát hiện các lỗi tiềm ẩn mà kiểm thử tĩnh không phát hiện đƣợc. Tuy nhiên kiểm thử dòng dữ liệu tĩnh thƣờng không hiệu quả vì nó không đảm bảo việc phát hiện tất cả các lỗi liên quan đến việc khởi tạo, gán giá trị mới và sử dụng các biến (trong các câu lệnh tính toán và các biểu thức điều kiện nhƣ trong các lệnh rẽ nhánh và lặp).

Nên nó chỉ đƣợc xem nhƣ một bƣớc tiền xử lý mã nguồn trƣớc khi áp dụng phƣơng pháp kiểm thử dòng dữ liệu động. Do đó ta sẽ chỉ tìm hiểu qua về kiểm thử dòng dữ liệu động trong phạm vị của luận văn. Định nghĩa về đồ thị dòng dữ liệu từ tài liệu [1]: "Đồ thị dòng dữ liệu của một chương trình/đơn vị chương trình là một đồ thị có hướng G = <N, E>, với: - N là tập các đỉnh tương ứng với các câu lệnh def hoặc c-use của các biến được sử dụng trong đơn vị chương trình. Đồ thị G có hai đỉnh đặc biệt là đỉnh bắt đầu (tương ứng với lệnh def của các biến tham số) và đỉnh kết thúc đơn vị chương trình.

- E là tập các cạnh tương ứng với các câu lệnh p-use của các biến." Trong đó def (định nghĩa của một biến) là ký hiểu của một câu lệnh thực hiện việc gán giá trị cho một biến và đƣợc gọi là câu lệnh định nghĩa của biến đó; c-use (biến TIEU LUAN MOI download : skknchat@gmail.com 20 được sử dụng để tính toán) là ký hiệu của một câu lệnh sử dụng một biến để tính toán giá trị của một biến khác; p-use (biến được sử dụng để kiểm tra các điều kiện): một câu lệnh sử dụng một biến trong các biểu thức điều kiện (câu lệnh rẽ nhánh, lặp,.) đƣợc gọi là p-use với biến đó. Sau khi xây dựng đồ thị dòng dữ liệu của chƣơng trình, chúng ta cần xác định các đƣờng đi của chƣơng trình của mỗi biến dữ liệu ứng với các độ đo kiểm thử (all-defs, all-c-uses, all-p-uses, all-p-uses/some-c-uses. Trong mỗi đƣờng dẫn này, biến dữ liệu đƣợc định nghĩa tại một đỉnh nào đó và đƣợc sử dụng tại các câu lệnh tiếp theo ứng với các đỉnh hoặc các cạnh của đƣờng đi này. *) Ví dụ 02: Xây dựng hàm cho nhập vào một mảng n phần tử, tính trung bình cộng các phần tử là số lẻ trong mảng nhỏ hơn 100 và trả lại kết quả cho giá trị hàm.

Nội dung được bảo vệ bản quyền — Tải xuống đầy đủ