Article

Experience report: the reactis validation tool

Authors:

Steve Sims,

Daniel C. DuVarneyAuthors Info & Claims

ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming

Pages 137 - 140

https://doi.org/10.1145/1291151.1291172

Published: 01 October 2007 Publication History

Get Access

Abstract

Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a commercial product has led us to the conclusion that while functional languages have some disadvantages, in the case of Reactis the benefits of a functional language substantially outweigh the drawbacks.

References

[1]

Andrew W. Appel and David B. MacQueen. Standard ml of new jersey. In J. Maluszyński and M. Wirsing, editors, Third International Symposium on Programming Language Implementation and Logic Programming, volume 528 of Lecture Notes in Computer Science, pages 1--13. Springer Verlag, 1991.

Google Scholar

[2]

Ramesh Bharadwaj and Steve Sims. Combining constraint solvers with bdds for automatic invariant checking. In 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1785 of Lecture Notes in Computer Science, pages 378--394, Berlin, April 2000. Springer-Verlag.

Digital Library

Google Scholar

[3]

Matthias Blume. Cm: The sml/nj compilation and library manager, user manual, May 2002. Distributed with SML/NJ since version 110.20.

Google Scholar

[4]

Matthias Blume. Dependency analysis for standard ml. ACM Transactions on Programming Languages and Systems, 21(4), July 1999.

Digital Library

Google Scholar

[5]

Matthias Blume. No-longer-foreign: Teaching an ml compiler to speak c "natively". Electronic Notes in Theoretical Computer Science, 59(1), 2001.

Google Scholar

[6]

Henry Cejtin, Suresh Jagannathan, and Stephen Weeks. Flow-directed closure conversion for typed languages. In Gert Smolka, editor, 9th European Symposium on Programming (ESOP), volume 1782 of Lecture Notes in Computer Science, pages 56--71. Springer, 2000.

Crossref

Google Scholar

[7]

Rance Cleaveland, Joachim Parrow, and Bernhard Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15 (1):36--72, January 1993.

Digital Library

Google Scholar

[8]

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, and Oleg Sokolsky. The concurrency factory: A development environment for concurrent systems. In R. Alur and T. Henzinger, editors, Computer-Aided Verification (CAV), volume 1102 of Lecture Notes in Computer Science, pages 398--401, New Brunswick, NJ, July 1996. Springer-Verlag.

Digital Library

Google Scholar

[9]

David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, June 1987.

Digital Library

Google Scholar

[10]

Mlton standard ml compiler. http://www.mlton.org/.

Google Scholar

[11]

Standard ml of new jersey. http://www.smlnj.org/.

Google Scholar

[12]

wxwidgets: Cross-platform gui library. http://www.wxwidgets.org

Google Scholar

Cited By

View all

Ishii DTomita TAoki TNgo TDo TTakai H(2022)Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS57517.2022.00050(422-433)Online publication date: Dec-2022
https://doi.org/10.1109/QRS57517.2022.00050
TOMITA TISHII DMURAKAMI TTAKEUCHI SAOKI T(2020)Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink ModelsIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences10.1587/transfun.2019MAP0010E103.A:2(451-461)Online publication date: 1-Feb-2020
https://doi.org/10.1587/transfun.2019MAP0010
Tomita TIshii DMurakami TTakeuchi SAoki TChechik MStrüber DVarró D(2019)A scalable Monte-Carlo test-case generation tool for large and complex simulink modelsProceedings of the 11th International Workshop on Modelling in Software Engineerings10.1109/MiSE.2019.00014(39-46)Online publication date: 26-May-2019
https://dl.acm.org/doi/10.1109/MiSE.2019.00014
Show More Cited By

Index Terms

Experience report: the reactis validation tool
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages

Recommendations

Experience report: the reactis validation tool
Proceedings of the ICFP '07 conference

Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a commercial product has led us to the conclusion that while functional languages ...
Developing a monadic type checker for an object-oriented language: an experience report
SLE 2019: Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering

