Model-based testing approaches selection for software projects

Dias-Neto, Arilo Cláudio; Travassos, Guilherme Horta

doi:10.1016/j.infsof.2009.06.010

Cited by 37 publications

(20 citation statements)

References 29 publications

(84 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The assumption about the existence of a model solution resembles the scenario of model-based testing [7,18]. In the latter approach, a model of a system is built in a way that reflects the principal functionalities of the system tested, and then the model is used to derive test suites in an automated way.…”

Section: Overview Of the Approachmentioning

confidence: 99%

Incremental test case generation using bounded model checking: an application to automatic rating

Anielak

Jakacki²,

Lasota

2014

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

In this paper we focus on the task of rating solutions to a programming exercise. State-of-the-art rating methods generally examine each solution against an exhaustive set of test cases, typically designed manually. Hence an issue of completeness arises. We propose the application of bounded model checking to the automatic generation of test cases. The experimental evaluation we have performed reveals a substantial increase in accuracy of ratings at a cost of a moderate increase in computation resources needed. Most importantly, application of model checking leads to the finding of errors in solutions that would previously have been classified as correct.

show abstract

Section: Overview Of the Approachmentioning

confidence: 99%

Incremental test case generation using bounded model checking: an application to automatic rating

Anielak

Jakacki²,

Lasota

2014

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

show abstract

“…Because in many cases projects are different from each other due to the different characteristics they may have, it may be difficult to select such technologies, as indicated by (Dias-Neto & Horta Travassos, 2009).…”

Section: Introductionmentioning

confidence: 99%

A review of software project testing

Villalón

Agustín

Feliú

et al. 2016

Journal of Information Systems Engineering & Management

View full text Add to dashboard Cite

In this article a review of software projects based on a taxonomy project is established, allowing the development team or testing personnel to identify the tests to which the project must be subjected for validation. The taxonomy is focused on identifying software projects according to their technology. To establish the taxonomy, a development method comprised of 5 phases was applied. The developed taxonomy is comprised of 10 categories and 35 subcategories and was validated by a group of information technology (IT) managers and professionals in the field of IT through the use of a survey. The results obtained from the survey are subjected to the Mann-Whitney U test, which indicates that the taxonomy is validated. The taxonomy can be implemented in development organizations with or without a testing team that provides a classification for technology projects.

show abstract

“…Because in many cases projects are different from each other due to the different characteristics they may have, it may be difficult to select such technologies, as indicated by [3].…”

Section: Introductionmentioning

confidence: 99%

A taxonomy for software testing projects

Villalon

Agustín

Feliú

et al. 2015

2015 10th Iberian Conference on Information Systems and Technologies (CISTI)

View full text Add to dashboard Cite

-This article establishes taxonomy for software testing projects, allowing the development team or testing personnel to identify the tests to which the project must be subjected for validation.The taxonomy is focused on identifying software projects according to their technology. To establish the taxonomy, a development method comprised of 5 phases was applied. The developed taxonomy is comprised of 9 categories and 27 subcategories and was validated by a group of information technology (IT) managers and professionals in the field of IT through the use of a survey. The results obtained from the survey are subjected to the Mann-Whitney U test, whichindicates that the taxonomy is validated. The taxonomy can be implemented in development organizations with or without a testing team that provides a classification for technology projects.

show abstract

Model-based testing approaches selection for software projects

Cited by 37 publications

References 29 publications

Incremental test case generation using bounded model checking: an application to automatic rating

Incremental test case generation using bounded model checking: an application to automatic rating

A review of software project testing

A taxonomy for software testing projects

Contact Info

Product

Resources

About