Nghiên cứu các kỹ thuật kiểm thử miền và cải tiến trong công nghệ thông tin

Luận văn thạc sĩ VNU UET nghiên cứu các kỹ thuật kiểm thử miền và cải tiến hiệu quả của các kỹ thuật này trong phát triển phần mềm.

• Tác giả: Trần Văn Trọng
• Người hướng dẫn: Ts. Đặng Văn Hƣng
• Trường 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
• Đề tài: 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 đó
• Loại tài liệu: Luận văn thạc sĩ
• Năm xuất bản: 2014
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• 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.4.1. Khái niệm về lỗi miền
• 1.4.2. Xây dựng các miền kiểm thử từ chương trình
• 1.4.3. Các kiểu xuất hiện của lỗi miền
• 1.4.4. Xây dựng các điểm kiểm tra ON và OFF trong kiểm thử miền
• 1.4.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
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng quan về nghiên cứu và cải tiến kỹ thuật kiểm thử miền

Nghiên cứu và cải tiến kỹ thuật kiểm thử miền trong công nghệ thông tin là một lĩnh vực quan trọng nhằm nâng cao chất lượng phần mềm. Kiểm thử miền giúp phát hiện lỗi trong các chương trình phức tạp, từ đó cải thiện độ tin cậy và hiệu suất của phần mềm. Việc áp dụng các kỹ thuật kiểm thử miền không chỉ giúp phát hiện lỗi mà còn tối ưu hóa quy trình phát triển phần mềm.

1.1. Khái niệm về kiểm thử miền và vai trò của nó

Kiểm thử miền là một phương pháp kiểm thử phần mềm nhằm xác định các lỗi trong miền giá trị của biến. Nó giúp phân chia miền thành các tập con, từ đó dễ dàng phát hiện lỗi. Kiểm thử miền đóng vai trò quan trọng trong việc đảm bảo chất lượng phần mềm, đặc biệt trong các ứng dụng phức tạp.

1.2. Lịch sử phát triển của kỹ thuật kiểm thử miền

Kỹ thuật kiểm thử miền được đề xuất lần đầu bởi White và Cohen vào năm 1978. Kể từ đó, nhiều nghiên cứu đã mở rộng và cải tiến phương pháp này, giúp nâng cao hiệu quả kiểm thử và phát hiện lỗi.

II. Các thách thức trong kiểm thử miền và giải pháp cải tiến

Mặc dù kiểm thử miền mang lại nhiều lợi ích, nhưng vẫn tồn tại nhiều thách thức trong quá trình thực hiện. Các vấn đề như kích thước miền quá lớn, sự phức tạp của mã nguồn và thiếu hụt tài nguyên kiểm thử là những yếu tố cần được giải quyết. Việc cải tiến quy trình kiểm thử miền là cần thiết để nâng cao hiệu quả.

2.1. Những thách thức chính trong kiểm thử miền

Một trong những thách thức lớn nhất là kích thước miền đầu vào có thể quá lớn, dẫn đến việc không thể kiểm thử toàn bộ. Ngoài ra, sự phức tạp của mã nguồn và các yếu tố bên ngoài như giao diện người dùng cũng gây khó khăn trong việc phát hiện lỗi.

2.2. Giải pháp cải tiến quy trình kiểm thử miền

Để cải tiến quy trình kiểm thử miền, cần áp dụng các kỹ thuật phân tích lỗi và xây dựng chiến lược kiểm thử hiệu quả. Việc sử dụng các công cụ tự động hóa cũng giúp giảm thiểu thời gian và chi phí kiểm thử.

III. Phương pháp kiểm thử miền hiệu quả và ứng dụng thực tiễn

Các phương pháp kiểm thử miền hiện nay đã được cải tiến đáng kể, giúp nâng cao hiệu quả phát hiện lỗi. Việc áp dụng các phương pháp này trong thực tiễn đã cho thấy kết quả tích cực trong việc nâng cao chất lượng phần mềm.

3.1. Các phương pháp kiểm thử miền phổ biến

Các phương pháp kiểm thử miền phổ biến bao gồm kiểm thử dòng điều khiển, kiểm thử dòng dữ liệu và kiểm thử miền. Mỗi phương pháp có những ưu điểm và nhược điểm riêng, phù hợp với từng loại ứng dụng.

3.2. Ứng dụng thực tiễn của kiểm thử miền

Kiểm thử miền đã được áp dụng thành công trong nhiều dự án phần mềm lớn, giúp phát hiện và khắc phục lỗi trước khi sản phẩm được phát hành. Điều này không chỉ tiết kiệm chi phí mà còn nâng cao sự hài lòng của khách hàng.

IV. Kết quả nghiên cứu và định hướng tương lai trong kiểm thử miền

Kết quả nghiên cứu cho thấy việc cải tiến kỹ thuật kiểm thử miền có thể giúp nâng cao chất lượng phần mềm một cách đáng kể. Định hướng tương lai sẽ tập trung vào việc phát triển các công cụ và phương pháp mới nhằm tối ưu hóa quy trình kiểm thử.

4.1. Kết quả đạt được từ nghiên cứu

Nghiên cứu đã chỉ ra rằng việc áp dụng các kỹ thuật kiểm thử miền giúp phát hiện lỗi hiệu quả hơn so với các phương pháp truyền thống. Điều này đã được chứng minh qua các thử nghiệm thực tế.

4.2. Định hướng phát triển trong tương lai

Trong tương lai, cần tiếp tục nghiên cứu và phát triển các kỹ thuật mới trong kiểm thử miền, đồng thời kết hợp với công nghệ tự động hóa để nâng cao hiệu quả và giảm thiểu chi phí kiểm thử.

V. Kết luận về nghiên cứu và cải tiến kỹ thuật kiểm thử miền

Nghiên cứu và cải tiến kỹ thuật kiểm thử miền là một lĩnh vực quan trọng trong công nghệ thông tin. Việc áp dụng các phương pháp kiểm thử hiệu quả không chỉ giúp phát hiện lỗi mà còn nâng cao chất lượng phần mềm. Tương lai của kiểm thử miền hứa hẹn sẽ có nhiều tiến bộ và cải tiến.

5.1. Tóm tắt những điểm chính trong nghiên cứu

Nghiên cứu đã chỉ ra rằng kiểm thử miền là một phương pháp hiệu quả trong việc phát hiện lỗi. Các kỹ thuật cải tiến đã được đề xuất nhằm nâng cao hiệu quả kiểm thử.

5.2. Tương lai của kiểm thử miền trong công nghệ thông tin

Tương lai của kiểm thử miền sẽ tiếp tục phát triển với sự hỗ trợ của công nghệ mới, giúp nâng cao chất lượng phần mềm và đáp ứng nhu cầu ngày càng cao của thị trường.

Nội dung chính

Tổng quan nghiên cứu

Theo báo cáo của Viện Tiêu chuẩn và Công nghệ Quốc gia Mỹ (NIST) năm 2002, các lỗi phần mềm gây thiệt hại cho nền kinh tế Mỹ khoảng 59,5 tỷ USD mỗi năm, trong đó hơn 33,3% chi phí này hoàn toàn có thể phòng tránh nếu quy trình kiểm thử được thực hiện hiệu quả hơn. Trong các hệ thống phần mềm quan trọng, chi phí dành cho công tác kiểm định chất lượng thường tăng gấp 2 đến 3 lần so với tổng chi phí xây dựng mã nguồn. Tại Việt Nam, dù ngành công nghiệp phần mềm phát triển mạnh mẽ với hàng nghìn doanh nghiệp gia công và phát triển sản phẩm, khâu kiểm thử đơn vị (Unit Testing) vẫn chưa nhận được sự đầu tư tương xứng về mặt học thuật lẫn thực tiễn.

Vấn đề cốt lõi của kiểm thử phần mềm nằm ở chỗ không thể kiểm thử toàn diện 100% do không gian đầu vào quá lớn và số lượng nhánh rẽ bùng nổ theo cấp số nhân. Các kỹ thuật kiểm thử đơn vị truyền thống như kiểm thử dòng điều khiển (Control Flow Testing) và kiểm thử dòng dữ liệu (Data Flow Testing) chủ yếu tập trung vào độ bao phủ đường đi mà không định nghĩa cụ thể bản chất hình học của các lớp lỗi rẽ nhánh. Điều này dẫn đến việc bỏ sót các lỗi tiềm ẩn tại vùng giáp ranh giữa các miền dữ liệu.

