Boots – shoes – and leggings
Patent
1990-06-26
1992-11-03
Lall, Parshotam S.
Boots, shoes, and leggings
364580, G06F 1546
Patent
active
051611155
ABSTRACT:
A system test apparatus for verifying whether or not a tested system works according to particular specifications is disclosed. The system test apparatus comprises a storage device for storing the particular specifications as a finite state machine model including elements represented with time sections which may take place, a detecting device for periodically detecting operation information which represents an operation of the tested system as a combination of events and actions represented with the time sections which may take place and a verification device for comparing the operation information with the particular specifications stored in the storage device according to the finite state machine model. In the above finite state machine model, events, actions, and the like are represented with time sections which may take place.
REFERENCES:
patent: 4692921 (1987-09-01), Dahbura et al.
patent: 4773028 (1988-09-01), Tallman
patent: 4796194 (1989-01-01), Atherton
patent: 4872126 (1989-10-01), Premerlani et al.
patent: 4901260 (1990-02-01), Lubachevsky
patent: 4947349 (1990-08-01), Munenaga et al.
patent: 4967386 (1990-10-01), Maeda et al.
patent: 4977531 (1990-12-01), Ogata et al.
Encyclopedia of Computer Science and Engineering; Van Nostrand Reinhold Company; 1983; pp. 146-151, 1311-1316.
"System Design Verification Based on Formal Specifications"; Fumiaki Teshima et al., Jun. 1, 1990, pp. 1-20.
Inoue Katsuhiro
Kishimoto Takuya
Kurebayashi Kaoru
Mihara Yukihiro
Teshima Fumiaki
Kabushiki Kaisha Toshiba
Lall Parshotam S.
Zanelli Michael
LandOfFree
System test apparatus for verifying operability does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System test apparatus for verifying operability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System test apparatus for verifying operability will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2055268