一种协议互操作测试系统开发框架

鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性。

移动评审决策支持系统设计与实现

《XX石化移动评审决策支持系统》是根据用户单位要求定制开发的一套基于Web技术的移动端投票、展示、决策辅助系统。论文主要介绍了基于Web技术进行手机投票评审系统的设计与实现方法,分析了所使用的具体技术,展示了系统的应用成果。