It is proved that this method can get test path from UML statecharts.
实例证明，该方法可以从UML状态图得出软件的测试路径。
·2,447,543篇论文数据，部分数据来源于NoteExpress
The XYZ/ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/E.
对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。
youdao
应用推荐
模块上移
模块下移
不移动