Artículos relacionados a Java PathFinder User Guide

Java PathFinder User Guide - Tapa blanda

Havelund, Klaus

 
9781289290542: Java PathFinder User Guide
Tapa blanda
ISBN 10: 1289290547 ISBN 13: 9781289290542
Editorial: BiblioGov, 2013

Sinopsis

The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
BiblioGov
Año de publicación
2013
Idioma
Inglés
ISBN 10 
1289290547
ISBN 13 
9781289290542
Encuadernación
Tapa blanda
Número de páginas
36
Contacto del fabricante
no disponible
Persona responsable
no disponible