Automated test trajectory for hybrid systems

Proceedings of the Annual Southeastern Symposium on System Theory

Volumn 2003-January, Issue , 2003, Pages 441-444

  Esposito, J M ^a  

^a UNITED STATES NAVAL ACADEMY   (United States)

Author keywords

Aerospace electronics; Automatic testing; Automotive engineering; Control system synthesis; Embedded software; Embedded system; Software algorithms; Software systems; Software testing; System testing

Indexed keywords

ALGORITHMS; AUTOMATIC TESTING; AUTOMATION; AUTOMOTIVE ENGINEERING; AVIONICS; COMPUTER SOFTWARE; CONTROL SYSTEM SYNTHESIS; CONTROL SYSTEMS; CONTROL THEORY; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; HYBRID SYSTEMS; SPECIFICATIONS; SYSTEM THEORY;

AEROSPACE ELECTRONICS; CONFIDENCE INTERVAL; GENERATION ALGORITHM; INITIAL CONDITIONS; SOFTWARE ALGORITHMS; SOFTWARE SYSTEMS; SYSTEM TESTING; TEST ADEQUACY CRITERIA;

SOFTWARE TESTING;

EID: 84945180837     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSST.2003.1194609     Document Type: Conference Paper

References (3)

1. H. Zhu, P.A. Hall and J. May, "Softawre unit test coverage and adequecy," ACM Computing Surveys, vol. 29, no. 4, Dec. 1997, pp. 366-327.
2. th international workshop, Springer 2001.
3. S. Hedlund and A. Rantzer, "Optimal Control of Hybrid Systems", In IEEE Conference on Decision and Control, Phoenix 1999.