1. Trang chủ
  2. » Luận Văn - Báo Cáo

Xây dựng hệ thống sinh mô hình MATLAB/Simulink tự động

58 0 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 58
Dung lượng 12,25 MB

Cấu trúc

  • 1.3. Giới thiệu kỹ thuật pairwise testing ........................... 2 - St si sriree 18 1. Giới thiệu kỹ thuật kiểm thử hộp đen.....................--...cc SSSSccSsssesexee 18 2. Giới thiệu kỹ thuật pairwise testing ............................ Ăn set 19 3. Giới thiệu và cai đặt công cụ PICT sử dụng trong pairwise testing (18)
  • 1.4. Kết luận chương............................--- 5: 2E E221 EE2EE1E2121212111212111 1 1111k. 27 CHƯƠNG 2: XÂY DỰNG PHƯƠNG PHÁP SINH TỰ ĐỘNG MÔ HÌNH MATLAB/SIMULINK..........................- LG SH HH HH HH kh 28 2.2. Sinh tự động mô hình MATLAB/Simulink bằng phương pháp tô hop (27)
    • 2.1.1. Ý tưởng thực hiện........................-- ¿2-52 2E 2121212112171 111 te.28 2.1.2. Các bước thực hiện sinh tự động mô hình MATLAB/Simulink bằng phương pháp tô hợp........................... .- - - --- c1 11211115930 11993019 ngu 29 2.3. Sinh mô hình MATLAB/Simulink sử dụng kỹ thuật pairwise testing (28)

Nội dung

Giới thiệu kỹ thuật pairwise testing 2 - St si sriree 18 1 Giới thiệu kỹ thuật kiểm thử hộp đen cc SSSSccSsssesexee 18 2 Giới thiệu kỹ thuật pairwise testing Ăn set 19 3 Giới thiệu và cai đặt công cụ PICT sử dụng trong pairwise testing

1.3.1 Giới thiệu kỹ thuật kiểm thir hộp den

Kiểm thử hộp đen (Black-box testing) là một phương pháp kiểm thử phần mềm được thực hiện mà không cần biết đến cách thức hoạt động, mã nguồn, xử lý dữ liệu bên trong một thành phan/hé thống Công việc cần làm là nhập dữ liệu đầu vào và kiêm tra kết quả trả về có đúng như mong muốn hay không.

Hình 2 Mô ta kỹ thuật kiểm thử hộp den

Một số kỹ thuật kiểm thử hộp đen: ô Phan lớp tương đương - Equivalence Partition ô Phan tớch giỏ trị biờn - Boundary Value Analysis ô _ Kiểm thử theo cặp - Pairwise Testing + Bang quyết định - Decision Table

1.3.2 Giới thiệu kỹ thuật pairwise testing

Pairwise testing là một phương pháp kiểm thử hộp den, bang cách sử dụng phương pháp tô hợp đề kiểm tra tất cả sự kết hợp rời rạc có thể của các tham số liên quan Phương pháp này được thực hiện bởi dựa trên sự quan sát cho thấy phần lớn lỗi đều bắt nguồn từ sự tương tác giữa hai tham số Do đó, pairwise testing tao ra các ca kiểm thử phủ hết giá trị của hai tham số.

Kiểm thử theo cặp (Pairwise testing) yêu cầu mỗi cặp giá trị của (xi, xj) Một ca kiêm thử thường có nhiều cặp giá trị này với các i, j khác nhau nên dé thấy số lượng ca kiểm thử sẽ giảm đáng ké so với tổ hợp tất cả các ca kiểm thử Kiểm thử theo cặp được ứng dụng rất nhiều trong quá trình đảm bảo chất lượng phần mềm. Với một dự án phần mềm chi phí cho việc đảm bảo chất lượng phần mềm thường khá cao Do vậy kiểm thử theo cặp sử dụng trong việc đảm bảo chất lượng phần mềm với chỉ phí hợp lý hơn.

Lý do sử dụng kỹ thuật kiểm thử theo cặp:

- - Nguyên nhân lỗi phan lớn thường xảy ra khi kết hợp hai đầu vào Kiểm thử theo cặp có thể đảm bảo khoảng 70% lỗi.

DO AN TOT NGHIỆP ô Khong cần kiểm thử tat cả tổ hop yờu cầu dau vào của hệ thống Với hệ thống có m đầu vào và với mỗi đầu vào có n giá trị Như vậy sẽ cần có m x n trường hợp kiểm thử Với hệ thống có số lượng đầu vào lớn thì kiêm thử tô hợp sẽ tốn rất nhiều chi phí, thời gian và công sức. ô _ Sử dụng kiểm thử tổ hợp cú thộ xảy ra nhiều ca kiờm thử cựng phỏt sinh ra một lỗi, do vậy gây ra lãng phí ca kiểm thử Hạn chế này của kiểm thử tô hợp sẽ được khắc phục ở kĩ thuật kiểm thử cặp đôi.

1.3.2.2 Các bước thực hiện kỹ thuật pairwise testing

Kỹ thuật pairwise testing gồm 3 bước chính: ô _ Bước 1: Lựa chọn tham số đầu vào và cỏc giỏ trị trong ứng

+ _ Bước 2: Lấy tô hop (pairwise) của các giá trị giữa 2 tham số + Bước 3: Xây dựng bộ test case sao cho bao phủ được tat cả các cặp ở trên.

Vi dụ áp dụng kỹ thuật pairwise testing:

Gia sử với hệ thống có 4 đầu vào Loại đặt hàng, Địa điểm, Loại xe, Số đăng ký xe với mỗi đầu vào có các giá trị như sau:

Bang 1 Bang giá trị đầu vào các tham số

Loại đặt hàng Địa điểm Loại xe Số đăng ký xe

Mua Hà Nội Wave Hợp lệ

Bán Đà Nẵng Vision Không hợp lệ Bảo hành TP Hồ Chí Minh Air Blade

ExcIter ¢ - Bước 1: Xác định sô lượng dau vào và các giá tri tương ứng

Bang 2 Bảng số lượng dau vào của các tham số

Loại đặt hàng Địa điểm Loại xe Số đăng ký xe

+ Bước 2: Xác định số lượng testcase thủ công bang cách lấy tổ hop (pairwise) của các gia trị giữa 2 tham sô có sô dau vào lớn nhât o Số lượng testcase bằng tích hai giá tri lớn nhất trong bảng

Trong ví dụ này, số lượng testcase = 4 x 3 (tổ hợp giá trị của 2 tham số

“Pia điêm” và “Loại xe”)

‹ _ Bước 3: Thực hiện kết hợp các giá trị

Bảng 3 Bảng thực hiện kết hợp các giá trị của 2 tham số “Địa điểm ” và “Loại xe ”

Loai dat hang Dia diém Loai xe Số đăng ký xe

Hà Nội Wave Đà Nẵng Wave TP.Hồ Chí Minh Wave

Da Nang Vision TP.H6 Chi Minh Vision

Da Nang Air Blade TP.H6 Chi Minh Air Blade

Hà Nội Exciter Đà Nẵng Exciter TP.H6 Chi Minh Exciter

DO AN TOT NGHIỆP ô Diộn cỏc giỏ tri của tham sụ “Loại đặt hàng” tương ứng với cỏc tụ hợp ở bang

3 đê phủ tât cả các cặp giá trị của tham sô “Loại đặt hàng” với cả 2 tham sô

“Địa điêm” và “Loại xe”.

Bảng 4 Bảng kết hợp với các giá trị của tham số “Loại đặt hàng”

Loại đặt hàng Địa điểm Loại xe Số đăng ký xe

Bán Đà Nẵng Wave Bảo hành TP.Hồ Chí Minh Wave

Bảo hành Đà Nẵng Vision

Mua TP.Hồ Chí Minh Vision

Bảo hành Hà Nội Air Blade

Mua Da Nang Air Blade Ban TP.Hồ Chi Minh Air Blade

Bán Đà Nẵng Exciter Bao hanh TP.Hồ Chi Minh Exciter ô Diộn cỏc giỏ trị của tham sụ “So đăng ký xe” tương ứng với cỏc tụ hop ở bảng

3 đê phủ tât cả các cặp giá trị của tham sô “Sô đăng ký xe” với cả 3 tham sô

“Pia điêm”, “Loại xe” và “Loại đặt hàng”.

Bảng 5 Bang kết hop với các giá trị của tham số “Số đăng ký xe”

Loại đặt hàng Địa điểm Loại xe Số đăng ký xe

Mua Hà Nội Wave Hợp lệ

Bán Đà Nẵng Wave Không hợp lệ Bảo hành TP.Hồ Chí Minh Wave Không hợp lệ

Bán Hà Nội Vision Hợp lệ

Bảo hành Đà Nẵng Vision Họp lệ

Mua TP.Hồ Chí Minh Vision Không hợp lệ

Bảo hành Hà Nội Arr Blade Không hợp lệ

Mua Đà Nẵng Air Blade Hợp lệ Bán TP.Hồ Chí Minh Air Blade Hợp lệ

Mua Hà Nội Exciter Không hợp lệ

Bán Đà Nẵng Exciter Không hợp lệ

Bảo hành TP.Hồ Chí Minh Exciter Hợp lệ

Như vậy, nếu sử dụng kiểm thử tô hợp thì sỐ lượng test case là 72 ca kiểm thử ( 3x3x4x2 = 72) Trong khi nếu sử dụng kỹ thuật kiểm thử theo cặp thì sé luong ca kiểm thử giảm di còn 12 ca kiểm thử.

Bảng 6 Các ca kiểm thử sử dụng kỹ thuật kiểm thử theo cặp (Pairwise testing)

STT | Loại đặt hàng Địa điểm Loại xe Số đăng ký xe

1 Mua Hà Nội Wave Hợp lệ

2 Bán Đà Nẵng Wave Không hợp lệ

3 Bao hanh TP.Hồ Chi Minh |Wave Không hợp lệ

4 Bán Hà Nội Vision Hợp lệ

5 Bảo hành Đà Nẵng Vision Hợp lệ

6 Mua TP.Hồ Chi Minh | Vision Không hợp lệ

7 Bảo hành Hà Nội Air Blade | Không hợp lệ

8 Mua Đà Nẵng ArrBlade | Hợp lệ

9 Bán TP.Hồ Chi Minh |AirBlade | Hợp lệ

10 Mua Hà Nội Exciter Không hợp lệ

11 Ban Da Nang Exciter Không hợp lệ

12 |Bảo hành TP.Hồ Chi Minh | Exciter Hop lệ

Kết luận: Áp dụng kỹ thuật pairwise testing giảm được dang kế số ca kiểm thử so với việc sinh ra số ca kiểm thử bằng việc kết hợp tất cả các tham số đầu vào.

1.3.2.3 Uu nhược điểm của kỹ thuật pairwise testing e Ưuđiểm: o Giảm được đáng ké số lượng testcase so với việc sinh ra SỐ testcase bang việc kết hợp tat cả các tham số đầu vào. o Có thé xét được hết các trường hợp đầu vào, ké cả trường hợp kết hợp ngẫu nhiên các cặp giá trị của người dùng. o Có thé sinh các ca kiểm thử bang cách sử dụng các công cụ hỗ trợ. e Nhược điểm: o Khi số lượng giá tri đầu vào của mỗi tham số tăng dẫn đến sự tăng nhanh số trường hợp kiểm thử. o Chỉ bao phủ được khoảng 70% lỗi o Không áp dụng được cho một sô bai toán không có điêu kiện rõ rang

1.3.3 Giới thiệu va cai đặt công cu PICT sử dung trong pairwise testing

1.3.3.1 Giới thiệu công cu PICT

PICT (Pairwise Independent Combinatorial Testing) giúp tạo ra các ca kiểm thử và cấu hình thử nghiệm cho các hệ thống phần mềm một cách hiệu quả Với PICT, chúng ta có thể tạo ra các ca kiểm thử hiệu quả, tiết kiệm thời gian hơn so với cách tạo ca kiểm thử thủ công.

Nguyên tắc thiết kế của PICT:

+ - Nguyên tắc 1: Tốc độ của việc sinh ca kiểm thử

- Nguyên tắc 2: Dễ sử dụng + _ Nguyên tắc 3: Mở rộng của các công cụ cốt lõi khác

1.3.3.2 Cài đặt và chạy PICT

1 Download tai link: http://download.microsoft.com/download/f/5/5/f55484df-

8494-% 2048 fa-8dbd-8c6f76cc014b/pict33.msi

4 Trỏ đường dẫn đến thư mục cai đặt của PICT

Nội dung file đầu vào:

File Edit Format View Help

Kết qua hién thị trên command:

Ge C:\Windows\System32\cmd.exe on 18.8.19842.1348 ]

"poration All rights reserved. ars\Admin\Desktop\DA\PICT>pict input.txt

LA LA LA hà Ú po

Hinh 4 Két qua hién thi trén command sau khi chay PICT

5 Chay lệnh: pict .txt>.txt dé các ca kiểm thử in ra dang text file.

Gas C:\Windows\System32\cmd.exe

Két qua hién thi trong file output.txt: ©) output.txt - Notepad

File Edit Format View Help

Hình 6 Kết quả hiển thi dưới dang text file sau khi chạy PICT

Ngày đăng: 09/03/2024, 20:39

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN