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) - Reactive-Systems.com / LanikaSolutions.com
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) - Reactive-Systems.com / LanikaSolutions.com.

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

 
 
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 - LanikaSolutions.com 
+91 80 25484844 info[.]lanikasolutions.com
 
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:

RETN Deploys Infinera Cloud Xpress for Regional Network in Western Europe
Ukraine International Airlines Completes Implementation of PROS Revenue Management Solutions as Strategic Enablers for Global Growth Plans
IBM Security Plans to Acquire Agile 3 Solutions to Help the C-Suite Manage Data Risk
Western Cape Department of Transport & Public Works Improves Effectiveness of Critical Service Delivery with OpenText
Herc Rentals Selects Infor CloudSuite for Equipment Rental, HCM Systems
Oracle Buys Apiary
Xactly Introduces Commission Expense Forecasting Solution for Finance
LogiNext, a Jack Ma Funded Company Enters Indonesia's Booming Logistics Market
Noble Composer v11 Upgrades Agent Efficiency
RNSS Celebrates 20 Years As A SYSPRO Partner
NAKIVO Announces Support for vSphere 6.5 and Adds Skip Swap File in the Upcoming v7
SKECHERS Uses Oracle to Localize Assortments As They Grow Their Retail Presence
Metatron, Inc. Announces Strategic Move into the Areas of Mobile Encryption, and Virtual Reality for its Mobile Development Business
Belk, Hot Topic and Torrid Choose Oracle Retail Stores Solutions to Unify Brand Experiences
Infor Continues Significant Growth in Retail

Boost Your Social Network
& Crowdfunding Campaigns


LIFETIME SOCIAL MEDIA WALL
NewswireToday Celebrates 10 Years in Business


PREMIUM Members


Visit  La Bella Bakery Artisan Bakery Arizona

Visit  Al Rowaad Advocates & Legal Consultants





 
  ©2017 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 prtoday.com 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 (usatoday.com)