摘要：现今国内软件业对软件测试的重视程度仍然不够，以至于许多 ｂｕｇ 遗留到软件交付之后才暴露出来。但到那时，不仅改正这些错误的代价高出测试的代价很多倍，而且往往会造成严重的后果。而测试用倒的设计是软件测试的重要环节。本文以现在应用越来越广泛的实时操作系统为例，详细地论述了测试用例的设计方法，从而为测试用例的设计提供了一个思路。

摘要：SIP测试工具已成为测试SIP服务器健壮性不可缺少的手段,而现有的健壮性测试工具并不能很好的模拟实际网络中服务器遇到大量并发畸形消息的情况。针对这个问题,设计并实现一种新型测试工具,可以模拟大量并发非法消息来测试SIP服务器健壮性。该工具通过发送大量非法SIP消息引起SIP服务器软件的崩溃并给出原因,以便促进服务器健壮性的发展。实验结果表明,新工具可以完全自动对任意SIP服务器进行健壮性测试。

摘要：群签名允许一个群成员匿名的签名 ,同时证明该签名是由该群体成员生成 .当产生争论的时候 ,签名者的身份可以由群管理员来公开 .设计了一种新的特性 ,允许设置若干个代理 ,例如身份公开委员会 ,通过共享群成员证书 ,来共享群成员的身份 .

摘要：因为网络安全设备对数据包转发的特殊需求,需要比一般设备更高效稳定的数据包转发机制。通过对IP数据包转发机制研究,针对特殊需求,提出了一种基于(IFPLUT+TCAM)的IP数据包转发机制。该机制将查找表根据输出端口分割为若干个小查找表,并允许查找引擎对每个小查找表进行并行处理,有效地将寻找“最长前缀匹配”的复杂问题简化为“第1前缀匹配”问题。

摘要：介绍了一种基于ISP技术可远程升级的集中抄表模块的设计技术。对其软硬件设计进行了详细讨论。

摘要：本文说明了分层和组件设计技术在检验检疫电子申签业务系统中的应用。在总结实际工程经验的基础上,给出了一个典型的电子申签业务的软件框架及实现,说明了这种设计显著的效果。

摘要：采用X射线荧光仪、金相显微镜和扫描电镜等现代检测手段,分析金沙遗址出土铜片的元素成分和金相组织,探讨其加工工艺。结果表明,铜片为高温热锻成形,其热锻温度范围在500-700℃之间,符合现代金属学原理。铜片表面的树形纹饰是用预先制作的树模在铜片上压印而成。这一研究结果对进一步了解成都平原的青铜加工技术有重要意义。

摘要：针对数控总线的特殊需求,提出一种在数控系统应用层上对数据进行动态循环冗余校验的传输方法,保障传输功能安全。文中给出了报文结构,并设计了具有较强灵活性的校验方法。通过数学分析和实验数据等手段验证了该方法的实时性,并测试了该方法与传统方法之间的性能差异。结果表明该方法优于传统方法,在满足通信实时性的前提下,剩余错误率明显降低,能够满足数控总线的通信需求。

摘要：介绍了一个基于VME/PowerPC控制器和嵌入式Linux操作系统的小型读出软件,包括运行于PowerPC控制器上的前端软件、运行于PC上的后端软件以及在线直方图软件3部分,实现了VME插件的数据读出、存储以及在线直方图等基本功能。在设计中,利用模块动态加载和XML描述数据格式等技术,独立于具体电子学、数据格式相关的模块,使该软件可以方便地移植到其它类似数据获取系统中。该软件已应用于大型高海拔空气簇射观测站(LHAASO)宇宙线实验的部分原型系统。

摘要：将软件工程方法引入工业控制软件的设计之中，使其具有良好的结构，提高了可靠性。