超态相关论文
该文在状态图的基础上，提出了并发状态约束机制，以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题，同时也解决了生成可......
提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上......