Mục tiêu trọng tâm của nghiên cứu là phân tích chuyên sâu lý thuyết kiểm thử miền (Domain Testing), làm rõ cơ chế phát sinh các dạng lỗi miền, và đề xuất giải pháp cải tiến kỹ thuật lựa chọn các điểm kiểm tra đặc thù gồm điểm ON và điểm OFF. Nghiên cứu thực hiện thu nhỏ tối đa diện tích miền che lỗi và xây dựng chiến lược kiểm thử tối ưu nhằm nâng cao tỷ lệ phát hiện lỗi logic rẽ nhánh. Phạm vi nghiên cứu tập trung vào không gian dữ liệu từ 1 chiều đến 3 chiều với các vị từ tuyến tính trong các mô-đun phần mềm xử lý điều kiện phức tạp.

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

Khung lý thuyết áp dụng

Nghiên cứu kế thừa và phát triển nền tảng lý thuyết kiểm thử miền do White và Cohen khởi xướng năm 1978, kết hợp với chiến lược V x V của Clarke, Hassell và Richardson năm 1982 cùng mô hình phân loại lỗi chương trình của Howden. Về mặt bản chất, Howden phân chia lỗi phần mềm thành 2 lớp chính: lỗi tính toán (Computation Error - chương trình đi đúng đường dẫn nhưng tính sai giá trị) và lỗi miền (Domain Error - chương trình chọn sai đường dẫn thực thi do điều kiện rẽ nhánh bị sai lệch).

Khung lý thuyết xây dựng dựa trên 5 khái niệm nền tảng:

• Miền đầu vào (Input Domain): Tập hợp toàn bộ giá trị đầu vào mà tại đó chương trình thực hiện cùng một chuỗi tính toán xác định.
• Biên đóng và biên mở (Closed/Open Boundary): Biên đóng chứa các điểm thỏa mãn toán tử có dấu bằng (như nhỏ hơn hoặc bằng, lớn hơn hoặc bằng), trong khi biên mở không chứa các điểm trên đường biên (chứa toán tử lớn hơn, nhỏ hơn).
• Điểm cực biên (Extreme Point): Giao điểm hình học nơi hai hoặc nhiều biên phân tách gặp nhau.
• Điểm ON và điểm OFF: Điểm ON là điểm nằm trực tiếp trên biên hoặc vô cùng gần biên; điểm OFF là điểm nằm ngoài miền đối với biên đóng, hoặc nằm trong miền đối với biên mở.
• Ba dạng lỗi miền cơ bản: Lỗi đóng biên (Closure Error do nhầm lẫn giữa biên đóng và mở), lỗi dịch chuyển biên (Shifted-Boundary Error do sai lệch hằng số tự do), và lỗi nghiêng biên (Tilted-Boundary Error do sai lệch hệ số của các biến).

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

Nghiên cứu sử dụng phương pháp phân tích mô hình hóa hình học kết hợp kiểm chứng thực nghiệm trên mã nguồn. Dữ liệu thực nghiệm được triển khai trên 2 mô-đun xử lý điều kiện thực tế bao gồm Mô-đun xét trúng tuyển 01 và Mô-đun xét trúng tuyển 02, với bộ dữ liệu mẫu gồm 24 ca kiểm thử chuyên biệt được thiết kế theo các vị từ tuyến tính 2 biến và 3 biến.

Phương pháp chọn mẫu là chọn mẫu có chủ đích (purposive sampling) dựa trên việc giải mã cấu trúc đồ thị dòng điều khiển của chương trình. Từ mã nguồn, tác giả trích xuất toàn bộ các biểu thức vị từ, xác định các diễn giải vị từ theo từng nhánh rẽ và ánh xạ không gian đầu vào thành các đa giác lồi trong không gian 2 chiều.

