Luận văn thạc sĩ công nghệ thông tin nghiên cứu và triển khai hệ thống private cloud cho các ứng dụng đào tạo và thực hành dựa trên giải pháp mã nguồn mở openstack

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ (chữ hoa, 12pt, đậm, giữa) NGUYỄN MAI HƢƠNG ận Lu n vă th PHÂN TÍCH ĐỘT BIẾN TRONG KIỂM THỬ PHẦN MỀM ạc VÀ ÁP DỤNG TRONG KIỂM THỬ ỨNG DỤNG ANDROID sĩ ng Cô hệ ng g ôn th LUẬN VĂN THẠC SĨ NGÀNH HỆ THỐNG THÔNG TIN tin HÀ NỘI - 2019 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN MAI HƢƠNG ận Lu n vă PHÂN TÍCH ĐỘT BIẾN TRONG KIỂM THỬ PHẦN MỀM ạc th VÀ ÁP DỤNG TRONG KIỂM THỬ ỨNG DỤNG ANDROID sĩ Chuyên ngành: Hệ Thống Thông Tin Cô Mã số: 60480104 ng hệ ng g ôn th LUẬN VĂN THẠC SĨ NGÀNH HỆ THỐNG THÔNG TIN tin NGƢỜI HƢỚNG DẪN KHOA HỌC: PGS TS HÀ QUANG THỤY HÀ NỘI - 2019 LỜI CẢM ƠN Lời đầu tiên, tơi xin gửi lời cảm ơn lịng biết ơn sâu sắc tới PGS TS Hà Quang Thụy, tận tình hướng dẫn bảo tơi suốt q trình thực luận văn tốt nghiệp Tơi xin chân thành cảm ơn thầy, cô trường đại học Công Nghệ - đại học Quốc gia Hà Nội cho tảng kiến thức tốt tạo điều kiện thuận lợi cho học tập nghiên cứu Lu Tôi xin gửi lời cảm ơn đến thầy cô, anh chị bạn phịng ận thí nghiệm DS&KTLab hỗ trợ nhiều kiến thức chuyên môn vă trình thực luận văn Tơi xin cảm ơn tất ngườiđã ủng hộ khuyến khích n tơi suốt suốt q trình học tập trường th Cuối cùng, xin gửi lời cám ơn vơ hạn tới gia đình bạn bè, ạc người bên cạnh, giúp đỡ động viên tơi q trình học tập sĩ suốt q trình thực luận văn Cơ Tơi xin chân thành cảm ơn! ng Hà Nội, ngày tháng năm 2019 Học viên hệ ng g ôn th Nguyễn Mai Hương tin PHÂN TÍCH ĐỘT BIẾN TRONG KIỂM THỬ PHẦN MỀM VÀ ÁP DUNG TRONG KIỂM THỬ ỨNG DỤNG ANDROID Nguyễn Mai Hƣơng Khóa K23, chun ngành Hệ Thống Thơng Tin Tóm tắt Luận văn tốt nghiệp: Hiện nay, việc sử dụng rộng rãi thiết bị Android, ứng dụng Android có nhiều phiên bản, tải xuống ứng dụng cho thiết bị di động Nên tạo mối lo ngại chất lượng phần mềm Vì việc kiểm thử để Lu nâng cao chất lượng phần mềm vấn đề thiết yếu ận Tuy nhiên, việc kiểm thử ứng dụng Android không kiểm thử từ vă chương trình Java truyền thống tính độc đáo cấu trúc chương trình tính n ứng dụng Các nhà phát triển phần mềm cho thấy quan tâm không nhỏ th việc phát triển Android tốt nhiên thiếu kỹ thuật kiểm thử ạc sử dụng để đánh giá chiến lược kiểm thử sĩ Kiểm thử đột biến phương pháp kiểm thử phần mềm chương Cơ trình mã nguồn thay đổi có chủ ý Khi chương trình sửa đổi, thực thi chương trình theo đột biến vừa tạo ra, để kiểm tra xem phần mềm có ng thực hành vi hay khơng Chính kiểm thử đột biến giúp phân hệ ứng yêu cầu chất lượng hay không ng tích xem tập hợp chiến lược kiểm thử có đủ để đảm bảo sản phẩm đáp th Trong luận văn này, tơi tìm hiểu kiến thức kiểm thử phần mềm [9] ơn phân tích nghiên cứu phương pháp, kỹ thuật kiểm thử đột biến [1-7] Từ áp dụng kỹ thuật vào kiểm thử ứng dụng Android g tin Từ khóa: Android, Kiểm thử phần mềm, Kiểm thử đột biến LỜI CAM ĐOAN Tơi xin cam đoan phân tích đột biến kiểm thử phần mềm áp dụng kiểm thử ứng dụng Androidvà thực nghiệm trình bày luận văn đề thực hướng dẫn PGS TS Hà Quang Thụy Tất tài liệu tham khảo từ nghiên cứu liên quan có nguồn gốc rõ ràng từ danh mục tài liệu tham khảo luận văn Trong luận văn, khơng có việc chép tài liệu, cơng trình nghiên cứu người khác mà khơng rõ tài liệu tham khảo ận Lu Hà Nội, ngày tháng năm 2019 vă Học viên n ạc th sĩ Nguyễn Mai Hương ng Cô hệ ng g ôn th tin MỤC LỤC DANH SÁCH HÌNH VẼ DANH SÁCH BẢNG BIỂU DANH SÁCH CÁC TỪ VIẾT TẮT 10 Chƣơng ỨNG DỤNG ANDROID VÀ BÀI TOÁN KIỂM THỬ ỨNG DỤNG TRÊN THIẾT BỊ DI ĐỘNG 1.1 Giới thiệu chung kiểm thử phần mềm 1.1.2 Vòng đời kiểm thử phần mềm Lu 1.1.1 Vòng đời phát triển phần mềm ận 1.2 Ứng dụng Android thiết bị di động kiểm thử ứng dụng Android 6 1.2.2 Kiểm thử ứng dụng Android vă 1.2.1 Ứng dụng Android thiết bị di động n 1.3 Những thách thức kiểm thử Android th 1.4 Về mơ hình kiểm thử dựa đột biến 10 ạc 1.5 Về phương pháp toán tử đột biến kiểm thử phần mềm 11 sĩ Tóm tắt chương .12 Cô Chƣơng KỸ THUẬT TOÁN TỬ ĐỘT BIẾN TRONG KIỂM THỬ ỨNG DỤNG ANDROID TRÊN THIẾT BỊ DI ĐỘNG 13 ng 2.1 Phương pháp toán tử đột biến kiểm thử phần mềm 13 2.2 Toán tử đột biến kiểm thử phần mềm 19 19 20 th 2.2.3 Mục tiêu thay 19 hệ 2.2.2 Thay trọng tải ý định ng 2.2.1 Toán tử đột biến ý định 2.3.1 Phương pháp xóa vịng đời 21 g ơn 2.3 Vịng đời hoạt động toán tử đột biến 21 2.4 Xử lý toán tử đột biến 21 2.4.2 Thay kiện onTouch tin 2.4.1 Thay kiện onClick 22 23 2.5 Toán tử đột biến XML 23 2.5.1 Xóa nút giao diện 23 2.5.2 Sửa đổi thành phần 23 2.5.3 Chuyển đổi nút giao diện 24 2.6 Ý tưởng áp dụng luận văn 25 2.7 Tóm tắt chương 26 Chƣơng MƠ HÌNH ĐỀ NGHỊ, THỰC NGHIỆM VÀ ĐÁNH GIÁ 27 3.1 Phát biểu toán 27 3.2 Mô hình đề nghị bước thực 27 3.2.1 Mơ hình thực kiểm thử 27 3.2.2 Các bước thực kiểm thử 29 3.2.3 Đánh giá 30 3.3 Môi trường thực nghiệm 32 3.3.1 Cấu hình phần cứng 32 3.3.2 Công cụ phần mềm 32 3.4 Dữ liệu thực nghiệm 38 3.5 Thử nghiệm liệu thực tế 38 Lu 3.6 Kết Đánh giá 41 41 3.6.2 Đánh giá kết thực nghiệm 44 ận 3.6.1 Kết sau chạy thực nghiệm vă 3.7 Tóm tắt chương 44 KẾT LUẬN VÀ ĐỊNH HƢỚNG NGHIÊN CỨU TIẾP THEO n 45 th TÀI LIỆU THAM KHẢO 46 ạc sĩ ng Cô hệ ng g ơn th tin DANH SÁCH HÌNH VẼ ận Lu Hình 1.1 Các giai đoạn phát triển phần mềm Hình 1.2 Kiểm thử phần mềm tương ứng với mơ hình chữ V Hình 1.3 Minh họa ứng dụng Android Google Play Hình 2.1 Thực phân tích đột biến ứng dụng Android [1] 15 Hình 2.2 Cấu trúc tốn tử trừu tượng [6] 18 Hình 2.3 Thiết kế toán tử truyền thống [6] 18 Hình 2.4 Ví dụ BWD TWD [1] 24 Hình 2.5 Ví dụ Button Widget Switch [1] 25 Hình 3.1 Mơ hình thực kiểm thử 28 Hình 3.2 Các tập tin Android studio 34 Hình 3.3 Giao diện Android studio 34 Hình 3.4 Ví dụ kiểm thử Android dùng Robotium 36 Hình 3.5 Chạy chương trình thử nghiệm Robotium .37 Hình 3.6 Trường hợp thử nghiệm thành cơng 37 Hình 3.7 Trường hợp kiểm thử thất bại 37 Hình 3.8 Giao diện ứng dụng Flashair 38 Hình 3.9 Chức chỉnh sửa ảnh trước sau kiểm thử 42 Hình 3.10 Chức xem ảnh theo Ngày/Tháng/ Năm sau kiểm thử 43 Hình 3.11 Chức chọn ảnh Album trước sau kiểm thử 44 n vă ạc th sĩ ng Cô hệ ng g ôn th tin DANH SÁCH BẢNG BIỂU Bảng 2.1 Giá trị mặc định IPR [1] 19 Bảng 3.1 Cấu hình máy tính thực nghiệm 32 Bảng 3.2 Danh sách phần mềm sử dụng thực nghiệm 32 ận Lu n vă ạc th sĩ ng Cô hệ ng g ôn th tin DANH SÁCH CÁC TỪ VIẾT TẮT XML Extensible Markup Language IDE Integrated Development Environment APK Android application package IPR Intent Payload Replacement ITR Intent Target Replacement MDL Lifecycle Method Deletion ECR OnClick Event Replacement ETR OnTouch Event Replacement ận Lu Tên viết tắt vă Cụm từ đầy đủ STT Button Widget Deletion 10 TWD n EditText Widget Deletion 11 BWS Button Widget Switch ạc th BWD sĩ ng Cô hệ ng g ôn th tin Trong luận văn chúng tơi thực ba thí nghiệm: thí nghiệm sử kỹ thuật Intent Payload Replacement (IPR) Thí nghiệm sử dụng kỹ thuật OnClick Event Replacement (ECR) Và thí nghiệm sử dụng kỹ thuật thuật Button Widget Switch (BWS) Dựa vào kết thực nghiệm, tiến hành đánh giá nhận xét rút kết luận đưa định hướng 3.3 Mơi trƣờng thực nghiệm 3.3.1 Cấu hình phần cứng Lu Bảng 3.1 cung cấp thơng tin cấu hình phần cứng tiến hành thực nghiệm ận luận văn Bảng 3.1 Cấu hình máy tính thực nghiệm vă Chỉ số Intel® Core™ i5-8265U 4GB 500GB Window (32bit) n Thành phần CPU RAM HDD OS 3.3.2 Công cụ phần mềm ạc th sĩ nguồn mở liệt kê Bảng 3.2 ng Cơ Trong q trình thực nghiệm, chúng tơi sử dụng số công cụ phần mềm mã Bảng 3.2 Danh sách phần mềm sử dụng thực nghiệm ôn MS-Excel Microsoft MS-Office 2013 Flashair g tin Nguồn https://developer android com/studio#downloads http://robotiumsolo blogspot com/p/downloads html http://www microsoft com th Tác giả hệ Tên phầm mềm Android-studio-ide182 5314842 Robotium5 ng STT https://github com/FlashAirDevelopers/FlashAirF ileManager Dưới mô tả phần mềm thực nghiệm:  Android-studio-ide-182 5314842 Android Studio Mơi trường phát triển tích hợp (IDE) thức để phát triển ứng dụng Android, dựa IntelliJ IDEA Ngồi cơng cụ phát triển chỉnh sửa 32 mã mạnh mẽ IntelliJ, Android Studio cung cấp nhiều tính giúp nâng cao suất xây dựng ứng dụng Android Mỗi dự án Android Studio chứa nhiều mô-đun với tệp mã nguồn tệp tài ngun (Hình 4.1) Các loại mơ-đun bao gồm: - Android app modules - Library modules - Google App Engine modules Tất tệp xây dựng hiển thị cấp cao Gradle Scriptsvà Lu mô-đun ứng dụng chứa thư mục sau: manifests: Chứa tập tin AndroidManifest.xml Đây tập tin khai báo tất ận - Activity sử dụng project Ngồi ra, tập tin cịn có vă chức cấp quyền cho ứng dụng, chẳng hạn cấp quyền truy cập n java: Chứa tất tập tin java Mỗi Activity tạo tương ạc - th internet, … ứng cho tập tin java tập tin chứa Đây sĩ nơi lập trình viên viết code cho ứng dụng Cô - assets: Mặc định thư mục chưa tồn Lập trình viên phải tạo thư ng mục Trong thư mục chừa hình, txt, … res: Chứa layout, menu, animation, …Khi Activity tạo, đồng ng - hệ thời Android tạo tập tin Một tập tin java, chứa code Một tập tin xml, chứa layout Ngoài ra, tạo menu tạo animation g ôn th (anim), thực tin 33 ận Lu n vă Hình 3.2 Các tập tin Android studio th Giao diện Android Studio tạo thành từ số khu vực logic xác ạc định Hình 4.2 sĩ ng Cơ hệ ng g ơn th tin Hình 3.3 Giao diện Android studio 34 Thanh công cụ cho phép thực loạt hành động, bao gồm chạy ứng dụng khởi chạy công cụ Android Thanh điều hướng giúp điều hướng qua dự án mở tệp để chỉnh sửa Nó cung cấp nhìn nhỏ gọn cấu trúc nhìn thấy cửa sổ Project Cửa sổ soạn thảo nơi tạo sửa đổi mã Tùy thuộc vào loại tệp tại, trình chỉnh sửa thay đổi Ví dụ, xem tệp bố cục, trình chỉnh sửa hiển thị trình chỉnh sửa bố cục Lu Thanh cửa sổ công cụ chạy xung quanh bên cửa sổ IDE chứa nút ận cho phép mở rộng thu gọn cửa sổ công cụ riêng lẻ Các cửa sổ công cụ cung cấp quyền truy cập vào tác vụ cụ thể quản vă lý dự án, tìm kiếm, kiểm sốt phiên mở rộng chúng thu gọn n th chúng ạc Thanh trạng thái hiển thị trạng thái dự án IDE, cảnh báo thông báo sĩ  Tích hợp Robotium vào Android Studio Cơ Robotium công cụ viết mã nguồn mở dùng để kiểm thử hộp xám tự ng động dành cho ứng dụng điện thoại hệ điều hành android Với hỗ trợ ng Robotium, viết trường hợp kiểm thử test chức năng, hệ thống, hệ và, bao phủ tính Android Robotium thể sử dụng cho ứng dụng test sử dụng mã nguồn có sẵn ứng dụng mà có sẵn file apk th Sử dụng Robotium để tiến hành thử nghiệm ứng dụng Android Để đảm bảo ôn chất lượng ứng dụng Android, thơng thường theo quy trình đây: tin Xây dựng chương trình kiểm tra g Thiết kế kiểm tra đặc điểm kỹ thuật Thực thi Test Case thiết bị Thu thập kết kiểm tra Để chạy Robotium dự án kiểm thửAndroid, kiểm thử viên thêm dòng sau vào dependencies tệp build gradle bên (tệp đặt cấp với thư mục src), thay phiên robotium cho phù hợp với cài máy tính: dependencies { 35 // Unit testing dependencies androidTestCompile 'com jayway android robotium:robotium-solo:5.6.3' androidTestCompile 'junit:junit:4.12' } Tại thời điểm viết này, phiên Robotium sử dụnglà 5.6.3 Ví dụ kiểm thử Android dùng Robotium có Hình 4.3 ận Lu n vă ạc th sĩ Cơ ng Hình 3.4 Ví dụ kiểm thử Android dùng Robotium Sau viết xong chương trình kiểm tra, chạy thử bước bên ng Kết nối thiết bị Android với PC (hoặc khởi độngtrình giả lập emulator trường hệ hợp khơng có thiết bị thực) g ôn th Trong IDE, nhấp chuột phải vào Run as ->Android JUnit Test tin 36 Hình 3.5 Chạy chương trình thử nghiệm Robotium Sau thực kiểm tra, kiểm thử viên sẽnhận kết kiểm tra Trong chương trình thử nghiệm này, Hình 3.6 tất trường hợp thử nghiệm thông qua ận Lu vă Hình 3.6 Trường hợp thử nghiệm thành cơng n Trong trường hợp thử nghiệm thất bại Hình 3.7 đầu hiển thị ạc th chothấy trường hợp thử nghiệm thất bại sĩ ng Cơ hệ ng th ơn Hình 3.7 Trường hợp kiểm thử thất bại g  Flashair tin Flashair ứng dụng chạy tảng Android IOS Trong luận văn đề cập đến việc chạy ứng dụng tảng Android Ứng dụng kèm với thẻ nhớ có tên Flashair Ứng dụng có chức sau: - Kết nối với thẻ nhớ Flashair - Xem ảnh, video, nghe nhạc trực tiếp từ thẻ nhớ - Tải ảnh từ ứng dụng thiết bị - Chỉnh sửa ảnh - Cài đặt mật cho thẻ 37 - Chia sẻ ảnh thông qua việc phát wifi thông qua mạng xã hội 3.4 Dữ liệu thực nghiệm Trong thực nghiệm, sử dụng kiểm thử chức ứng dụng Flashair thiết bị di động Android Hình 3.8 minh họa giao diện Flashair ận Lu n vă ạc th sĩ ng Cơ Hình 3.8 Giao diện ứng dụng Flashair ng 3.5 Thử nghiệm liệu thực tế ơn Thí nghiệm th dụng luật tốn tử đột biến kiểm thử ứng dụng hệ Chúng thực hai thí nghiệm sau với mục đích làm rõ vai trò việc sử g Áp dụng kỹ thuật toán tử đột biến ý định, cụ thể Intent Mutation tin Operators ( Toán tử đột biến ý định) Khi kiểm thử chức chỉnh sửa ảnh, ảnh sau chỉnh sửa có chức Save Người sử dụng nhận dialog thông báo có muốn lưu ảnh sau chỉnh sửa hay khơng Mơ tả testcase thí nghiệm 1: 38 Mơ tả Các bước thực Kết mong đợi Kiểm tra dialog thông báo 1: Mở ứng dụng Flashair Không hiển thị nội dung lưu ảnh sau chạy 2: Click ảnh dialog lưu ảnh chương trình biến đổi 3: Chọn chức chỉnh sửa ảnh 4: Chỉnh sửa ảnh lưu lại ận Lu vă Hàm save sau: n th public void onActivityBackPressed () { ạc Intent intent = new Intent (); intent putExtra (IS_DOWNLOAD_IMAGE_FROM_EDIT, Successfully saved); sĩ this mIsResetAsyncTask = true; ng Cô mActivity setResult (Activity RESULT_OK, intent); } hệ public void onActivityBackPressed () { ng Sử dụng kỹ thuật Intent Payload Replacement (IPR) để kiểm thử: Intent intent = new Intent (); th mActivity setResult (Activity RESULT_OK, intent); g ôn intent putExtra (IS_DOWNLOAD_IMAGE_FROM_EDIT, ””); tin this mIsResetAsyncTas = true; } Thí nghiệm Áp dụng kỹ thuật Xử lý toán tử đột biến, cụ thể làOnClick Event Replacement (ECR) Trong ứng dụng Flashair, Chức cài đặt ON/OFF nhiều chức nhỏ khác Để kiểm thử chức sử dụng kỹ thuật OnClick Event Replacement (ECR) Trong hình có chế độ xem theo Ngày/ Tháng/ Năm Để kiểm thử chức dựa kỹ thuật chúng tơi thay trình kiện 39 nút Ngày trình kiện nút Năm, theo sau kiểm thử xong bấm vào nút Ngày hiển thị tồn thơng tin ảnh năm đó, thị theo Năm khác Mơ tả testcase thí nghiệm 2: Các bước thực Mô tả Kết mong đợi Kiểm tra hoạt động 1: Mở ứng dụng Flashair Hiển thị tất chức lọc ảnh theo 2: Chọn chức lọc ảnh ảnh lọc theo Năm Ngày/Tháng/Năm chạy theo Ngày 3: Kiểm tra chức lọc Lu chương trình biến đổi ận ảnh theo Ngày n vă th public DisplayImage () ạc { public void onClick (ViewDay) { ng Cô ViewImageDay (); sĩ int id = v getId (); } hệ public DisplayImage () ng Chương trình sau kiểm thử đột biến: { th ôn public void onClick (ViewDay) { int id = v getId (); g tin ViewImageYear (); } Thí nghiệm Áp dụng kỹ thuật tốn tử đột biến XML, cụ thể kỹ thuật Button Widget Switch (BWS) Mơ tả testcase thí nghiệm 3: 40 Các bước thực Mô tả Kết mong đợi Kiểm tra hoạt động 1: Mở ứng dụng Flashair Chức Album chức Album chạy 2: Click Album phía hoạt động bình thường chương trình biến đổi bên phải hình 3: Kiểm tra chức Album Lu Button SelectButton = (Button) solo getView (id Select); ận Button AlbumButton = (Button) solo getView (id Album); int [ ] locationOfSelect = new int [2]; vă int [ ] locationOfAlbum = new int [2]; n th SelectButton getLocationInWindow (locationOfSelect); ạc AlbumButton getLocationInWindow (locationOfAlbum); assertTrue (Select button is on the left of sĩ 3.6 Kết Đánh giá ng Cô AlbumlocationOfSelect[0]>locationOfAlbum[0]); hệ ng 3.6.1 Kết sau chạy thực nghiệm th Sau thực nghiệm với hai thí nghiệm 1,2 thu kết g ôn sau tin Đối với thí nghiệm Trước kiểm thử, bấm vào biểu tượng lưu hình ảnh, dialog hiển thị lên hình Sau kiểm thử, bấm vào biểu tượng lưu hình ảnh, dialog khơng hiển thị lên hình 41 ận Lu n vă th ạc Hình 3.9 Chức chỉnh sửa ảnh trước sau kiểm thử sĩ Kết luận: Trường hợp kiểm thử thành công sau áp dụng kỹ thuật đột biến Intent Mutation Operators ng Cô Đối với thí nghiệm Trước kiểm thứ, người sử dụng bấm vào nút DAY để xem ảnh theo ng ngày Tuy nhiên sau kiểm thử, người sử dung bấm DAY để xem ảnh theo hệ năm g ôn th tin 42 ận Lu n vă ạc th sĩ ng Cơ ng Hình 3.10 Chức xem ảnh theo Ngày/Tháng/ Năm sau kiểm thử hệ Kết luận: Trường hợp kiểm thử thành công sau áp dụng kỹ thuật đột biến OnClick Event Replacement th ơn Đối với thí nghiệm Sau đổi chỗ nút Select Album, hành vi cách thức hoạt động hai nút g tin khơng có khác biệt so với ban đầu 43 ận Lu n vă ạc th sĩ ng Cơ Hình 3.11 Chức chọn ảnh Album trước sau kiểm thử hệ ng Kết luận: Trường hợp kiểm thử thành công sau áp dụng kỹ thuật đột biến Button Widget Switch ôn th 3.6.2 Đánh giá kết thực nghiệm g Sau áp dụng phương pháp kỹ thuật kiểm thử đột biến vào thực tế, nhận thấy có nhiều đổi so với phương pháp kiểm thử trước Hơn kiểm thử đột biến, kiểm thử viên tạo nhiều trường hợp kiểm thử khác kiểm thử sâu chức ứng dụng tin 3.7 Tóm tắt chƣơng Trong chương 3, luận văn ứng dụng phương pháp kỹ thuật kiểm thử đột biến trình bày chương vào thực tế Phần mềm Flashair phát triển thời gian dài kiểm thử có số mặt hạn chế trường hợp kiểm thử thất bại thường khó xảy Tuy trường hợp kiểm thử chương mô tả rõ ứng dụng phương pháp, kỹ thuật kiểm thử đột biến cách tốt 44 KẾT LUẬN VÀ ĐỊNH HƢỚNG NGHIÊN CỨU TIẾP THEO Qua tìm hiểu kiểm thử phần mềm kiểm thử đột biến ứng dụng Android, luận văn áp dụngkiến thức toán tử đột biến phương pháp toán tử đột biến để kiểm thử phần mềm [1] để nhằm nâng cao chất lượng cho ứng dụng Android Luận văn đạt kết sau đây: Áp dụng kỹ thuật toán tử đột biến, phương pháp xử lý vịng đời tốn tử đột biến sử dụng kỹ thuật toán tử đột biến XML để kiểm thử ứng dụng ận Lu - Android Kiểm thử chức phần mềm Flashair chỉnh sửa ảnh, đồng ý vă - n nhận thông báo từ nhà phát triển chức chọn ảnh, xem album từ th hình ạc Tuy nhiên hạn chế thời gian nên luận văn số hạn chế sau như: Chưa kiểm thử nhiều chức phần mềm - Chưa kiểm thứ nhiều phần mềm chạy tảng Android sĩ - Cô ng Trong thời gian tới, thực với nhiều liệu, cụ thể hệ ng nhiều ứng dụng chạy tảng Android để nâng cao kết thực nghiệm g ôn th tin 45 TÀI LIỆU THAM KHẢO [1] Lin Deng, Jeff Offutt, Paul Ammann, Nariman Mirzaei Mutation operators for testing Android apps Information & Software Technology 81: 154-168 (2017) [2] Lin Deng, Jeff Offutt, David Samudio Is Mutation Analysis Effective at Testing Android Apps? QRS 2017: 86-93 [3] Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F Andler, Paul Pettersson Using mutation to design tests for aspect-oriented models Information & Lu Software Technology 81: 112-130 (2017) [4] Birgitta Lindström, Sten F Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark ận Mutating aspect-oriented models to test cross-cutting concerns ICST Workshops vă 2015: 1-10 n [5] Reyhaneh Jabbarvand, Sam Malek µDroid: an energy-aware mutation testing th framework for Android ESEC/SIGSOFT FSE 2017: 208-219 ạc [6] Macario Polo Usaola, Gonzalo Rojas, Isyed Rodriguez, Suilen Hernandez An sĩ Architecture for the Development of Mutation Operators ICST Workshops Cô 2017: 143-148 ng [7] Hrushikesha Mohanty, J R Mohanty, Arunkumar Balakrishnan Trends in ng Software Testing Springer Singapore, 2017 [8] Mike Papadakis, Marinos Kintis, Jie Zhang, Yue Jia, Yves Le Traon, Mark hệ Harman Mutation Testing Advances_An Analysis and Survey th http://orbilu uni lu/bitstream/10993/31612/1/Mutation-Survey-06-17 pdf ôn [9] Paul Ammann, Jeff Offutt Introduction to Software Testing, Cambridge University g Press, 2017 tin [10] Ali Mili, Fairouz Tchier Software Testing_ Concepts and Operations Wiley, 2015 46