Dựa vào các kỹ thuật đã trình bày ở phần trên, phần này xây dưng chương trình. Tập trung vào thiêt kế xây dựng một mô hình để kiểm định chương trình C/C++ và một chương trình minh hoạ có những chưc năng chính như sau.
Những Chức Năng Chính
o Xây dựng một chương trình có khả năng tạo tự động mốt số trường hợp kiểm thử một chương trình C/C++
o Kết quả của chương trình là một chương trình C/C++ chứa các testcase dùng để kiểm thử một số hàm của chương trinh bằng cách dùng phương pháp kiểm thử hộp đen trên các dư liệu nhập vào ở dạng chuẩn của C/C++
Ví Dụ Của file kêt quả sau khi chạy để tạo testcase tự động
// (C) Unit Test Generator 2002-2004.
// The file is automatically generated by the program Unit Test Generator 1.0 // Boost.Test #include <boost/test/unit_test.hpp> using boost::unit_test::test_suite; void free_test_function() { BOOST_CHECK(2 == 1); int* p = (int*)0; *p = 0; }
test_suite* init_unit_test_suite( int, char* [] ) {
test_suite* test= BOOST_TEST_SUITE( "Unit test example 1" );
test->add( BOOST_TEST_CASE( &free_test_function ), 1 /* expected one error */ );
return test; }
Phụ Lục A Bảng Chú Giải
Testing SoftWare Kiểm thử phần mềm
Test case Một trường hợp kiểm thử.
Phụ Lục B Yêu Cầu Hệ Thống
Những thông tin trong phụ lục này xác định yêu cầu tối thiểu để chạy được chương trình minh hoạ.
Cấu Hình PC
CPU Intel Pentium 100MHz.or faster with the following:
− 32MB memory
− 3.5 inch, 1.44 diskette drive
− CD ROM drive
− 500MB hard disk (50 MB free space recommended; for more information, refer to “Hard Disk Requirement” on page xx)
− SVGA graphics monitor with interface card (the resolution is 800x600)
− Windows 2000 software
Bảng 5 Dung Lượng Của Chương Trình Minh Hoạ
Thành Phần Kích Thước
Program
Source code for unit test framework
200k
Phụ Lục C Cấu Trúc Thư Mục
Cấu Trúc Thư Mục
Hình 10 Cấu Trúc Thư Mục của báo cáo
baocao tailieu ktlt_v1_0.doc ktlt_v1_0.pdf phancong_v1_0.xls ktlt_v1_0.ppt chuongtrinh sourcecode bin README
• baocao: Đây là thư mục gốc của báo cáo.
• tailieu: Thư mục chứa tài liệu này ở dạng PDF và Ms Word
• phancong_v1.0.xls :phân công là xls chứa phân công các công việc trong nhóm.
• ktlt_v1.0.ppt báo cáo tóm lược dưới dạng MS -PowerPoint
• chuongtrinh: Thư mục này chứa source code của chương trình minh hoạ và chương trình sau khi đã biên dịch thành dạng nhị phân.
• source:
Tài Liệu Tham Khảo
[1] [BEI90] Beizer, B.,Software Testing Techniques, 2d ed., Van Nostrand Reinhold, 1990, [2] [DEU79] Detsch, M., “Verification and Validation” in software Engineering,(R. Jensen
and C. Tonies, eds.) Prentice-Hall, 1979, pp 329-408.
[3] Software Engineering A Practitioner’s Approach, Roger S. Pressman.