Tìm kiếm theo cụm từ
Chi tiết
Tên Một phương pháp kiểm thử và sinh test case cho các dịch vụ web dựa vào kiểm chứng mô hình
Lĩnh vực Tin học
Tác giả Nguyễn Hồng Tân, Nguyễn Trường Thắng, Bùi Anh Tú, Nguyễn Thị Tuyến
Nhà xuất bản / Tạp chí Khoa học và Công nghệ - Đại học Thái Nguyên Số 2 Năm 2013
Số hiệu ISSN/ISBN
Tóm tắt nội dung

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ải file Một phương pháp kiểm thử và sinh test case cho các dịch vụ web dựa vào kiểm chứng mô hình tại đây