Ralf L/immel. Grammar testing. In Proc. of Fundamental Approaches to Software Engineering (FASE) 2001.  Home/Search   Document Details and Download   Summary   Related Articles

....analyzer while the small one detected only 1 such error. This is an expectable result since the proposed coverage criteria are based on the dynamic semantics. Therefore testing of the static semantics processing requires the different coverage criteria. Maybe one of the approaches proposed in [9,16] should be applied. The second iteration was driven by 2 state path coverage. There were generated 646 positive test cases. The number of negative test cases remained the same since the constrained coverage criterion was satisfied by the first iteration. The run of the generated test suites ....

....suite generation are investigated. However the proposed approaches are aimed at testing of API or FSM based systems. There are several works addressing the compiler testing. Grammar based approaches to the testing of the implementation of the language syntax and static semantics are addressed in [9,16,12]. Authors propose coverage criteria for attribute grammars and coverage oriented test generation strategies. Paper [9] considers negative test cases. The proposed approaches are suitable for testing the language static semantics, the dynamic semantics is not considered at all. In the work [21] ....

Ralf L/immel. Grammar testing. In Proc. of Fundamental Approaches to Software Engineering (FASE) 2001.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC