Câu hỏi: SWT301 - Phần 4: Kỹ thuật thiết kế ca kiểm thử

Equivalence phân loại là một kỹ thuật thiết kế thử nghiệm hiệu quả vì nó phân chia dữ liệu đầu vào thành các phân đoạn hợp lệ và không hợp lệ, giúp đơn giản hóa quá trình thử nghiệm. Điều này cho phép các nhà phát triển tập trung vào các trường hợp thử nghiệm quan trọng và giảm thiểu số lượng thử nghiệm cần thiết. Bằng cách phân loại dữ liệu đầu vào, các nhà phát triển có thể xác định các trường hợp thử nghiệm cần thiết và tránh các trường hợp thử nghiệm không cần thiết, giúp tiết kiệm thời gian và nguồn lực. Đồng thời, kỹ thuật này cũng giúp đảm bảo rằng các trường hợp thử nghiệm được thực hiện một cách đầy đủ và chính xác.

Decision coverage là một thước đo để đánh giá mức độ hoàn thiện của các thử nghiệm. Nó đo lường số lượng kết quả quyết định trong mã nguồn được thử nghiệm. Để đạt được quyết định hoàn toàn, mỗi quyết định trong mã nguồn phải được thử nghiệm với cả hai kết quả có thể xảy ra. Điều này có nghĩa là mỗi 'if' trong mã nguồn phải được thử nghiệm với cả hai trường hợp true và false. Điều này giúp đảm bảo rằng mã nguồn đã được thử nghiệm đầy đủ và giảm thiểu khả năng tồn tại của các lỗi.

Kỹ thuật thiết kế thử nghiệm có thể được định nghĩa theo nhiều cách khác nhau. Một trong những cách phổ biến nhất là kỹ thuật chọn thử nghiệm. Kỹ thuật này liên quan đến việc chọn các trường hợp thử nghiệm phù hợp để kiểm tra phần mềm. Điều này giúp đảm bảo rằng phần mềm hoạt động đúng và không có lỗi. Ngoài ra, kỹ thuật này còn giúp tiết kiệm thời gian và nguồn lực trong quá trình thử nghiệm. Nói cách khác, kỹ thuật chọn thử nghiệm là một phần quan trọng của quá trình thiết kế thử nghiệm, giúp đảm bảo rằng phần mềm được kiểm tra một cách hiệu quả và chính xác.

Kỹ thuật kiểm tra loại câu trả lời là il thường được áp dụng trong quá trình kiểm tra thành phần là kiểm tra câu và nhánh. Kỹ thuật này liên quan đến việc kiểm tra từng câu lệnh và nhánh điều khiển trong mã nguồn để đảm bảo chúng hoạt động đúng như mong đợi. Điều này giúp phát hiện ra các lỗi logic và đảm bảo rằng mã nguồn được viết một cách chính xác. Trong quá trình kiểm tra thành phần, việc kiểm tra câu và nhánh là một phần quan trọng để đảm bảo chất lượng của sản phẩm. Nó giúp phát hiện ra các lỗi sớm và tiết kiệm thời gian và nguồn lực trong quá trình phát triển.

Để đạt được 100% quyết định và 100% tuyên bố, bạn đã thiết kế các trường hợp kiểm thử để cung cấp cho đoạn mã sau: nếu chiều rộng > chiều dài thì chiều kích lớn nhất = chiều rộng, ngược lại thì chiều kích lớn nhất = chiều dài. Khi thêm vào cuối đoạn mã trên: In ra màn hình "Chiều kích lớn nhất là " & chiều kích lớn nhất, in ra màn hình "Chiều rộng: " & chiều rộng, in ra màn hình "Chiều dài: " & chiều dài. Để đạt được 100% quyết định, bạn cần thêm một trường hợp kiểm thử để kiểm tra điều kiện chiều rộng <= chiều dài. Để đạt được 100% tuyên bố, bạn cần thêm một trường hợp kiểm thử để kiểm tra việc in ra màn hình các giá trị của chiều rộng, chiều dài và chiều kích lớn nhất. Tuy nhiên, trường hợp kiểm thử này cũng sẽ giúp đạt được 100% quyết định vì nó sẽ kiểm tra cả điều kiện chiều rộng <= chiều dài. Vì vậy, không cần thêm trường hợp kiểm thử nào mới.

Các kỹ thuật kiểm thử hộp đen là phương pháp kiểm thử mà không cần biết chi tiết về mã nguồn của ứng dụng. Trong đó, có một số kỹ thuật như phân vùng tương đương (Equivalence partition), bảng quyết định (Decision tables), và sơ đồ giao dịch (Transaction diagrams). Tuy nhiên, kỹ thuật kiểm thử quyết định (Decision testing) không phải là một kỹ thuật hộp đen. Kỹ thuật này đòi hỏi phải biết chi tiết về mã nguồn của ứng dụng và sử dụng các quyết định logic để kiểm thử. Vì vậy, trong các lựa chọn trên, kỹ thuật kiểm thử quyết định không phải là một kỹ thuật hộp đen.

