hh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Taromirad, Masoumeh
Publications (6 of 6) Show all publications
Aichernig, B. K., Mostowski, W., Mousavi, M. R., Tappler, M. & Taromirad, M. (2018). Model Learning and Model-Based Testing. In: Amel Bennaceur, Reiner Hähnle, Karl Meinke (Ed.), Amel Bennaceur, Reiner Hähnle, Karl Meinke (Ed.), Machine Learning for Dynamic Software Analysis: Potentials and Limits. Paper presented at Machine Learning for Dynamic Software Analysis: Potentials and Limits, International Dagstuhl Seminar 16172, Wadern, Germany, April 24-27, 2016 (pp. 74-100). Heidelberg: Springer
Open this publication in new window or tab >>Model Learning and Model-Based Testing
Show others...
2018 (English)In: Machine Learning for Dynamic Software Analysis: Potentials and Limits / [ed] Amel Bennaceur, Reiner Hähnle, Karl Meinke, Heidelberg: Springer, 2018, p. 74-100Conference paper, Published paper (Refereed)
Abstract [en]

We present a survey of the recent research efforts in integrating model learning with model-based testing. We distinguished two strands of work in this domain, namely test-based learning (also called test-based modeling) and learning-based testing. We classify the results in terms of their underlying models, their test purpose and techniques, and their target domains. © Springer International Publishing AG

Place, publisher, year, edition, pages
Heidelberg: Springer, 2018
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 11026
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-38437 (URN)10.1007/978-3-319-96562-8_3 (DOI)978-3-319-96561-1 (ISBN)978-3-319-96562-8 (ISBN)
Conference
Machine Learning for Dynamic Software Analysis: Potentials and Limits, International Dagstuhl Seminar 16172, Wadern, Germany, April 24-27, 2016
Funder
Knowledge Foundation
Available from: 2018-11-28 Created: 2018-11-28 Last updated: 2018-12-11Bibliographically approved
Araujo, H., Carvalho, G., Sampaio, A., Mousavi, M. R. & Taromirad, M. (2017). A Process for Sound Conformance Testing of Cyber-Physical Systems. In: Randall Bilof (Ed.), 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW): . Paper presented at 10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), Tokyo, Japan, March 13-17, 2017 (pp. 46-50). Los Alamitos, CA: IEEE Computer Society, Article ID 7899032.
Open this publication in new window or tab >>A Process for Sound Conformance Testing of Cyber-Physical Systems
Show others...
2017 (English)In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) / [ed] Randall Bilof, Los Alamitos, CA: IEEE Computer Society, 2017, p. 46-50, article id 7899032Conference paper, Published paper (Refereed)
Abstract [en]

We present a process for sound conformance testing of cyber-physical systems, which involves functional but also non-functional aspects. The process starts with a hybrid model of cyber-physical systems in which the correct behavior of the system (at its interface level) is specified. Such a model captures both discrete behavior and evolution of continuous dynamics of the system in time. Since conformance testing inherently involves comparing continuous dynamics, the key parameters of the process are (1) the conformance bounds defining when two signals are sufficiently close to each other, and (2) the permitted error margin in the conformance analysis introduced by sampling of continuous signals. The final parameter of this process is (3) finding (and adjusting) the sampling rate of the dynamic behavior. In the specified process, we provide different alternatives for fixing the error margin of the conformance testing if the sampling rate is fixed, establishing the sampling rate if the error margin is fixed and finding conformance bounds once the sampling rate and the error margin are fixed. © 2017 IEEE.

Place, publisher, year, edition, pages
Los Alamitos, CA: IEEE Computer Society, 2017
Series
IEEE International Conference on Software Testing Verification and Validation Workshops, ISSN 2159-4848
Keywords
Conformance Testing, Cyber-Physical Systems, Hybrid Systems, Approximate Simulation, Conformance Bounds, Sampling Rate
National Category
Control Engineering
Identifiers
urn:nbn:se:hh:diva-35616 (URN)10.1109/ICSTW.2017.15 (DOI)000403392800009 ()2-s2.0-85018444759 (Scopus ID)978-1-5090-6676-6 (ISBN)978-1-5090-6677-3 (ISBN)
Conference
10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), Tokyo, Japan, March 13-17, 2017
Projects
AUTO-CAAS
Funder
Swedish Research Council, 621-2014-5057Knowledge Foundation, 20140312ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Note

