Đồ thị dòng chảy dựa trên lưu đồ thuật toán Các đường đi độc lập cơ bản từ đồ thị dòng chảy:... Đồ thị dòng chảy dựa trên lưu đồ thuật toánCác đường đi độc lập cơ bản từ đồ thị dòng chảy
Trang 1Các Trường Hợp Kiểm Thử
cho PHẦN MỀM GIẢI SỐ PHỨC
Phiên bản 2.0 được phê chuẩn
Được chuẩn bị bởi
Nguyễn Tấn Phát B1400715 Nguyễn Đình Trọng B1400736 Nguyễn Hữu Úy B1400739
Nhóm 01 Ngày 06/11/2015
Trang 2Mục lục
Mục lục ii
Theo dõi phiên bản tài liệu vi
1 Giới thiệu 1
1.1 Mục tiêu 1
1.2 Phạm vi sản phẩm 1
1.3 Bảng chú giải thuật ngữ 1
1.4 Tài liệu tham khảo 1
2 Trường hợp kiểm thử 1: PPIN 1
2.1 Mục tiêu 1
2.2 Kết nhập 2
2.3 Kết xuất 3
2.4 Các yêu cầu về môi trường 3
2.4.1 Phần cứng 3
2.4.2 Phần mềm 3
2.4.3 Những cái khác 3
2.5 Các yêu cầu thủ tục đặc biệt 3
2.6 Quan hệ phụ thuộc giữa các trường hợp 3
3 Trường hợp kiểm thử 2: STOUT 3
3.1 Mục tiêu 3
3.2 Kết nhập 3
3.3 Kết xuất 5
3.4 Các yêu cầu về môi trường 5
3.4.1 Phần cứng 5
3.4.2 Phần mềm 5
3.4.3 Những cái khác 5
3.5 Các yêu cầu thủ tục đặc biệt 5
3.6 Quan hệ phụ thuộc giữa các trường hợp 5
4 Trường hợp kiểm thử 3: MULT 5
4.1 Mục tiêu 5
4.2 Kết nhập 6
4.3 Kết xuất 6
4.4 Các yêu cầu về môi trường 7
4.4.1 Phần cứng 7
4.4.2 Phần mềm 7
5 Trường hợp kiểm thử 4: FRAC 7
Trang 35.1 Mục tiêu 7
5.2 Kết nhập 7
5.3 Kết xuất 8
5.4 Các yêu cầu về môi trường 8
5.4.1 Phần cứng 8
5.4.2 Phần mềm 8
5.4.3 Những cái khác 8
5.5 Các yêu cầu thủ tục đặc biệt 8
5.6 Quan hệ phụ thuộc giữa các trường hợp 9
6 Trường hợp kiểm thử 5: CAL06 9
6.1 Mục tiêu 9
6.2 Kết nhập 9
6.3 Kết xuất 10
6.4 Các yêu cầu về môi trường 10
6.4.1 Phần cứng 10
6.4.2 Phần mềm 11
6.4.3 Những cái khác 11
6.5 Các yêu cầu thủ tục đặc biệt 11
6.6 Quan hệ phụ thuộc giữa các trường hợp 11
7 Trường hợp kiểm thử 6: PW 11
7.1 Mục tiêu 11
7.2 Kết nhập 11
7.3 Kết xuất 12
7.4 Các yêu cầu về môi trường 12
7.4.1 Phần cứng 12
7.4.2 Phần mềm 12
7.4.3 Những cái khác 12
8 Trường hợp kiểm thử 7: CAL07 13
8.1 Mục tiêu 13
8.2 Kết nhập 13
8.3 Kết xuất 15
8.4 Các yêu cầu về môi trường 15
8.4.1 Phần cứng 15
8.4.2 Phần mềm 15
8.4.3 Những cái khác 15
8.5 Các yêu cầu thủ tục đặc biệt 15
8.6 Quan hệ phụ thuộc giữa các trường hợp 15
Trang 49 Trường hợp kiểm thử 8: SQRT 15
9.1 Mục tiêu 15
9.2 Kết nhập 15
9.3 Kết xuất 17
9.4 Các yêu cầu về môi trường 17
9.4.1 Phần cứng 17
9.4.2 Phần mềm 17
9.4.3 Những cái khác 17
9.5 Các yêu cầu thủ tục đặc biệt 17
9.6 Quan hệ phụ thuộc giữa các trường hợp 17
10 Trường hợp kiểm thử 9: CAL08 17
10.1 Mục tiêu 17
10.2 Kết nhập 18
10.3 Kết xuất 18
10.4 Các yêu cầu về môi trường 19
10.4.1 Phần cứng 19
10.4.2 Phần mềm 19
10.4.3 Những cái khác 19
10.5 Các yêu cầu thủ tục đặc biệt 19
10.6 Quan hệ phụ thuộc giữa các trường hợp 19
11 Trường hợp kiểm thử 10: EQN 19
11.1 Mục tiêu 19
11.2 Kết nhập 19
11.3 Kết xuất 21
11.4 Các yêu cầu về môi trường 21
11.4.1 Phần cứng 21
11.4.2 Phần mềm 21
11.4.3 Những cái khác 22
11.5 Các yêu cầu thủ tục đặc biệt 22
11.6 Quan hệ phụ thuộc giữa các trường hợp 22
12 Trường hợp kiểm thử 10: ARG 22
12.1 Mục tiêu 22
12.2 Kết nhập 22
12.3 Kết xuất 23
12.4 Các yêu cầu về môi trường 24
12.4.1 Phần cứng 24
12.4.2 Phần mềm 24
Trang 512.4.3 Những cái khác 24
12.5 Các yêu cầu thủ tục đặc biệt 24
12.6 Quan hệ phụ thuộc giữa các trường hợp 24
13 Trường hợp kiểm thử 11: TRIG 24
13.1 Mục tiêu 24
13.2 Kết nhập 24
13.3 Kết xuất 26
13.4 Các yêu cầu về môi trường 26
13.4.1 Phần cứng 26
13.4.2 Phần mềm 26
13.4.3 Những cái khác 26
13.5 Các yêu cầu thủ tục đặc biệt 26
13.6 Quan hệ phụ thuộc giữa các trường hợp 26
Trang 6Theo dõi phiên bản tài liệu
Tên Ngày Lý do thay đổi Phiên bản
Tài liệu kiểm thử 23/10/2015 Khởi tạo 1.0
Tài liệu kiểm thử 06/11/2015 Cập nhật tài liệu từ mục 1-12Cập nhật mục lục
Cập nhật các bảng Kết xuất
2.0
Trang 71 Giới thiệu
1.1 Mục tiêu
Tài liệu kiểm thử phần mềm là một thành phần quan trọng trong quá trình phát triển phầnmềm Kiểm thử phần mềm là công đoạn kiểm tra xem phần mềm đã đạt được yêu cầu ban đầu hay chưa trước khi bàn giao
Tài liệu kiểm thử phần mềm tạo ra một tập mẫu các dữ liệu kiểm thử, qua đó tiến hành kiểm thử nhằm phát hiện các lỗi và đánh giá khả năng hiệu quả của hệ thống
1.2 Phạm vi sản phẩm
Phần mềm được kiểm thử là phần mềm Giải số phức, đây là một ứng dụng nhỏ gọn chạy trên nền tảng windows Cung cấp một số chức năng đơn giản giúp học sinh, giáo viên hoặc giảng viên trong quá trình học tập, giảng dạy toán có liên quan đến chủ đề số phức được dễ dàng
Phần mềm này được phát triển trong khuôn khổ của môn học Công nghệ phần mềm và nhucầu tính toán cơ bản của người học số phức
Phần mềm có mười chức năng trong đó có chín chức năng thuần túy về số phức và một chức năng ứng dụng trường số phức vào giải phương trình bậc hai Tài liệu này sẽ tiến hành kiểm thử các chức năng được liệt kê bên dưới:
1.4 Tài liệu tham khảo
[1] Phan Phương Lan Bài giảng Công nghệ phần mềm Đại học Cần Thơ.
[2] Phan Phương Lan Tài kiểm thử mẫu và Ví dụ Đại học Cần Thơ.
[3] Đặng Việt Hùng Dạng lượng giác của số phức Moon.vn, 2014
[4] http://lrc.tailieu.vn
[5] http://voer.edu.vn
2 Trường hợp kiểm thử 1: PPIN
2.1 Mục tiêu
Kiểm thử PPIN (Proper Input) là kiểm thử tính đúng đắn số phức đầu vào
Đây là trường hợp kiểm thử được ưu tiên hơn hết, nếu giá trị nhập vào không hợp lệ mà phần mềm không phát hiện thì rủi ro mắc phải có thể là tính toán sai hoặc treo hệ thống.Kiểm thử trường hợp này làm cơ sở cho kiểm thử hầu hết các trường hợp còn lại
Trang 82.2 Kết nhập
I Lưu đồ thuật toán
II Đồ thị dòng chảy dựa trên lưu đồ thuật toán
Các đường đi độc lập cơ bản từ đồ thị dòng chảy:
Trang 93 -3.58 6.187 Không có thông báo
2.4 Các yêu cầu về môi trường
Trang 10II Đồ thị dòng chảy dựa trên lưu đồ thuật toán
Các đường đi độc lập cơ bản từ đồ thị dòng chảy:
Trang 124.2 Kết nhập
I Lưu đồ thuật toán
II Đồ thị dòng chảy dựa trên lưu đồ
Các số liệu đầu vào:
Trang 135.2 Kết nhập
I Lưu đồ thuật toán
Trang 14II Đồ thị dòng chảy dựa trên lưu đồ
Các số liệu đầu vào:
Trang 155.6 Quan hệ phụ thuộc giữa các trường hợp
6 Trường hợp kiểm thử 5: CAL06
6.1 Mục tiêu
Kiểm thử CAL06 là kiểm thử chức năng chia hai số phức Kiểm thử trường hợp này nhằm đánh giá độ hoàn thiện của chức năng và làm cơ sở cho việc kiểm thử các trường hợp bên dưới
6.2 Kết nhập
I Lưu đồ thuật toán
II Đồ thị dòng chảy dựa trên lưu đồ
Trang 16Các đường đi độc lập cơ bản trên đồ thị;
Trang 177.2 Kết nhập
I Lưu đồ thuật toán
II Đồ thị dòng chảy dựa trên lưu đồ
Trang 18Các đường đi độc lập cơ bản từ đồ thị dòng chảy:
III Các thông báo đầu cuối:
Kết quả trả về: giá trị trên đồ thị dòng chảy
Trang 198 Trường hợp kiểm thử 7: CAL07
Trang 20II Đồ thị dòng chảy dựa trên lưu đồ
Các đường đi độc lập cơ bản từ đồ thị dòng chảy:
Trang 219.2 Kết nhập
I Lưu đồ thuật toán
Trang 22II Đồ thị dòng chảy dựa trên lưu đồ
Các đường đi độc lập cơ bản từ đồ thị dòng chảy:
Trang 2410.2 Kết nhập
I Lưu đồ thuật toán
II Đồ thị dòng chảy dựa trên lưu đồ thuật toán
Các đường đi độc lập cơ bản từ đồ thị dòng chảy:
III Các thông báo đầu cuối:
Thông báo kết quả: có thể là số 0, hai số thực hoặc hai số phức
10.3 Kết xuất
TH Input Output mong đợi Output thực tế
Trang 26II Đồ thị dòng chảy dựa trên lưu đồ
Trang 27Các đường đi độc lập cơ bản từ đồ thị dòng chảy:
III Các thông báo đầu cuối:
Báo lỗi: Các thông báo về số liệu không hợp lệ
Kết quả hiển thị có thể là:
• Nghiệm kép: một số thực
• Hai nghiệm thực: hai số thực
• Hai nghiệm phức: hai số phức
Trang 2812.2 Kết nhập
I Lưu đồ thuật toán
II Đồ thị dòng chảy dựa trên lưu đồ
Trang 29Các đường đi độc lập cơ bản từ đồ thị dòng chảy:
III Các thông báo đầu cuối:
Kết quả trả về: các giá trị trên đồ thị dòng chảy
12.3 Kết xuất
TH Input Output mong đợi Output thực tế
Trang 31II Đồ thị dòng chảy dựa trên lưu đồ
Các đường đi độc lập cơ bản từ đồ thị dòng chảy:
1 1 – 2 – 4 – 6 – 8 – 9
2 1 – 2 – 4 – 6 – 7 – 9
3 1 – 2 – 3 – 5 – 9
4 1 – 2 – 3 – 4 – 6 – 7 – 9
Trang 32III Các thông báo đầu cuối:
Thông báo Kết quả: có thể là một số thực, số 0 hoặc dạng chuẩn của số phức lượng giác 13.3 Kết xuất
TH Input Output mong đợi Output thực tế