Title :
Automated testing of L-IRL robot programming language parser
Author :
Lutovac, Maja ; Bojic, Dejan ; Kvrgic, Vladimir
Author_Institution :
Lola Inst., Belgrade, Serbia
Abstract :
Parser testing represents the basis of compiler testing because the accuracy of parsing execution directly affects the accuracy of semantic analysis, optimization and object code generation. It should include tests for correct and expected, but also for unexpected and invalid cases. In this paper, techniques for testing the parser, as well as algorithms and tools for test sentence generation are discussed. Generation of negative test sentences by modifying the original language grammar is described. Positive and negative test cases generated by Grow algorithm and Purdom algorithm are applied to the testing of L-IRL robot programming language and obtained results are described in this paper.
Keywords :
optimising compilers; program testing; programming language semantics; robot programming; Grow algorithm; Purdom algorithm; automated L-IRL robot programming language parser testing; compiler optimization; compiler testing; language grammar; negative test case generation; negative test sentences; object code generation; parsing execution; positive test case generation; semantic analysis; test sentence generation; Generators; Postal services; Robot programming; Service robots; Software; Testing;
Conference_Titel :
Telecommunications Forum (TELFOR), 2013 21st
Conference_Location :
Belgrade
Print_ISBN :
978-1-4799-1419-7
DOI :
10.1109/TELFOR.2013.6716357