Luận văn một số kỹ thuật kiểm thử hướng mô hình Áp dụng cho phát triển các Ứng dụng web

Mục đích, đổi tượng, phạm vỉ nghiên cứu ĐỀ lài tìm hiểu cơ sở lý thuyết về kiểm thử, kiểm thử hướng mô hình cũng như cách triển khai cöng cụ kiểm thứ lưởng mô hình để giảm thời gian, ng

Trang 1

1.2, Phân loại và các kỹ thuật

1.3 Kiểm thử nh và kiểm thử ding

Chương 2 NGHIÊN CỨC VỀ KIỀM THỬ HƯỚNG MÔ HÌNH

3.1 Tổng quan về kiểm thứ hướng mỏ hình

2,1,1 Kiểm thử hướng mô hình

2.1.2 Ngôn ngữ mô hình hỏa

2.1.3 Hệ thống chuyến tiệp gán nhãn - LTS

2.1.4 Máy trạng thái hữu hạn FSM

2,1,3 Máy trạng thái mở rộng:

2.1,6 So sánh kiểm thử hướng mô hình và kiêm thủ thông thường

2.2 Các phương pháp tiếp cận kiểm thử hướng mô hinh

2.2.1 Giải thuật tìm kiểm đỗ thị - Graph Search Algorithms

2.2.2 Kiếm thử ngẫu nhiên

2.2.3 Giải thuật tìm kiếm A-star

2.2.4 Kiểm tra mô hình

2.3.5 Phân lớp tương đương

2.2.6 Kỹ thuật đồ thị nhân - quả

Trang 2

3.3 Kết luận chương 3

3.4,1, Ưu điểm của kiểm thir hong mé hi

3.4.2 Nhược điểm của kiểm thử hướng mô hình

KÉT LUẬN VÀ HƯỚNG PHÁT TRIỄN

A Kết luậ

B Một số tên lại trong luận vị

C Hướng phát triển đề tài

DANH MỤC CÁC TÀI LIỆU THAM KHẢO

Trang 3

LỜI CAM ĐOAN

Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi Các thông tin số

liệu và kết quả trong Luận văn được hoản thành sau một thời gian nghiên cứu, tìm

hiểu các nguồn tài liệu sách báo chuyên ngành và thông tin có nguồn gốc rõ rằng, nội dung của Iuận văn chưa từng được công hồ trang bắt kỳ một công trình nghiên

cứu nảo khác

“Hà Nội, tháng 9 năm 2016

Tác giả Luận văn

Nguyễn Phương Trang

Trang 6

-_ Thứ hai, quy trình phát triển phần mềm luôn trải qua nhiều hoạt động biến

đổi thông tín sự mắt mát thông tin trong quá trình biến đổi là yếu tế chính

làm cho hoạt động kiểm thử khó khăn

- _ Thứ ba, kiểm thử chưa được chủ trọng trong đào tạo con người

~ _ Thứ tư, hạn chế trong kỹ thuật kiểm thử

Từ đó đỏi hỏi cần phải có một phương pháp, một kỹ thuật cùng với công cụ

để hỗ trợ quy trình kiểm thử, giúp cho việc kiểm thử nâng cao được chất lượng sản

phẩm mà vẫn đâm bao hop lý về mặt chỉ phí Kiểm thứ tự động theo hướng mê hình chính là một hướng tiếp cận thỏa mãn điều kiện đã đưa ra

3 Mục đích, đổi tượng, phạm vỉ nghiên cứu

ĐỀ lài tìm hiểu cơ sở lý thuyết về kiểm thử, kiểm thử hướng mô hình cũng như cách triển khai cöng cụ kiểm thứ lưởng mô hình để giảm thời gian, nguồn lực +kiểm thử và đảm bảo chất lượng phần mễm hơn so với công việc kiểm thử thủ công

Các nội dung chính sau:

(1) Tìm hiểu tổng quan về kiếm thử phân mẻm, kiểm thử nướng mô hình

(2) Nghiên cứu các kỹ thuật kiểm thứ hướng mô hình; tìm hiểu các phương

pháp, công cụ kiểm thử hướng mô hình Để xuất quy trình kiêm thử hướng mê hình cho phát riển ứng dụng Wcb

(4) Thực hiện áp dựng quy trình vào quá trình phát triển img dung Web, cu

thể là Hệ thống Dashboard kỹ thuật của Viettel Group, Đánh giá hiệu quả và dưa ra

các hướng phát triển tiếp theo

4 Bố cục của luận văn

Với mục tiêu đặt ra như vậy, những nội dung và kết quá nghiền cứu chính của luận văn được trình bảy trong ba chương như sau:

Chương 1: Tổng quan về kiểm thử phần mềm

Chương 2: Nghiên cứu vẻ kiểm thử hướng mô hình

10

Trang 7

cửu khoa học, và giúp tôi có thể hoàn thành luận văn một cách tốt nhất

Tôi xin gửi lời cảm ơn chân thành đến các anh, chị, em trong Trụng tâm

Phân mềm Viettel — Viettel Group đã tạo điều kiện cho tôi học tập, nghiền cứu và

ứng đụng thực tiễn

Cuối cũng, tôi xin gửi lời cám ơn bạn bê, nhất là gia đình tôi những người đã

luôn bên cạnh quan tâm, động viên và tạo mọi điền kiện tất nhất, khuyến khích tôi

trong quá trình học tập và nghiên cứu để hoàn thành tốt được để tải nghiên cửu của

mình

Tôi xin trân trọng cắm ơn!

Trang 8

10

Trang 9

Hình 3.17 Mô hình phóng to - thu nhỏ biển để,

Hình 3,18 Kiểm thử tự động vào màn hình đashboard kỹ thuật

