• statecharts - 引用次数：35

  It is proved that this method can get test path from UML statecharts.

  实例证明，该方法可以从UML状态图得出软件的测试路径。

  参考来源 - 基于UML状态图的软件测试研究
  state machine - 引用次数：25

  The rules of transforming from UML state machine into B abstract machine are provided.

  给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。

  参考来源 - 基于UML状态机与B方法的高可信嵌入式软件开发 in C
  statechart diagram - 引用次数：24

  Researching on class test technology, the paper describes a class test method that is based on extended UML Statechart diagram.

  本文对类测试技术进行了研究,详细阐述了基于扩充的UML状态图进行类测试的方法。

  参考来源 - 基于扩充的UML状态图的类测试方法研究
  state graph - 引用次数：16

  By correlating the system’s vulnerabilities and attacker’s behaviors, attack state graph (A S G) is introduced, and its generating algorithm presented. In ASG the state transfer during the attack process is simulated.

  模型中采用基于攻击图的风险分析方法,在提取目标系统及其弱点信息和攻击行为特征的基础上,模拟攻击者的入侵状态改变过程,生成攻击状态图,并给出其生成算法。

  参考来源 - 基于攻击图的网络安全风险分析及控制方法研究
  state diagram
  status maps
• state graph - 引用次数：5

  参考来源 - 网络环境下变电站自动化系统脆弱性评估
  state diagram
• constitutional diagram
  constitution diagram
• statechart diagram
  state diagram
• state diagram

·2,447,543篇论文数据，部分数据来源于NoteExpress