HỌC VIEN CÔNG NGHỆ BƯU CHÍNH VIỄN THONG KHOA CÔNG NGHỆ THONG TIN I DE TAI: XAY DUNG HE THONG SINH MO HINH MATLAB/SIMULINK TU ĐỘNG Giảng viên hướng dẫn : TS Đỗ Thị Bích Ngọc Sinh viên thực hiện : Lê Thị Ngan Mã sinh viên : B17DCCN457 : DI7HTTTI b : 2017-2022 : Dai học chính quy Hà Nội 01/2022 HỌC VIEN CÔNG NGHỆ BƯU CHÍNH VIỄN THONG KHOA CÔNG NGHỆ THONG TIN I DE TAI: XAY DUNG HE THONG SINH MO HINH MATLAB/SIMULINK TU ĐỘNG Giảng viên hướng dẫn : TS Đỗ Thị Bích Ngọc Sinh viên thực hiện : Lê Thị Ngan Mã sinh viên : B17DCCN457 : DI7HTTTI b : 2017-2022 : Dai học chính quy Hà Nội 01/2022 DO AN TOT NGHIỆP LOI CAM ON Đề hoàn thành tốt dé tài tốt nghiệp này, ngoài sự nỗ lực của bản thân, em còn nhận được sự quan tâm giúp đỡ của nhiều tập thể và cá nhân Đầu tiên, em xin gửi tới toàn thé các thầy, cô của Học viện Công nghệ Bưu chính Viễn thông nói chung và các thầy, cô khoa Công nghệ thông tin 1 nói riêng lời cảm ơn chân thành nhất Đặc biệt, em xin bày tỏ lòng biết ơn sâu sắc tới cán bộ hướng dẫn TS Đỗ Thị Bích Ngọc, giảng viên bộ môn Công nghệ phần mềm, người đã tận tình hướng dẫn em trong suốt quá trình thực hiện đồ án tốt nghiệp Bên cạnh đó, em còn nhận được sự giúp đỡ nhiệt tình từ những người bạn đồng trang lứa, luôn chia sẻ, nhiệt tình trao đôi kiến thức với em, giúp em hiểu ra nhiều vấn đề Đặc biệt, con xin được gửi lời cảm ơn chân thành đến bậc sinh thành, những người luôn là hậu phương vững chắc, luôn là chỗ dựa cho con cả về vật chất lẫn tinh thần trong suốt những năm tháng con ngồi trên ghế nhà trường Hơn nữa, em cũng xin cảm ơn tất cả bạn bè, những người đã đồng hành và giúp đỡ em trong suốt 4 năm học tập tại Học viện Cuối cùng, em xin kính chúc quý thầy cô dồi dao sức khỏe và thành công trong sự nghiệp giảng dạy Em xin chân thành cảm ơn! Hà Nội, ngày 04 tháng 01 năm 2022 Sinh viên thực hiện Lê Thị Ngân Lê Thị Ngan-D17HTTT1 3 DO AN TOT NGHIỆP NHAN XET, DANH GIA, CHO DIEM (Của giảng viên hướng dẫn) Đồng y/ Không đồng y cho sinh viên bảo vệ trước hội đồng chấm đồ án tốt nghiệp? Hà Nội, ngày tháng năm CÁN BỘ - GIẢNG VIÊN HƯỚNG DẪN (ký, họ tên) Lê Thị Ngan-D17HTTT1 4 DO AN TOT NGHIỆP NHAN XET, DANH GIA, CHO DIEM (Của giảng viên hướng dẫn) Đồng ý/ Không đồng ý cho sinh viên bảo vệ trước hội đồng cham đồ án tốt nghiệp? Hà Noi, ngày thang năm CAN BỘ - GIANG VIÊN PHAN BIEN (ky, ho tén) Lê Thị Ngan-D17HTTT1 5 DO AN TOT NGHIỆP MUC LUC LOL CAM ƠN .- G5 ST 3E151111111111111111111111111111111111111 11111111111te1.3 80/9009 22 6 DANH MỤC CÁC BANG THUAT NGỮ VÀ CHU VIET TẮT 8 DANH MỤC BANG BIEU o cccecscscsssssescscsesscscsscscsecsesvsscsvsscevsucsssvsavsvsacsvsveavsveasens 9 DANH MỤC SO DO, HINH ANH ouw ccecscccsccscssscecessesesscetetsessessetsesesssevseseseseeees 10 LOI MO DAU oooeeeccccccccccsccscscsscscsscscsucsesvcstssassvsussvsusavsvsassesasevsusavsusavsvsavsvsasavensaaes 11 CHƯƠNG 1: TONG QUAN (c3 SE SE EEEEEESE E11 ru 13 1.1 Giới thiệu hệ thống nhúng và thiết kế mô hình hệ thống nhúng bằng MATTLAB/Simulink - - - S6 S5 *xESE‡EEEE+EEEEEEEEEEEEEEEEEE111111.111111111x1 13 1.1.1 Giới thiệu hệ thống nhúng 2.-2.-2 2 +E.E+.EE2.E£.£E.eEE.zE.rE.erx.er-sr-ed 13 1.1.2 Giới thiệu MATLAB/Simulink .¿5 s.5 +.SE+.E+.E£.E+E.e£.xe.Ee.rxz.ee.re-es 15 1.1.3 Mô hình hóa và mô phỏng hệ thống nhúng bằng MATLAB/Simulin1k6 1.2 Bài toán sinh mô hình MATLAB/Simulink tự động phục vụ cho kiểm thử "—— 18 1.3 Giới thiệu kỹ thuật pairwise testing 2.-.S t .s.i sr.i.re.e 18 1.3.1 Giới thiệu kỹ thuật kiểm thử hộp đen cc SSSSccSsssesexee 18 1.3.2 Giới thiệu kỹ thuật pairwise testing .Ă n .s.e.t 19 1.3.3 Giới thiệu và cai đặt công cụ PICT sử dụng trong pairwise testing .25 1.4 Kết luận chương 5:.2.E E.22.1.E.E2E.E1.E2.121.21.211.12.12.111.1.1.1-11-k-.27 CHƯƠNG 2: XÂY DỰNG PHƯƠNG PHÁP SINH TỰ ĐỘNG MÔ HÌNH MATLAB/SIMULINK .L.G S H H.H H H H H -kh28 2.2 Sinh tự động mô hình MATLAB/Simulink bằng phương pháp tô hop 28 2.1.1 Ý tưởng thực hiện ¿.2.-5.2 2.E 21.21.21.21.12.17.1 1.11-t-e.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 35 Lê Thị Ngan-D17HTTT1 6 DO AN TOT NGHIỆP 2.3.1 Các bước sinh ca kiểm thử sử dụng kỹ thuật pairwise testing bằng PICT S.E 22.t 2.S.1.11.2.11.11.21.11.11.12.11.11.10.11.1.12.11.11.Ăx-e 35 2.3.2 Các bước sinh mô hình MATLAB/Simulink sử dụng kỹ thuật pairwise i12 38 2.4 Tống kết chương .2©.£.+E.+E9.EE.+EE.EE.2EE.E2E.91.212.11.212.11.111.11-11-.-11-1-x4I CHƯƠNG 3: XÂY DUNG HE THONG VÀ THU NGHIỆM -. .-42 3.1 Xây dựng hệ thống .¿+.S2.+S2.+E.SEE.SEE.2EE.212.212.112.17.121.1 2.11.111.21.11-r-e.42 3.1.1 Công cụ SU ỤnG S T .T.H n.gcckQh42 3.1.2 Xây dựng hệ thống ¿.+.S+.+2.2+E.2E.2EE.2E.2.21.21.1.21.21.1-11-.e:Ec-e.49 3.2 Thử nghiệm hệ thống + 2 £E+.SE.+E+.EEE.+E.EEE.£EE.EE.EEE.EEE.EE.EEE.EEE-rr-krr-erk-ee 53 3.3 Tổng kết chương .2.¿.+2.1.2.EEE.EEE.12.121.21.121.12.121.21.111.11.1.-1-11-r-e.56 KẾT LUẬN 5252 2S S121 EE21E21211217121121111121111112112111110111111.1c1re1.57 TAI LIEU THAM KHẢO .26.E.+E‡E.EE*.E*EE.EEE.EEES.EEE.EEEE.EEE.EEEE.EEE.EEEE.EEE.EErk-rkr-kei 58 Lê Thị Ngan-D17HTTT1 7 DO AN TOT NGHIỆP DANH MUC CAC BANG THUAT NGU VA CHU VIET TAT Tw goc Từ viết tắt Giải nghĩa Pairwise testing Kiểm thử theo cặp Pairwise Independent PICT Công cu PICT áp dung Combinatorial Testing kiêm thử theo cặp Model Mô hình Block Matlab/Simulink Khối trong thư viện Simulink Matrix Laboratory MATLAB Thu vién ma tran Lê Thị Ngan-D17HTTT1 DO AN TOT NGHIỆP DANH MUC BANG BIEU Bang 1 Bang gia tri AGU vào các HNAM SO ecccecescecsscscsssssssvssseesesesesesessssesssseseseeees 20 Bảng 2 Bảng số lượng đầu vào của các tham SO vececcecesceceseecessesesvssssveesssesssseseees 20 Bảng 3 Bảng thực hiện kết hợp các gia trị của 2 tham số “Địa điểm” và “Loại xe” ¬— 21 Bảng 4 Bảng kết hợp với các giá trị của tham số “ ‘Loai đặt hang” ¬ 22 Bảng 5 Bảng kết hợp với các giá trị của tham số “Số đăng kỷ xe” 23 Bảng 6 Các ca kiểm thử sử dụng kỹ thuật kiểm thử theo cặp (Pairwise testing) 23 Bảng 7 Bang file tham số AGU VàO 5-.5 S E SE.EE EEEE EEE EEEE EEE EErk rke rrkr- ree 53 Lê Thị Ngan-D17HTTT1 9 DO AN TOT NGHIỆP DANH MỤC SO DO, HÌNH ANH Hình 1 Mô hình thiết kế bằng MATLAB/SimaulinE 5-5.5-.52.55 5s.+se.+s.ccx.ec.s+s-e2 17 Hình 2 Mô tả kỹ thuật kiểm thử hộp đẲ€H c.5:.52.t E.‡SE+.E‡E.‡Ee.ESEE.EEE.EEr.Eers.rke.ree 19 Hình 3 File AGU VàO 5: 5c SE SE EEEEE SE E31 21E11111112101121 0111101121 25 Hình 4 Kết quả hiển thị trên command sau khi Chạy PÍCT «ccs++sssss+s 26 Hình 5 Chạy PPÏCT” - «5 < E10 E111 911v ng 26 Hình 6 Kết quả hiển thị dưới dạng text file sau khi chạy PICT - 27 Hình 7 Sơ đô ý tưởng thực hiỆN 5c cSc.+c.SE.S.t E 1 1 2 29 Hình 6 Vi dụ mô hình Simulink Sky 30 Hình 9 Cau trúc file định nghĩa tham số của mô hình gốc -.-©-5:5-5-5-:31 Hình 10 Cấu trúc tập tin của mô hình trong hình 8 ccccccccescscescscessevsssessseeseseseseees 32 ;0.1.88008///0/)2.15 7286 ex.A T x 37 Hình 12 Kết quả file output.txt sau khi sinh bằng PICT 5-5-525©555+236 Hình 13 Khởi động Matlab từ môi trường WindlOWS «Sex 42 Hình 14 Giao diện chính của MÁatÏqb cv vs, 43 Hình 15 Cửa số Simulink 5.s H ư n g s 44 0/18/8901 ,.,01 0.0100 n8 44 ;0,18/891,/0.:2.8)/,.//,.010Nnnn0888 8 e - 6AúAA 45 0/10/3867.0 160/0000n8n886 46 Hình 19 Giao điện (ÌÏL - S301 cv vớ47 Hình 20 Giao diện chính hệ thống Sinh mô hình MATLAB Simulink tự động 49 Hình 21 Giao diện chỉnh sinh mô hình MATLAB/Simulink bằng phươpnhágp tổ 1,0 50 Hình 22 Man hình hiển thị kết quả sau khi sinh dit liệu thành công - 5] Hình 23 Giao điện chính sinh mô hình MATLAB/Simulink sử dung pairwise fCSÍIH .cĂĂSààà — ÔÔÔÔÔÔÔÔÔÒÔ 52 Hình 24 Màn hình hiển thị kết quả sau khi sinh mô hình thành công - 32 Hình 25 Mô hình ĐỐC cocceccecescsccssssesessssessssessesesssesecsesessssesssssessssesucscsessssesasseescacees 53 Hình 26 Kết quả sinh mô hình MATLAB/Simulink bằng phươpnhágp to hop 55 Hình 27 Kết quả sinh mô hình MATLAB/Simulink sử dung pairwise testing 56 Lê Thị Ngan-D17HTTT1 10