1. A software product testing system, comprising: a knowledge base comprising a data set that includes a plurality of possible actions and, for each action, a plurality of language-specific format rules for inputs and outputs associated with the action; a test case generator that selects a test case in a target language for a software product, the test case comprising: a selected action to be taken by a software product, an input to prompt the action, and an expected output that corresponds to the selected action and the input, wherein the expected output has a format corresponding to a language-specific format rule for the selected action in the target language; and a test verifier that determines whether an output generated by application of the test case to the software product matches the expected output.