Abstract: A method for operating a data processing system to generate a test for a device under test (DUT) is disclosed. The method utilizes a model of the DUT that includes a plurality of blocks connected by wires and a set of control inputs. Each block includes a plurality of ports, each port being either active or inactive. Each block is also characterized by a set of constraints that limit which ports are active. The active ports of at least one of the blocks are constrained by one of the control inputs. A test vector having one component for each port of each block and one component for each control input is determined such that each set of constraints for each block is satisfied. The test vector defines a test for the DUT.

Abstract: A method for retaining a customer at a dealership is disclosed. The method includes establishing a customer account when the customer makes a first purchase from the dealership. Each time the customer has a service performed at the dealership, the customer is awarded a rebate to his/her customer account. The customer is allowed to redeem, assign, and/or forfeit the rebate within a predetermined time period. The rebate may be used towards a purchase or lease from the dealership.

Abstract: An improved method and system for diagnosing faults of a system under test is provided. One or more candidate diagnoses potentially responsible for observed testing failures are generated. Each candidate diagnosis is then assigned a weight based in part on any of a number of factors not previously considered in the weighting process, thus making the weighting process more accurate. In one case, the weight of a diagnosis may be based on the combined consistent utilization of the candidate diagnosis across all failing system tests. Alternately, or in addition, that weight may be based on the combined utilization of the diagnosis among all passing system tests. Other potential factors may also be used.