Abstract
BAT (Behavioral Automatic Tester) is a software tool written in C programming language and running in a UNIX enviroment providing the user of a self-contained package for a programmable device's behavioral test. An editor allows the user to describe the device from a behavioral point of view. The device's description is then translated into functional relationships between instructions and then modeled by means of a Petri net. Final goal is to obtain the optimum test sequence for the considered device. First steps in implementation are presented. Definition of a behavioral description language, editor specifications, data storage management and error recovery routines are inspected.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
