Login or Register to Ask a Question and Join Our Community


Software Releases - RSS News

HOL-TestGen 1.4.0 (Default branch)

Login to Discuss or Reply to this Discussion in Our Community

 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News HOL-TestGen 1.4.0 (Default branch)
# 1  
Old 06-20-2008
HOL-TestGen 1.4.0 (Default branch)
ImageHOL-TestGen allows one to write testspecifications in Higher-order logics (HOL). Itcan (semi-) automatically partition the inputspace, resulting in abstract test cases, andautomatically select concrete test data. Automaticgeneration of test harnesses (in SML) issupported, and using a foreign language interface,implementations in arbitrary languages (e.g. C)can be tested.License: BSD License (revised)Changes:
This release uses Isabelle 2008 as the underlying HOL system, provides support for a benchmarking framework, and provides HOL-TestGen/FW. HOL-TestGen/FW is a domain specific test case generator for specification-based firewall conformance testing.Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread
Login or Register to Ask a Question

LEARN ABOUT NETBSD

archpath

ARCHPATH(1)						      General Commands Manual						       ARCHPATH(1)

NAME

       archpath - output arch (tla/Bazaar) archive names, with support for branches

SYNOPSIS

       archpath
       archpath branch
       archpath branch--version

DESCRIPTION

       archpath is intended to be run in an arch (tla or Bazaar) working copy.

       In its simplest usage, archpath with no parameters outputs the package name (archive/category--branch--version) associated with the working
       copy.

       If a parameter is given, it may either be a branch--version, in which case archpath will output a corresponding package name in the current
       archive and category, or a plain branch name (without '--"), in which case archpath will output a corresponding package name in the current
       archive and category and with the same version as the current working copy.

       This is useful for branching.  For example, if you're using Bazaar and you want to create a branch for a new feature, you might use a  com-
       mand like this:

	      baz branch $(archpath) $(archpath new-feature)

       Or if you want to tag your current code onto a 'releases' branch as version 1.0, you might use a command like this:

	      baz branch $(archpath) $(archpath releases--1.0)

       That's much easier than using 'baz tree-version' to look up the package name and manually modifying the result.

AUTHOR

       archpath  was  written  by  Colin  Watson  <cjwatson@debian.org>.  Like archpath, this manual page is released under the GNU General Public
       License, version 2 or later.

DEBIAN
								 Debian Utilities						       ARCHPATH(1)