Lý do lựa chọn phương pháp này xuất phát từ yêu cầu định lượng hóa miền che lỗi (tứ giác ABEF). Việc sử dụng hình học giải tích cho phép chứng minh toán học tính ưu việt của vị trí đặt ca kiểm thử, đồng thời so sánh trực tiếp hiệu quả phát hiện lỗi với các tiêu chuẩn độ đo phủ dòng điều khiển cấp 1 (C1 - phủ câu lệnh), cấp 2 (C2 - phủ nhánh), và cấp 3 (C3 - phủ điều kiện tổ hợp).

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

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

Thứ nhất, nghiên cứu đã chứng minh rằng chất lượng của các ca kiểm thử tỷ lệ nghịch với diện tích tứ giác che lỗi ABEF. Việc lựa chọn 2 điểm ON truyền thống tại các vị trí ngẫu nhiên trên đoạn biên có thể tạo ra miền che lỗi rộng, làm giảm khả năng phát hiện lỗi nghiêng biên xuống dưới 50%. Khi áp dụng kỹ thuật cải tiến đặt các điểm ON trùng hoặc tiến sát tối đa tới các điểm cực biên (giao điểm của các biên liên kề), diện tích miền che lỗi bị triệt tiêu về mức cực tiểu, nâng xác suất phát hiện lỗi nghiêng biên lên xấp xỉ 100%.

Thứ hai, nghiên cứu xác định vị trí tối ưu duy nhất của điểm OFF: hình chiếu vuông góc của điểm OFF xuống đường biên thực tế bắt buộc phải nằm chính giữa hai điểm ON tương ứng. Quy tắc này loại bỏ hoàn toàn nguy cơ xuất hiện miền che lỗi vô hạn khi các đường biên kế cận tịnh tiến song song, đảm bảo ca kiểm thử luôn phát hiện được sự dịch chuyển biên dù khoảng cách sai lệch chỉ là một đại lượng vi phân vô cùng nhỏ.

Thứ ba, nghiên cứu phân tích hạn chế của chiến lược Nx1 truyền thống (chọn n điểm ON và 1 điểm OFF cho không gian n chiều). Chiến lược Nx1 có thể bỏ sót lỗi nếu biên dự kiến song song với một biên cạnh. Tác giả đề xuất giải pháp bổ sung thông qua chiến lược 2x2 và phân rã tương tác biến, giúp giảm số lượng ca kiểm thử từ 2 mũ k trường hợp phức tạp xuống còn một tập hợp hữu hạn tuyến tính gồm 3 ca kiểm thử cho mỗi phân đoạn biên, tiết kiệm khoảng 65% số lượng test case cần sinh tự động.

Thứ tư, kết quả thực nghiệm đối chuẩn trên 2 mô-đun phần mềm cho thấy: phương pháp kiểm thử miền phát hiện chính xác 100% các lỗi dịch chuyển biên và lỗi đóng biên được cài cắm có chủ ý, trong khi phương pháp kiểm thử dòng điều khiển đạt độ phủ cấp 3 (C3) chỉ phát hiện được khoảng 40% đến 50% các lỗi biên dạng này do các ca kiểm thử dòng điều khiển chỉ chọn giá trị đại diện tùy ý bên trong vùng khả thi.

Thảo luận kết quả

Khi xem xét cơ chế hoạt động, sự sai lệch giữa toán tử so sánh thực tế và dự kiến luôn tạo ra một dải không gian hẹp giữa biên đúng và biên sai. Kiểm thử dòng điều khiển chỉ quan tâm đến việc kích hoạt nhánh rẽ đúng hoặc sai nên dữ liệu thử nghiệm thường rơi sâu vào tâm miền, hoàn toàn không chạm tới dải phân kỳ này. Ngược lại, việc bố trí các điểm ON và OFF bám sát biên hình học tạo ra sự khác biệt rõ rệt giữa kết quả thực tế và kết quả kỳ vọng, vạch trần lỗi lập trình ngay lập tức.

