基于TCL的电路板原理图自动审查平台建设

该文提出了一种用TCL语言作为审查脚本语言构造原理图审查系统的系统框架。在该系统中,利用TCL语言的扩展性,制定了一套应用于原理图通用数据结构的TCL扩展命令,并在此基础上构建原理图规则库和自动审查执行器,实现了原理图的自动审查。     

利用半可控接口进行通信协议一致性测试

介绍了一种基于半可控接口的图转换算法，并应用于某通信产品的H．245协议一致性测试中，不仅增加了可测试转换的数目，还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列，错误覆盖率和测试效率都得到了显著的提高。     

一种无线局域网主动安全分析系统设计

无线局域网安全涉及因素众多,传统的基于入侵检测的被动安全分析系统,体系结构复杂、检测精度低。基于协议分析理论的主动安全分析方法,测试目标明确、可预测性强。脚本语言效率高,灵活性、可扩展性强,易于配置。本文有机地结合了两者的特点,设计出了一种基于Tcl脚本的WLAN主动安全分析系统,系统采用模块化设计,层次结构清晰,具备测试目的明确,可预测性强,系统配置灵活。针对安全实例,构造并执行了测试脚本,结果表明,系统能有效检测出无线局域网的安全问题。     

无线传感器开发系统的设计及实现

设计并实现了一种低功耗、通用性好的无线传感器节点,重点介绍了开发板的软、硬件设计,充分考虑了节能和扩展性的需求。系统支持多种目标文件格式。     

使用构造类别代数描述和验证密码协议

密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证，或者不利于描述。本文在构造类别代数中引入时序算子，对密码协议以及协议的入侵者进行建模，在此基础上利用时序逻辑推导协议应该满足的安全属性。通过在Equicrpt协议上的应用，说明了这是一种解决密码协议描述和验证的行之有效的方法。     

通信顺序进程的扩充及其在协议形式化技术中的应用

讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念，并给出了可终止进程的判定方法：针对CSP只能进行同步通信描述的缺陷，提出了用CSP来描述异步通信的手段：最后给出了AB协议的CSP描述，并在此基础上初步讨论了协议规范的正确性及测试用例的生成。     

软件工程(三)软件开发方法——软件需求分析(2)

结构化自然语言是介于形式语言与自然语言之间的一种语言。它虽然没有形式语言那样严格,但具有自然语言简单易懂的优点,又避免了自然语言的一些缺点。结构化自然语言的语法通常分为内外两层。外层语法描述操作的控制结构,如顺序、选择、循环等。这些控制结构将加工中各个操作连接起来,内层的语法一般没有什么限制。三、实例——CIMS规格说明书1.概述本规格说明书规定了对CIMS的需要。CIMS将用来对安徽省工业设备安装公司所有干部信息进行检索、统计、制表、增加、删除、修改以及内部调动等管理。     

基于构造类别代数的变异分析

在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.