首页>
外国专利>
Method, apparatus, and system for automatic test generation from statecharts
Method, apparatus, and system for automatic test generation from statecharts
展开▼
机译:从状态图自动生成测试的方法,装置和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.
展开▼