Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java
Luận văn này tập trung nghiên cứu phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java dựa trên kỹ thuật kiểm thử hộp trong dòng điều khiển hướng tĩnh, đồng thời cài đặt một công cụ (JavaUnitCFT) hỗ trợ cho phương pháp này. Phương pháp được mô tả thành một quy trình với các bước chính như...
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Theses and Dissertations |
Language: | Vietnamese |
Published: |
2016
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/8688 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | Vietnamese |
id |
oai:112.137.131.14:VNU_123-8688 |
---|---|
record_format |
dspace |
spelling |
oai:112.137.131.14:VNU_123-86882019-01-10T08:40:01Z Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java A Method of Generating a set of Test Cases Automatically for Java Programs Phan, Thị Thu Hà Phạm, Ngọc Hùng ĐHQGHN - Trường Đại học Công nghệ Kỹ thuật phần mềm Dữ liệu kiểm thử Kiểm thử tự động Java Luận văn này tập trung nghiên cứu phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java dựa trên kỹ thuật kiểm thử hộp trong dòng điều khiển hướng tĩnh, đồng thời cài đặt một công cụ (JavaUnitCFT) hỗ trợ cho phương pháp này. Phương pháp được mô tả thành một quy trình với các bước chính như sau: Bước đầu tiên, từ mã nguồn được cung cấp, ta sẽ phân tích để sinh đồ thị dòng điều khiển thỏa mãn tiêu chí phủ kiểm thử. Sau đó, đồ thị dòng điều khiển được phân tích để xây dựng tập đường kiểm thử. Bước tiếp theo, các đờng kiểm thử chứa vòng lặp được cấu trúc lại để sinh thêm các đường kiểm thử mới dùng kiểm thử tính đúng đắn vòng lặp. Dựa trên tập các đường kiểm thử, ta xây dựng các hệ ràng buộc tương ứng. Cuối cùng, ta thực hiện giải hệ ràng buộc thu được để sinh tập dữ liệu cho bộ các ca kim thử bằng cách sử dụng thế mạnh của các công cụ SMT-Solver. Luận văn chuyên ngành Kỹ thuật phần mềm 2016-04-15T08:31:43Z 2016-04-15T08:31:43Z 2015 Thesis Phan, T. T. H. (2015). Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam 60480103 http://repository.vnu.edu.vn/handle/VNU_123/8688 005.3 PH-H 2015 / 00050006798 vi 11 tr. application/pdf |
institution |
Vietnam National University, Hanoi |
building |
VNU Library & Information Center |
country |
Vietnam |
collection |
VNU Digital Repository |
language |
Vietnamese |
topic |
Kỹ thuật phần mềm Dữ liệu kiểm thử Kiểm thử tự động Java |
spellingShingle |
Kỹ thuật phần mềm Dữ liệu kiểm thử Kiểm thử tự động Java Phan, Thị Thu Hà Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java |
description |
Luận văn này tập trung nghiên cứu phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java dựa trên kỹ thuật kiểm thử hộp trong dòng điều khiển hướng tĩnh, đồng thời cài đặt một công cụ (JavaUnitCFT) hỗ trợ cho phương pháp này. Phương pháp được mô tả thành một quy trình với các bước chính như sau: Bước đầu tiên, từ mã nguồn được cung cấp, ta sẽ phân tích để sinh đồ thị dòng điều khiển thỏa mãn tiêu chí phủ kiểm thử. Sau đó, đồ thị dòng điều khiển được phân tích để xây dựng tập đường kiểm thử. Bước tiếp theo, các đờng kiểm thử chứa vòng lặp được cấu trúc lại để sinh thêm các đường kiểm thử mới dùng kiểm thử tính đúng đắn vòng lặp. Dựa trên tập các đường kiểm thử, ta xây dựng các hệ ràng buộc tương ứng. Cuối cùng, ta thực hiện giải hệ ràng buộc thu được để sinh tập dữ liệu cho bộ các ca kim thử bằng cách sử dụng thế mạnh của các công cụ SMT-Solver. |
author2 |
Phạm, Ngọc Hùng |
author_facet |
Phạm, Ngọc Hùng Phan, Thị Thu Hà |
format |
Theses and Dissertations |
author |
Phan, Thị Thu Hà |
author_sort |
Phan, Thị Thu Hà |
title |
Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java |
title_short |
Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java |
title_full |
Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java |
title_fullStr |
Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java |
title_full_unstemmed |
Phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng Java |
title_sort |
phương pháp sinh dữ liệu kiểm thử tự động cho các ứng dụng java |
publishDate |
2016 |
url |
http://repository.vnu.edu.vn/handle/VNU_123/8688 |
_version_ |
1680966110207279104 |