Microsoft Technology Licensing, LLC

Gabriele Giuseppini

Melur K Raghuraman

Jaroslav Dunajsky

Eric D Deily

Ming Lu

Systems and methods for testing a context-free language compiler. Given a description of a context-free grammar including a set of production rules, a test component applies the grammar description to generate one or more valid test strings of terminal symbols. A value generation component may replace one or more terminal symbols in the set of test strings with values appropriate for the class of the terminal symbol. The resulting set of test strings may be individually applied to a compiler, which returns a response based upon the applied test string that may be used to determine if the compiler is operating as expected. The set of test strings may be generated using every production rule of the given context-free grammar description. In addition to valid test strings, a set of invalid test strings may be generated by making use of a set of invalid production rules while generating test strings.

Testing a context-free language compiler

A method of tracing data on a network for a Web request that detects events of the Web request as the Web request is serviced. The method provides a unique identifier (ID) for the Web request. The ID is associated with all events for the Web request in a trace log. When such events occur in the servicing of the Web request, each event is recorded with the ID of the Web request in a trace log. The trace log can be accessed via the ID to debug a Web request service failure.

Growing community of inventors

Redmond, WA, United States of America

Gabriele Giuseppini