ABSTRACT

TestOptimal LLC is located near Rochester, Minnesota, the United States. The TestOptimal Suite is a package of model-based testing (MBT) tools for both functional and load/performance testing. The TestOptimal website provides five tutorials and three supplemental presentations. The DataDesigner is a rule-based test case design tool that uses six variations of the orthogonal array algorithm to generate a minimum number of test cases for a given set of test variables. For the Insurance Premium Problem, test cases for pairwise, three-wise, and four-wise outputs were generated, but due to the large number of test cases, only the pairwise test cases. The TestOptimal DataDesigner is also capable of filtering out certain permutations using user-specified rules to produce test cases with various coverage for a subset of fields. The TestOptimal ProMBT graphic modeling IDE was used to create the Finite State Machine (FSM) model for the Garage Door Controller problem.