李姝 作品数:3 被引量:3 H指数:1 供职机构: 中国科学技术大学信息科学技术学院电子工程与信息科学系 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
SDH测控软件的设计和实现 2005年 在SDH测试过程中 ,使用传统的脚本命令控制方式进行人机交互繁琐且不易管理。并且 ,这种方式对测试者来说要求高、难学习、易出错且错误处理能力弱。该文设计并实现了基于Tcl/TK脚本语言的SDH测控软件。该软件将用户命令进行封装 ,从而简化了命令的操作和处理 ,实现了对整个SDH测试过程的统一管理 ;同时软件的界面采用向导方式进行设计 ,为测试者提供了非常友好的人机交互功能 ;并且 ,软件还具有强大的错误处理能力 ,能及时处理操作错误并为用户提供相应的出错信息 。 李姝 屈玉贵 赵保华关键词:脚本 测控 人机交互 SDH测试平台的设计和实现 被引量:3 2005年 光纤通信是现代信息传输的重要手段.SDH(Synchronous Digital Hierarchy)这种新的传输体制凭借大容量、标准化的优点成为光纤通信的主力.SDH接收/发送器是用于SDH光网络的重要器件.设计并实现了一个自动化的SDH测试平台.平台提供了TCL扩展接口,测试者可以通过接口动态控制SDH过程,实现对SDH接收/发送器的自动化测试. 李姝 屈玉贵 周颢 赵保华关键词:SDH TCL 基于正确性验证的SDH协议测试 SDH协议在现代信息传输中显露出了强大的生命力.SDH收/发器是用于SDH光网络的重要器件,是SDH的协议实现.为了对SDH协议进行更彻底、更正确、更全面的测试,本文将在对SDH形式化模型进行正确性验证的基础上,利用开发... 李姝关键词:形式化描述 扩展有限状态机 PETRI网 协议一致性测试