1.
Research on Model Checking UML Statecharts and Tool Implementation;
UML状态图模型检查技术及工具实现
2.
Modeling and Verification of the Workflows Based on UML-Statecharts;
基于UML状态图的工作流建模与验证
3.
Research of the EDFA Equipment Based on UML State Diagram
基于UML状态图的EDFA设备的研究
4.
Semantic Research on UML State-chart Based on rCOS
基于rCOS的UML状态图语义研究
5.
Research on Class Test Based on Extended UML Statechart Diagram;
基于扩充的UML状态图的类测试方法研究
6.
Research & Implementation of Automated Test Case Generation Based on UML Statement Diagram Model;
基于UML状态图的测试用例自动生成研究
7.
Automatic Test Cases Generantion of Class Testing from UML State Diagrams;
基于UML状态图的类测试用例自动生成方法研究
8.
Formalization and Consistency Checking of UML-Statechart Based on DL-Safe Rule
基于DL-Safe规则的UML状态图形式化和一致性验证
9.
Verification Method of Concurrent Workflows Based on Extended UML Statecharts
一种基于扩展UML状态图的并发工作流验证方法
10.
UML Statechart Slicing Based on Dependency Analysis in the Regression Testing;
基于依赖性分析的UML状态图切片在回归测试中的应用
11.
Research and Implementation of the Protocol Conformance Testing System for Routing Protocol OSPF Based on UML Statechart;
基于UML状态图OSPF路由协议一致性测试系统研究与实现
12.
Research on the Test Case Generation Method Based on UML Statecharts for Real-time Embedded Software;
基于UML状态图的嵌入式实时软件测试用例生成方法研究
13.
The Design and Implementation of a Testing Method Based on UML Statechart for Object-Oriented Software at Class Level;
基于UML状态图的面向对象类级测试方法的研究与实现
14.
Modeling and Analysis for the Cooling Water Real-time Control System Based on UML State Diagram and Petri Net
基于UML状态图和Petri网的冷却水实时控制系统建模与分析
15.
Method of Conformance Test Case Generation for C/S Model System Based on UML State Chart
基于UML状态图的C/S模式软件系统的一致性测试例生成
16.
Study on Formal Method in UML Sequence Diagram and Statechart;
UML顺序图和状态图的形式化方法研究
17.
Applications and Software Testing Model Based on UML Dynamic View;
基于UML动态视图的测试模型及应用
18.
Method of test scenario generation based on UML dynamic view
一种基于UML动态视图的测试场景生成方法