4. 3.1 Yêu cầu về kiến trúc chương trình
5.2. KIỂM THỬ HỘP TRẮNG
Trong kiểm thử hộp trắng,các trường hợp kiểm thử được thiết kế để xem xét trên cấu trúc nội bộ của module và cấu trúc điều kiện
TT Tình huốngDữ liệu đầu vàoKết quả đầu raDữ liệu đầu vào và kết quả đầu ra đều
đúng.Cạnh AB: 3 Cạnh AC: 4
Cạnh BC: 5 Tam giác vuôngDữ liệu đầu vào và kết quả đầu ra đều đúng.Cạnh AB: 2 Cạnh AC: 2
Cạnh BC: Căn bậc hai của 8Tam giác vuông cân
Dữ liệu đầu vào đúng nhưng kết quả đầu ra sai.Cạnh AB: 2 Cạnh AC: 3
Cạnh BC: 4Tam giác vuông
Dữ liệu đầu vào và kết quả đầu ra đều đúng.Cạnh AB: Căn bậc hai của 9 Cạnh AC: 3
Cạnh BC: 5Tam giác cân
Dữ liệu đầu vào và kết quả đầu ra đều sai.Cạnh AB: 3/5 Cạnh AC: 3
CHƯƠNG 6: TIẾN HÀNH KIỂM THỬ 6.1. KIỂM THỬ HỘP ĐEN
6.1.1. Kết quả kiểm thử giao diện
TT Yêu cầu Test Yêu cầu kết quả Kết quả1Các thông tin chương trìnhChương trình bao gồm:
( Các Label: Cạnh AB, Cạnh BC, Cạnh AC, Tam Giác. ( Ba Checkbox: Căn Bậc 2.
( Các textbox: A, B, C, TamGiac.
( Các button: Bắt đầu, Hủy. True2Cho phép thực hiện kiểm tra tam giác.Click button “ Bắt đầu ” để tiến hành kiểm tra tam giác.True3Cho phép nhập lại các thông tin đã nhập.Click button “ Hủy ” để tiến hành nhập lại các thông tin đã nhập.True4Cho phép người dùng có thể chọn căn bậc hai của cạnh đã nhậpClick checkbox “ Căn Bậc 2 ” để chọn căn bậc hai cho cạnh đã nhậpTrue5Người dùng không cần sử dụng chuột nhưng vẫn có thể thực hiện được chương trình.Sử dụng phím tab để di chuyển.True6Cho phép người dùng có thể nhập độ dài của các cạnh. Các textbox: A, B, C được dùng cho phép người dùng có thể nhập độ dài các cạnh. True7Cho phép xem đó là tam giác gì sau khi đã tiến hành kiểm tra.Texbox “ TamGiac” cho phép người dùng xem đó là tam giác gì sau khi đã tiến hành kiểm tra.True
6.1.2 Kết quả kiểm thử chức năng
TT Dữ liệu Test Yêu cầu kết quả Kết quả1 Nhập vào giá trị của ba cạnh tam giác và kích chọn button “ Bắt đầu ”.Trên form chương trình sẽ hiện ra đó là loại tam giác gì.True2Nhập vào giá trị của ba cạnh tam giác và kích chọn button “ Hủy ”.Chương trình sẽ xóa trắng các textbox để người dùng nhập dữ liệu mới.True3Nhập vào giá trị của ba cạnh tam giác, kích chọn vào checkbox của một cạnh nào đó và kích button “ Hủy ”.Chương trình sẽ xóa trắng các textbox, checkbox để người dùng nhập dữ liệu mới.Faile4Nhập dữ liệu các cạnh là ký tự.Trên form chương trình sẽ báo lỗi dữ liệu bị sai.Faile5Không nhập dữ liệu các cạnh nhưng lại kích chọn button “ Bắt đầu ”.Chương trình ngầm hiểu rằng các cạnh của tam giác lúc này là bằng không và vẫn tiến hành kiểm tra.True6Nhập dữ liệu các cạnh có dạng phân số.Trên form chương trình sẽ báo lỗi dữ liệu bị sai.Faile
6.2. KIỂM THỬ HỘP TRẮNG
Để kiểm thử module của chương trình ứng dụng thì ta cần tạo một project trong Visul Studio 2010 với tên testUnitTamGiac. Sau đây là TestCase:
using System; using System.Collections.Generic; using System.Linq; using System.Text; using NUnit.Framework; namespace testUnitTamGiac {
static class Program
{
static void Main() {
}
[TestFixture]
public class testUnitTamGiac
{
private ClassLibrary1.Class1 x; [TestFixtureSetUp]
public void SetUp() {
x = new ClassLibrary1.Class1(); }
[TestFixtureTearDown] public void TearDown() {
x = null; }
[Test]
public void TestTamGiac() { int a = x.phanloai(3, 4, 5); Assert.AreEqual(a, 4); } } } }
TTTình huốngDữ liệu đầu vàoKết quả đầu raKết quảHình1Dữ liệu đầu vào và kết quả đầu ra đều đúng.Cạnh AB: 3
Cạnh AC: 4 Cạnh BC: 5 Tam giác vuông
Kết quả chấp nhận bộ dữ liệu vào và cho ra kết quả là tam giác vuông → kết quả test là đúng 32Dữ liệu đầu vào và kết quả đầu ra đều đúng.Cạnh AB: 2
Cạnh AC: 2
Cạnh BC: Căn bậc hai của 8Tam giác vuông cân
Kết quả chấp nhận bộ dữ liệu vào và chương trình không báo lỗi → kết quả test là đúng43Dữ liệu đầu vào đúng nhưng kết quả đầu ra sai.Cạnh AB: 2
Cạnh AC: 3 Cạnh BC: 4 Tam giác vuông
Kết quả chấp nhận bộ dữ liệu vào nhưng chương trình báo lỗi → kết quả test là đúng54Dữ liệu đầu vào và kết quả đầu ra đều đúng.Cạnh AB: Căn bậc hai của 9
Cạnh AC: 3
Cạnh BC: 5Tam giác cân
Kết quả chấp nhận bộ dữ liệu và chương trình không báo lỗi → kết quả test là đúng65Dữ liệu đầu vào và kết quả đầu ra đều sai.Cạnh AB: 3/5
Cạnh AC: 3 Cạnh BC: 4
Không là tam giác
Kết quả chấp nhận bộ dữ liệu và chương trình không báo lỗi → kết quả test là sai. Dữ liệu Cạnh AB không được có dạng phân số.7
Kết quả kiểm thử lần 1 ở hình 3 cho thấy dữ liệu đầu vào và kết quả đầu ra là trùng với nhau (tam giác vuông),vậy kết quả test là đúng
Hình 6.1: Kết quả test tam giác là đúng
Kết quả kiểm thử lần 2 ở hình 6.1 cho thấy dữ liệu đầu vào và kết quả đầu ra là trùng với nhau (tam giác vuông cân),vậy kết quả test là đúng.
Hình 6.2: Kết quả test là đúng
Kết quả kiểm thử lần 3 ở hình 6.2 cho thấy kết quả chấp nhận bộ dữ liệu đầu vào nhưng chương trình báo lỗi (dữ liệu đầu vào là tam giác thường nhưng kết quả đầu ra lại là tam giác vuông),vậy kết quả test là sai.
Hình 6.3: Kết quả test là sai
Kết quả kiểm thử lần 4 ở hình 6.3 cho thấy dữ liệu đầu vào và kết quả đầu ra là trùng với nhau (tam giác cân),vậy kết quả test là đúng.
Hình 6.4: Kết quả test là đúng
Kết quả kiểm thử lần 5 ở hình 6.4 cho thấy mặc dù dữ liệu đầu vào cho cạnh AC ở dạng phân số nhưng chương trình test vẫn chấp nhận dữ liệu này trong khi chương trình ứng dụng thì không, vậy kết quả test là sai.
Hình 6.5: Kết quả test là đúng
PHẦN III: KẾT LUẬN
mềm. Việc nghiên cứu lựa chọn các kỹ thuật và chiến lược kiểm thử phần mềm phù hợp giúp cho việc kiểm thử có hiệu quả, giảm chi phí và thời gian. Việc xây dựng tài liệu kiểm thử phần mềm hợp lí sẽ giúp cho việc tổ chức, quản lí và thực hiện kiểm thử có hiệu quả.
Trên cơ sở nghiên cứu các tư liệu và kết quả thực nghiệm cho thấy kiểm thử phần mềm là rất quan trọng, việc thực hiện kiểm thử tốt sẽ làm tăng chất lượng của sản phẩm. Tuy nhiên, để vận dụng và thực hiện một cách hiệu quả các qui trình, phương pháp và công cụ kiểm thử thì vẫn còn nhiều vấn đề đặt ra cần tiếp tục giải quyết. Có thể đề xuất những hướng nghiên cứu và triển khai tiếp theo của đồ án là:
- Sử dụng công cụ kiểm thử NUnit để kiểm thử các đối tượng của website và hiệu suất của một website.
- Nghiên cứu một số công cụ kiểm thử web, kiểm thử cơ sở dữ liệu, kiểm thử tải. Để nâng cao hiệu suất kiểm thử nhiều loại sản phẩm phần mềm khác nhau, ta cần nghiên cứu thêm nhiều công cụ kiểm thử tự động khác bởi vì mỗi một công cụ kiểm thử chỉ có thể thực hiện chuyên một số kiểm thử nào đó
TÀI LIỆU THAM KHẢO
1. Pragramtic Unit Testing In C# with NUnit – Andrew Hunt and David Thomas
2. Unit Testing in BlueJ – version 1.0 for BlueJ Version 1.3.0 – Michael Kolling
and Mᴂrsk Institute – University of Southern Denmark.
3. Unit Testing A Guide – Mark R.Dawson.
4. Unit testing with Mock Objects – Tim Mackinnon, Steve Freeman, Philio Craig. 5. The Art of Unit Testing with Example in .NET – Roy Osherove.
6. Software Unit Testing – Rodney Parkin – IV&V Australia. 7. Một số video hướng dẫn lập Unit test sử dụng công cụ NUnit.
8. ﾵ http://www.testingvn.com/viewtopic.php?f=15&t=2789 ﾵ