| Popis: |
The approaches currently used for adding testability into system designs are based on ad-hoc testing methods or on the experience of a design team supported by testing experts. This paper presents a design methodology and a knowledge-based CAD environment that allows a system designer to incorporate testability into a design in a formal, verifiable way which also provides clear documentation for this activity. Prototype CAD tools have been built and have met with limited in-house use success. The design and implementation of the current prototype tools, collectively known as the Test Engineer's Assistant (TEA) tools, along with lessons learned and elements of a more robust system will be presented. > |
