Báo cáo tài liệu vi phạm
Giới thiệu
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
THỊ TRƯỜNG NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Thông tin
Tài liệu Xanh là gì
Điều khoản sử dụng
Chính sách bảo mật
0
Trang chủ
Công Nghệ Thông Tin
Quản trị Web
Một phướng pháp kiểm chứng và sinh test case cho các dịch vụ web dựa vào kiểm chứng mô hình
Đang chuẩn bị liên kết để tải về tài liệu:
Một phướng pháp kiểm chứng và sinh test case cho các dịch vụ web dựa vào kiểm chứng mô hình
Gia Thiện
793
6
pdf
Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG
Tải xuống
Bài báo này, chúng tôi đề xuất một phương pháp mới nhằm kiểm chứng và sinh bộ kiểm thử cho mô hình hành vi và mô hình điều khiển của ứng dụng dịch vụ web. Với phương pháp này, mô hình hành vi của ứng dụng web được chuyển đổi thành sang ngôn ngữ SMV, các chuẩn bao phủ kiểm thử được đặc tả bằng ngôn ngữ LTL, CTL, sau đó bộ công cụ kiểm chứng NuSMV được sử dụng để kiểm chứng một cách tự động mô hình hành vi và sinh ra các phản ví dụ từ đó sinh ra các bộ kiểm thử. | Nguyễn Hồng Tân và Đtg Tạp chí KHOA HỌC & CÔNG NGHỆ 102(02): 27 - 32 MỘT PHƯỚNG PHÁP KIỂM CHỨNG VÀ SINH TEST CASE CHO CÁC DỊCH VỤ WEB DỰA VÀO KIỂM CHỨNG MÔ HÌNH Nguyễn Hồng Tân1*, Nguyễn Trường Thắng2, Bùi Anh Tú1, Nguyễn Thị Tuyến1 1 Trường Đại học Công nghệ thông tin và Truyền thông – ĐH Thái Nguyên 2 Viện Công nghệ thông tin – Viện khoa học và công nghệ Việt Nam TÓM TẮT Ngày nay, các ứng dụng dịch vụ web rất phổ biến và có vai trò quan trọng trong các lĩnh vực của đời sống xã hội. Bài báo này, chúng tôi đề xuất một phương pháp mới nhằm kiểm chứng và sinh bộ kiểm thử cho mô hình hành vi và mô hình điều khiển của ứng dụng dịch vụ web. Với phương pháp này, mô hình hành vi của ứng dụng web được chuyển đổi thành sang ngôn ngữ SMV, các chuẩn bao phủ kiểm thử được đặc tả bằng ngôn ngữ LTL, CTL, sau đó bộ công cụ kiểm chứng NuSMV được sử dụng để kiểm chứng một cách tự động mô hình hành vi và sinh ra các phản ví dụ từ đó sinh ra các bộ kiểm thử. Từ khóa: Dịch vụ web, Kiểm chứng mô hình, Test Case, NuSMV. GIỚI THIỆU* Các ứng dụng dịch vụ web đang phát triển rất nhanh và được sử dụng cho nhiều mục đích khác nhau như trong kinh doanh và hệ thống chính phủ điện tử [3]. Để đảm bảo chất lượng dịch vụ web, một số phương pháp đã được đề xuất dựa vào mô hình hành vi và mô hình điều khiển để xác minh dịch vụ web. Kết quả đạt được là dịch vụ web dễ dàng được bảo trì, kiểm thử tốt hơn, phân tích, gỡ lỗi và các thiết kế của ứng dụng được xác minh một cách tự động [3][4]. Tuy nhiên, các phương pháp đề xuất mới chỉ dừng lại ở mức độ kiểm chứng các mô hình mà chưa hỗ trợ sinh ra được các bộ dữ liệu test để đảm bảo khách quan vấn đề kiểm thử ứng dụng web. Phương pháp tự động sinh dữ liệu test dựa trên mô hình hành vi của ứng dụng web giải quyết được các vấn đề lỗi thiết kế. Hành vi của ứng dụng web được chia thành hai phần: hành vi thực thi và hành vi điều khiển. Hành vi thực thi là ứng dụng độc lập, đó là các chức năng ở tầng nghiệp vụ của một dịch vụ web. Hành vi điều khiển là .
TÀI LIỆU LIÊN QUAN
MỘT SỐ PHƯƠNG PHÁP ĐO ĐỘ TIN CẬY CỦA MỘT BÀI KIỂM TRA
Sáng kiến kinh nghiệm: Một số kinh nghiệm tăng cường công tác kiểm tra dự giờ
Bài giảng Giới thiệu về thống kê DEPOCEN: Chương 6 - Cơ bản về kiểm định giả thuyết (kiểm định một mẫu)
Thực trạng công tác đăng kiểm phương tiện thủy nội địa chở khách du lịch và một số giải pháp trong công tác đăng kiểm phương tiện thủy nội địa chở khách du lịch
Sáng kiến kinh nghiệm: Một số biện pháp chỉ đạo giáo viên nâng cao hiệu quả phong trào “ Tiết kiệm nuôi heo đất” tại liên đội trường TH Krông Ana
Báo cáo " Khảo sát một số phương pháp sinh bộ kiểm thử trong kiểm thử hộp đen "
Khóa luận tốt nghiệp: Một số giải pháp nhằm hoàn thiện các phương pháp thu thập bằng chứng kiểm toán tại Công ty TNHH Dịch vụ Tư vấn Tài chính Kế toán và Kiểm toán Phía Nam (AASCs)
KINH NGHIỆM XÂY DỰNG VÀ PHÁT TRIỂN KIỂM TOÁN NỘI BỘ TẠI MÔT SỐ NƯỚC OECD
Chương 2: Phân tích độ phức tạp của một số gải thuật sắp thứ tự và tìm kiếm
SKKN: Một số kinh nghiệm về phương pháp giảng dạy bài tập phần loại kiềm, kiềm thổ, nhôm
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.