A Knoppix-based demonstration environment for JPF

Authors:
Richard Potter;Cyrille Artho;Kuniyasu Suzaki;Masami Hagiya
Affiliations:
The University of Tokyo, Tokyo, Japan;Research Institute for Secure Systems, AIST, Amagasaki, Japan;Research Institute for Secure Systems, AIST, Tsukuba, Japan;The University of Tokyo, Tokyo, Japan
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2014

Citing 5
Cited 0

Model Checking Programs

Automated Software Engineering
Trusted Boot and Platform Trust Services on 1CD Linux

APTC '08 Proceedings of the 2008 Third Asia-Pacific Trusted Infrastructure Technologies Conference
KNOPPIX/Math: portable and distributable collection of mathematical software and free documents

ICMS'06 Proceedings of the Second international conference on Mathematical Software
Introducing vagrant

Linux Journal
Survey of virtual machine research

Computer

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper explores how a KVM virtual machine booted with a Knoppix Live DVD can provide a simple and reliable system for sharing demonstrations of JPF, and in particular, for running regression tests in a repeatable way before changes are committed to shared repositories. To make the system easy to automate, we integrated host file system access and a server for script execution. To make it practical for an interactive workow, checkpointing was added to avoid booting and configuration delays. As an unexpected benefit, the isolation provided by the virtual machines allows multiple tests to run in parallel without risk of clashes over resources such as server ports.