SlideShare a Scribd company logo
Reactis   & Research Infusion IV&V Facility Jonathan Meyer WVU
Reactis Reactis provides an integrated environment for the simulation, validation, and test case generation on Simulink and Stateflow models.
Reactis: Features Automated model parsing allowing for simple test case generation Simple testing of erroneous scenarios via assertions and fault-free scenarios via user-defined targets Highly customizable test case generator allows thorough testing of models with very little effort Excellent reporting that details what has and hasn’t been covered by the test cases Tracing tools that allow the setting of breakpoints and watches Familiar MS Office like environment for reduced learning curve Detailed example models with accompanying tutorial for help with getting up to speed quickly
Reactis: Demo
Reactis: In Review Well-documented feature set Could use better documentation on model preparation Stable, intuitive interface API for inclusion into software projects Provides significant ability beyond Simulink

More Related Content

PPT
SpecTRM
PPT
Robustness testing
PDF
Software Testing Tools | Edureka
ODP
Software testing tools
PDF
Testing Tool Evaluation Criteria
PPTX
qLabs How To Get Maximum RoI Using Test Automation
PDF
Software testing tools
PPT
Beyond Static Analysis: Integrating .NET Static Analysis with Unit Testing a...
SpecTRM
Robustness testing
Software Testing Tools | Edureka
Software testing tools
Testing Tool Evaluation Criteria
qLabs How To Get Maximum RoI Using Test Automation
Software testing tools
Beyond Static Analysis: Integrating .NET Static Analysis with Unit Testing a...

What's hot (20)

PPTX
Embedded Testing 2015
PPTX
Types of test tools
PDF
TDD Presentation
PPTX
Software testing tools (free and open source)
DOC
GardiasResume2015
PPTX
The Impact of Test Ownership and Team Structure on the Reliability and Effect...
PDF
It's Not a Bug, It's a Feature — How Misclassification Impacts Bug Prediction
PDF
System Integration Testing
PPTX
Issre2014 test defectprediction
PDF
Testing Tools
PPT
Software Testing - Tool support for testing (CAST) - Mazenet Solution
PDF
Automation Testing of Web based Application with Selenium and HP UFT (QTP)
PDF
Top ten software testing tools
PPT
Parasoft .TEST, Write better C# Code Using Data Flow Analysis
PPTX
Introduction to Automation Testing
PPTX
Integration testing
PDF
Unit Testing vs Integration Testing
PDF
A new Test Tool in SAP Circuit Diagram for Code: SAP ABAP Test Seams Moose2Model
PPTX
ATAGTR2017 The way to recover the issue faced in IoT regression Testing
PDF
Mt s12 test_execution
Embedded Testing 2015
Types of test tools
TDD Presentation
Software testing tools (free and open source)
GardiasResume2015
The Impact of Test Ownership and Team Structure on the Reliability and Effect...
It's Not a Bug, It's a Feature — How Misclassification Impacts Bug Prediction
System Integration Testing
Issre2014 test defectprediction
Testing Tools
Software Testing - Tool support for testing (CAST) - Mazenet Solution
Automation Testing of Web based Application with Selenium and HP UFT (QTP)
Top ten software testing tools
Parasoft .TEST, Write better C# Code Using Data Flow Analysis
Introduction to Automation Testing
Integration testing
Unit Testing vs Integration Testing
A new Test Tool in SAP Circuit Diagram for Code: SAP ABAP Test Seams Moose2Model
ATAGTR2017 The way to recover the issue faced in IoT regression Testing
Mt s12 test_execution
Ad

Viewers also liked (20)

PPS
Proyecto Segundo Poli 2007
PPT
Dominicana
PPT
Tutores[1]
PPT
Cytopathology Conference 10/20/05 - Case 3
PPS
Tormenta Hielo
PPT
Cytopathology Conference 10/20/05 - Case 6
PPS
Find The Dot
PPT
Cytopathology Conference 10/20/05 - Case 1
PPS
Trivial
PPT
Cytopathology Conference 10/20/05 - Case 2
PPT
Slide Share
ODP
European ICT Strategy: Software Tea Party
PPT
Cytopathology Conference 10/20/05 - Case 5
PPT
Cytopathology Conference 11/17/05 - Case 1
PPT
PPT
A Arte De Fazer Xixi
PPS
Que Loco
PPT
tarea 1
PPT
Cytopathology Conference 10/20/05 - Case 4
PPT
Fazer Uma Mulher Feliz
Proyecto Segundo Poli 2007
Dominicana
Tutores[1]
Cytopathology Conference 10/20/05 - Case 3
Tormenta Hielo
Cytopathology Conference 10/20/05 - Case 6
Find The Dot
Cytopathology Conference 10/20/05 - Case 1
Trivial
Cytopathology Conference 10/20/05 - Case 2
Slide Share
European ICT Strategy: Software Tea Party
Cytopathology Conference 10/20/05 - Case 5
Cytopathology Conference 11/17/05 - Case 1
A Arte De Fazer Xixi
Que Loco
tarea 1
Cytopathology Conference 10/20/05 - Case 4
Fazer Uma Mulher Feliz
Ad

More from CS, NcState (20)

