| |
 |
Details: |
 |
|
|
Polyspace Technologies develops and markets verification and validation tools for real-time, distributed, embedded and mission critical software, taking advantage of abstract interpretation technics and static analysis of source program approach.
|
| URL: |
http://www.polyspace.com/
|
| Title: |
PolySpace Products for Embedded Software Verification - Ada, C/C++, Simulink, Model-Based Design, UML, TargetLink, Rhapsody |
| Image: |
 |
| Description: |
Computers, Programming, Software Testing, Tools - Polyspace - Automatic Run-Time Error Detection. Polyspace Technologies develops and markets verification and validation tools for real-time, distributed, embedded and mission critical software, taking advantage of abstract interpretation technics and static analysis of source program approach. |
| Similar: |
|
|
|
Related Sites |
|
Proxy Sniffer (Popularity:  ): Web load testing an web page analysis tool with an intuitive user-friendly interface. It permits to test and analyze the ...
Empirix Software (Popularity: ): Empirix: Load Testing, Monitoring and Performance Solutions for Web, Contact Center, and VoIP Network and IP Storage Applications.
Ring-Zero Software (Popularity: ): Integrations for IBM/Rational TestManager, tying it to Telelogic DOORS, Borland CaliberRM, Segue SilkTest, Mercury WinRunner and QuickTest, Compuware TestPartner, and ...
T-Plan Product Suite (Popularity: ): Allows manage every aspect of the Testing Process, providing a consistent and structured approach to testing at the project and ...
Rapita Systems Ltd. (Popularity: ): RapiTime: a suite of tools for analysing the worst-case execution time (WCET) of software components written in C, assembler or ...
TestSuite Log Parser and Browser (Popularity: ): An open-source tool to store and easily use results of conformance-like testsuites runs throuh a web interface. Can extract statistics ...
Quality assurance services provider BugHuntress: testing tool and services for PDA applications (Popularity: ): BugHuntress Test Suite - no analogue automated testing tool for Palm applications which required no additional hardware. We have a ...
AutomatedQA Corp. - Software Testing Tools (Popularity: ): AutomatedQA developing products for testers, software developers and quality assurance engineers. This site contains many white papers on software testing, ...
Testwell (Popularity: ): Testing tools for C, C++ and Java languages applicable in code-level unit testing (test harnessing, test coverage), systems testing (test ...
Dynamic Suite (Popularity: ): Tool suite for debug memory access, modify, allocation problems, memory leak check, code coverage C/C++ applications at Unix without without ...
SilverMark (Popularity: ): Software testing solutions for software development, specializing in Smalltalk and Java.
TestPlanPro (Popularity: ): Softwaredesigned specifically for developing complete test plans, using wizards to guide users through the process.
|
|
Popular Sites |
|
Software Testing Tutorials (Popularity: ): Excellent resource to learn Software Testing. Contains information on QTP,Loadrunner & Quality Center as well.
Web Application Load and Stress Testing (Popularity: ): WAPT is a load and stress testing tool for web sites and intranet applications with web interface. Accurate load simulation, ...
Tevron (Popularity: ): Offers automated testing solutions and focus on load testing, application monitoring, and functional testing.
Princeton Softech (Popularity: ): A software products and services that helps enhance performance of systems.
Ounce Labs, Inc (Popularity: ): Prexis, source code analysis software for locating and reporting on security vulnerabilities in business critical applications. [Requires Flash]
|
|
Related Press |
|
|
Related Articles |
|
|
|
|
