状态约简相关论文
随着计算机软件模型日趋复杂以及大规模与并发系统的应用，如何保证系统模型的正确性、一致性成为当前研究的热点。本课题以面向任务......
为了解决系统设计过程中模型一致性问题，提出了一种对UML顺序图和状态图的语义一致性检测方法。该方法对顺序图和状态图一致性进行......
为了解决系统设计过程中模型一致性问题,提出了一种对UML顺序图和状态图的语义一致性检测方法。该方法对顺序图和状态图一致性进行......
模型检测(model checking)是一种能够自动验证有限状态并发系统的技术。该文从模型检测技术的背景入手,先阐述了模型检测技术基本......
用户侧分布式电源的生产数据具有数据量大、相似度高和存在伪数据等特点,从而不利于用户决策。针对这一问题,首先构造了用户侧分布......
针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定......
针对现有攻击图生成方法存在的状态爆炸导致攻击图规模庞大的问题,提出了一种基于安全状态约简的攻击图生成方法。该方法对现有的......