PPTX
Talks2015 novdec
PPTX
Future se oct15
PPTX
GALE: Geometric active learning for Search-Based Software Engineering
PPTX
Big Data: the weakest link
PPTX
Three Laws of Trusted Data Sharing: (Building a Better Business Case for Dat...
PPTX
Lexisnexis june9
PPTX
Welcome to ICSE NIER’15 (new ideas and emerging results).
PPTX
Icse15 Tech-briefing Data Science
PPTX
Kits to Find the Bits that Fits
PPTX
Ai4se lab template
PPTX
Automated Software Enging, Fall 2015, NCSU
PPT
Requirements Engineering
PPT
172529main ken and_tim_software_assurance_research_at_west_virginia
PPTX
Automated Software Engineering
PDF
Next Generation “Treatment Learning” (finding the diamonds in the dust)
PPTX
Tim Menzies, directions in Data Science
PPTX
Goldrush
PPTX
Dagstuhl14 intro-v1
PPTX
Know thy tools
PPTX
The Art and Science of Analyzing Software Data
Talks2015 novdec
Future se oct15
GALE: Geometric active learning for Search-Based Software Engineering
Big Data: the weakest link
Three Laws of Trusted Data Sharing: (Building a Better Business Case for Dat...
Lexisnexis june9
Welcome to ICSE NIER’15 (new ideas and emerging results).
Icse15 Tech-briefing Data Science
Kits to Find the Bits that Fits
Ai4se lab template
Automated Software Enging, Fall 2015, NCSU
Requirements Engineering
172529main ken and_tim_software_assurance_research_at_west_virginia
Automated Software Engineering
Next Generation “Treatment Learning” (finding the diamonds in the dust)
Tim Menzies, directions in Data Science
Goldrush
Dagstuhl14 intro-v1
Know thy tools
The Art and Science of Analyzing Software Data

Recently uploaded (20)

PDF
Laughter Yoga Basic Learning Workshop Manual
PPTX
5 Stages of group development guide.pptx
PDF
A Brief Introduction About Julia Allison
PPTX
AI-assistance in Knowledge Collection and Curation supporting Safe and Sustai...
PDF
Power and position in leadershipDOC-20250808-WA0011..pdf
PPTX
New Microsoft PowerPoint Presentation - Copy.pptx
PDF
How to Get Funding for Your Trucking Business
PDF
Solara Labs: Empowering Health through Innovative Nutraceutical Solutions
PDF
Stem Cell Market Report | Trends, Growth & Forecast 2025-2034
DOCX
unit 1 COST ACCOUNTING AND COST SHEET
PPT
Chapter four Project-Preparation material
PPTX
The Marketing Journey - Tracey Phillips - Marketing Matters 7-2025.pptx
PDF
DOC-20250806-WA0002._20250806_112011_0000.pdf
PDF
IFRS Notes in your pocket for study all the time
PDF
Ôn tập tiếng anh trong kinh doanh nâng cao
PDF
SIMNET Inc – 2023’s Most Trusted IT Services & Solution Provider
PDF
Types of control:Qualitative vs Quantitative
PPTX
ICG2025_ICG 6th steering committee 30-8-24.pptx
PPTX
job Avenue by vinith.pptxvnbvnvnvbnvbnbmnbmbh
PDF
Business model innovation report 2022.pdf
Laughter Yoga Basic Learning Workshop Manual
5 Stages of group development guide.pptx
A Brief Introduction About Julia Allison
AI-assistance in Knowledge Collection and Curation supporting Safe and Sustai...
Power and position in leadershipDOC-20250808-WA0011..pdf
New Microsoft PowerPoint Presentation - Copy.pptx
How to Get Funding for Your Trucking Business
Solara Labs: Empowering Health through Innovative Nutraceutical Solutions
Stem Cell Market Report | Trends, Growth & Forecast 2025-2034
unit 1 COST ACCOUNTING AND COST SHEET
Chapter four Project-Preparation material
The Marketing Journey - Tracey Phillips - Marketing Matters 7-2025.pptx
DOC-20250806-WA0002._20250806_112011_0000.pdf
IFRS Notes in your pocket for study all the time
Ôn tập tiếng anh trong kinh doanh nâng cao
SIMNET Inc – 2023’s Most Trusted IT Services & Solution Provider
Types of control:Qualitative vs Quantitative
ICG2025_ICG 6th steering committee 30-8-24.pptx
job Avenue by vinith.pptxvnbvnvnvbnvbnbmnbmbh
Business model innovation report 2022.pdf

Reactis

  • 1. Reactis & Research Infusion IV&V Facility Jonathan Meyer WVU
  • 2. Reactis Reactis provides an integrated environment for the simulation, validation, and test case generation on Simulink and Stateflow models.
  • 3. Reactis: Features Automated model parsing allowing for simple test case generation Simple testing of erroneous scenarios via assertions and fault-free scenarios via user-defined targets Highly customizable test case generator allows thorough testing of models with very little effort Excellent reporting that details what has and hasn’t been covered by the test cases Tracing tools that allow the setting of breakpoints and watches Familiar MS Office like environment for reduced learning curve Detailed example models with accompanying tutorial for help with getting up to speed quickly
  • 5. Reactis: In Review Well-documented feature set Could use better documentation on model preparation Stable, intuitive interface API for inclusion into software projects Provides significant ability beyond Simulink