A parameterized unit test framework based on Java PathFinder

81 636 0
A parameterized unit test framework based on Java PathFinder

Đang tải... (xem toàn văn)

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

. / îm A Parameterized Unit Test Framework Based on Java PathFinder VU THANH NHAN Faculty of Information Technology University of Engineering and Technology Vietnam National University. Jirtnoi Advisor:. e l a t io n s h ip c a n b e r e p re s e n te d b v fig u r e 2 .2 (re fe r e n c e d t o (E d v a rd s s o n , 1 9 9 9 )) Traditional Unit Test Generalization : ) Instantiation / Parameterized. v a r ia b le s in o r i g in a l d a r a ty p e s (In t e g e r fo r e x H in p U *) a re (‘h a n g e d to c o rr e s p o tK Ìia g 16 C hap ter 2. A u tom atic test data generation lib ia r

Ngày đăng: 25/03/2015, 09:37

Từ khóa liên quan

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

Tài liệu liên quan