[00719486]计算机网各软件仿真、验证、测试环境
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
该环境以保证网络协议开发的正确性和开放效率为目标，包括了协议验证系统、ＴＴＣＮ编译器、通用的一致性测试系统生成器和协议仿真环境，实现了对协议的仿真、验证、调试和测试，为网络协议的开发提供了有力的支持。该环境在协议验证的方法、测试序列的产生和转换、测试器的生成和实现、协议仿真环境的构造以及便于协议仿真、调试、验证的友好的人机交互接口等方面进行了许多具有理论价值规律应用价值的工作，其中部分工作具有创造性和开拓性。协议验证环境可以在协议设计描述初期发现和纠正错误；ＴＴＣＮ编译器可以符合ＴＴＣＮ语法的被测试协议抽象测试集描述转换成可执行的测试集；通用协议一致性测试系统生成器可根据ＴＴＣＮ的结果及用户的一致性实现说明，产生相应的一致性测试；保证协议正确。