抄録
Many kinds of FA control software have reactive and event-driven behaviors. These behaviors can be expressed as Statecharts : a finite state machine with hierarchical states and with guards of transitions. In this research, Statechart-based automated testing method on software for FA is proposed. Generation of test sequence for testing on state-transitions and of test data for testing on guard conditions could be fully automated from Statecharts, and critical error in implementation could be tested systematically. The practical application showed its effectiveness on efficiency and quality improvement in control software development process.
