PRTODAY / NewswireToday Free press release distribution service network

More news: Software
Written by / Agency / Source: Lanika Solutions (P) Ltd

Check Ads Availability|e-mail Article

Are you the owner of this article?, Turn it PREMIUM with your LOGO instead - and make it 3rd party Ads-Free! within the next hour!

Lanika Announces Reactis for C V2014 by Reactive Systems - Reactis for C V2014 supports a new coverage metric - Multiple Condition Coverage (MCC) - /
Lanika Announces Reactis for C V2014 by Reactive Systems


NewswireToday - /newswire/ - Bangalore, Karnataka, India, 2014/04/11 - Reactis for C V2014 supports a new coverage metric - Multiple Condition Coverage (MCC) - /

Your Banner Ad Here instead - Showing along with ALL Articles covering Software Announcements

Replace these Affiliate Programs at ANYTIME! Your banner here within the next hour. Learn How!


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 ( 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 (, 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.

Your Banner Ad Here instead - Showing along with ALL Articles covering Software Announcements

Replace these Affiliate Programs at ANYTIME! Your banner here within the next hour. Learn How!


Written by / Agency / Source: Lanika Solutions (P) Ltd


Availability: All Regions (Including Int'l)


Traffic Booster: [/] Quick Newswire Today Visibility Checker


Distribution / Indexing: [+]

# # #
Software Warnings - IMPORTANT:
Always be aware/cautious about what you download on your computer/mobile! PURCHASE SOFTWARE related keywords / Banner Ads. Click HERE for details!

  Your Banner Ad showing on ALL
Software articles,
CATCH Visitors via Your Competitors Announcements!

Lanika Announces Reactis for C V2014 by Reactive Systems

Company website links NOT available to basic submissions
It is OK to republish and/or LINK any newswire for any legitimate media purpose as long as you name Newswire Today and LINK as the source.
  Is this your article?
Activate ALL web links and social stream by Upgrading to Press Release PREMIUM Plan Now!

Publisher Contact: Nishath Ahmed - 
+91 80 25484844 info[.]
Newswire Today - PRZOOM / PRTODAY disclaims any content contained in this article. If you need/wish to contact the company who published the current release, you will need to contact them - NOT us. Issuers of articles are solely responsible for the accuracy of their content. Our complete disclaimer appears here.
IMPORTANT INFORMATION: Issuance, publication or distribution of this press release in certain jurisdictions could be subject to restrictions. The recipient of this press release is responsible for using this press release and the information herein in accordance with the applicable rules and regulations in the particular jurisdiction. This press release does not constitute an offer or an offering to acquire or subscribe for any Lanika Solutions (P) Ltd securities in any jurisdiction including any other companies listed or named in this release.

Software via RSSAdd NewswireToday - PRZOOM Headline News to FeedBurner
Find who RetweetFollow @NewswireTODAY

Are you the owner of this article?, Turn it PREMIUM with your LOGO instead - and make it 3rd party Ads-Free! within the next hour!

Read Latest Articles From Lanika Solutions (P) Ltd / Company Profile

Read Software Most Recent Related Newswires:

NAKIVO Decreases Backup Administration Time by 50% and Storage Space by 30% for FEhS Institute
Yellowfin Named A Leader in Fourth Consecutive Nucleus Research Value Matrix for Business Intelligence & Analytics
Altitude and Comways Partner to Deliver New Contact Center Solutions for High Growth Companies in Benelux
Gartner Positions Kentico Software in Magic Quadrant for Horizontal Portals
The Weather Company Launches its Signature WEATHERfx Ad-targeting Platform in Germany with BurdaForward
Infor Named on the Constellation ShortList™ for Global HCM Suites and Enterprise Cloud Finance
Valenta Pharm Optimizes Budget Management with Infor BI
Rocket Software Business Intelligence Increases the Value of Cognos TM1 Investment
Greater Edmonton Foundation Centralizes Operations with Yardi Voyager
OneLogin Pioneers First-Ever HR-driven Identity Integration with Namely
IBM and Quest Diagnostics Launch Watson-Powered Genomic Sequencing Service to Help Physicians Bring Precision Cancer Treatments to Patients Nationwide
Bomgar Demonstrating Benefits of Chat, Integrated Remote Support At TSW 2016
Infor Retail Named a Leader in the Gartner 2016 Magic Quadrant for Merchandise Assortment Management Applications
Mentor Graphics Nucleus RTOS Advances EtherCAT Real-Time Performance for Industrial Automation
Xactly and Miller Heiman Group Partner to Deliver Sales-Altering Intelligence to Customers

Boost Your Social Network
& Crowdfunding Campaigns

NewswireToday Celebrates 10 Years in Business




  ©2016 Newswire Today — Limelon Advertising, Co.
Home | About | Advertise/Pricing | Contact | Investors | Privacy/TOS | Sitemap | FRANCAIS
newswire, PR free press releases distribution service magazines engine news alert newsroom press room breaking news public relations articles company news alerts newswiredistribution ezine bizentrepreneur biznewstoday digital business report market search pr firms agencies reports distri-bution today investor relation successful internet entrepreneurs newswire distribution freenewswiredistribution asianewstoday bizwiretoday USA pr UK today - NOT affiliated with PRNewswire as we declined their partnership offer in 2013
PRTODAY & NewswireTODAY are NOT affiliated with USA TODAY (