并发状态约束相关硕士博士期刊学术论文

该文在状态图的基础上，提出了并发状态约束机制，以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题，同时也解决了生成可......