文件名称：论文研究-基于二次分配问题的混合蚁群算法.pdf
文件大小：924KB
文件格式：PDF
更新时间：2022-10-02 18:51:51
论文研究
UML已经是软件建模方面的标准语言，UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，Statechart往往包含设计者所未预料到的隐患，通过模型检查来对Statechart进行穷举检验就成为一个重要课题，首先给出了含层次、并发Statechart的语义；随后提出了对Statechart进行模型检查的一种新方法，并且已经编写软件SC2Spin实现此方法，该方法使用了提出的Statechart山脉算法和迁移提取法，可以将一个Statechart自动转化为Spin的输入语言Promela，从而验证Statechart的死锁、活锁等错误和时序逻辑公式。