Abstract State Machine Language (ASML) - Test generation based on total transition coverage of FSM. AsmL is an executable specification language based on the theory of Abstract State Machines. The current version, is embedded into Microsoft Word and Microsoft Visual Studio.NET. It uses XML and Word for literate specifications.
Cetus Links -- Object Oriented Testing - This information rich site provides access to resources in the following areas: examples, central sites, link collections, FAQ, newsgroups, articles, bibliographies, books, organizations, people, and utilities/tools.
International Software Testing Institute - The Institute was founded in order to represent software testers; system testers and quality engineers, and to further the development testing. As our mission statement says, we are committed to excellence in Software Testing. To achieve this, we offer the facility to join a group of like-minded people, who can help each other, and help influence the future of testing around the world.
Model Based Testing - This document, developed in 2004 for the DACS Gold practice Initiative, and is available for download in PDF format. Definition and Summary: Model-Based Testing is the automatic generation of efficient test procedures/vectors using models of system requirements and specified functionality.
MulSaw Project on Software Reliability - The goal of this project is to design and implement a specification language for object-oriented programs and tools for checking code conformance, i.e., tools for checking that programs correctly implement their specifications. Although we do our research in the context of the Java programming language, most of our results can easily be applied to other languages.
QA Forums - popular Software Testing and Quality Assurance discussions site. With over 50 forums that cover almost every area in software testing, quality assurance and quality engineering. Here, you will also find a forum for every software test tool available.
Smoke testing and sanity testing - Quick and simple differences - Despite of hundreds of web articles on Smoke and sanity testing, many people still have confusion between these terms and keep on asking to me. Here is a simple and understandable difference that can clear your confusion between smoke testing and sanity testing.
Software Research Institute (SRI) - Improve delivered software quality through research, design, and implementation of tools for software testing and quality assurance, functional testing, requirements testing, coverage analysis, regression testing, WebSite testing, embedded system testing, with full support for WebSites, Java, C, C++, COBOL, Ada, and Fortran. The SRI maintains one of the best databases of Software Testing Tools in the world.
Software Testing Hotlist - Bret Pettichord - This site offers a collection of Software Testing resources or Professional Software Testers focusing on test automation; test tools; using Silk; testing strategy; reporting and tracking defects; code coverage; exploratory testing; software testability; using Expect; notorious bugs; testing and quality assurance; and software process.
Software Testing Online Resources - Welcome to the STORM site. A nexus of Software Testing Online Resources, this site is designed to be a "first-stop" on the Web for software testing researchers and practitioners.
SoftwareTestingGenius.com - This web site provides users with a many resources relating to software testing & quality assurance including: 1) Quick Test Professional - QTP from HP, 2) Rational Functional Tester - RFT from IBM - a well known performance testing tool, 3) Articles on Topics such as Black, Grey, and White Box testing, 4) Encyclopedia of terms related to Software Testing & Quality Assurance. We remain eager to find a term which happens to be missing in this encyclopedia. The site contains many sponsored ads for testing related products and services.
SQAtester.com - This information rich site provides the following items: companies, products and services; test reviews; related resources; discussions; newsletters; publications; and tutorials and training.
SR/Institute's Software Quality Hotlist - SR/Institute maintains this list of links to selected organizations and institutions which support the software quality and software testing area. Organizations and other references are classified by type, by geographic area, and then in alphabetic order within each geographic area. This information rich site provides access to a broad range of software quality and testing resources.
DACS Gold Practice Initiative
