A Python based proxy for generating automated website tests, focussing on standard conformity and regression tests. [Open source, BSD license] http://maxq.tigris.org/
Provides Monitor Master that tests and monitors content such as WAP, SMS, EMS and MMS for usability, compliancy and interoperability. http://www.argogroup.com/
The company offers verification and validation tools for real-time, distributed, embedded and mission critical software, taking advantage of abstract interpretation techniques and static analysis of for C, C++ and Java source code. [Commercial] http://www.polyspace.com/
Unit test and code compliance tools for Java, C++, .NET, Web and SOA applications for Windows, Solaris and Linux platforms. [Commercial, trial versions] http://www.parasoft.com/jsp/products.jsp?itemId=13
Performance testing, monitoring and management tools and services for web, call center, network infrastructure and IP storage applications. [Commercial, trial versions] http://www.empirix.com/
A framework for testing other programs. Its purpose is to provide a single front end for all tests. Think of it as a custom library of Tcl procedures crafted to support writing a test harness. [Open source, GPL] http://www.gnu.org/software/dejagnu/
Develops platform solutions for compile-time source code analysis in C, C++, and Java featuring defect detection analyses that were used for parts of the Linux and OpenBSD operating systems. [Commercial, trial version] http://www.coverity.com
Testing products for e-business applications (Web, Java or client/server) also featuring test planning and management, direct database access and validation, a scripting language, recovery system for unattended testing and the ability to test across multi http://www.segue.com/products/index.asp