Reactive Systems logo

Automated Testing and Validation with Reactis®

December 12, 2017
Newsletters
Communicator
 
Spacer
Back to Communicator Archive
To : Reactis Users
From : Reactive Systems, Inc.
    http://www.reactive-systems.com/
Date : November 19, 2010

IN THIS INSTALLMENT:

  1. Reactis V2010.2 Now Available
  2. Reactis for C Now in Beta Test
  3. New Video: Testing C Code in Simulink Models Using the Reactis for C Plugin
  4. Reactive Systems Joins TargetLink® Partner Program
  5. New Reactis Distributors in France and Korea

Reactis V2010.2 Now Available

We are happy to announce the release of Reactis V2010.2. The new version includes a number of new features, enhancements, and bug fixes. Some highlights are as follows.

Reactis

  • Support for new Simulink®/Stateflow® features:
    • MathWorks R2010b models.
    • Enumerated data types.
    • Models using self-modification commands such as set_param.
    • Rounding modes Convergent, Round, and Simplest for blocks where a rounding mode can be specified.
    • Stateflow operators hasChanged, hasChangedFrom and hasChangedTo.
    • The Vector Concatenate block.
  • A Multi-core version of Reactis Tester.
  • A revamped toolbar.
  • A capability to limit the number of inputs that change in a step during test generation.

Reactis for C Plugin

  • Step-into, step-over, and step-out-of buttons give you improved control when stepping through C code in Reactis Simulator.
  • Variables in C code can now be added as watched variables.
  • Scopes can be opened for global variables in C code.

More details regarding the V2010.2 enhancements may be found in the revision history in the Reactis User's Guide. Customers with active SMS may download V2010.2 from the Reactis User Pages.

Reactis for C Now in Beta Test

Reactis lets you generate tests from a Simulink model or check requirements of a model. The Reactis for C Plugin integrates seamlessly with Reactis for white-box testing of C code in a model (S-Functions or Stateflow custom code). An upcoming new product Reactis for C will offer similar functionality for C code not contained in a model. We are pleased to announce that Reactis for C is now in beta test. Look for the product launch in Q1 2011. Reactis for C lets you:

  • Generate comprehensive tests from C code in order to detect a variety of runtime errors including:
    • Memory errors:
      • Exceeding the bounds of an array or malloced data
      • Accessing memory after a call to free()
      • Accessing a pointer to a local variable after a function call has returned
      • Calling free() twice
      • Reading an uninitialized local variable
    • Overflow errors
    • Divide-by-zero errors
    • Invalid shift operations
  • Execute tests in an advanced debug environment that offers coverage tracking (Statement, Decision, Condition, and MC/DC) and even reverse execution
  • Check that a program meets its requirements
  • Check for unsafe program behavior
  • When an error is detected, replay a concrete execution sequence leading to the problem in order to understand, diagnose, and fix the bug.

More information is available in a recently updated white paper Finding Bugs in C Code with Reactis for C.

A beta version of Reactis for C is now available from the Reactis User Pages. Please give it a try.

Reactive Systems Joins TargetLink Partner Program

Reactive Systems, Inc. has joined the TargetLink Partner Program of dSPACE, a leading producer of both hardware and software engineering tools for developing and testing mechatronic control systems. The TargetLink production code generator is a key component of model-based design processes around the world. dSPACE established the partner program to offer its customers complimentary best-in-class third-party tools to support code generation with TargetLink. More...

New Reactis Distributors in France and Korea

We are happy to announce two new distribution agreements.

I.S.I.T. will distribute Reactis in France. The engineering firm, founded in 1991 and located on the outskirts of Toulouse, offers products, consulting, and training for embedded real-time applications. More...

MDS Technology will distribute Reactis in Korea. The embedded solutions firm, based in Seoul, offers products, consulting, and training for embedded real-time applications to the automotive, aerospace, defense, and mobile industries. MDS Technology, founded in 1994, is a publicly traded company listed on the KOSDAQ. Almost 80% of its 200 employees have an engineering background. MDS serves about 1000 customer companies including Samsung, LG, Hyundai, SK, and KT. More...

New Video: Testing C Code in Simulink Models Using the Reactis for C Plugin

A new 8-minute video describes how the Reactis for C Plugin integrates seamlessly with Reactis to help you test the C code in your Simulink model (S-Functions or Stateflow custom code). The automatic generation of comprehensive tests from C code lets you easily uncover a variety of runtime errors including memory errors, overflows, and divide-by-zeros. When an error is detected, you can replay a concrete execution sequence leading to the problem in order to understand, diagnose, and fix the bug. Reactis Simulator offers an advanced debug environment that offers coverage tracking (Statement, Decision, Condition, and MC/DC), data value tracking (with scopes, watched variables, and hovering), and even reverse execution.

Best Regards,
The Reactis Team


Back to Communicator Archive
Spacer