Dữ liệu thực nghiệm của nghiên cứu có thể được trực quan hóa tối ưu thông qua biểu đồ phân tán 2D biểu diễn tọa độ các điểm kiểm thử ON/OFF đặt cạnh các siêu phẳng phân cách, kết hợp với bảng ma trận so sánh chéo giữa độ bao phủ C1, C2, C3 và tỷ lệ phát hiện lỗi biên. Mô hình trực quan này chứng minh rằng việc tăng độ phủ nhánh truyền thống không đồng nghĩa với việc tăng khả năng bắt lỗi logic biên. Kết quả nghiên cứu hoàn toàn tương thích với các kết luận của Clarke năm 1982, đồng thời giải quyết trọn vẹn bài toán thực thi bằng cách đưa ra thuật toán chọn điểm cụ thể cho từng hệ phương trình biên đóng và mở.

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

Thứ nhất, các doanh nghiệp công nghệ cần áp dụng ngay quy tắc chọn điểm ON tại cực biên và điểm OFF tại trung điểm hình chiếu vào quy trình kiểm thử đơn vị nội bộ. Mục tiêu là nâng cao tỷ lệ phát hiện lỗi rẽ nhánh sớm lên trên 85% tại khâu Unit Test, giảm thiểu 40% chi phí sửa lỗi ở giai đoạn tích hợp hệ thống trong vòng 6 tháng tới. Trách nhiệm thực hiện thuộc về các kỹ sư đảm bảo chất lượng và lập trình viên chính.

Thứ hai, nhóm phát triển công cụ kiểm thử cần xây dựng mô-đun tự động hóa việc trích xuất biểu thức vị từ từ mã nguồn và tính toán tọa độ điểm cực biên, nhằm rút ngắn 60% thời gian thiết kế ca kiểm thử tự động trong chu kỳ phát triển 12 tháng. Trách nhiệm triển khai thuộc về các kỹ sư công cụ kiểm thử và kiến trúc sư phần mềm.

Thứ ba, các tổ chức phát triển phần mềm trong các lĩnh vực quan trọng như tài chính, y tế, và điều khiển tự động cần tích hợp kỹ thuật kiểm thử miền kết hợp với kiểm thử dòng điều khiển cấp độ C3. Mục tiêu là loại bỏ 99% lỗi sai lệch logic điều kiện trước khi phát hành phiên bản chính thức, duy trì liên tục trong suốt vòng đời bảo trì sản phẩm.

Thứ tư, các viện nghiên cứu và trường đại học công nghệ cần đưa chuyên đề Kiểm thử miền và kỹ thuật sinh ca kiểm thử hình học vào giáo trình môn Đảm bảo chất lượng phần mềm. Mục tiêu đào tạo ít nhất 500 kỹ sư phần mềm nắm vững phương pháp kiểm thử hộp trắng chuyên sâu trong vòng 2 năm tới, do các khoa công nghệ thông tin chủ trì thực hiện.

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

• Kỹ sư kiểm thử phần mềm (QA/QC Engineers): Nắm vững cơ chế toán học của các điểm ON/OFF và điểm cực biên để thiết kế bộ ca kiểm thử đơn vị có độ nhạy cao nhất, phát hiện triệt để các trường hợp biên nguy hiểm mà kiểm thử hộp đen thông thường không thể tiếp cận.
• Lập trình viên phần mềm (Software Developers): Hiểu rõ bản chất 3 dạng lỗi miền để chủ động phòng tránh các sai sót khi viết biểu thức điều kiện phức tạp, nâng cao chất lượng mã nguồn và tối ưu hóa quy trình tự viết Unit Test trước khi bàn giao.
• Trưởng nhóm kỹ thuật và Quản lý chất lượng (Tech Leads / QA Managers): Ứng dụng khung phương pháp kiểm thử miền để chuẩn hóa quy trình thẩm định chất lượng phần mềm, tối ưu hóa ngân sách kiểm thử và giảm thiểu từ 30% đến 50% chi phí bảo hành phần mềm sau triển khai.
• Giảng viên và học viên cao học ngành Công nghệ thông tin: Sử dụng công trình như một tài liệu học thuật hoàn chỉnh bằng tiếng Việt về kiểm thử miền, phục vụ công tác giảng dạy, nghiên cứu chuyên sâu và mở rộng đề tài sang các hệ thống đa biến phức tạp trên 4 chiều.

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

Kiểm thử miền khác biệt căn bản như thế nào so với kiểm thử dòng điều khiển? Kiểm thử dòng điều khiển chỉ tập trung vào việc thực thi hết các câu lệnh hoặc nhánh rẽ thông qua các đường đi đồ thị mà không quan tâm đến vị trí của dữ liệu thử nghiệm. Ngược lại, kiểm thử miền phân tích bản chất hình học của không gian đầu vào, định nghĩa rõ các dạng lỗi biên và chủ động chọn các điểm nhạy cảm nhất gần biên để bắt lỗi sai lệch điều kiện.

Điểm ON và điểm OFF trong kiểm thử miền được định nghĩa cụ thể ra sao? Điểm ON là điểm nằm trực tiếp trên đường biên hoặc vô cùng sát biên của miền đang xét. Điểm OFF là điểm nằm cách biên một khoảng cách nhỏ tùy ý, nằm ở phía ngoài miền nếu đường biên đó là biên đóng, hoặc nằm ở phía trong miền nếu đường biên đó là biên mở đối với miền quan tâm.

Lỗi đóng biên (Closure Error) phát sinh từ nguyên nhân nào trong thực tế? Lỗi đóng biên xuất hiện do sự nhầm lẫn giữa các toán tử quan hệ có dấu bằng và không có dấu bằng trong mã nguồn, ví dụ lập trình viên viết toán tử nhỏ hơn thay vì nhỏ hơn hoặc bằng. Lỗi này làm thay đổi thuộc tính đóng mở của đường biên, khiến các điểm nằm trên biên bị xử lý sai nhánh logic.

Tại sao việc chọn điểm ON tại các điểm cực biên lại nâng cao hiệu quả kiểm thử? Điểm cực biên là giao điểm của hai hoặc nhiều đường biên bao quanh miền dữ liệu. Việc đặt điểm ON tại các điểm cực biên giúp triệt tiêu tối đa diện tích của tứ giác che lỗi hình học, ngăn chặn nguy cơ đường biên bị nghiêng mà ca kiểm thử không phát hiện được, từ đó tối ưu hóa năng lực phát hiện lỗi.

Phương pháp kiểm thử miền có áp dụng được cho chương trình có nhiều hơn 3 biến không? Phương pháp hoàn toàn có thể áp dụng trên lý thuyết cho không gian n chiều với n điểm ON và 1 điểm OFF cho mỗi siêu phẳng. Tuy nhiên, khi số biến vượt quá 4 và xuất hiện các vị từ phi tuyến tính, không gian hình học trở nên rất phức tạp, đòi hỏi phải áp dụng kỹ thuật phân rã tương tác biến để đưa về các bài toán 2 chiều hoặc 3 chiều cục bộ.

Kết luận

• Luận văn đã hệ thống hóa toàn diện cơ sở lý thuyết về kiểm thử miền và phân loại chi tiết 3 dạng lỗi miền cơ bản gồm lỗi đóng biên, lỗi dịch chuyển biên và lỗi nghiêng biên.
• Đề xuất thành công quy tắc tối ưu hóa vị trí ca kiểm thử: đặt điểm ON tại các điểm cực biên và điểm OFF tại vị trí có hình chiếu nằm giữa hai điểm ON, giúp thu nhỏ tối đa diện tích miền che lỗi.
• Đưa ra giải pháp khắc phục triệt để điểm yếu của chiến lược kiểm thử Nx1 truyền thống, giảm thiểu độ phức tạp tính toán và số lượng ca kiểm thử cần thiết.
• Chứng minh thực nghiệm tính vượt trội của kiểm thử miền với tỷ lệ bắt lỗi biên đạt 100%, khắc phục hoàn toàn các điểm mù của phương pháp kiểm thử dòng điều khiển cấp 3.
• Định hướng phát triển trong 6 đến 12 tháng tới tập trung vào việc tự động hóa thuật toán sinh ca kiểm thử biên trên các hệ thống mã nguồn lớn và mở rộng nghiên cứu sang các miền ràng buộc phi tuyến tính đa chiều. Hãy áp dụng ngay các kỹ thuật kiểm thử miền cải tiến để nâng cao độ tin cậy và chất lượng cho các sản phẩm 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. LUAN VAN CHAT LUONG download : add [e-mail] 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).