A parameterized unit test framework based on java pathfinder
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: A parameterized unit test framework based on java pathfinder
A parameterized unit test framework based on java pathfinder
h ttps: //k hot h u vien .comA Parameterized Unit Test Framework Based on Java PathFinderFaculty of Information Technology University of Engineering a A parameterized unit test framework based on java pathfinder and Technology Vietnam National University. HanoiAdvisor:nuvlnUl. /1, V TRUÔNG ANH HOÀNG. PhD.A thesis submitted in fulfillment of the requirements for the degree of Master of Information TechnologyDecember, 2009CAI HOC QUỐC GIA HÀ NÓI -Pt"MS 1ÃMTin Thư VIẺNTable of Contents1Introduction11.1The moti A parameterized unit test framework based on java pathfinder vation.................................................... 31.2Our solution...................................................... 31.3Contribution....A parameterized unit test framework based on java pathfinder
.................................................. 51.1Thesis stnictuie.................................................. 52Automatic test data generah ttps: //k hot h u vien .comA Parameterized Unit Test Framework Based on Java PathFinderFaculty of Information Technology University of Engineering a A parameterized unit test framework based on java pathfinder ntrol flow oriented adequacy criteria................... 102.2Unit Test and Parameterized Unit Test............................ 112.2.1Unit Test ................................................ 112.2.2Parameterized Unit Test................................... 132.3Test input generation by symbolic e A parameterized unit test framework based on java pathfinder xecution...................... 152.3.1Symbolic execution........................................ 152.3.2Generalized symlailic executionwithlazy initiaA parameterized unit test framework based on java pathfinder
lization .... 202.3.3(.'ode instrumentation lor symbolicexecution..............223Test casesgeneration with J PF243.1Test Data Generator..............h ttps: //k hot h u vien .comA Parameterized Unit Test Framework Based on Java PathFinderFaculty of Information Technology University of Engineering a A parameterized unit test framework based on java pathfinder ....................293.22 Attributes lol storing symbolic information................313.2.3Handling branching conditions with ChoileGeiierators.......323.2.1Srvet.d examples of symbolic execution ID Symbolic JPF .353.2.5JIT Listeners .............................................36iiiiv____________ A parameterized unit test framework based on java pathfinder ________ ____________TABLE OF CONTENTS4PL'TFrainework421.1PL’TFramework overview.................................. 12h ttps: //k hot h u vien .comA Parameterized Unit Test Framework Based on Java PathFinderFaculty of Information Technology University of Engineering ah ttps: //k hot h u vien .comA Parameterized Unit Test Framework Based on Java PathFinderFaculty of Information Technology University of Engineering aGọi ngay
Chat zalo
Facebook