Search Results for "model"

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...

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

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.

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.

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

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.