Hình 3.19 Kiếm thử tự động xem biểu đồ Xu thể KPI

Trang 10

mình

Trang 11

mình

Trang 12

Trang 14

DANH MỤC CÁC TỪ VIÊT TAT VA THUAT NGU

LTS Labelled Transition Systems | Hé théng chuyén tiếp gắn nhãn

FSM Finite State Machine Máy trạng thái hữu hạn

RSM Extended State Machine May trang thai ma rong

MBT Model Based Testing Kiểm thử hướng mô hình

Trang 15

DANH MỤC CÁC HÌNH VẼ

Hình 1.1, Ví đụ chu trình điều khiến

Hình 1.2 Giai đoạn kiểm thử trong xử lý phần mềm

Hình I.3 Quy trình kiểm thử phần mềm

Hình 1.4 Các giai đoạn kiềm thử

Hinh 2.1 Vũng áp dụng của kiểm thử hướng mô bình

Hình 2.2 Đại diện trực quanLTS

Hình 2.3 Sơ đồ Irạng thái cho một cửa quay

Hinh 2.4 Mô hình tất định (trái) và không tất dịnh (phải)

Tình 2.5 Tool bar

Hình 2.6 Cửa số tcst case _

Hình 2.7 Quy trình kiểm thử hướng mô hình

Tình 3.1 Luồng nghiệp vụ chỉnh của hệ thẳng

Hình 3.2 Màn hình Dashboard Kỹ thuật Tập đoàn

Hinh 3.3 Màn hình Dashboard Kỹ thuật thị trường

Hình 3.4, Mô hình vào màn bình Dashboard kỹ thuật thị trường

Hinh 3.5 Các ca kiểm thử vàn mắn hình Dashboard kỹ thuật thị trường

Hình 3.6 Mô hình vào màn hình chỉ tiết Spark

Hình 3,7, Ca kiểm thử vào màn hình chỉ tiết Spark

Hình 3.8 Mô hình xem biểu đỗ xu thế KPI

Hình 3.9 Ca kiếm thử xem biểu đồ xu thể KPI

Tình 3.10 Xem chỉ tiết biểu đồ Gián đoạn thông tin mức linh

Hình 3.11 Ca kiểm thử xem chỉ tiết biểu để Gián doạn thông tin mức tỉnh

Hình 3,12 Click dn hiện đường line

Hình 3.13 Ca kiểm thử cliek ân hiện đường line

Hình 3.14 Thay dải vị trí các phản

Hình 3,L5 Ca kiêm thử thay đổi vị trí các phần

Hình 3.6 Mô hình phóng to - thu nhỏ biểu đề

Trang 16

Trang 18

Tình 2.5 Tool bar

Trang 19

DANH MỤC CÁC TỪ VIÊT TAT VA THUAT NGU

LTS Labelled Transition Systems | Hé théng chuyén tiếp gắn nhãn

FSM Finite State Machine Máy trạng thái hữu hạn

RSM Extended State Machine May trang thai ma rong

MBT Model Based Testing Kiểm thử hướng mô hình

Trang 20

mình

Trang 21

tất đa dạng và tùy theo nhu cầu đặc thù của tửng lĩnh vực, tuy nhiên điểm chung

nhất vẫn là giảm nhân lực, thời gian và sai sót Ngành công nghệ thông tín mà cụ

thể là phát triển phần mềm cũng không ngoại lệ

Kiểm thứ phần mềm luôn là một khâu rất quan trọng trong việc phát triển phần mềm, tuy nhiên hoạt động này lại tiêu tốn và chiếm tỷ trọng khá lớn công sức

và thời gian trong một dự án Do vậy, nhu cầu tự động hoá quy trình kiểm thứ phần

mễm cũng được đặt ra

Qua thực tế cho thấy, việc áp dụng kiểm thứ tự động hợp lý sẽ mang lại

thành công cho hoạt động kiếm thử phan mềm Kiểm thử tự động giúp giảm bớt

công sức, thời gian thực hiện, tăng độ tin cậy, giảm sự nhằm chản và rèn luyện kỳ

nang lập trình cho cán bộ kiểm thử Từ đó nâng cao chất lượng của sản phẩm lên cau hơn,

Đó là lý em chọn đề tài “Mật số kỹ thuật kiểm thứ hướng mô hình áp

dung cho phát triển các ứng dụng Web” làm luận văn tốt nghiệp

2 Tính cấp thiết của đề tài

Kiểm thử phần mềm góp một phần rất lớn trong việc đánh giá chất lượng, một phần mềm và là quy trình bắt buộc trong các dự án phần mềm trên thế giới cũng như trong nước Tuy nhiên, hoạt động kiểm thử thường gặp nhiều khó khăn Nguyên nhân chỉnh, gồm cỏ:

-_'Thứ nhất, kiểm thử các hệ thông phức tạp đòi hòi rất nhiều nguồn tài nguyên

và chỉ phí cao,

Trang 22

mình

Trang 23

Trang 25

và chỉ phí cao,

Trang 26

10

Trang 27

Trang 29

10

Trang 30

và chỉ phí cao,

Trang 31

và chỉ phí cao,

Trang 32

Tình 2.5 Tool bar

Trang 33

và chỉ phí cao,

Trang 34

và chỉ phí cao,

Trang 36

Tình 2.5 Tool bar

Trang 37

10

Tiêu đề	Luận văn một số kỹ thuật kiểm thử hướng mô hình áp dụng cho phát triển các ứng dụng web
Tác giả	Nguyễn Phương Trang
Trường học	Học viện Công nghệ Bưu chính Viễn thông
Chuyên ngành	Công nghệ thông tin
Thể loại	Luận văn
Năm xuất bản	2016
Thành phố	Hà Nội

Định dạng
Số trang	75
Dung lượng	163,76 KB