Search Results for "model"

ABOUT This is a free, client-side tool for evaluation of BPMN business process model quality and correctness. This tool helps to check BPMN diagrams and find modeling mistakes. HOW TO USE? Extract the downloaded archive and open analytics/index.html file in the web browser (it is recommended to use Google Chrome, Mozilla Firefox, or Microsoft Edge) OR use it online here >> https://freebpmnquality.github.io/services/analytics/

This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing. More detail is presented in this publication: GUITAR: An Innovative Tool for Automated Testing...

ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.

The library provides functionality of SNMP manager which can be accessed using Robot Framework keywords. In this model, system under test is SNMP agent.

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.

This project has been set up to unify perl unit testing frameworks for use in Extreme Programming. See also http://c2.com/cgi/wiki?PerlUnit

Excel workbook that calculates return on investment (ROI) for estimated costs and benefits of automating software testing.

PerceptualDiff is an image comparison utility that compares two images using a perceptual metric. That is, it uses a computational model of the human visual system to determine if two images are visually different, so minor changes in pixels are ignored.

Xuse manages requirements, use cases & other artefacts that drive software design. Xuse focuses on clear documentation & communication. It defines an XML data model for requirements & use cases with XSLT providing multiple derived views: HTML/SVG/PDF. Note there is no GUI for entering requirements, however another project (https://sourceforge.net/projects/xguse/) will provide a GUI.

A collaborative strategy to support comments, discussion and evolution of the OMM. OMM is a CMMI-like model for FLOSS (Free/Libre Open Source Software) that can be used in software organizations to enable FLOSS usage in development of products.

A Java-based system for doing Model-Based Testing. Nephila will use Finite State Machine based models to create language-independent tests.

FUnit is the first generation xUnit testing tool to leverage the custom metadata capabilities of the Flex mxmlc compiler. The tag-based attribute model of FUnit makes it the most intuitive unit-testing framework ever created for the Flex platform.

ClasspathHelper provides eclipse plugins that determine classpath/classloading related dependencies such as unresolved references, blocked/obscured clases as well as unreferenced classes/jars. ClasspathHelper can model most classloading scenarios.

mda4eclipse is a domain-driven and model-driven development eclipse plugin. Its purpose is to present a way of using different project sites to work together and establish a shared development environment.

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.

Premier is a software performance testing framework based on Performance Requirements Evolution Model.

Verification framework for BPEL4WS processes using model checkers like Spin and NuSMV. It takes input BPEL4WS processes and generates output models that can work as input for these model checkers.

ucmi (Unified Change Management Interface) provides an abstraction layer, in the style of the Unified Change Management model, to version control tools and defect tracking systems.

Fasper is a framework for parser verification, developed using java and antlr. Fasper uses a "golden model" based testing approach and can be integrated with JUnit. Any parser can be verified by using a plugin. For more details about the donors you should visit: www.amiq.com/consulting or www.amiq.com/consulting/blog

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)

MTCC (Model-Driven Test Case Construction) in an approach to the construction of acceptance tests by domain experts for testing system families based on feature models. MTCC is applied to the application domain of Digital Libraries.

The Palladio Component Model is implemented using the Eclipse Modeling Framework (EMF). We have implemented an integrated modelling environment (called Palladio-Bench) based on the Eclipse Rich Client Plattform. It enables developers to create PCM model instances with graphical editors and derive performance metrics from the models using analytical techniques and simulation. The best way for getting started with the Palladio-Bench is looking through the screencasts and tutorials provided...

ATF is a unit tests generation tool. It uses model based testing and code based techniques. It is implemented as ant build command and as a stand alone GUI application. Its main goal is to provide a complete test suite for any given software under test.