状态机图相关论文
回归测试在软件的版本升级中起着至关重要的作用,它的测试效率直接取决于软件升级中对软件修改部分的测试实例的选择。提出了一种......
UML规范本身因为描述语言的限制,所以在语义方面有其模糊和难以把握的地方。本文使用结构化操作语义.对其顺序图做了形式化的描述。......
针对SysML状态机图本身缺乏分析和验证手段的问题,提出一种SysML状态机图向广义随机Petri网的转换方法。主要定义将SysML状态机图......
在分析了移动通信行业企业诚信危机现状与产生原因的基础上,根据我国通信行业的特点,本文提出针对性建议和解决的方案,搭建了移动......