} 状态迁移(State Transitions) 状态迁移是指控件从一个状态过渡到另外一个状态,如Button控件从MouseOver状态到Pressed状态这个过渡过程,通过Storyboard来定义...
基于118个网页-相关网页
... state space graph 状态空间图 state transfer graph 状态迁移 ; 状态转换图 ; 状态转移图 incomplete state difference graph 不完全状态差表 ...
基于10个网页-相关网页
Finally,about optimization of test sets in the security verification,the concept of degenerate test set is proposed,considering not only the redundant state,but also the state transition.
提出简并测试集的概念,将测试冗余从状态扩展到状态迁移,将测试集中的冗余归为最小。
参考来源 - 基于模型检测的安全操作系统验证方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
图8:活动有一个简单的状态迁移。
在状态迁移中,实现了状态信息捕获和恢复机制与快照模式的结合应用。
Snapshot Pattern is applied to the mechanism of catching and resuming state information in state migration.
其次,使用分支覆盖标准覆盖TFG图,得到符合状态迁移的消息事件测试序列。
Secondly, with the test coverage criteria covering TFG, we can get the test sequences of events according with the transition of the state.
应用推荐