Search Results for "case" - Page 34

The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.

Pinnus is a project management tool for Extremme Programming. The program offers options to control stories, iterations and participates of a project. It is based on Eclipse Rich Client Platform and uses HSQLDB database .

hm DataModeler is a software for modeling data.

Genesis is a software engineer integrated tool that provides many ways to manage all artifacts related to a software development process. Includes requirements management functionalities, and a complete environment to execute tests.

Swing Spy is java based Swing/AWT spy agent that prints the widget under the cursor (like Spy++ for Windows/MFC and SWT Spy for Java-SWT). Download from the homepage: http://www.nenoff.com/swingspy/

This utility is to construct the interactive function call graph.

Hayta-UML is a Web2.0 UML tool, that allows users to draw UML diagrams. A core design decision is to have a native version-control inside the application.

Schemamajig is a tool for designing and comparing schemas across multiple databases. It provides a graphical environment for designing and comparing schemas and a command line interface for comparing schemas.

...The open world assumption (OWA) states that the truth value of a statement that is not included in or inferred from the knowledge explicitly recorded in the system shall be considered unknown. The closed world assumption (CWA) is the assumption that any statement that is not known to be true is false. We distinguish yet another case in software testing. Frequently, there are test stubs which simulate the behaviors of the dependent test modules. In this case, the dependent test modules are always assumed to be true when their results are not available. We call this a stub assumption (SA). 3A-TRE example: echo "CWA: (T and U)" | java -jar PTRE.jar Result: F 3A-PTRE example: (P means possible results) echo "OWA: (T,U and U,F)" | java -jar PTRE.jar Result: U,F

OpenTCM is open-source test case managment web-application.

Tool for generete testcasesPresents a proposal to employ use cases to estimate the test effort and to create a finite state machine for model-based test case generation.

A Flex-client/Java-server based app that provides the basic framework of "user management", including user registration, basic log-in security, and user administration. It can be used to quickly jump start projects that require this common use case.

This project is aim to support a automatic generate test code from test case document. It dependence XUNit test module, and seem support all x

The Framework helps developing Enterprise Applications and increases development productivity as well as quality. The fundamental business layer stands in the centre and it provides use case and domain model abstractions, supported by an MDA approach.

TestManagement is a test case repository. The goal of the project, is that the tool should be very easy to install, prepare and setup, intuitive, and easy to use.

SwingGoodies is a Swing based library that extends the functionality of its native components. For example, the SGTextField class is based on JTextField. It provides extra attributes like maxlength, tabindex, input filtering, required and character case

Experior doesn't care what language your test program is written in. All it cares about is that each test's output begins and ends with a simple line of JSON. Your test program can validate its own output, in which case Experior just acts as a report engine. Alternatively -- or additionally -- you can write validation functions in JavaScript, and Experior will run them against the test output. Finally, Experior can compare your current test output against a copy of previous test output and alert you to regressions.

QAWIKI is a wiki for QA engineers. It is a wiki which also supports an Integrated Test Environment (ITE) which allows a QA engineer to create a test case on a portal and execute/schedule it on a remote box, then collect the logs and disp them in reports.

Here we introduce a Genomic Epidemiology Ontology (GenEpiO) that covers vocabulary necessary to identify, document and research food-borne pathogens and associated outbreaks. We envision various subdomains including genomic laboratory testing, specimen and isolate metadata, and epidemiological case investigations. The project files are currently hosted at https://github.com/GenEpiO/genepio/ . Here we provide the genepio-consortium@lists.sourceforge.net listserve. Terms for these subdomains have partially been implemented in the main file, **genepio.owl**, which imports terms from over 25 OboFoundry.org ontologies. Also we have added a number of terms that so far haven't been covered via OboFoundry. ...