dissertation · RiuNet (Politechnical University of Valencia) · 2013

Automated test case generation

Costa Martínez, Juan Roberto Da

Cited by 0Abstract and details only

Abstract

Software testing is a hot topic in the software development industry as it demands a large\ninvestment of time and resources for creating and maintaining the test suite, and\npossibly for running it as well. One of the alternatives to manual test creation is modelbased\ntesting, which revolves around the idea of automating the test generation process\nbased on software models of the system under test.\nIn the present thesis project, we will generate test cases based on models, assess their\noverall coverage and apply different minimisation techniques to obtain a reduced test\nset. We will also compare the impact of the various minimisations and make an effort to\ndetermine what has been lost, in terms of fault detection capability, in the process with\nrespect to the complete test set

Cite this paper

APA 7

Costa Martínez, J. R. D. (2013). Automated test case generation. RiuNet (Politechnical University of Valencia).

MLA 9

Costa Martínez, Juan Roberto Da. “Automated test case generation.” RiuNet (Politechnical University of Valencia), 2013.

Chicago

Costa Martínez, Juan Roberto Da. 2013. “Automated test case generation.” RiuNet (Politechnical University of Valencia).

Harvard

Costa Martínez, J.R.D. (2013) ‘Automated test case generation’, RiuNet (Politechnical University of Valencia).

BibTeX

@phdthesis{costamartinez2013automated,
  title = {{Automated test case generation}},
  author = {Costa Martínez, Juan Roberto Da},
  school = {RiuNet (Politechnical University of Valencia)},
  year = {2013}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.