Functional programming languages are well-suited for developing compilers, and compilers for functional languages are often themselves written in a functional language. Functional abstractions, such as monads, allow abstracting away some of the ...
Status report: specifying javascript with ML
ML '07: Proceedings of the 2007 workshop on Workshop on ML

The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applications. This "definitional interpreter" serves many purposes: a high-level and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming

October 2007

346 pages

ISBN:9781595938152

DOI:10.1145/1291151

General Chair:
Ralf Hinze
Universität Bonn, Germany
,
Program Chair:
Norman Ramsey
Harvard University, USA

ACM SIGPLAN Notices Volume 42, Issue 9
Proceedings of the ICFP '07 conference
September 2007
331 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/1291220
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICFP07

Sponsor:

ICFP07: ACM SIGPLAN International Conference on Functional Programming

October 1 - 3, 2007

Freiburg, Germany

Acceptance Rates

Overall Acceptance Rate 333 of 1,064 submissions, 31%

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

24
Total Citations
View Citations
347
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 23 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ishii DTomita TAoki TNgo TDo TTakai H(2022)Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS57517.2022.00050(422-433)Online publication date: Dec-2022
https://doi.org/10.1109/QRS57517.2022.00050
TOMITA TISHII DMURAKAMI TTAKEUCHI SAOKI T(2020)Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink ModelsIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences10.1587/transfun.2019MAP0010E103.A:2(451-461)Online publication date: 1-Feb-2020
https://doi.org/10.1587/transfun.2019MAP0010
Tomita TIshii DMurakami TTakeuchi SAoki TChechik MStrüber DVarró D(2019)A scalable Monte-Carlo test-case generation tool for large and complex simulink modelsProceedings of the 11th International Workshop on Modelling in Software Engineerings10.1109/MiSE.2019.00014(39-46)Online publication date: 26-May-2019
https://dl.acm.org/doi/10.1109/MiSE.2019.00014
Tomita TIshii DMurakami TTakeuchi SAoki T(2019)Template-Based Monte-Carlo Test Generation for Simulink ModelsCyber Physical Systems. Design, Modeling, and Evaluation10.1007/978-3-030-17910-6_5(63-78)Online publication date: 13-Apr-2019
https://doi.org/10.1007/978-3-030-17910-6_5
Roy DZhang LChang WMitter SChakraborty S(2018)Semantics-Preserving Cosynthesis of Cyber-Physical SystemsProceedings of the IEEE10.1109/JPROC.2017.2779456106:1(171-200)Online publication date: Jan-2018
https://doi.org/10.1109/JPROC.2017.2779456
Cleaveland R(2018)Programming Is ModelingLeveraging Applications of Formal Methods, Verification and Validation. Modeling10.1007/978-3-030-03418-4_10(150-161)Online publication date: 29-Oct-2018
https://doi.org/10.1007/978-3-030-03418-4_10
Liu BLucia Nejati SBriand L(2017)Improving fault localization for Simulink models using search-based testing and prediction models2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER.2017.7884636(359-370)Online publication date: Feb-2017
https://doi.org/10.1109/SANER.2017.7884636
Jiang YYang YLiu HKong HGu MSun JSha L(2016)From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS.2016.7461337(1-11)Online publication date: Apr-2016
https://doi.org/10.1109/RTAS.2016.7461337
Matinnejad RNejati SBriand LBruckmann TPoull C(2015)Search-based automated testing of continuous controllers: Framework, tool support, and case studiesInformation and Software Technology10.1016/j.infsof.2014.05.00757(705-722)Online publication date: Jan-2015
https://doi.org/10.1016/j.infsof.2014.05.007
Frehse GLarsen KMikučionis MNielsen B(2011)Monitoring dynamical signals while testing timed aspects of a systemProceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems10.5555/2075545.2075554(115-130)Online publication date: 7-Nov-2011
https://dl.acm.org/doi/10.5555/2075545.2075554
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Experience report: the reactis validation tool

Developing a monadic type checker for an object-oriented language: an experience report

Status report: specifying javascript with ML