首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后设计并实现了一
采用确定的有限状态自动机理论对复杂的网络攻击行为进行形式化描述,建立了SYNFlooding等典型攻击的自动机识别模型。通过这些模型的组合可以表示更为复杂的网络攻击行为,从而为研究网络入侵过程提供了
摘要:依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索、构件组装和构件演化的自动化支持。关键词:构件模型构件库形式化方法形式化描述。 在基
采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统
随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时
Application Research of Formal Method in Software Engineering
本书主要介绍基于UML2.5标准系统建模的基本理论、软件分析与设计方法,书中加强了软件案例的UML示例说明,以提高学生的软件分析与设计水平,进一步托展学生分析问题、解决问题的能力,达到培养“厚基础、宽
测试工作细致繁杂,如何保证测试工作的全面性、完整性并建立统一的测试理论,指导测试工作自动、高效地展开,继而提高测试的复用性,是人们长久以来追求的目标。设计了通用的测试框架,依托基于模型的测试理论,支持
提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定
模型转换的参考资料,仅供参考。出处:研究生:刘亚萍研究方向:软件开发与验证指导教师:黄志球教授南京航天航空大学