Luận văn thạc sĩ VNU UET verification of scenario constraints using 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: Luận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder
Luận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder
Verification of Scenario Constraints using Java PathFinderPham Quang ThapFaculty of Information Technology University of Engineering and Technology7 V Luận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder Vietnam National University, HanoiSupervised by Dr. Truong Ninh ThuanA thesis submitted in fulfillment of the requirements for the degree of Master of Information TechnologySeptember. 2011Table of Contents1Introduction11.1Motivation........................................................ 11.2Objecti Luận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder ves........................................................ 21.3Contributions..................................................... 21.4Thesis structurLuận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder
e.................................................. 22Background42.1Software verification and validation.............................. 42.1.1DefinitioVerification of Scenario Constraints using Java PathFinderPham Quang ThapFaculty of Information Technology University of Engineering and Technology7 V Luận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder ..................................... 62.3Java PathFinder .................................................. 72.3.1J PF Toplevel Design....................................... 82.3.2The Attribute System for storing value of fields........... 92.3.3Handling branching conditions with ChoiceGenerators.. Luận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder .... 112.3.4JPF Listeners..............................................143Verification of scenario constraints193.1Verification of scenario constraintLuận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder
s............................. 193.2Verification of scenario constraints using Java Pathfinder........203.3Generating V erification Listener inJPF....Verification of Scenario Constraints using Java PathFinderPham Quang ThapFaculty of Information Technology University of Engineering and Technology7 V Luận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder ...............................264.2The support tool interface........................................285Related Work31iiTABLE OF CONTENTS6Conclusionsiii33 Luận văn thạc sĩ VNU UET verification of scenario constraints using java pathfinder Verification of Scenario Constraints using Java PathFinderPham Quang ThapFaculty of Information Technology University of Engineering and Technology7 VGọi ngay
Chat zalo
Facebook