Luận văn nghiên cứu kỹ thuật kiểm thử hướng mô hình và Đánh giá tính tiện dụng Áp dụng vào phát triển phần mềm quản lý lưu trữ và số hóa tài liệu

Tuy nhiên, chất lượng của các sản phẩm này chưa thực sự dược đảm báo, gây ra hao phi rất lớn trong quả trình phát triển phần mềm, nhất là trong giai đoạn bảo trì Với mong muốn nâng cao

MỤC LỤC LỜI CAM ĐOAN

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

ậ thống chuyến đỗi nhãn (Labellad TransiHon System - LTS) 1.2.3 May trang thai hitu han (Finite State Machine FSM)

1.2.4 Máy trang thai mé rong (Extended Slate Machine — FSM)

1⁄3 Công cụ kiểm thử hướng mô hình

13 Xây dựng phương pháp dánh giá tính tiện dụng [2| 36

2.3.1 Tích hợp Mô hình tính tiện dụng của web vào A4I2WD,

3.3.2 Mô hình tính tiện đụng củi

rinh 4p dụng vào phát L Bước 1: Thiết lận các yêu câu

Bước 2: Thiết lập các Dặc tính kỹ thuật của việc Dánh giá

Bước 3: Thiết ke

Bute 4: Thực biện các đánh giả

Hước 5: hân tích các thay đề

1.4

iệu bài toán

3.1.1 Thông tin chưng về dự ái

3.1.2 Mô lá ứng đụng và môi trường pi

3.1.3 Tiêu chuẩn ứng dụng theo Công văn Số 283/V1

3.1.4 Mô hình xây đựng ứng dụng Quân lý hại trữ

3.2 Mục tiêu thực nghiệm

3.3 Áp dụng kiểm thử hướng mô hình

33.1 Ap dung quy tin

3.3.2 Tóm lược kết guả

Tinh giá tính tiện dụng cửa wel

3.41 Ap dung quy tin

A CAC KET Qua ĐẠT ĐƯỢC TRONG DE TAT

Các kết quã chính đạt được trong dé tài:

Những khó khăn và hướng giải quy

B HƯỚNG PHÁT TRIỀN CUA DE ‘TAL

TÀI LIỆU THAM KHÁO

k

LOI CAM DOAN

Tác giả xin cam đoan: Tuuận văn "Nghiên cứu kỹ thuật kiếm thử hướng mnô bình

và đánh giá tính tiên dụng áp dụng vào phát triển phan mềm Quản lý lưu trữ và Số hóa tại liệu" là đo băn thân tác giả tụ thực hiện đưới sự hướng dẫn của PGS.TS Huỳnh Quyết Thắng - Viện Công nghệ thông tin và Truyền thông - Đại học Bách khoa Hà Nội, các thông tia số liệu và kết quả trong Luận vẫn cò nguồn gốc rõ rảng, nội dung, ota Lain vin chua từng được công bố trong bất kỳ một công trình nghiên cứu nào ở

trong nước

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

Tae gid Luan van

Nguyễn Hải Dương

thuật ngữ Từ viết đầy đủ Ý nghĩa

SUT Systom Under Test Hệ thông được kiểm thừ

LTS Labelled Transition System Hệ thống chuyển đối nhấn

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

FSM Extended State Machine trạng (hải mở rộng:

Model-Driven Web Phát triển ứng dụng web theo hướng,

MỬ ĐÀ

1 Lý do chọn đề tài

Ngày nay, các sản phẩm phần mêm nói chưng vả các ứng đụng web nói riêng,

dang ngày công được sử đụng rộng rấi và chứng lỗ vai trò to lớn eda ching trong moi hoạt động thực tổ Từ việc kinh doanh ban hang online, thanh toán các hóa don mua

tán, lao đối thông tím qua mạng Imlernelt, đến việc quân lý dữ liệu theo các bài loắn

nghiệp vụ khác nhau Tuy nhiên, chất lượng của các sản phẩm này chưa thực sự dược đảm báo, gây ra hao phi rất lớn trong quả trình phát triển phần mềm, nhất là trong giai đoạn bảo trì

Với mong muốn nâng cao chất hượng sản phẩm đầu ra ma vẫn đảm bảo chỉ phí

chấp nhận được khi phát triển ứng dụng, đẳng thời giảm thiểu tối đa chỉ phí trong giai doan bảo trị (thường chiếm dến 70% chi phi trong chu kỳ sống của phần mềm tng dụng [6}), tác giả đã lựa chọn để lài này như một hướng nghiên cứu cho việc đâm bao chất lượng sản phẩm phần mẻm, dặc biệt là với các ứng dụng web

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

Phát triển ứng dụng theo “kiến trúc hướng mô hình — Model Drwvecn Architecture (MDA)” đang là một hưởng đi đầy tiểm ning cho việc phát triển ứng, dung phản mềm nhanh chóng, tiện lợi và chính xác theo một quy chuẩn nhất định Nhưng lĩnh vực này vẫn cón rất mới mẽ và tồn tại nhiều rúi ro vi nhiều nguyên nhân

như Hệ thông được mô hình hóa hởi người đùng chưa đủ độ chính xáo và tin cậy, việc

sinh code từ mỗ hình chưa đô độ chỉnh x: q có nến muốn sử dụng được vẫn cân

phải chỉnh sửa lại,

Ngoài ra, do nhụ câu rất lớn của xã hội mà các hệ thống website từ nhỏ đến lớn

đã và đang phát triển nhanh chóng về số lượng Tuy nhiên cùng với trình độ của đội ngdi kỹ thuật viên, định hướng phát triển sản phẩm phần mềm: vói áp lực kinh doanh,

8

thuật nhằm năng cao chất lượng, cho các phan mềm nhưng vẫn đảm bảo chỉ phí hợp lý Thêm nữa, cần phải làm sao đẻ có thể tích hợp được các kỹ thuật này ngay trong quy trình phát triển ứng dụng (web) dé có thể phát hiện sớm các sai sót, bỏng hóc, lỗi trong các giai đoạn đầu tiên của quá trình phát triển Diễu nảy sẽ rất có lợi cho việc cắt giảm hao phí (về cã kinh tế vá công sức lao động) một cách tôi đa cho nhả phát triển, dâm bao dạt dược yêu câu dật ra ban dau la: “nang cao chất lượng với chỉ phí hợp lý”

B3 Thu thập tải Hệu:

1o đây là một lĩnh vực cón rất mới mẻ trên thể giới và đặc biệt lả ó Việt Nam, xiên việc thu thập tài liệu cũng như tìm kiếm các công nghệ phụ trợ còn khá khó khăn Tác giả đã cố gắng tìm kiếm các tải liệu liên quan và nghiên cứu sự phù hợp của nó với

hưởng đi trong hiện văn này Thường thì các tải liệu trong lĩnh vục này còn khá tống,

quan và trưu tượng, chưa có muội tài liệu nào thực sự hoàn chính va day đủ, chỉ tiết để

cỏ thể sử dụng trực tiếp Kết quả của công trình nghiên cửu này là tổng hợp của rất nhiều các tài liệu liên quan khác nhau trong lĩnh vực còn rất mới mẻ nảy

thủ công truyền thông,

~_ Đánh giá tính tiện dụng của ứng dụng — tập trung vào việc đánh giá sự liệu dụng, của giao diện nguời dùng cuỗi, giúp nâng cao trải nghiệm người đúng,

và đại được sự lhỗa mãn của họ

Mỗi hướng đi nêu ra ở trên lại thuộc một lĩnh vực nghiên cứu độc lập với nhau, các lý thuyết và phương pháp áp dung đều là dộc lập, gây rất nhiều khó khăn trong quả trình nghiên cứu Tuy nhiên sau một thời gian nỗ lực nghiên cứu và tim tei, tac giã

10

giá thành sản phẩm, mà chất lượng, của da số cáo hệ thông website ở Việt Nam mới chỉ đừng ở mức “chấp nhận được” Các khâu từ thiết kế chỉ tiết, đến kiểm thủ, đánh giá tính tiện dụng của ứng dụng thường dễu bị lược bớt và chứ tập trung vào việc mã hóa phân mềm để nhanh chóng cho ra các bản mẫu có thể sứ dụng được ngay

Trong tình hình nảy, việc “Kiểm thử và dánh giá Lính tiện dụng của ứng dựng 'phát triển theo kiến trúc hướng mô hình” là rất cần thiết Hởi lẽ nó đóng vai trỏ đánh giả mội cách chuẩn xác kết quả của việc phát triển ứng dụng theo “kiến trúc hướng mô hình”, từ dõ sẽ giúp ich rất nhiều trong việc cải thiện chất lượng cũng như giảm thiểu tối đi chỉ phí bảo trì cho các sản phâm phần mềm, nhất là với các ứng dụng web

3 Mục dích, đối tượng, phạm vi nghiên cửu

(i) Nghiên cửu các kỹ thuật kiểm thử và đánh giả tính tiện dụng của các ứng dụng được phát triển theo kiến trúc hướng mô hình

(1 Nghiên củu và xây dựng hệ thông Quản lý lưu trữ và số hóa tải Hệu theo hưởng mô hình, theo chuẩn dược công bé wong công văn Số 283/VTLTNN — NVTW — 1ộ Nội Vụ

(ii) Thực biển áp dụng các kỹ thuật kiểm thử và đánh giá tính tiên dụng đã nghiên cửu ở (¡) vào đánh giá hệ thông Quản lý lưu trữ và số hỏa tải liệu (1)

4 Phương pháp nghiên cứu

Một quả trình nghiên cứu khoa học luôn luôn theo một quy trinh nhất định từ: Khao sát nhù câu thực tể, Thu thập tài liệu, Lựa chọn phương pháp, Lua chọn cóng nghệ, va cuối cũng là áp dụng lý thuyết vào thực tế Vá luận văn này cũng sẽ di theo quy trình đó

BA Khao sát nhu cầu thực tế:

'Vấn đẻ vẻ chất lượng cửa sản phầm phản mêm đang được quan tâm ngày một

thiểu do nỗ đang trở thành một yến lố quyết định dẫn đến sự thành bại của một ứng, đụng Nắm bắt được nhu cầu đó, tác giả đã quan tâm và bắt tay vào nghiên cứu các ky

9

LỜI CẢM GON

Trong suối thời gian thực hiện luận vẫn, tác giả đã nhận được râi nhiều sự quan

tâm, giúp đỡ của quý Thấy Cỏ, gia dình và bạn bè

Với làng biết ơn sâu sắc, em xin kinh giti Thay giáo PGS TS Huỳnh Quyết 'Thắng lời cảm ơn chân thành nhất đã giúp đỡ em rất nhiều tử việc nhận là người

thưởng đân luận văn cho em, đến việc tận tỉnh chỉ bảo, giúp đỡ em trong suốt quá trình

ai thực hiện luận văn này Em xin chân thành câm ơn Thấy!

Tim xin gửi lời căm ơn đến quý Thây Cô Viện Công nghệ Thông tin & Truyền

thông, Trường Đại học Bách Khoa Hà Nội đã truyền dạy cho em những kiến thức quý báu trong quả trình em học tập tại trường

Tôi xin gửi lời cảm ơn đến gia dình và bạn bè đã động viên và giúp dỡ dễ tôi có thêm động lực hoàn thánh được luận vẫn này,

Trong quả trình thực hiện, cũng như trong quá trình làm bảo cáo, do trình đệ lý luận cũng như kinh nghiệm thực tiễn còn hạn chẻ nên không thể trảnh khỏi những thiếu sót, lâu giả tất mong nhận được những ý kiến đồng góp của quý Thầy, Cô và mọi người

để tác piá có thể hoản thiện luận vẫn một cách tốt nhất

Xan chan thành cân on!

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

Hin 10: Phần định nghĩa mô hình lest case -

Hình 11: Mô hình Test Case tự sinh bởi công cụ

Hình 12: Mé ta code Test Script tự sinh

Llinh 13: Qua trinh tao Test Case bing Selenium va Firel’ox

Linh 14: Giao dién Phan mnềm neo

inh 15: M6 ta vi dit 2.2 cesses cinerea

nthe,

giá thành sản phẩm, mà chất lượng, của da số cáo hệ thông website ở Việt Nam mới chỉ đừng ở mức “chấp nhận được” Các khâu từ thiết kế chỉ tiết, đến kiểm thủ, đánh giá tính tiện dụng của ứng dụng thường dễu bị lược bớt và chứ tập trung vào việc mã hóa phân mềm để nhanh chóng cho ra các bản mẫu có thể sứ dụng được ngay

Trong tình hình nảy, việc “Kiểm thử và dánh giá Lính tiện dụng của ứng dựng 'phát triển theo kiến trúc hướng mô hình” là rất cần thiết Hởi lẽ nó đóng vai trỏ đánh giả mội cách chuẩn xác kết quả của việc phát triển ứng dụng theo “kiến trúc hướng mô hình”, từ dõ sẽ giúp ich rất nhiều trong việc cải thiện chất lượng cũng như giảm thiểu tối đi chỉ phí bảo trì cho các sản phâm phần mềm, nhất là với các ứng dụng web

3 Mục dích, đối tượng, phạm vi nghiên cửu

(i) Nghiên cửu các kỹ thuật kiểm thử và đánh giả tính tiện dụng của các ứng dụng được phát triển theo kiến trúc hướng mô hình

(1 Nghiên củu và xây dựng hệ thông Quản lý lưu trữ và số hóa tải Hệu theo hưởng mô hình, theo chuẩn dược công bé wong công văn Số 283/VTLTNN — NVTW — 1ộ Nội Vụ

(ii) Thực biển áp dụng các kỹ thuật kiểm thử và đánh giá tính tiên dụng đã nghiên cửu ở (¡) vào đánh giá hệ thông Quản lý lưu trữ và số hỏa tải liệu (1)

4 Phương pháp nghiên cứu

Một quả trình nghiên cứu khoa học luôn luôn theo một quy trinh nhất định từ: Khao sát nhù câu thực tể, Thu thập tài liệu, Lựa chọn phương pháp, Lua chọn cóng nghệ, va cuối cũng là áp dụng lý thuyết vào thực tế Vá luận văn này cũng sẽ di theo quy trình đó

BA Khao sát nhu cầu thực tế:

'Vấn đẻ vẻ chất lượng cửa sản phầm phản mêm đang được quan tâm ngày một

thiểu do nỗ đang trở thành một yến lố quyết định dẫn đến sự thành bại của một ứng, đụng Nắm bắt được nhu cầu đó, tác giả đã quan tâm và bắt tay vào nghiên cứu các ky

9

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

Hin 10: Phần định nghĩa mô hình lest case -

Hình 11: Mô hình Test Case tự sinh bởi công cụ

Hình 12: Mé ta code Test Script tự sinh

Llinh 13: Qua trinh tao Test Case bing Selenium va Firel’ox

Linh 14: Giao dién Phan mnềm neo

inh 15: M6 ta vi dit 2.2 cesses cinerea

nthe,

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

Hin 10: Phần định nghĩa mô hình lest case -

Hình 11: Mô hình Test Case tự sinh bởi công cụ

Hình 12: Mé ta code Test Script tự sinh

Llinh 13: Qua trinh tao Test Case bing Selenium va Firel’ox

Linh 14: Giao dién Phan mnềm neo

inh 15: M6 ta vi dit 2.2 cesses cinerea

nthe,

DANH MỤC CÁC BẰNG

ng nhân biết

Bang 1: Phan tích về khả

Bang 2: Phan tich vé kha wang tim hiéa

Bang 3: Phan tich vé Kha nang hoat déng

Bang 4: Phân tích vẻ tính bảo vệ người đùng khỏi lỗi

Bang 5; Phan tích về khá năng truy cập -

Bang 6; Phan tich vé tink tham mỹ của giao diện người i ding

Bảng 7: Phân tích về Sự tuân thú

Bang &: Phan tích về hiệu quả trong 3

Tảng 9: Phân tích về tốt ưu trơng sử dụng

Bang 10: Phân tích về sự hải lòng trong sir dung,

Bang 11: Phân tích về bảo hộ rủi ro và nội đung

Bang 12: Ví dụ về một phương pháp kiếm tra đánh giá

Bang 13: Kết quả đảnh giá định tỉnh thu được dựa trên đánh giả của người dũng

Bảng 14: Kết quả đánh giá định lượng thú được dựa trên đánh giá của người dime

DANH MỤC CÁC BẰNG

ng nhân biết

Bang 1: Phan tích về khả

Bang 2: Phan tich vé kha wang tim hiéa

Bang 3: Phan tich vé Kha nang hoat déng

Bang 4: Phân tích vẻ tính bảo vệ người đùng khỏi lỗi

Bang 5; Phan tích về khá năng truy cập -

Bang 6; Phan tich vé tink tham mỹ của giao diện người i ding

Bảng 7: Phân tích về Sự tuân thú

Bang &: Phan tích về hiệu quả trong 3

Tảng 9: Phân tích về tốt ưu trơng sử dụng

Bang 10: Phân tích về sự hải lòng trong sir dung,

Bang 11: Phân tích về bảo hộ rủi ro và nội đung

Bang 12: Ví dụ về một phương pháp kiếm tra đánh giá

Bang 13: Kết quả đảnh giá định tỉnh thu được dựa trên đánh giả của người dũng

Bảng 14: Kết quả đánh giá định lượng thú được dựa trên đánh giá của người dime

MỬ ĐÀ

1 Lý do chọn đề tài

Ngày nay, các sản phẩm phần mêm nói chưng vả các ứng đụng web nói riêng,

dang ngày công được sử đụng rộng rấi và chứng lỗ vai trò to lớn eda ching trong moi hoạt động thực tổ Từ việc kinh doanh ban hang online, thanh toán các hóa don mua

tán, lao đối thông tím qua mạng Imlernelt, đến việc quân lý dữ liệu theo các bài loắn

nghiệp vụ khác nhau Tuy nhiên, chất lượng của các sản phẩm này chưa thực sự dược đảm báo, gây ra hao phi rất lớn trong quả trình phát triển phần mềm, nhất là trong giai đoạn bảo trì

Với mong muốn nâng cao chất hượng sản phẩm đầu ra ma vẫn đảm bảo chỉ phí

chấp nhận được khi phát triển ứng dụng, đẳng thời giảm thiểu tối đa chỉ phí trong giai doan bảo trị (thường chiếm dến 70% chi phi trong chu kỳ sống của phần mềm tng dụng [6}), tác giả đã lựa chọn để lài này như một hướng nghiên cứu cho việc đâm bao chất lượng sản phẩm phần mẻm, dặc biệt là với các ứng dụng web

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

Phát triển ứng dụng theo “kiến trúc hướng mô hình — Model Drwvecn Architecture (MDA)” đang là một hưởng đi đầy tiểm ning cho việc phát triển ứng, dung phản mềm nhanh chóng, tiện lợi và chính xác theo một quy chuẩn nhất định Nhưng lĩnh vực này vẫn cón rất mới mẽ và tồn tại nhiều rúi ro vi nhiều nguyên nhân

như Hệ thông được mô hình hóa hởi người đùng chưa đủ độ chính xáo và tin cậy, việc

sinh code từ mỗ hình chưa đô độ chỉnh x: q có nến muốn sử dụng được vẫn cân

phải chỉnh sửa lại,

Ngoài ra, do nhụ câu rất lớn của xã hội mà các hệ thống website từ nhỏ đến lớn

đã và đang phát triển nhanh chóng về số lượng Tuy nhiên cùng với trình độ của đội ngdi kỹ thuật viên, định hướng phát triển sản phẩm phần mềm: vói áp lực kinh doanh,

8

thuật ngữ Từ viết đầy đủ Ý nghĩa

SUT Systom Under Test Hệ thông được kiểm thừ

LTS Labelled Transition System Hệ thống chuyển đối nhấn

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

FSM Extended State Machine trạng (hải mở rộng:

Model-Driven Web Phát triển ứng dụng web theo hướng,

thuật nhằm năng cao chất lượng, cho các phan mềm nhưng vẫn đảm bảo chỉ phí hợp lý Thêm nữa, cần phải làm sao đẻ có thể tích hợp được các kỹ thuật này ngay trong quy trình phát triển ứng dụng (web) dé có thể phát hiện sớm các sai sót, bỏng hóc, lỗi trong các giai đoạn đầu tiên của quá trình phát triển Diễu nảy sẽ rất có lợi cho việc cắt giảm hao phí (về cã kinh tế vá công sức lao động) một cách tôi đa cho nhả phát triển, dâm bao dạt dược yêu câu dật ra ban dau la: “nang cao chất lượng với chỉ phí hợp lý”

B3 Thu thập tải Hệu:

1o đây là một lĩnh vực cón rất mới mẻ trên thể giới và đặc biệt lả ó Việt Nam, xiên việc thu thập tài liệu cũng như tìm kiếm các công nghệ phụ trợ còn khá khó khăn Tác giả đã cố gắng tìm kiếm các tải liệu liên quan và nghiên cứu sự phù hợp của nó với

hưởng đi trong hiện văn này Thường thì các tải liệu trong lĩnh vục này còn khá tống,

quan và trưu tượng, chưa có muội tài liệu nào thực sự hoàn chính va day đủ, chỉ tiết để

cỏ thể sử dụng trực tiếp Kết quả của công trình nghiên cửu này là tổng hợp của rất nhiều các tài liệu liên quan khác nhau trong lĩnh vực còn rất mới mẻ nảy

thủ công truyền thông,

~_ Đánh giá tính tiện dụng của ứng dụng — tập trung vào việc đánh giá sự liệu dụng, của giao diện nguời dùng cuỗi, giúp nâng cao trải nghiệm người đúng,

và đại được sự lhỗa mãn của họ

Mỗi hướng đi nêu ra ở trên lại thuộc một lĩnh vực nghiên cứu độc lập với nhau, các lý thuyết và phương pháp áp dung đều là dộc lập, gây rất nhiều khó khăn trong quả trình nghiên cứu Tuy nhiên sau một thời gian nỗ lực nghiên cứu và tim tei, tac giã

10

MỬ ĐÀ

1 Lý do chọn đề tài

Ngày nay, các sản phẩm phần mêm nói chưng vả các ứng đụng web nói riêng,

dang ngày công được sử đụng rộng rấi và chứng lỗ vai trò to lớn eda ching trong moi hoạt động thực tổ Từ việc kinh doanh ban hang online, thanh toán các hóa don mua

tán, lao đối thông tím qua mạng Imlernelt, đến việc quân lý dữ liệu theo các bài loắn

nghiệp vụ khác nhau Tuy nhiên, chất lượng của các sản phẩm này chưa thực sự dược đảm báo, gây ra hao phi rất lớn trong quả trình phát triển phần mềm, nhất là trong giai đoạn bảo trì

Với mong muốn nâng cao chất hượng sản phẩm đầu ra ma vẫn đảm bảo chỉ phí

chấp nhận được khi phát triển ứng dụng, đẳng thời giảm thiểu tối đa chỉ phí trong giai doan bảo trị (thường chiếm dến 70% chi phi trong chu kỳ sống của phần mềm tng dụng [6}), tác giả đã lựa chọn để lài này như một hướng nghiên cứu cho việc đâm bao chất lượng sản phẩm phần mẻm, dặc biệt là với các ứng dụng web

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

Phát triển ứng dụng theo “kiến trúc hướng mô hình — Model Drwvecn Architecture (MDA)” đang là một hưởng đi đầy tiểm ning cho việc phát triển ứng, dung phản mềm nhanh chóng, tiện lợi và chính xác theo một quy chuẩn nhất định Nhưng lĩnh vực này vẫn cón rất mới mẽ và tồn tại nhiều rúi ro vi nhiều nguyên nhân

như Hệ thông được mô hình hóa hởi người đùng chưa đủ độ chính xáo và tin cậy, việc

sinh code từ mỗ hình chưa đô độ chỉnh x: q có nến muốn sử dụng được vẫn cân

phải chỉnh sửa lại,

Ngoài ra, do nhụ câu rất lớn của xã hội mà các hệ thống website từ nhỏ đến lớn

đã và đang phát triển nhanh chóng về số lượng Tuy nhiên cùng với trình độ của đội ngdi kỹ thuật viên, định hướng phát triển sản phẩm phần mềm: vói áp lực kinh doanh,

8

DANH MỤC CÁC BẰNG

ng nhân biết

Bang 1: Phan tích về khả

Bang 2: Phan tich vé kha wang tim hiéa

Bang 3: Phan tich vé Kha nang hoat déng

Bang 4: Phân tích vẻ tính bảo vệ người đùng khỏi lỗi

Bang 5; Phan tích về khá năng truy cập -

Bang 6; Phan tich vé tink tham mỹ của giao diện người i ding

Bảng 7: Phân tích về Sự tuân thú

Bang &: Phan tích về hiệu quả trong 3

Tảng 9: Phân tích về tốt ưu trơng sử dụng

Bang 10: Phân tích về sự hải lòng trong sir dung,

Bang 11: Phân tích về bảo hộ rủi ro và nội đung

Bang 12: Ví dụ về một phương pháp kiếm tra đánh giá

Bang 13: Kết quả đảnh giá định tỉnh thu được dựa trên đánh giả của người dũng

Bảng 14: Kết quả đánh giá định lượng thú được dựa trên đánh giá của người dime

DANH MỤC CÁC BẰNG

ng nhân biết

Bang 1: Phan tích về khả

Bang 2: Phan tich vé kha wang tim hiéa

Bang 3: Phan tich vé Kha nang hoat déng

Bang 4: Phân tích vẻ tính bảo vệ người đùng khỏi lỗi

Bang 5; Phan tích về khá năng truy cập -

Bang 6; Phan tich vé tink tham mỹ của giao diện người i ding

Bảng 7: Phân tích về Sự tuân thú

Bang &: Phan tích về hiệu quả trong 3

Tảng 9: Phân tích về tốt ưu trơng sử dụng

Bang 10: Phân tích về sự hải lòng trong sir dung,

Bang 11: Phân tích về bảo hộ rủi ro và nội đung

Bang 12: Ví dụ về một phương pháp kiếm tra đánh giá

Bang 13: Kết quả đảnh giá định tỉnh thu được dựa trên đánh giả của người dũng

Bảng 14: Kết quả đánh giá định lượng thú được dựa trên đánh giá của người dime

giá thành sản phẩm, mà chất lượng, của da số cáo hệ thông website ở Việt Nam mới chỉ đừng ở mức “chấp nhận được” Các khâu từ thiết kế chỉ tiết, đến kiểm thủ, đánh giá tính tiện dụng của ứng dụng thường dễu bị lược bớt và chứ tập trung vào việc mã hóa phân mềm để nhanh chóng cho ra các bản mẫu có thể sứ dụng được ngay

Trong tình hình nảy, việc “Kiểm thử và dánh giá Lính tiện dụng của ứng dựng 'phát triển theo kiến trúc hướng mô hình” là rất cần thiết Hởi lẽ nó đóng vai trỏ đánh giả mội cách chuẩn xác kết quả của việc phát triển ứng dụng theo “kiến trúc hướng mô hình”, từ dõ sẽ giúp ich rất nhiều trong việc cải thiện chất lượng cũng như giảm thiểu tối đi chỉ phí bảo trì cho các sản phâm phần mềm, nhất là với các ứng dụng web

3 Mục dích, đối tượng, phạm vi nghiên cửu

(i) Nghiên cửu các kỹ thuật kiểm thử và đánh giả tính tiện dụng của các ứng dụng được phát triển theo kiến trúc hướng mô hình

(1 Nghiên củu và xây dựng hệ thông Quản lý lưu trữ và số hóa tải Hệu theo hưởng mô hình, theo chuẩn dược công bé wong công văn Số 283/VTLTNN — NVTW — 1ộ Nội Vụ

(ii) Thực biển áp dụng các kỹ thuật kiểm thử và đánh giá tính tiên dụng đã nghiên cửu ở (¡) vào đánh giá hệ thông Quản lý lưu trữ và số hỏa tải liệu (1)

4 Phương pháp nghiên cứu

Một quả trình nghiên cứu khoa học luôn luôn theo một quy trinh nhất định từ: Khao sát nhù câu thực tể, Thu thập tài liệu, Lựa chọn phương pháp, Lua chọn cóng nghệ, va cuối cũng là áp dụng lý thuyết vào thực tế Vá luận văn này cũng sẽ di theo quy trình đó

BA Khao sát nhu cầu thực tế:

'Vấn đẻ vẻ chất lượng cửa sản phầm phản mêm đang được quan tâm ngày một

thiểu do nỗ đang trở thành một yến lố quyết định dẫn đến sự thành bại của một ứng, đụng Nắm bắt được nhu cầu đó, tác giả đã quan tâm và bắt tay vào nghiên cứu các ky

9

giá thành sản phẩm, mà chất lượng, của da số cáo hệ thông website ở Việt Nam mới chỉ đừng ở mức “chấp nhận được” Các khâu từ thiết kế chỉ tiết, đến kiểm thủ, đánh giá tính tiện dụng của ứng dụng thường dễu bị lược bớt và chứ tập trung vào việc mã hóa phân mềm để nhanh chóng cho ra các bản mẫu có thể sứ dụng được ngay

Trong tình hình nảy, việc “Kiểm thử và dánh giá Lính tiện dụng của ứng dựng 'phát triển theo kiến trúc hướng mô hình” là rất cần thiết Hởi lẽ nó đóng vai trỏ đánh giả mội cách chuẩn xác kết quả của việc phát triển ứng dụng theo “kiến trúc hướng mô hình”, từ dõ sẽ giúp ich rất nhiều trong việc cải thiện chất lượng cũng như giảm thiểu tối đi chỉ phí bảo trì cho các sản phâm phần mềm, nhất là với các ứng dụng web

3 Mục dích, đối tượng, phạm vi nghiên cửu

(i) Nghiên cửu các kỹ thuật kiểm thử và đánh giả tính tiện dụng của các ứng dụng được phát triển theo kiến trúc hướng mô hình

(1 Nghiên củu và xây dựng hệ thông Quản lý lưu trữ và số hóa tải Hệu theo hưởng mô hình, theo chuẩn dược công bé wong công văn Số 283/VTLTNN — NVTW — 1ộ Nội Vụ

(ii) Thực biển áp dụng các kỹ thuật kiểm thử và đánh giá tính tiên dụng đã nghiên cửu ở (¡) vào đánh giá hệ thông Quản lý lưu trữ và số hỏa tải liệu (1)

4 Phương pháp nghiên cứu

Một quả trình nghiên cứu khoa học luôn luôn theo một quy trinh nhất định từ: Khao sát nhù câu thực tể, Thu thập tài liệu, Lựa chọn phương pháp, Lua chọn cóng nghệ, va cuối cũng là áp dụng lý thuyết vào thực tế Vá luận văn này cũng sẽ di theo quy trình đó

BA Khao sát nhu cầu thực tế:

'Vấn đẻ vẻ chất lượng cửa sản phầm phản mêm đang được quan tâm ngày một

thiểu do nỗ đang trở thành một yến lố quyết định dẫn đến sự thành bại của một ứng, đụng Nắm bắt được nhu cầu đó, tác giả đã quan tâm và bắt tay vào nghiên cứu các ky

9

MỬ ĐÀ

1 Lý do chọn đề tài

Ngày nay, các sản phẩm phần mêm nói chưng vả các ứng đụng web nói riêng,

dang ngày công được sử đụng rộng rấi và chứng lỗ vai trò to lớn eda ching trong moi hoạt động thực tổ Từ việc kinh doanh ban hang online, thanh toán các hóa don mua

tán, lao đối thông tím qua mạng Imlernelt, đến việc quân lý dữ liệu theo các bài loắn

nghiệp vụ khác nhau Tuy nhiên, chất lượng của các sản phẩm này chưa thực sự dược đảm báo, gây ra hao phi rất lớn trong quả trình phát triển phần mềm, nhất là trong giai đoạn bảo trì

Với mong muốn nâng cao chất hượng sản phẩm đầu ra ma vẫn đảm bảo chỉ phí

chấp nhận được khi phát triển ứng dụng, đẳng thời giảm thiểu tối đa chỉ phí trong giai doan bảo trị (thường chiếm dến 70% chi phi trong chu kỳ sống của phần mềm tng dụng [6}), tác giả đã lựa chọn để lài này như một hướng nghiên cứu cho việc đâm bao chất lượng sản phẩm phần mẻm, dặc biệt là với các ứng dụng web

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

Phát triển ứng dụng theo “kiến trúc hướng mô hình — Model Drwvecn Architecture (MDA)” đang là một hưởng đi đầy tiểm ning cho việc phát triển ứng, dung phản mềm nhanh chóng, tiện lợi và chính xác theo một quy chuẩn nhất định Nhưng lĩnh vực này vẫn cón rất mới mẽ và tồn tại nhiều rúi ro vi nhiều nguyên nhân

như Hệ thông được mô hình hóa hởi người đùng chưa đủ độ chính xáo và tin cậy, việc

sinh code từ mỗ hình chưa đô độ chỉnh x: q có nến muốn sử dụng được vẫn cân

phải chỉnh sửa lại,

Ngoài ra, do nhụ câu rất lớn của xã hội mà các hệ thống website từ nhỏ đến lớn

đã và đang phát triển nhanh chóng về số lượng Tuy nhiên cùng với trình độ của đội ngdi kỹ thuật viên, định hướng phát triển sản phẩm phần mềm: vói áp lực kinh doanh,

8

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

Hin 10: Phần định nghĩa mô hình lest case -

Hình 11: Mô hình Test Case tự sinh bởi công cụ

Hình 12: Mé ta code Test Script tự sinh

Llinh 13: Qua trinh tao Test Case bing Selenium va Firel’ox

Linh 14: Giao dién Phan mnềm neo

inh 15: M6 ta vi dit 2.2 cesses cinerea

nthe,

DANH MỤC CÁC BẰNG

ng nhân biết

Bang 1: Phan tích về khả

Bang 2: Phan tich vé kha wang tim hiéa

Bang 3: Phan tich vé Kha nang hoat déng

Bang 4: Phân tích vẻ tính bảo vệ người đùng khỏi lỗi

Bang 5; Phan tích về khá năng truy cập -

Bang 6; Phan tich vé tink tham mỹ của giao diện người i ding

Bảng 7: Phân tích về Sự tuân thú

Bang &: Phan tích về hiệu quả trong 3

Tảng 9: Phân tích về tốt ưu trơng sử dụng

Bang 10: Phân tích về sự hải lòng trong sir dung,

Bang 11: Phân tích về bảo hộ rủi ro và nội đung

Bang 12: Ví dụ về một phương pháp kiếm tra đánh giá

Bang 13: Kết quả đảnh giá định tỉnh thu được dựa trên đánh giả của người dũng

Bảng 14: Kết quả đánh giá định lượng thú được dựa trên đánh giá của người dime

MỬ ĐÀ

1 Lý do chọn đề tài

Ngày nay, các sản phẩm phần mêm nói chưng vả các ứng đụng web nói riêng,

dang ngày công được sử đụng rộng rấi và chứng lỗ vai trò to lớn eda ching trong moi hoạt động thực tổ Từ việc kinh doanh ban hang online, thanh toán các hóa don mua

tán, lao đối thông tím qua mạng Imlernelt, đến việc quân lý dữ liệu theo các bài loắn

nghiệp vụ khác nhau Tuy nhiên, chất lượng của các sản phẩm này chưa thực sự dược đảm báo, gây ra hao phi rất lớn trong quả trình phát triển phần mềm, nhất là trong giai đoạn bảo trì

Với mong muốn nâng cao chất hượng sản phẩm đầu ra ma vẫn đảm bảo chỉ phí

chấp nhận được khi phát triển ứng dụng, đẳng thời giảm thiểu tối đa chỉ phí trong giai doan bảo trị (thường chiếm dến 70% chi phi trong chu kỳ sống của phần mềm tng dụng [6}), tác giả đã lựa chọn để lài này như một hướng nghiên cứu cho việc đâm bao chất lượng sản phẩm phần mẻm, dặc biệt là với các ứng dụng web

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

Phát triển ứng dụng theo “kiến trúc hướng mô hình — Model Drwvecn Architecture (MDA)” đang là một hưởng đi đầy tiểm ning cho việc phát triển ứng, dung phản mềm nhanh chóng, tiện lợi và chính xác theo một quy chuẩn nhất định Nhưng lĩnh vực này vẫn cón rất mới mẽ và tồn tại nhiều rúi ro vi nhiều nguyên nhân

như Hệ thông được mô hình hóa hởi người đùng chưa đủ độ chính xáo và tin cậy, việc

sinh code từ mỗ hình chưa đô độ chỉnh x: q có nến muốn sử dụng được vẫn cân

phải chỉnh sửa lại,

Ngoài ra, do nhụ câu rất lớn của xã hội mà các hệ thống website từ nhỏ đến lớn

đã và đang phát triển nhanh chóng về số lượng Tuy nhiên cùng với trình độ của đội ngdi kỹ thuật viên, định hướng phát triển sản phẩm phần mềm: vói áp lực kinh doanh,

8

LỜI CẢM GON

Trong suối thời gian thực hiện luận vẫn, tác giả đã nhận được râi nhiều sự quan

tâm, giúp đỡ của quý Thấy Cỏ, gia dình và bạn bè

Với làng biết ơn sâu sắc, em xin kinh giti Thay giáo PGS TS Huỳnh Quyết 'Thắng lời cảm ơn chân thành nhất đã giúp đỡ em rất nhiều tử việc nhận là người

thưởng đân luận văn cho em, đến việc tận tỉnh chỉ bảo, giúp đỡ em trong suốt quá trình

ai thực hiện luận văn này Em xin chân thành câm ơn Thấy!

Tim xin gửi lời căm ơn đến quý Thây Cô Viện Công nghệ Thông tin & Truyền

thông, Trường Đại học Bách Khoa Hà Nội đã truyền dạy cho em những kiến thức quý báu trong quả trình em học tập tại trường

Tôi xin gửi lời cảm ơn đến gia dình và bạn bè đã động viên và giúp dỡ dễ tôi có thêm động lực hoàn thánh được luận vẫn này,

Trong quả trình thực hiện, cũng như trong quá trình làm bảo cáo, do trình đệ lý luận cũng như kinh nghiệm thực tiễn còn hạn chẻ nên không thể trảnh khỏi những thiếu sót, lâu giả tất mong nhận được những ý kiến đồng góp của quý Thầy, Cô và mọi người

để tác piá có thể hoản thiện luận vẫn một cách tốt nhất

Xan chan thành cân on!

thuật nhằm năng cao chất lượng, cho các phan mềm nhưng vẫn đảm bảo chỉ phí hợp lý Thêm nữa, cần phải làm sao đẻ có thể tích hợp được các kỹ thuật này ngay trong quy trình phát triển ứng dụng (web) dé có thể phát hiện sớm các sai sót, bỏng hóc, lỗi trong các giai đoạn đầu tiên của quá trình phát triển Diễu nảy sẽ rất có lợi cho việc cắt giảm hao phí (về cã kinh tế vá công sức lao động) một cách tôi đa cho nhả phát triển, dâm bao dạt dược yêu câu dật ra ban dau la: “nang cao chất lượng với chỉ phí hợp lý”

B3 Thu thập tải Hệu:

1o đây là một lĩnh vực cón rất mới mẻ trên thể giới và đặc biệt lả ó Việt Nam, xiên việc thu thập tài liệu cũng như tìm kiếm các công nghệ phụ trợ còn khá khó khăn Tác giả đã cố gắng tìm kiếm các tải liệu liên quan và nghiên cứu sự phù hợp của nó với

hưởng đi trong hiện văn này Thường thì các tải liệu trong lĩnh vục này còn khá tống,

quan và trưu tượng, chưa có muội tài liệu nào thực sự hoàn chính va day đủ, chỉ tiết để

cỏ thể sử dụng trực tiếp Kết quả của công trình nghiên cửu này là tổng hợp của rất nhiều các tài liệu liên quan khác nhau trong lĩnh vực còn rất mới mẻ nảy

thủ công truyền thông,

~_ Đánh giá tính tiện dụng của ứng dụng — tập trung vào việc đánh giá sự liệu dụng, của giao diện nguời dùng cuỗi, giúp nâng cao trải nghiệm người đúng,

và đại được sự lhỗa mãn của họ

Mỗi hướng đi nêu ra ở trên lại thuộc một lĩnh vực nghiên cứu độc lập với nhau, các lý thuyết và phương pháp áp dung đều là dộc lập, gây rất nhiều khó khăn trong quả trình nghiên cứu Tuy nhiên sau một thời gian nỗ lực nghiên cứu và tim tei, tac giã

10

LỜI CẢM GON

Trong suối thời gian thực hiện luận vẫn, tác giả đã nhận được râi nhiều sự quan

tâm, giúp đỡ của quý Thấy Cỏ, gia dình và bạn bè

Với làng biết ơn sâu sắc, em xin kinh giti Thay giáo PGS TS Huỳnh Quyết 'Thắng lời cảm ơn chân thành nhất đã giúp đỡ em rất nhiều tử việc nhận là người

thưởng đân luận văn cho em, đến việc tận tỉnh chỉ bảo, giúp đỡ em trong suốt quá trình

ai thực hiện luận văn này Em xin chân thành câm ơn Thấy!

Tim xin gửi lời căm ơn đến quý Thây Cô Viện Công nghệ Thông tin & Truyền

thông, Trường Đại học Bách Khoa Hà Nội đã truyền dạy cho em những kiến thức quý báu trong quả trình em học tập tại trường

Tôi xin gửi lời cảm ơn đến gia dình và bạn bè đã động viên và giúp dỡ dễ tôi có thêm động lực hoàn thánh được luận vẫn này,

Trong quả trình thực hiện, cũng như trong quá trình làm bảo cáo, do trình đệ lý luận cũng như kinh nghiệm thực tiễn còn hạn chẻ nên không thể trảnh khỏi những thiếu sót, lâu giả tất mong nhận được những ý kiến đồng góp của quý Thầy, Cô và mọi người

để tác piá có thể hoản thiện luận vẫn một cách tốt nhất

Xan chan thành cân on!

MỬ ĐÀ

1 Lý do chọn đề tài

Ngày nay, các sản phẩm phần mêm nói chưng vả các ứng đụng web nói riêng,

dang ngày công được sử đụng rộng rấi và chứng lỗ vai trò to lớn eda ching trong moi hoạt động thực tổ Từ việc kinh doanh ban hang online, thanh toán các hóa don mua

tán, lao đối thông tím qua mạng Imlernelt, đến việc quân lý dữ liệu theo các bài loắn

nghiệp vụ khác nhau Tuy nhiên, chất lượng của các sản phẩm này chưa thực sự dược đảm báo, gây ra hao phi rất lớn trong quả trình phát triển phần mềm, nhất là trong giai đoạn bảo trì

Với mong muốn nâng cao chất hượng sản phẩm đầu ra ma vẫn đảm bảo chỉ phí

chấp nhận được khi phát triển ứng dụng, đẳng thời giảm thiểu tối đa chỉ phí trong giai doan bảo trị (thường chiếm dến 70% chi phi trong chu kỳ sống của phần mềm tng dụng [6}), tác giả đã lựa chọn để lài này như một hướng nghiên cứu cho việc đâm bao chất lượng sản phẩm phần mẻm, dặc biệt là với các ứng dụng web

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

Phát triển ứng dụng theo “kiến trúc hướng mô hình — Model Drwvecn Architecture (MDA)” đang là một hưởng đi đầy tiểm ning cho việc phát triển ứng, dung phản mềm nhanh chóng, tiện lợi và chính xác theo một quy chuẩn nhất định Nhưng lĩnh vực này vẫn cón rất mới mẽ và tồn tại nhiều rúi ro vi nhiều nguyên nhân

như Hệ thông được mô hình hóa hởi người đùng chưa đủ độ chính xáo và tin cậy, việc

sinh code từ mỗ hình chưa đô độ chỉnh x: q có nến muốn sử dụng được vẫn cân

phải chỉnh sửa lại,

Ngoài ra, do nhụ câu rất lớn của xã hội mà các hệ thống website từ nhỏ đến lớn

đã và đang phát triển nhanh chóng về số lượng Tuy nhiên cùng với trình độ của đội ngdi kỹ thuật viên, định hướng phát triển sản phẩm phần mềm: vói áp lực kinh doanh,

8

thuật nhằm năng cao chất lượng, cho các phan mềm nhưng vẫn đảm bảo chỉ phí hợp lý Thêm nữa, cần phải làm sao đẻ có thể tích hợp được các kỹ thuật này ngay trong quy trình phát triển ứng dụng (web) dé có thể phát hiện sớm các sai sót, bỏng hóc, lỗi trong các giai đoạn đầu tiên của quá trình phát triển Diễu nảy sẽ rất có lợi cho việc cắt giảm hao phí (về cã kinh tế vá công sức lao động) một cách tôi đa cho nhả phát triển, dâm bao dạt dược yêu câu dật ra ban dau la: “nang cao chất lượng với chỉ phí hợp lý”

B3 Thu thập tải Hệu:

1o đây là một lĩnh vực cón rất mới mẻ trên thể giới và đặc biệt lả ó Việt Nam, xiên việc thu thập tài liệu cũng như tìm kiếm các công nghệ phụ trợ còn khá khó khăn Tác giả đã cố gắng tìm kiếm các tải liệu liên quan và nghiên cứu sự phù hợp của nó với

hưởng đi trong hiện văn này Thường thì các tải liệu trong lĩnh vục này còn khá tống,

quan và trưu tượng, chưa có muội tài liệu nào thực sự hoàn chính va day đủ, chỉ tiết để

cỏ thể sử dụng trực tiếp Kết quả của công trình nghiên cửu này là tổng hợp của rất nhiều các tài liệu liên quan khác nhau trong lĩnh vực còn rất mới mẻ nảy

thủ công truyền thông,

~_ Đánh giá tính tiện dụng của ứng dụng — tập trung vào việc đánh giá sự liệu dụng, của giao diện nguời dùng cuỗi, giúp nâng cao trải nghiệm người đúng,

và đại được sự lhỗa mãn của họ

Mỗi hướng đi nêu ra ở trên lại thuộc một lĩnh vực nghiên cứu độc lập với nhau, các lý thuyết và phương pháp áp dung đều là dộc lập, gây rất nhiều khó khăn trong quả trình nghiên cứu Tuy nhiên sau một thời gian nỗ lực nghiên cứu và tim tei, tac giã

10

DANH MỤC CÁC BẰNG

ng nhân biết

Bang 1: Phan tích về khả

Bang 2: Phan tich vé kha wang tim hiéa

Bang 3: Phan tich vé Kha nang hoat déng

Bang 4: Phân tích vẻ tính bảo vệ người đùng khỏi lỗi

Bang 5; Phan tích về khá năng truy cập -

Bang 6; Phan tich vé tink tham mỹ của giao diện người i ding

Bảng 7: Phân tích về Sự tuân thú

Bang &: Phan tích về hiệu quả trong 3

Tảng 9: Phân tích về tốt ưu trơng sử dụng

Bang 10: Phân tích về sự hải lòng trong sir dung,

Bang 11: Phân tích về bảo hộ rủi ro và nội đung

Bang 12: Ví dụ về một phương pháp kiếm tra đánh giá

Bang 13: Kết quả đảnh giá định tỉnh thu được dựa trên đánh giả của người dũng

Bảng 14: Kết quả đánh giá định lượng thú được dựa trên đánh giá của người dime

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

Hin 10: Phần định nghĩa mô hình lest case -

Hình 11: Mô hình Test Case tự sinh bởi công cụ

Hình 12: Mé ta code Test Script tự sinh

Llinh 13: Qua trinh tao Test Case bing Selenium va Firel’ox

Linh 14: Giao dién Phan mnềm neo

inh 15: M6 ta vi dit 2.2 cesses cinerea

nthe,

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

Hin 10: Phần định nghĩa mô hình lest case -

Hình 11: Mô hình Test Case tự sinh bởi công cụ

Hình 12: Mé ta code Test Script tự sinh

Llinh 13: Qua trinh tao Test Case bing Selenium va Firel’ox

Linh 14: Giao dién Phan mnềm neo

inh 15: M6 ta vi dit 2.2 cesses cinerea

nthe,

DANH MỤC CÁC BẰNG

ng nhân biết

Bang 1: Phan tích về khả

Bang 2: Phan tich vé kha wang tim hiéa

Bang 3: Phan tich vé Kha nang hoat déng

Bang 4: Phân tích vẻ tính bảo vệ người đùng khỏi lỗi

Bang 5; Phan tích về khá năng truy cập -

Bang 6; Phan tich vé tink tham mỹ của giao diện người i ding

Bảng 7: Phân tích về Sự tuân thú

Bang &: Phan tích về hiệu quả trong 3

Tảng 9: Phân tích về tốt ưu trơng sử dụng

Bang 10: Phân tích về sự hải lòng trong sir dung,

Bang 11: Phân tích về bảo hộ rủi ro và nội đung

Bang 12: Ví dụ về một phương pháp kiếm tra đánh giá

Bang 13: Kết quả đảnh giá định tỉnh thu được dựa trên đánh giả của người dũng

Bảng 14: Kết quả đánh giá định lượng thú được dựa trên đánh giá của người dime

thuật ngữ Từ viết đầy đủ Ý nghĩa

SUT Systom Under Test Hệ thông được kiểm thừ

LTS Labelled Transition System Hệ thống chuyển đối nhấn

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

FSM Extended State Machine trạng (hải mở rộng:

Model-Driven Web Phát triển ứng dụng web theo hướng,

thuật ngữ Từ viết đầy đủ Ý nghĩa

SUT Systom Under Test Hệ thông được kiểm thừ

LTS Labelled Transition System Hệ thống chuyển đối nhấn

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

FSM Extended State Machine trạng (hải mở rộng:

Model-Driven Web Phát triển ứng dụng web theo hướng,