Lanika Solutions and Reactive Systems are pleased to announce the release of Reactis® for C V2014, offering an array of new features and enhancements. Like prior versions, V2014 automatically generates comprehensive test suites from C code. The generated tests can help uncover and diagnose many types of runtime errors or check for conformance of code to a model (when used as part of a model-based design process). Newly supported language constructs, performance enhancements, and bug fixes have greatly expanded the set of programs for which Reactis for C is effective. Ease-of-use improvements aim to simplify the steps for preparing code for use with Reactis for C.
In the case of a model-based design process, V2014 has new functionality to support back-to-back testing which may be used to check if a C code implementation conforms to a Simulink®/Stateflow® model as follows:
1. For a model cruise.slx, use Reactis for Simulink to generate a comprehensive test suite cruise.rst from cruise.slx. As a part of this process, a file cruise.rsi is created to store testing-related information such as the application inputs and outputs, as well as constraints on the values inputs should assume during testing.
2. Create C code to implement the model (either with an auto code tool or by hand coding or a combination of the two).
3. Using Reactis for C V2014, import the information in cruise.rsi into a test harness stored in cruise.rsh.
4. Using the new harness, directly run cruise.rst on the C code implementation of the application. Any differences between the outputs computed by the C code and those generated by the model (stored in cruise.rst) will be flagged. Detailed coverage reports describing which targets in the C code are exercised by the tests can be generated. Reactis Simulator also offers debug capabilities (e.g. breakpoints, scopes, reverse stepping) to diagnose any errors uncovered by the tests.
In V2014 it is also now possible to tag individual fields of a structure as inputs or outputs of a test harness. Additionally, two new stubbing features help in cases when a program under test references libraries for which source code is not available:
. A new stub generator produces a source file containing definitions of any missing functions or variables.
. If on-the-fly stubbing of undefined functions is turned on, Reactis for C will automatically treat any undefined function as having no side-effects and returning a value of zero.
About Lanika Solutions
Lanika (lanikasolutions.com) is provider of technical computing software & high-end hardware tools for engineers and scientists in industry, government and education. The Company partners with reputed principals developing industry leading solutions that help a wide base of clients throughout the Indian sub-continent solve the toughest engineering problems.
Lanika Solutions partners with reputed principals developing industry leading solutions. Currently, Lanika Solutions is partnered with Reactive Systems, Maplesoft, Visualization Sciences Group (VSG), Breault Research Organization (BRO), ExpertControl and Sigma Technology.
Lanika Solutions product offerings and support reflects the philosophy that given great tools, clients can simplify development, increase productivity, and dramatically reduce time to market. Company’s suites of technical products help clients to quickly solve practical problems within the framework of the premier products and services provided.
The Company’s offerings have been selected as the leading products available to scientists and engineers in their respective application areas. The Company will continue to expand its offerings through organic growth in related technology/market segments as other premium solutions become available.
About Reactive Systems
Reactive Systems (reactive-systems.com), founded in 1999, is a privately held company with offices in Cary, NC and Nagoya, Japan. The company offers tools and services to help improve software quality while reducing development costs.