Lỗi đoán (Error Guessing) là một kỹ thuật thử nghiệm được sử dụng để tạo ra các trường hợp thử nghiệm. Kỹ thuật này dựa trên khả năng của người thử nghiệm để đoán ra các lỗi tiềm ẩn trong hệ thống. Lỗi đoán thường được sử dụng như một phương pháp đầu tiên để tạo ra các trường hợp thử nghiệm, vì nó cho phép người thử nghiệm sử dụng kinh nghiệm và kiến thức của mình để xác định các khu vực tiềm ẩn của hệ thống. Điều này giúp người thử nghiệm tạo ra các trường hợp thử nghiệm hiệu quả và hiệu quả, đồng thời tiết kiệm thời gian và nguồn lực. Tuy nhiên, lỗi đoán cũng có thể được sử dụng sau khi áp dụng các kỹ thuật thử nghiệm chính thức khác, để kiểm tra và xác minh các trường hợp thử nghiệm đã được tạo ra.

Đáp án đúng: "2 tests for statement coverage, 2 for branch coverage". Đoạn mã có hai lệnh IF. Lệnh thứ nhất: nếu A lớn hơn B thì gán C = A - B, ngược lại gán C = A + B. Sau đó đọc D, lệnh thứ hai: nếu C bằng D thì in Error. Độ phủ câu lệnh (statement coverage) cần mọi lệnh chạy ít nhất một lần. Ca thứ nhất cho A lớn hơn B và chọn D bằng C, chạy lệnh trừ cùng lệnh in. Ca thứ hai cho A không lớn hơn B, chạy lệnh cộng. Không ca nào chạy được cả lệnh trừ lẫn lệnh cộng, nên cần đúng 2 ca. Độ phủ nhánh (branch coverage) cần mỗi quyết định đi cả nhánh đúng lẫn sai: ca thứ nhất cho đúng ở cả hai IF, ca thứ hai cho sai ở cả hai IF nếu chọn D khác C, nên 2 ca đủ phủ bốn nhánh. "1 test for statement coverage, 3 for branch coverage" sai vì một ca không thể chạy cả hai nhánh gán của IF đầu, và nhánh chỉ cần 2 ca. "2 tests for statement coverage. 3 for branch coverage" sai ở số ca nhánh. "3 tests for statement coverage, 3 for branch coverage" và "3 tests for statement coverage, 2 for branch coverage" sai vì câu lệnh chỉ cần 2 ca.

Kiểm tra trường hợp sử dụng (Use Case Testing) thường được sử dụng để phát hiện các lỗi liên quan đến yêu cầu chức năng của hệ thống. Các lỗi này thường bao gồm các vấn đề về logic, quy trình và giao diện người dùng. Vì vậy, loại lỗi mà kiểm tra trường hợp sử dụng có khả năng phát hiện được nhất là các lỗi liên quan đến yêu cầu chức năng của hệ thống, bao gồm lỗi về logic (ii) và lỗi về giao diện người dùng (iii).

Vấn đề này yêu cầu chúng ta xác định tập hợp các giá trị biên (boundary values) trong một chương trình xác thực trường số. Chương trình xác thực trường số theo các quy tắc sau: giá trị nhỏ hơn 10 bị từ chối, giá trị nằm trong khoảng từ 10 đến 21 được chấp nhận, giá trị lớn hơn hoặc bằng 22 bị từ chối. Để trả lời câu hỏi này, chúng ta cần tìm tập hợp các giá trị biên bao gồm cả giá trị nhỏ nhất, giá trị lớn nhất và các giá trị quan trọng khác trong khoảng xác định. Trong trường hợp này, giá trị nhỏ nhất là 9, giá trị lớn nhất là 22 và các giá trị quan trọng khác là 10 và 21. Vì vậy, tập hợp các giá trị biên bao gồm cả 9, 10, 21 và 22.

Các loại mô hình trả lời là il là mô hình mô tả quá trình hoạt động của một phần mềm. Trong đó, mô hình dòng chảy quy trình (Process flow model) không thể được sử dụng trong thử nghiệm chức năng vì nó mô tả quá trình hoạt động của phần mềm mà không thể xác định được các chức năng cụ thể của phần mềm. Mô hình trạng thái giao dịch (State transaction model) và mô hình cấu trúc menu (Menu structure model) có thể được sử dụng trong thử nghiệm chức năng vì chúng mô tả các chức năng cụ thể của phần mềm. Mô hình mô tả bằng ngôn ngữ thông thường (Plain language specification model) cũng không thể được sử dụng trong thử nghiệm chức năng vì nó mô tả phần mềm bằng ngôn ngữ thông thường mà không thể xác định được các chức năng cụ thể của phần mềm.

Câu hỏi này yêu cầu bạn chọn đáp án đúng cho các lựa chọn sau. Các lựa chọn bao gồm các bước trong một quá trình mua hàng trực tuyến. Bạn cần chọn đáp án đúng cho các bước này. Các bước bao gồm: đăng nhập, xem sản phẩm, thêm sản phẩm vào giỏ hàng, thanh toán và đăng xuất. Đáp án đúng sẽ bao gồm các bước này trong một trình tự hợp lý.

