Công cụ sinh Test Case

Trong khuân khổ luận văn này, tác giả mong muốn đề cập đến những khái niệm căn bản liên quan đến SRS và Test Case, các lý thuyết chung, và đưa ra những kết quả nghiên cứu bước đầu. Tác giả cũng mong muốn có thể giải quyết được vấn đề sinh Test Case từ các yêu cầu phần mềm, từ đó phát triển được bộ công cụ sinh Test Case tự động, đưa ra những giải pháp công nghệ để có thể giải quyết bài toán đặt ra.

25p hanh_tv26 05-04-2019 60 4   Download

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ử.

6p cumeo2425 02-07-2018 73 5   Download

Kiểm thử là một phương pháp quan trọng để nâng cao chất lượng của một sản phẩm phần mềm được tạo ra bằng cách kiểm tra lỗi trong việc thực hiện chương trình theo một số chuẩn được gọi là chuẩn bao phủ. Kiểm thử sẽ rất tốn kém nếu nó không được hỗ trợ bởi một phương pháp hoặc một công cụ để tạo ra các bộ test. Bài báo này, chúng tôi đề xuất một phương pháp sinh dữ liệu kiểm thử tự động cho các đơn vị phần mềm dựa vào kỹ thuật kiểm chứng mô hình.

6p cumeo2425 02-07-2018 49 3   Download

Trình bày tổng quan về kiểm thử, kiểm thử tự động. Trình bày các khái niệm cơ bản về Test Case và các Phương pháp sinh Test Case tự động hiện nay. Trình bày phương pháp sinh Test Case từ giao diện và áp dụng phương pháp sinh Test Case từ giao diện với ví dụ cụ thể. Xây dựng công cụ sinh Test Case tự động bằng phương pháp sinh Test Case từ giao diện.

3p banhbeovodung 20-06-2013 98 14   Download