BỘ KHOA HỌC VÀ CÔNG NGHỆ
HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ

Lọc theo danh mục
  • Năm xuất bản
    Xem thêm
  • Lĩnh vực
liên kết website
Lượt truy cập
 Lượt truy cập :  22,541,750
  • Công bố khoa học và công nghệ Việt Nam

27.35

Toán học và thống kê

Nguyễn Hồng Tân, Nguyễn Trường Thắng(1), Bùi Anh Tú, Nguyễn Thị Tuyến

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

A model of checking based verification and test case generation method for web services

Khoa học và Công nghệ

2013

2

27-32

1859-2171

Dịch vụ web, Kiểm chứng mô hình, Test case, NuSMV

Nowadays, the web service applications are very popular and have an important role in the fields of social life. This paper, the authors propose a new method to verify and test the behavior model and control model of web service applications. With this method, web application behavior model is converted into the SMV language, the test coverage standard is specified in the language LTL/CTL, and then NuSMV tool is used to verified behavioral model and automatically generates counter example which generates the test.

TTKHCNQG, CTv178

Xem toàn văn