ABSTRACT
This chapter provides a side-by-side comparison of commercial and open-source model-based testing (MBT) tools. The vendor-provided materials will be placed into the template below to the extent possible. This is intended to assist in any vendor comparisons. The chapter invites MBT tool vendors to make suggestions about training that may be needed, introduction/transition strategies, client experience(s), and similar information. Premiums on an automobile insurance policy are computed by cost considerations that are applied to a base rate. The definition of the Insurance Premium Problem supports nearly direct development of a Mixed Entry Decision Table (MEDT). A system to open a garage door is composed of several components: a drive motor, the garage door wheel tracks with sensors at the open and the closed positions, and a control device. In addition, there are two safety features: a laser beam near the floor and an obstacle sensor.
