Automated test case generation from domain specific models of high-level requirements

Oyindamola Olajubu; Suraj Ajit; Mark Johnson; Scott J Turner; Scott Thomson; Mark Edwards

Automated test case generation from domain specific models of high-level requirements

Oyindamola Olajubu, Suraj Ajit, Mark Johnson, Scott J Turner, Scott Thomson, Mark Edwards

Research output: Contribution to Book/Report › Conference Contribution › peer-review

Abstract

Model-based software development has been shown to improve productivity and quality of software through automation. This involves using abstractions or models at several stages of development. This work reports on preliminary attempts to automate the generation of test cases from software requirement models using an industrial case study. The requirements are represented using a modeling notation and test cases are automatically generated using model to text transformation techniques.

Original language	English
Title of host publication	Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Pages	505-508
Number of pages	4
ISBN (Print)	9781450337380
Publication status	Published - 9 Oct 2015

Publication series

Name	RACS 2015

Keywords

Domain specific languages
model-based testing

Access to Document

Automated test case generation from domain specific models of high-level requirements RACS 2015Accepted author manuscript, 374 KB

https://dl.acm.org/citation.cfm?id=2811555

Cite this

Olajubu, O., Ajit, S., Johnson, M., Turner, S. J., Thomson, S., & Edwards, M. (2015). Automated test case generation from domain specific models of high-level requirements. In Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems (pp. 505-508). (RACS 2015). Association for Computing Machinery (ACM). https://dl.acm.org/citation.cfm?id=2811555

@inproceedings{97b7178bf66b48ac945a3f27bae5ba0c,

title = "Automated test case generation from domain specific models of high-level requirements",

abstract = "Model-based software development has been shown to improve productivity and quality of software through automation. This involves using abstractions or models at several stages of development. This work reports on preliminary attempts to automate the generation of test cases from software requirement models using an industrial case study. The requirements are represented using a modeling notation and test cases are automatically generated using model to text transformation techniques.",

keywords = "Domain specific languages, model-based testing",

author = "Oyindamola Olajubu and Suraj Ajit and Mark Johnson and Turner, {Scott J} and Scott Thomson and Mark Edwards",

year = "2015",

month = oct,

day = "9",

language = "English",

isbn = "9781450337380",

series = "RACS 2015",

publisher = "Association for Computing Machinery (ACM)",

pages = "505--508",

booktitle = "Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems",

address = "United States",

}

Olajubu, O, Ajit, S , Johnson, M, Turner, SJ, Thomson, S & Edwards, M 2015, Automated test case generation from domain specific models of high-level requirements. in Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems. RACS 2015, Association for Computing Machinery (ACM), New York, NY, USA, pp. 505-508. <https://dl.acm.org/citation.cfm?id=2811555>

Automated test case generation from domain specific models of high-level requirements. / Olajubu, Oyindamola; Ajit, Suraj ; Johnson, Mark et al.
Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems. New York, NY, USA: Association for Computing Machinery (ACM), 2015. p. 505-508 (RACS 2015).

Research output: Contribution to Book/Report › Conference Contribution › peer-review

TY - GEN

T1 - Automated test case generation from domain specific models of high-level requirements

AU - Olajubu, Oyindamola

AU - Ajit, Suraj

AU - Johnson, Mark

AU - Turner, Scott J

AU - Thomson, Scott

AU - Edwards, Mark

PY - 2015/10/9

Y1 - 2015/10/9

N2 - Model-based software development has been shown to improve productivity and quality of software through automation. This involves using abstractions or models at several stages of development. This work reports on preliminary attempts to automate the generation of test cases from software requirement models using an industrial case study. The requirements are represented using a modeling notation and test cases are automatically generated using model to text transformation techniques.

AB - Model-based software development has been shown to improve productivity and quality of software through automation. This involves using abstractions or models at several stages of development. This work reports on preliminary attempts to automate the generation of test cases from software requirement models using an industrial case study. The requirements are represented using a modeling notation and test cases are automatically generated using model to text transformation techniques.

KW - Domain specific languages

KW - model-based testing

M3 - Conference Contribution

SN - 9781450337380

T3 - RACS 2015

SP - 505

EP - 508

BT - Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

ER -

Automated test case generation from domain specific models of high-level requirements

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this