@inproceedings{6ade262d95e540fe9324c986ad1c959b,
title = "Parameterized test using formal semantic of program language",
abstract = "This paper presents a parameterized unit test framework named Semantic-PUT. It consists of batched input data model, environment isolation, program run and results assertion. The semantics of the four parts are given respectively. Unit testing of 16 algorithms have been performed using Semantic-PUT, The result shows that testing has been completed successfully, and Semantic-PUT is automated and efficient.",
keywords = "Formal semantics, Parameterized, Program language, Syntax, Unit testing",
author = "Bo Xu and Jie Cui and Zhu, {Zhan Kui} and Du, {Cheng Lie}",
year = "2014",
doi = "10.4028/www.scientific.net/AMM.519-520.385",
language = "英语",
isbn = "9783038350194",
series = "Applied Mechanics and Materials",
pages = "385--388",
booktitle = "Computer and Information Technology",
note = "2013 International Forum on Computer and Information Technology, IFCIT 2013 ; Conference date: 24-12-2013 Through 25-12-2013",
}