Funding: The work of M. R. Mousavi has been partially supported by the Swedish Research Council (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and the Swedish Knowledge Foundation (Stiftelsen för Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HöG project (number: 20140312) and the Strategic Research Environment ELLIIT. The work of M. Taromirad has been partially supported by the Swedish Research Council (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and the Strategic Research Environment ELLIIT. The work of Hugo Araujo, Gustavo Carvalho and Augusto Sampaio was partially supported by the CIn-UFPE/Motorola cooperation project, as well as CNPq grants 303022/2012-4 and 132332/2015-9.

Available from: 2017-12-06 Created: 2017-12-06 Last updated: 2017-12-06Bibliographically approved
Taromirad, M. & Mousavi, M. R. (2017). Gray-Box Conformance Testing for Symbolic Reactive State Machines. In: Mehdi Dastani & Marjan Sirjani (Ed.), Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers. Paper presented at 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017 (pp. 228-243). Heidelberg: Springer Berlin/Heidelberg
Open this publication in new window or tab >>Gray-Box Conformance Testing for Symbolic Reactive State Machines
2017 (English)In: Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / [ed] Mehdi Dastani & Marjan Sirjani, Heidelberg: Springer Berlin/Heidelberg, 2017, p. 228-243Conference paper, Published paper (Refereed)
Abstract [en]

Model-based testing (MBT) is typically a black-box testing technique. Therefore, generated test suites may leave some untested gaps in a given implementation under test (IUT). We propose an approach to use the structural and behavioural information exploited from the implementation domain to generate effective and efficient test suites. Our approach considers both specification models and implementation models, and generates an enriched test model which is used to automatically generate test suites. We show that the proposed approach is sound and exhaustive and cover both the specification and the implementation. We examine the applicability and the effectiveness of our approach by applying it to a well-known example from the railway domain. © 2017, IFIP International Federation for Information Processing.

Place, publisher, year, edition, pages
Heidelberg: Springer Berlin/Heidelberg, 2017
Series
Lecture Notes in Computer Science, ISSN 0302-9742 ; vol. 10522
Keywords
Model checking, Software engineering, Specifications, Testing, Conformance testing, Implementation models, Implementation under tests, Model based testing, Reactive state, Specification models, Test Modeling, Black-box testing
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-36432 (URN)10.1007/978-3-319-68972-2_15 (DOI)2-s2.0-85032873770 (Scopus ID)978-3-319-68971-5 (ISBN)978-3-319-68972-2 (ISBN)
Conference
7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017
Available from: 2018-03-15 Created: 2018-03-15 Last updated: 2018-03-15Bibliographically approved
Taromirad, M. (2014). A Modelling Approach to Multi-Domain Traceability. (Doctoral dissertation). York: Enterprise Systems Research Group, Department of Computer Science, University of York
Open this publication in new window or tab >>A Modelling Approach to Multi-Domain Traceability
2014 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Traceability is an important concern in projects that span dierent engineering domains. Traceability can also be mandated, exploited and managed across the engineering lifecycle, and may involve defining connections between heterogeneous models. As a result, traceability can be considered to be multi-domain.

This thesis introduces the concept and challenges of multi-domain traceability and explains how it can be used to support typical traceability scenarios. It proposes a model-based approach to develop a traceability solution which eectively operates across multiple engineering domains. The approach introduced a collection of tasks and structures which address the identified challenges for a traceability solution in multi-domain projects. The proposed approach demonstrates that modelling principles and MDE techniques cab help to address current challenges and consequently improve the eectiveness of a multi-domain traceability solution.

A prototype of the required tooling to support the approach is implemented with EMF and atop Epsilon; it consists of an implementation of the proposed structures (models) and model management operations to support traceability. Moreover, the approach is illustrated in the context of two safety-critical projects where multi-domain traceability is required to underpin certification arguments.

Place, publisher, year, edition, pages
York: Enterprise Systems Research Group, Department of Computer Science, University of York, 2014. p. 284
National Category
Computer Systems
Identifiers
urn:nbn:se:hh:diva-29156 (URN)
Supervisors
Available from: 2015-08-19 Created: 2015-08-11 Last updated: 2018-03-22Bibliographically approved
Taromirad, M., Matragkas, N. & Paige, R. F. (2013). Towards a Multi-Domain Model-Driven Traceability Approach. In: Christophe Jacquet, Daniel Balasubramanian, Edward Jones & Tamás Mészáros (Ed.), Proceedings: 7th International Workshop on Multi-Paradigm Modeling: MPM 2013: co-located with Models 2013: Miami, Florida, 30 September 2013. Paper presented at 7th International Workshop on Multi-Paradigm Modeling (MPM 2013) co-located with 2013 ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), Miami, FL, USA, 30 Sept, 2013 (pp. 27-36). Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen, 1112
Open this publication in new window or tab >>Towards a Multi-Domain Model-Driven Traceability Approach
2013 (English)In: Proceedings: 7th International Workshop on Multi-Paradigm Modeling: MPM 2013: co-located with Models 2013: Miami, Florida, 30 September 2013 / [ed] Christophe Jacquet, Daniel Balasubramanian, Edward Jones & Tamás Mészáros, Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen , 2013, Vol. 1112, p. 27-36Conference paper, Published paper (Refereed)
Abstract [en]

Traceability is an important concern in projects that span different engineering domains. In such projects, traceability can be used across the engineering lifecycle and therefore is multi-domain, involving heterogeneous models. We introduce the concept and challenges of multi-domain traceability and explain how it can be used to support traceability scenarios. We describe how to build a multi-domain traceability framework using Model-Driven Engineering. The approach is illustrated in the context of the safety-critical systems engineering domain where multi-domain traceability is required to underpin certification arguments.

Place, publisher, year, edition, pages
Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen, 2013
Series
CEUR Workshop Proceedings, ISSN 1613-0073 ; 1112
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:hh:diva-29150 (URN)2-s2.0-84908334401 (Scopus ID)
Conference
7th International Workshop on Multi-Paradigm Modeling (MPM 2013) co-located with 2013 ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), Miami, FL, USA, 30 Sept, 2013
Available from: 2015-08-11 Created: 2015-08-11 Last updated: 2018-03-22Bibliographically approved
Taromirad, M. & Paige, R. F. (2012). Agile Requirements Traceability Using Domain-Specific Modelling Languages. In: XM '12: Proceedings of the 2012 Extreme Modeling Workshop. Paper presented at ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS), Innsbruck, Austria, Sept. 30th - Oct. 5th, 2012 (pp. 45-50). New York, NY: ACM Press
Open this publication in new window or tab >>Agile Requirements Traceability Using Domain-Specific Modelling Languages
2012 (English)In: XM '12: Proceedings of the 2012 Extreme Modeling Workshop, New York, NY: ACM Press, 2012, p. 45-50Conference paper, Published paper (Refereed)
Abstract [en]

Requirements traceability is an important mechanism for managing verification, validation and change impact analysis challenges in system engineering. Numerous model-based approaches have been proposed to support requirements traceability, but significant challenges remain, including finding the appropriate level of granularity for modelling traceability and coping with the lack of uniformity in requirements management tools. This paper argues for an agile modelling approach to managing requirements traceability and, in this context, proposes a domain/project-specific requirements traceability modelling approach. The preliminary approach is illustrated briefly in the context of the safety-critical systems engineering domain, where agile traceability from functional and safety requirements is necessary to underpin certification. © 2012 ACM.

Place, publisher, year, edition, pages
New York, NY: ACM Press, 2012
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:hh:diva-29154 (URN)10.1145/2467307.2467316 (DOI)2-s2.0-84878189487 (Scopus ID)978-1-4503-1804-4 (ISBN)
Conference
ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS), Innsbruck, Austria, Sept. 30th - Oct. 5th, 2012
Available from: 2015-08-11 Created: 2015-08-11 Last updated: 2018-03-22Bibliographically approved
Organisations

Search in DiVA

Show all publications