JPF-NAS, an extension of Java Pathfinder that provides support for model checking distributed systems(ARC-17301-1)

system testing
JPF-NAS, an extension of Java Pathfinder that provides support for model checking distributed systems
(ARC-17301-1)
Overview
JPF-NAS is developed to provide support for model checking distributed applications. It relies on the multiprocess support included in Java Pathfinder (JPF) which provides basic functionality to verify the bytecode of distributed applications. JPF-NAS is implemented as a JPF extension which models interprocess communication mechanisms. It uses a form of partial order reduction to explore all possible executions of a distributed Java application. Moreover, JPF-NAS provides a functionality to check the given distributed application under test against possible network failures which can occur at the operating system or the hardware layer.
Notes: Design and Integration Tools

Software Details

Category
System Testing
Reference Number
ARC-17301-1
Release Type
Open Source
Operating System
Contact Us About This Technology

Ames Research Center
Stay up to date, follow NASA's Technology Transfer Program on:
facebook twitter linkedin youtube
Facebook Logo Twitter Logo Linkedin Logo Youtube Logo