扩展有限状态机论文

嵌入式实时操作系统测试方法研究
论文摘要近年来，由于信息网络和智能设备的发展，嵌入式系统获得了广阔的发展空间。嵌入式实时操作系统作为嵌入式系统发展过程中的一个里程碑，已经在不同行业、不同领域获得了广泛的应用。...
协议一致性测试的错误诊断研究
论文摘要协议测试的目的是为了保证协议实现按照协议描述稳定可靠地运行。最近几年随着网络技术的发展，网络规模的增大，协议测试变得越来越重要。协议测试有很多种，协议一致性测试是其它测...
依赖性分析及其在软件测试中的应用
论文摘要依赖性分析和程序切片,是一种程序分解技术,在软件工程的诸多领域都有广泛应用。现代软件规模的巨大和复杂使得设计和测试这些软件极其困难,其中软件测试通常要占到开发成本的50...
分布式主动协同入侵检测系统研究与实践
论文题目:分布式主动协同入侵检测系统研究与实践论文类型:博士论文论文专业:计算机软件与理论作者:邓琦皓导师:郭金庚关键词:入侵描述语言,分布式主动协同入侵检测,告警融合,扩展有...