KeY - Test Case Generator 1.6.0

Company: The KeY Project

Date Added: October 17, 2013 | Visits: 476

Report Broken Link
Printer Friendly Version

Product Homepage
Download (38 downloads)

KeY is usable as a white-box-testing tool. This means that KeY can create JUnit test cases from proofs (or proof attempts) based on the information obtainable from the proof tree. Since a proof tree in KeY is basically a symbolic execution tree it can provide valuable information such as execution path conditions and thus facilitates a high code coverage of the created tests. KeY can be started in a test generation optimized mode using the command line parameter unit (runProver unit). After a proof tree has been produced test cases are created by clicking the menu item Tools->Create Unittests . Users that are solely interested in automatic test case generation can also start KeY in a mode that hides features irrelevant for testing. This is triggered by the command line parameter testing:

Requirements: No special requirements

Platforms: Mac, Mac OSX

Keyword: And Thus, Attempts Based, Automatic Test, Based, Command, Command Line, Created, Execution, Hides Features, Key, Solely, Start, Test Cases, Tree, Unit Runprover Unit, Unittests Users, Users, Valuable Information, Whiteboxtesting Tool

Users rating: 0/10

License: Freeware

Size: 10.24 KB

USER REVIEWS

More Reviews or Write Review

KEY - TEST CASE GENERATOR RELATED

Security Tools - The Sleuth Kit 2.10 The Sleuth Kit (previously known as TASK) is a collection of UNIX-based command line file and volume system forensic analysis tools. The file system tools allow you to examine file systems of a suspect computer in a non-intrusive fashion. Because...	3.03 MB
Programming - ShellRaptor: Command Line SQL Utility 1.0 Simple java based command line SQL editor. Will connect to any database that you can provide a JDBC Type 4 driver for (in the form of a jar).	25.57 KB
Utilities - MyCL: My Command Line 5 Cross platform command line created for debuggers and system administrators. Initial release will have server security check commands and other great debugging/Tech Assistance.	76.54 KB
Compression Tools - No-Frills Command Line Unzipper 1.05 Based on the Delphi-Zip library and coded by Ccy for S2 Services, this simple command line unzipper offers the advantage of not requiring command switches. Commands are interpreted according to argument order. The first argument is the zip file,...	778.24 KB
Multimedia & Graphics - Perspolis Command-Line Calculator New Perspolis Command-Line Calculator is, just like the name suggests a small, simple, command-line based application specially designed to help you with your basic math calculations. If you are looking for a tool that is both tiny and easy to use to...
Audio Tools - smrt 0.4.1 smrt is a powerful python-based command line tool designed to ease the process of constantly renaming and tagging OGG and MP3 files. The main feature of smrt is the ability to identify tracks by making educated guesses, based on filename and tag...	20.48 KB
Libraries - C++ Command Line Library 0.3 C++ Command Line Library provides a framework for handling command line options and arguments. Either variables (of any type) are set to values given at the command line. Or user defined functions are called with arguments (of any type) read from...	849.92 KB
Utilities - Command Line WRAPper 0.3.0 Command Line WRAPper is a tool that provides an easy way to build and run commands from input lines, avoiding the use of shell script. It is similar to xargs. clwrap can make great things with the locate command, and is low resource intensive....	43.01 KB
Utilities - Bluetooth Command Line Tools 1.2.0.47 Bluetooth Command Line Tools are a set of command line utilities for Windows XP, Vista or Windows 7 which allow you to configure bluetooth adapter, discover remote bluetooth devices and their services, push files to remote devices through OBEX....	3.08 MB
Code Management Tools - Command Line Copy & Paste for Mac OS 1.0 This bundle of Mac OS X command line applications consists of two simple programs. maccopy and macpaste. These two programs copy or print the text currently from or to the Mac OS X pasteboard. Use these applications in your scripts or any other...	20.48 KB

NEW DOWNLOADS IN MACINTOSH SOFTWARE, UTILITIES

Macintosh Software - EasyEDA PCB Designer for MacOS 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Macintosh Software - VideoSolo Video to GIF Converter (Mac) 1.0.12 How to make a GIF? VideoSolo Free Video to GIF Converter for Mac supports all popular video files including MP4, AVI, MOV, WMV, FLV, M4V, etc. You can easily turn MP4/AVI/MOV/WMV/FLV/M4V to GIF animation on Mac and share your GIFs with your...	46.51 MB
Macintosh Software - VideoSolo Free Video Converter (Mac) 1.0.18 VideoSolo Free Video Converter for Mac is a fast, powerful and easy-to-master video converter. Its main purpose is to convert video files from one format into another. It is able to convert video and audio files in 300+ formats on Mac for totally...	75.29 MB
Macintosh Software - ManyCam for Mac 6 ManyCam is a free Webcam software and a screen recorder for anyone to use. Several feature enhancements are included within ManyCam to produce a professional quality live video production. It can connect a desktop, smartphone, tablet and live...	90.49 MB
Macintosh Software - MacX Free Rip DVD to QuickTime for Mac 4.1.9 MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...	36.3 MB
Utilities - TogetherShare Data Recovery for Mac Free 7.2 TogetherShare Data Recovery for Mac Free is a powerful and easy-to-use application for Mac data recovery. It can help Mac users easily and quickly recover deleted, formatted or lost data from Mac computer, hard drive, USB flash drive, memory card,...	6.64 MB
Utilities - SwitchManager 2.3 SwitchManager is a free menu bar application which can help you manage all switches on Mac. Hide Desktop Icons - Hide all desktop items by 1click. Hide Dock - Hide the dock on the screen. Dark Mode - Enable dark mode on your Mac....	3.91 MB
Utilities - Android Sync Mac 7.0 Android Sync Mac is a powerful sync tool that allows syncing data on Mac with any Android devices you own (phones or tablets running Android OS 3.x-8.x). Android Sync Mac is offered in two editions - Free and Expert. With Android Sync Mac Free...	57.2 MB
Utilities - Programmer's Tool 1.3.4 Programmer's Tool is a utility to run common tasks using global hotkeys. It stays in the notification area (commonly referred to as the system tray) of Windows desktop. For example, when working on Notepad, you can hit the Shortcut key Ctrl +...	1.41 MB
Utilities - Classic FTP Free for Mac 3.04 Classic FTP Free for Mac is the most stable and comprehensive FTP client available. The graphic user interface is easy to learn and use. Classic FTP Free helps maintain your website by uploading and downloading files quickly and efficiently....	1.62 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts