Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

User guide 40 LIME Interface Test Bench User Guide Xi Chen Janne Kauttio Olli Saarikivi and Kari K ?ahko ?nen October CContents Introduction The example program Installation and starting up Monitoring tools Opening and compiling the example program Runnin

LIME Interface Test Bench User Guide Xi Chen Janne Kauttio Olli Saarikivi and Kari K ?ahko ?nen October CContents Introduction The example program Installation and starting up Monitoring tools Opening and compiling the example program Running the example program Other monitoring tools Command-line usage Testing tools Using Lime Concolic Tester Limitations of LIME Concolic Tester Using JUnit Tools Command-line usage Other utilities C Introduction LIME LightweIght formal Methods for distributed component-based Embedded systems Interface Test Bench LimeTB from now on is a toolkit for testing software components written in Java programming language limited support for C programming language is also available With LimeTB the user can specify behavioral aspects of the software component interfaces as annotations in the source code by using LIME Interface Speci ?cation Language ISL These speci ?cations can then be automatically monitored for violations during the execution of the program LimeTB also has tools for automating the testing of a program and for generating JUnit unit tests This document introduces the tools provided by LimeTB and how they can be used with the provided graphical user interface An example program is also introduced that will be used as a running example throughout the guide The example program is a simple Java program with interface annotations and will hopefully motivate the reader on how the tools can be useful also in real-life applications All the LimeTB tools can be used from the user interface and also have a command- line variants that can be used independently Conventions used in this guide are as follows ? Monospace font will be used for both commands in the graphical user interface as well as command-line commands ? Bold font will be used for di ?erent ?le names throughout the guide ? Italic Italic font will be used to denote names of directories The guide is structured as follows In chapter the example program will be presented on a source code level along with explanations what the di ?erent parts of the program do Chapter will go through the initial steps of using the tool mainly how it ? s installed and how the graphical user interface can be started Chapters and will go through the main features of LimeTB by presenting the tools and how they work with the example program Finally Chapter will brie y consider the utilities speci ?c to the user interface that are designed to make it more usable In every chapter where a feature of LimeTB is presented also the equivalent command-line tools will be considered brie y mainly to let the user know what command does what The example program In this section the example used during the rest of the guide will be demonstrated in detail with complete source code of all the ?les used The ?les will be presented one at a time each of them followed by notes about what it actually does and what we are trying to achieve The example program is a simple lock implementation that can be