SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Fourneret, Elizabeta; Cantenot, Jérôme; Bouquet, Fabrice; Legeard, Bruno; Botella, Julien

doi:10.1109/sere.2014.28

Cited by 9 publications

(3 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is often used in industry due to its simple and quick implementation. However, its capacity in terms of fault detection is limited [41]. Therefore, considerable amount of work is related to the development of effective and scalable selective techniques.…”

Section: Security Regression Testingmentioning

confidence: 99%

Security Testing

Felderer

Büchler

Johns

et al. 2016

Advances in Computers

123

View full text Add to dashboard Cite

ReuseThis article is distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivs (CC BY-NC-ND) licence. This licence only allows you to download this work and share it with others as long as you credit the authors, but you can't change the article in any way or use it commercially. More information and the full terms of the licence here: https://creativecommons.org/licenses/ Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing eprints@whiterose.ac.uk including the URL of the record and the reason for the withdrawal request. Identifying vulnerabilities and ensuring security functionality by security testing is a widely applied measure to evaluate and improve the security of software. Due to the openness of modern software-based systems, applying appropriate security testing techniques is of growing importance and essential to perform effective and efficient security testing. Therefore, an overview of actual security testing techniques is of high value both for researchers to evaluate and refine the techniques and for practitioners to apply and disseminate them. This chapter fulfills this need and provides an overview of recent security testing techniques. For this purpose, it first summarize the required background of testing and security engineering. Then, basics and recent developments of security testing techniques applied during the secure software development lifecycle, i.e., model-based security testing, code-based testing and static analysis, penetration testing and dynamic analysis, as well as security regression testing are discussed. Finally, the security testing techniques are illustrated by adopting them for an example three-tiered web-based business application.

show abstract

Section: Security Regression Testingmentioning

confidence: 99%

Security Testing

Felderer

Büchler

Johns

et al. 2016

Advances in Computers

123

View full text Add to dashboard Cite

show abstract

“…Ali and Society [23] proposed model‐based test case generation using heuristics search targeted to OCL constraints to guide test data generation using genetic algorithm, evolutionary algorithm and alternative variable method. Fourneret et al [24] used UML and OCL model for regression test case generation.…”

Section: Literature Surveymentioning

confidence: 99%

Mobile agent‐based regression test case generation using model and formal specifications

Arora

Bhatia

2018

IET softw.

View full text Add to dashboard Cite

Regression testing ensures that the functionality of previous code is not affected by the updates in the modified code. The focus of regression test case generation is to generate test cases for changed functionality. The authors' research advocates the use of mobile agent-based technology for regression test case generation using syntax and semantics analysis based on model and formal specifications. In this study, the authors presented a tool for adopting multi-agent systems for regression test case generation on distributed environment using standard unified modelling language (UML) models and formal specifications. Different agents are designed to perform model comparison, behaviour comparison, specifications comparison, impact analysis, and regression test case generation. Agents designed in JADE framework perform these tasks by using XML files of UML class diagram, sequence diagram and formal specifications based on Object-Z and OCL. To the best of the authors' knowledge, no research has reported regression test case generation using mobile agent-based technology along with model and formal specifications. It is found that the use of mobile agents will significantly reduce time and effort for regression test case generation in distributed systems.

show abstract

“…It is often used in industry due to its simple and quick implementation. However, its capacity in terms of fault detection is limited [34]. For this reason, in the research field, considerable amount of work is related to the development of effective and scalable selective techniques.…”

Section: Regression Testingmentioning

confidence: 99%

A systematic classification of security regression testing approaches

Felderer

Fourneret

2015

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

The openness of modern IT systems and their permanent change make it challenging to keep these systems secure. A combination of regression and security testing called security regression testing, which ensures that changes made to a system do not harm its security, are therefore of high significance and the interest in such approaches has steadily increased. In this article we present a systematic classification of available security regression testing approaches based on a solid study of background and related work to sketch which parts of the research area seem to be well understood and evaluated, and which ones require further research. For this purpose we extract approaches relevant to security regression testing from computer science digital libraries based on a rigorous search and selection strategy. Then, we provide a classification of these according to security regression approach criteria: abstraction level, security issue, regression testing techniques, and tool support, as well as evaluation criteria, for instance evaluated system, maturity of the system, and evaluation measures. From the resulting classification we derive observations with regard to the abstraction level, regression testing techniques, tool support as well as evaluation, and finally identify several potential directions of future research.

show abstract

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Abstract: Best paper Award of the conferenceInternational audienc

Cited by 9 publications

References 19 publications

Security Testing

Security Testing

Mobile agent‐based regression test case generation using model and formal specifications

A systematic classification of security regression testing approaches

Contact Info

Product

Resources

About