Lanika announces Reactis V2015 by Reactive Systems
Reactis V2015: Embedded MATLAB Plugin. Exclude Individual Coverage Targets.
- (1888PressRelease) July 02, 2015 - Bangalore, INDIA : Lanika Solutions and Reactive Systems are pleased to announce the release of Reactis® V2015. This release adds support for MATLAB® R2015a, offers a new feature to exclude individual coverage targets from being tracked, and includes a new product, the Reactis for EML Plugin, that offers white-box testing of the Embedded MATLAB portions of a model.
Capability to Exclude Individual Coverage Targets
When measuring the completeness of a test suite, you might determine that it is unnecessary to exercise some coverage targets in a model, such as an upper bound of a Saturation block, or a decision which cannot evaluate to false due to defensive programming. A new Reactis feature lets you tag any coverage target in your model to be excluded from coverage tracking. When you exclude a target, Reactis Tester will not attempt to exercise the target when it generates tests and the target will not be factored into coverage tracking by Reactis Simulator.
When you exclude a target, you can either instruct Reactis to completely disregard it or to exclude and monitor it. In the latter case, the target will not be included in coverage counts, but if the target is ever exercised, Reactis will alert you. If you believe a target is unreachable, but are not certain, this mechanism offers an easy way to check.
The Reactis for EML Plugin
V2015 also includes a new product, the Reactis for EML Plugin, that integrates with Reactis to offer white-box testing of the portions of a model implemented using Embedded MATLAB (EML). Prior versions of Reactis let you process models containing EML, but it did not identify and try to exercise coverage targets within the EML code. When using the new EML Plugin, Reactis will identify and attempt to exercise EML statements, decisions, conditions, and MC/DC targets within the EML code of a model.
Other New Features
• Support for the Simulink Function block and Function Caller block and for calling Simulink functions from Stateflow.
• Extended subset of EML supported.
• Track coverage in Direct Lookup Table blocks.
• API functions to add, remove, and modify configuration variables.
For details see the V2015 release notes http://www.reactive-systems.com/mlists.msp?lid=2&itm=158
About Lanika Solutions
Lanika is Advanced Technical Computing Software Products provider 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.
Visit www.lanikasolutions.com to learn more.
About Reactive Systems
Reactive Systems, 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.
Visit www.reactive-systems.com to learn more.
###
space
space
Satisfied Users & 
Approved Press Releases
Print
Email
Report Spam