|
|
|
Welcome To Tools Directory - 2010
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We provide you
with fully automatic advanced formal verification and test case generation
tools. These techniques and tools will be smoothly integrated into your model
based design process.
The integration of BTC Embedded Systems testing technology with off-the-shelf
commercial CASE tools enables a smooth integration of our testing solutions in
your development process.
|
|
|
|
Applying formal verification techniques and automatic test
case generation methods assist you to
- find critical situations in early development phases
- increase the quality of your systems
- validate your final system
- decrease development costs, times, and risks
- Meet requiremntsevelopment processes for safety critical
systems such as IEC61508 (SIL Level 3 and 4), DO-178B for avionics applications
and CENELEC EN 50128 - B.30 for train system applications.
|
|
|
|
OSC
- Embedded Systems AG (“OSC”), a majority shareholding of
BTC Business Technology Consulting AG,
provides products and services for Formal Verification, Validation, and
Automated Testing of Embedded Systems. OSC products significantly reduce
required efforts for testing and validation of Embedded Systems, and
considerably increase the quality of the developed system. Additionally, OSC
offers adequate on-site and off-site services around the testing products and
testing in general. In order to successfully provide these powerful products and
services for test automation and Formal Verification, OSC cooperates very
closely with dSPACE GmbH as well as with major OEMs and suppliers in the
automotive industries.
Address:
OSC - Embedded Systems AG
Buschstraße 1
26127 Oldenburg
Phone: +49 441 - 969738-0
Fax: +49 441 - 969738-64
E-Mail:
info@osc-es.de
|
|
|
|
Message Magic
|
|
|
|
Tests embedded
software components - processes, subsystems, etc. With MessageMagic, one can
test a certain component by simulating its neighbour components. Contains tools
for visualization of messages traffic (also ASN.1 messages) between the testable
component and their simulated counterparts.
|
|
|
MessageMagic™ is
a TTCN-3 test tool. MessageMagic contains a rich collection of features that
facilitate testing operations and provide a user-friendly environment for the
development team.
- MessageMagic acts as a system
"stimulator" by providing a test environment for the SUT that communicates to
its environment using asynchronous messaging. MessageMagic can be configured to
represent a broad variety of environments.
- Setup of test environments,
message attributes, and other parameters is intuitive and user-friendly.
MessageMagic operates in a Windows® environment, and uses normal Windows
procedures and conventions.
- MessageMagic provides a
visualization of message traffic. Messages are logged in a user-friendly format
by using field names with values and symbols instead of numeric constants. This
is an extremely important and productive feature. It completely eliminates the
need to deal with low-level message representations, such as unformatted strings
of hexadecimal numbers.
- MessageMagic supports TTCN-3.
Read more about
TTCN-3 support in MessageMagic.
- Importing message definitions
from C/C++ files
- Logging messages traffic
between SUT and MessageMagic
- User-friendly visualisation of
messages content
- Automation of tests using
TTCN-3 or MessageMagic proprietary script language
- MessageMagic is independent of
SUT target platform and implementation language.
- Licence control mechanism
(FLEXlm)
- Node-locked and floating
licences
- Runs on Windows
|
|
|
|
Elvior provides SW testing services and tools. Elvior specializes in embedded and distributed software testing.
Our primary focus is in telecom software industry. We have been providing
software testing services and tools for top-tier telecom industry players since
1992.
Elvior
Mustamae tee 44
Tallinn
10621
ESTONIA
Email:
elvior@elvior.ee
sales@elvior.ee
|
|
|
Reactis Tester |
|
|
|
Generates comprehensive test suites from Simulink/Stateflow models. The test suites exercise
large portions of the software under test while avoiding redundancy, thereby
maximizing the probability of finding defects within the time available for
software testing. The generated tests store model-generated outputs as well as
inputs so that Tester-generated test harnesses can automatically check the
correctness of source code implementations of models.
|
|
|
- Reactis is an embedded software design automation tool suite --- a collection of applications supporting the efficient production of high-quality control software. Reactis currently consists of three components:
- Reactis Tester generates comprehensive test suites from Simulink®/Stateflow® models. The test suites exercise large portions of the software under test while avoiding redundancy, thereby maximizing the probability of finding defects within the time available for testing. The generated tests store model-generated outputs as well as inputs so that test harnesses can automatically check the correctness of source code implementations of models.
- Reactis Simulator enables users to visualize model execution. Simulator's user interface is similar to those of traditional debuggers from programming languages: it allows users to step through the execution of models by hand as well as set break points. Simulator also supports reverse execution, the replay of tests generated by Reactis Tester, the graphical display of different coverage metrics, and the capability to fine-tune Tester-generated test suites.
- Reactis Validator automatically searches models for violations of user-specified requirements.
|
|
|
Reactive Systems, Inc. (RSI) was founded as a
New York
State
S-corporation in 1999 by W. Rance Cleaveland II, Steven T. Sims, and Scott A. Smolka. The Company
has offices in
Falls Church
, VA
, a
Washington
,
DC
suburb and
Nagoya
,
Japan
.
Reactive Systems, Inc.
120-B East Broad St
.
Falls Church
,
VA
22046
USA
Phone: 703-534-6458
Fax: 703-637-7101
Email: info@reactive-systems
|
|
|
Tessy |
|
|
|
Offers module
testing of C code directly on the target system using standard debugging
technology. It supports the whole unit testing cycle and works transparently on
all supported target debuggers.
|
|
|
|
Tessy builds up the complete test driver including the necessary module environment and
controls the testing process. It allows
systematic and reproducible
testing in batch
mode as well as step by step execution using all available debugging features of
the target system. This enables really easy debugging with test data from
previously failed test cases.
Tessy includes the GNU gcc compiler for Windows and can run the tests on the Windows PC (which is normally only
acting as host). In this case, the test application is compiled using the GNU
tool set instead of an embedded compiler.
Tessy analyzes the source
code and recognizes
the usage of variables and their respective types. The interface information is stored separately from the test data and expected
values. This enables Tessy to use browser editors for interface settings and
data input.
On interface changes (during
regression testing
of new builds),
test data may easily be re-used
after assignment of the changed to the old interface.
|
|
|
|
RazorCat
Development:
Email:support@razorcat.com
Phone: +49(0)30-536357-0
Sales:sales@razorcat.com
Phone:+49(0) 30-53 63 57-0
|
|
|
TestQuest Pro |
|
|
|
Automated testing of any mobile device or application, tests the actual end-user experience, and allows testing of
multiple devices, enabling end-to-end testing.
|
|
Additional
Information:
|
|
It can adapt to
almost any test environment, providing a complete automated test solution for
quality assurance and development groups across your organization.
Our test
execution applications support integration with in-house and third-party test
managers, so it's easy to integrate Test Quest Pro into existing test automation
environments.
|
|
|
|
TestQuest is
the leader in test solutions for mobile devices and applications. Our unique
combination of test technology, services and methodology helps operators, device
manufacturers, application developers and content providers meet the challenges
of an increasingly complex mobile and wireless world. By using Test Quest
solutions, companies reduce test cycle times, improve test accuracy, collaborate
to accelerate new products to market and ensure a quality end-user experience.
TestQuest, Inc.
Corporate Headquarters
18976 Lake Dr. East
Minneapolis,
MN
55317
USA
Phone: 1 (952) 936-7887
Toll Free: 1 (800) 756-1877
Fax: 1 (952) 936-2187
Email:
support@testquest.com
|
|
|
USB Tester |
|
|
|
Software-only USB testing application tool that enables USB developers to
quickly validate their USB devices for USB compatibility, Chapter-9 conformance,
standard class driver functionality, performance and other relevant parameters.
|
|
|
Jungo's
USBTester is a software-only USB testing application tool that enables USB
developers to quickly validate their USB devices for USB compatibility, standard
class driver functionality, performance and other relevant parameters.
|
|
|
|
Founded in
1998, Jungo Ltd is a leading provider of residential and business
gateway software platforms and applications. Jungo's flagship
products,
OpenRG -
residential gateway software platform
and
OpenSMB - small and medium
business
gateway software platform enable
Original Equipment Manufacturers (OEMs) to bring broadband Customer Premises
Equipment (CPE) such as Residential Gateways, triple play gateways,
office-in-a-box gateway, firewall/VPN routers to market quickly.
Contact:
Sales: sales@jungo.com
Email info@jungo.com
|
|
|
TPT |
|
|
|
TPT is a test tool for testing embedded systems, especially the testing of control systems. TPT supports
all important fields of the test process which are in detail the management of
tests, test modelling, test execution, test assessment, and test documentation.
|
|
|
|
PikeTec assists embedded system
software development through consulting and development of specialised tools in
order to improve the efficiency and effectiveness of the development process.
This combination of consulting and adaptation of methods and tools allows us to
tailor solutions to the specific demands of each project and manage changes
during the development process.
our competence:
- process management and introduction
of development processes
- requirements management
- model bases development
- system safety
- systematic software testing
- requirements-, model- and
code-reviews
- tool development and customization
- tool integration
|
|
|
|
PikeTec is a young and innovative company. Our goal is to inspire with new ideas and solutions and
provide these to improve the quality and efficiency of the software development
process for embedded systems - especially for control systems.
PikeTec GmbH
Waldenserstraße 2-4
10551
Berlin
Germany
Email: info@piketec.com
|
Dr. Eckard Bringmann
|
+49-30-39409 683 12
|
|
Andreas Krämer
|
+49-30-39409 683 11
|
|
Dr. Jens Lüdemann
|
+49-30-39409 683 10
|
|
|
|
|
|
|
|
|
|