Đang tải... (xem toàn văn)
A parameterized unit test framework based on Java PathFinder
81
636
0
Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
Thông tin tài liệu
Ngày đăng: 25/03/2015, 09:37
Xem thêm: A parameterized unit test framework based on Java PathFinder, A parameterized unit test framework based on Java PathFinder
Từ khóa liên quan
- khảo sát các chuẩn giảng dạy tiếng nhật từ góc độ lí thuyết và thực tiễn
- khảo sát chương trình đào tạo của các đơn vị đào tạo tại nhật bản
- khảo sát chương trình đào tạo gắn với các giáo trình cụ thể
- xác định thời lượng học về mặt lí thuyết và thực tế
- điều tra với đối tượng sinh viên học tiếng nhật không chuyên ngữ1
- đặc tuyến hiệu suất h fi p2
- động cơ điện không đồng bộ một pha
- sự cần thiết phải đầu tư xây dựng nhà máy
- phần 3 giới thiệu nguyên liệu
- chỉ tiêu chất lượng theo chất lượng phẩm chất sản phẩm khô từ gạo của bộ y tế năm 2008
Mục lục
Table of Contents
List of Figures
1.1 The motivation
1.2 Our solution
1.3 Contribution
1.4 Thesis structure
2.1 Test adequacy criteria
2.1.1 Data-flow oriented adequacy criteria
2.1.2 Control-flow oriented adequacy criteria
2.2 Unit Test and Parameterized Unit Test
2.2.1 Unit Test
2.2.2 Parameterized Unit Test
2.3 Test input generation by symbolic execution
2.3.1 Symbolic execution
2.3.3 Code instrumentation for symbolic execution
3.1 Test Data Generator
3.2 Architecture of Symbolic Java PathFinder
3.2.1 The Instruction Factory
3.2.2 Attributes for storing symbolic information
3.2.4 Several examples of symbolic execution in Symbolic JPF
Tài liệu cùng người dùng
- Đang cập nhật ...