SimEvo: A Toolset for Simulink Test Evolution &amp; Maintenance

Rapos, Eric J.; Cordy, James R.

doi:10.1109/icst.2018.00049

Cited by 6 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To allow fine-grained selection of Simulink models and projects, SLNET computes several project-level and model-level metrics [4] and exposes them in a SQL database. SLNET similarly identifies and labels libraries and models that are test harnesses [31]. To summarize, this paper makes the following major contributions.…”

Section: Introductionmentioning

confidence: 99%

SLNET: A Redistributable Corpus of 3rd-party Simulink Models

Shrestha,

Chowdhury,

Csallner

2022

Preprint

View full text Add to dashboard Cite

MATLAB/Simulink is widely used for model-based design. Engineers create Simulink models and compile them to embedded code, often to control safety-critical cyber-physical systems in automotive, aerospace, and healthcare applications. Despite Simulink's importance, there are few large-scale empirical Simulink studies, perhaps because there is no large readily available corpus of thirdparty open-source Simulink models. To enable empirical Simulink studies, this paper introduces SLNET, the largest corpus of freely available third-party Simulink models. SLNET has several advantages over earlier collections. Specifically, SLNET is 8 times larger than the largest previous corpus of Simulink models, includes finegrained metadata, is constructed automatically, is self-contained, and allows redistribution. SLNET is available under permissive open-source licenses and contains its collection and analysis tools. CCS CONCEPTS• Software and its engineering → Software libraries and repositories; Model-driven software engineering; • Computer systems organization → Embedded and cyber-physical systems.

show abstract

Section: Introductionmentioning

confidence: 99%

SLNET: A Redistributable Corpus of 3rd-party Simulink Models

Shrestha,

Chowdhury,

Csallner

2022

Preprint

View full text Add to dashboard Cite

show abstract

“…The tool presented in this paper leverages the Reach/Coreach Tool [17] for model slicing of Simulink models 1 that traces data and control dependencies within a Simulink model while preserving its hierarchical structure. Although other engines exist for model slicing within a single model (e.g., [6,14,[18][19][20]), the Reach/Coreach Tool was chosen for its availability (other engines are mostly unavailable or commercial), familiarity (we developed it), and maturity. It has found application in design, refactoring, and static analysis of Simulink models, as well as in impact analysis within a Simulink model [17].…”

Section: Introductionmentioning

confidence: 99%

Change impact analysis in Simulink designs of embedded systems

Mackenzie

Pantelic

Marks

et al. 2020

Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Softw

View full text Add to dashboard Cite

Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster

et al. 2023

View full text Add to dashboard Cite

Research in software testing often involves the development of software prototypes. Like any piece of software, there are challenges in the development, use and verification of such tools. However, some challenges are rather specific to this problem domain. For example, often these tools are developed by PhD students straight out of bachelor/master degrees, possibly lacking any industrial experience in software development. Prototype tools are used to carry out empirical studies, possibly studying different parameters of novel designed algorithms. Software scaffolding is needed to run large sets of experiments efficiently. Furthermore, when using AI-based techniques like evolutionary algorithms, care needs to be taken to deal with their randomness, which further complicates their verification. The aforementioned represent some of the challenges we have identified for this domain. In this paper, we report on our experience in building the open-source EvoMaster tool, which aims at system-level test case generation for enterprise applications. Many of the challenges we faced would be common to any researcher needing to build software testing tool prototypes. Therefore, one goal is that our shared experience here will boost the research community, by providing concrete solutions to many development challenges in the building of such kind of research prototypes. Ultimately, this will lead to increase the impact of scientific research on industrial practice.

show abstract

SimEvo: A Toolset for Simulink Test Evolution & Maintenance

Cited by 6 publications

References 11 publications

SLNET: A Redistributable Corpus of 3rd-party Simulink Models

SLNET: A Redistributable Corpus of 3rd-party Simulink Models

Change impact analysis in Simulink designs of embedded systems

Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster

Contact Info

Product

Resources

About