A test generation solution to automate software testing

Bouquet, Fabrice; Grandpierre, Christophe; Legeard, Bruno; Peureux, Fabien

doi:10.1145/1370042.1370052

Cited by 31 publications

(14 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A model-based testing approach is presented by Bouquet et al in [16]. Their approach is based on a combination of class, object, and state diagrams, which can be found in UML and OCL expressions to automatically generate test cases from these models.…”

Section: Related Workmentioning

confidence: 99%

Model Driven Testing of Web Applications Using Domain Specific Language

Nguyen¹

2015

ijacsa

View full text Add to dashboard Cite

Abstract-As more and more systems move to the cloud, the importance of web applications has increased recently. Web applications need more strict requirements in order to sup-port higher availability. The techniques in quality assurance of these applications hence become essential, the role of testing for web application becomes more significant. Model-driven testing is a promising paradigm for the automation of software testing. In the web domain, the challenge however remains in the creation of models and the complexity of configuring, launching, and testing big number of valid configuration and testing cases. This paper proposes a solution towards this challenge with an approach using Domain Specific Language (DSL) for model driven testing of web application. Our techniques are based on building abstractions of web pages using domain specific language. We introduce WTML -a domain specific language for modeling web pages and provide automatic code generation with a web-testing framework. This methodology and techniques aim at helping software developers as well as testers to become more productive and reduce the time-to-market, while maintaining high standards of web application quality.

show abstract

Section: Related Workmentioning

confidence: 99%

Model Driven Testing of Web Applications Using Domain Specific Language

Nguyen¹

2015

ijacsa

View full text Add to dashboard Cite

show abstract

“…Within vulnerability testing approach, negative test cases 6 have to be produced: typically, attack scenarios to obtain data from the SUT in an unauthorized manner. The proposed process to perform vulnerability testing, depicted in Figure 1, is composed of the four following activities: All these MBVT activities are supported by a dedicated toolchain, which is based on an existing MBT software named CertifyIt [3], [4] provided by the company Smartesting 7 .…”

Section: A Principles Of the Mbvt Approachmentioning

confidence: 99%

Model-Based Vulnerability Testing for Web Applications

Lebeau

Legeard

Peureux

et al. 2013

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops

Self Cite

View full text Add to dashboard Cite

Abstract-This paper deals with an original approach to automate Model-Based Vulnerability Testing (MBVT) for Web applications, which aims at improving the accuracy and precision of vulnerability testing. Today, Model-Based Testing techniques are mostly used to address functional features. The adaptation of such techniques for vulnerability testing defines novel issues in this research domain. In this paper, we describe the principles of our approach, which is based on a mixed modeling of the application under test: the specification indeed captures some behavioral aspects of the Web application, and includes vulnerability test purposes to drive the test generation algorithm. This approach is illustrated with the widely-used DVWA example.

show abstract

“…Symbolic execution techniques are applied to derive abstract test cases according to model coverage criteria or use-case scenarios. These generated abstract test cases can finally be concretized into executable test scripts that aim to evaluate functional conformance of the SUT with respect to the associated UML test model [1,2]. Smartesting Test Designer TM clearly defines the keystone of the toolchain proposed within the project VETESS.…”

Section: Mbt Process Using Smartesting Test Designer Tmmentioning

confidence: 99%

“…The graph of Java objects that represents a model can be serialized and deserialized in XML using the XStream tool. 2 As such, the translation from UML4MBT to TDMODEL is just one-to-one translation between models of the same nature but with different (Java-based) technologies. The translation tools make thus possible for a UML4MBT model to be processed to generate test cases.…”

Section: Test Model Exportmentioning

confidence: 99%

Development of an automated MBT toolchain from UML/SysML models

Lasalle

Peureux

Fondement

2011

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

International audienceThis paper reports about the VETESS project results and experience with building a model-based testing toolchain to validate automotive embedded systems. This approach, based on existing test generation and test execution tools, makes it possible to automatically derive and execute functional test cases from UML or SysML models. This process is composed of the following steps: modelling (UML or SysML functional view), abstract test case generation (symbolic execution of the model), concretization (generation of executable test scripts from abstract test cases) and analysis (assignation of the test verdict). This process is automated by a toolchain based on Topcased modeler, Smartesting test generator and Clemessy TestInView. This developed prototype made it possible to demonstrate that model-based testing from UML/SysML models is an efficient way to automate testing process for systems mixing software and hardware parts

show abstract

A test generation solution to automate software testing

Cited by 31 publications

References 2 publications

Model Driven Testing of Web Applications Using Domain Specific Language

Model Driven Testing of Web Applications Using Domain Specific Language

Model-Based Vulnerability Testing for Web Applications

Development of an automated MBT toolchain from UML/SysML models

Contact Info

Product

Resources

About