Search Results for "computer-aided software engineering" - Page 3

Datamixer generates mock data values for various datatypes, including integer, floating precision, datetime, and string. It can generate complex sequences, based on functions and permutations of the basic data series.

TestIM is a highly effecient testing/development tool for computer products using industry standard management technology like CIM, WBEM, SMI-S, CDM, and SMASH/DASH. Contact www.Olocity.com for details.

SymtaP is a performance analysis tool to determine the worst case execution time for embedded real time applications.

JRET (Java Reverse-Engineering Tool) is a program that is capable of reconstructing sequence diagrams from JUnit testsuites through dynamic analysis. It is written in Java/AspectJ and provides a GUI as well as command-line possibilities.

Sinalgo is a simulation framework for testing and validating network algorithms. It allows for quick prototyping and verification in freely customizable network settings. It is mainly suited for packet-oriented wireless networks.

Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.

SSTPong is a breakout style pong game used to test both a player's skill and web services. Players use a paddle to hit a ball towards rows of bricks. When the bricks are hit, computer generated test data is sent to the web service.

MergeRight is a graphical tool for comparing and merging multiple versions or revisions of a text or source file, with or without a specified common ancestor, with recommendations for passages in conflict, easy inclusion and exclusion, and live editing.

Model XML Schema documents in first-order logic using Alloy in order to generate test inputs for applications and prove constraints about documents.

Codemon is a testing tool that enables code coverage of C codes. It supports the level of Decision Coverage and Condition Coverage.

FormatCheck screens flat files looking for violations in the format of the data. It uses a set of XML files that define the rules for each file format. The Swing front-end allows the user to run the verification, view and print the errors.

Simloc is the tool intended for finding similar chunks (blocks) of code. It could be used in reverse software engineering. It is faster than SimScan, find better blocks than PMD/CPD (not just exact blocks also similar) and could be runed at GRID.

D-Cog (Declarative-Cognition) is a Java based framework for training software components (reusable, object-oriented, interface-driven components). Instead of programmed, software components are trained by example to get the expected results.

YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.

XMLImportDB is an open source database import and comparison library distributed by Burton Computer Corporation under the Apache Software License version 2.0. XMLImportDB is useful for automating unit tests of Java programs that use JDBC.

CubicProject aims to be a project management web application for agile software delvelopment. It is higly adjustable and focuses on usability and integration with other tools.

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/

InPUT offers a descriptive and programming language independent format and IoC (Inversion of Control) container for the configuration and design of computer experiments. Code and more info can be found on github: http://github.com/feldob/InPUT

Just some files and small projects I did in AP Computer Science 2nd semester.

Random-symbolic constraint solver

A bundle of tools for fault injection and -experiments with scope on the emulation of programming faults. Software faults are introduced in the sources of Java applications and can be toggled during runtime.

SeSAm (Shell for Simulated Agent Systems) provides a generic environment for modelling and experimenting with agent-based simulation with a special focus on the easy construction of complex models including dynamic interdependencies or emergent behaviour

Most software development will use a standard software development life cycle (SDLC). In SDLC, four phases are involved during development of any system. They are analysis, design, implement and testing. During testing phase, test cases are used in order to test the functionalities of the system developed. Test cases are generally extracted from the source codes manually. This paper presents an alternative approach to automate the process of generating the test cases by developing an eclipse...

JDiag is an open source system information/diagnostics tool written in Java. It gathers information from various places in the system and places it into one log file for easy analysis by computer professionals.