Kết quả mong đợi của một thử nghiệm được định nghĩa là những gì xảy ra khi một thử nghiệm được thực hiện. Nó là kết quả cuối cùng của quá trình thử nghiệm, bao gồm cả dữ liệu đầu vào và dữ liệu đầu ra. Kết quả của một thử nghiệm thường được thể hiện dưới dạng số liệu, hình ảnh hoặc các thông tin khác. Để xác định kết quả mong đợi của một thử nghiệm, người ta thường sử dụng các phương pháp như mô hình hóa, phân tích dữ liệu và đánh giá. Kết quả của một thử nghiệm có thể được sử dụng để đánh giá hiệu suất của một hệ thống, sản phẩm hoặc quy trình. Nó cũng có thể được sử dụng để xác định nguyên nhân của một vấn đề và tìm ra giải pháp.

Các trường hợp kiểm thử được tạo từ các trường hợp sử dụng thường được sử dụng để phát hiện các lỗi trong quá trình luồng làm việc trong môi trường thực tế của hệ thống. Điều này có nghĩa là các trường hợp kiểm thử này được tạo dựa trên cách người dùng thực tế sẽ tương tác với hệ thống, giúp phát hiện các lỗi và vấn đề trong quá trình sử dụng thực tế. Điều này giúp đảm bảo rằng hệ thống hoạt động đúng cách và đáp ứng được nhu cầu của người dùng.

Để thiết kế thử nghiệm cho các lớp tương đương hợp lệ và biên giới hợp lệ, chúng ta cần xem xét các giá trị có thể xảy ra trong hệ thống kiểm soát tồn kho. Giá trị có thể là các số từ 10000 đến 99999. Trong các lựa chọn trên, chỉ có "10000, 99999" phù hợp với yêu cầu này vì nó bao gồm cả biên giới và lớp tương đương hợp lệ.

Một người có độ tuổi từ 1 đến 99, chúng ta cần sử dụng BVA (Binary Variable Association) để xác định giá trị phù hợp. BVA là một kỹ thuật thống kê giúp phân tích mối quan hệ giữa các biến số. Trong trường hợp này, chúng ta cần tìm giá trị phù hợp cho độ tuổi của người đó. Giá trị 0 không phải là độ tuổi hợp lệ, vì vậy chúng ta cần loại bỏ nó. Giá trị 100 không phải là độ tuổi hợp lệ, vì độ tuổi chỉ có thể từ 1 đến 99. Do đó, giá trị phù hợp cho độ tuổi của người đó là 1, 2, 99.

Để trả lời câu hỏi này, chúng ta cần xem xét các điều kiện và hành động liên quan đến việc nâng cấp phòng. Thứ nhất, chúng ta cần xác định loại thành viên và loại phòng mà khách hàng đang sở hữu. Trong trường hợp này, chúng ta có hai loại thành viên: thành viên Citibank và thành viên không phải là thành viên Citibank. Loại phòng cũng có hai loại: Silver và Platinum. Tiếp theo, chúng ta cần xem xét các hành động liên quan đến việc nâng cấp phòng. Đối với thành viên Citibank sở hữu phòng Silver, chúng ta không thể nâng cấp phòng. Đối với thành viên không phải là thành viên Citibank sở hữu phòng Platinum, chúng ta có thể nâng cấp phòng lên Gold. Đối với thành viên Citibank sở hữu phòng Platinum, chúng ta không thể nâng cấp phòng. Đối với thành viên không phải là thành viên Citibank sở hữu phòng Silver, chúng ta không thể nâng cấp phòng. Tóm lại, để trả lời câu hỏi này, chúng ta cần xem xét các điều kiện và hành động liên quan đến việc nâng cấp phòng và dựa trên đó đưa ra quyết định phù hợp.

Nếu một thí sinh được cho một bài kiểm tra 40 câu hỏi, cần đạt 25 điểm để đạt yêu cầu (61%) và cần đạt 80% để đạt điểm danh dự. Để tìm lớp tương đương, chúng ta cần xác định các điểm số mà thí sinh đạt được để đạt được điểm danh dự và điểm yêu cầu. Lớp tương đương là tập hợp các điểm số mà thí sinh đạt được để đạt được điểm danh dự hoặc điểm yêu cầu. Trong trường hợp này, các điểm số 23, 24 và 25 là lớp tương đương vì thí sinh đạt được 61% điểm số trong cả ba trường hợp này.

Để một trường hợp kiểm thử hiệu quả, điều quan trọng nhất là nó phải được thiết kế để phát hiện lỗi nếu có. Điều này có nghĩa là trường hợp kiểm thử phải được tạo ra để kiểm tra xem sản phẩm hoặc phần mềm có hoạt động đúng như mong đợi hay không. Nếu trường hợp kiểm thử không được thiết kế để phát hiện lỗi, thì nó sẽ không thể giúp chúng ta xác định được vấn đề và sửa chữa chúng. Vì vậy, việc thiết kế trường hợp kiểm thử để phát hiện lỗi là bước quan trọng đầu tiên trong quá trình kiểm thử.