Abstract: One embodiment of the present invention sets forth a method for generating one or more tests for testing a command provided by a command line interface. The command is specified in a pre-determined meta-language. The meta-language is then converted in the tokenized post-fix notation, which is processed to generate a direct acyclic graph (DAG) that represents the different permutations of the command. By traversing the DAG from a root node to a leaf node, a test can be generated. The test is then executed within the command line interface, and the result analyzed to determine whether the command line interface is operating correctly.

Abstract: One embodiment of the present invention sets forth a method for generating one or more tests for testing a command provided by a command line interface. The command is specified in a pre-determined meta-language. The meta-language is then converted in the tokenized post-fix notation, which is processed to generate a direct acyclic graph (DAG) that represents the different permutations of the command. By traversing the DAG from a root node to a leaf node, a test can be generated. The test is then executed within the command line interface, and the result analyzed to determine whether the command line interface is operating correctly.

Abstract: In an embodiment, a method is provided. In this method, contexts used in a test are accessed, and these contexts are defined separate from the test. One of these contexts (a “first context”) defines a dependency to another context (a “second” context). A system of relationships between the contexts is constructed based on the dependency defined by the first context. The test is then executed using a number of contexts identified from the system of relationships.

Abstract: Methods and systems are provided for analyzing a source code. The method includes collecting function entry information during the execution of tests on the source codes. The function entry information is then converted into symbolic codes. The function calls are replaced by the elements of the symbolic codes in the source codes. The elements can be in the form of functions. Subsequently, static analysis is performed on the source code by using the mapping between the function calls and the functions in the source code.

Abstract: A system and method for selective regression testing is described. The system and method provides a test script database identifying multiple portions of a first low level code (e.g., assembly code) and tests associated with at least one of the multiple portions of first low level code. A comparator may identify a change set between the multiple portions of the first low level code and corresponding portions of modified low level code. After the database has been queried by a changed set query module, using the identified change set as key, an optimum or reduced test suite is identified from the database, to be run on the modified low level code, thereby to verify the change set.

Abstract: Methods and systems are provided for analyzing a source code. The method includes collecting function entry information during the execution of tests on the source codes. The function entry information is then converted into symbolic codes. The function calls are replaced by the elements of the symbolic codes in the source codes. The elements can be in the form of functions. Subsequently, static analysis is performed on the source code by using the mapping between the function calls and the functions in the source code.