论文部分内容阅读
UML是一种通用的标准建模语言,可以对任何具有静态结构和动态行为的系统进行建模,已成为面向对象开发的主要技术.本文主要阐述了UML在协议一致性测试过程中的应用,结合SDL、TTCN等技术,实现了对具体协议的仿真及测试.
UML在协议一致性测试过程中的应用
【摘 要】
：
UML是一种通用的标准建模语言,可以对任何具有静态结构和动态行为的系统进行建模,已成为面向对象开发的主要技术.本文主要阐述了UML在协议一致性测试过程中的应用,结合SDL、T
【机 构】
：
南京邮电大学自动化学院,南京,210003
【出 处】
：
第十六届全国测控、计量、仪器仪表学术年会
【发表日期】
：
2006年期
其他文献
安全关键系统的设计不仅关联着可靠性、安全性、保障性和维修性,其可测试性设计亦成为系统诊断和故障隔离的一种重要手段,在诸如航空电子、武器装备的设计中日益受到重视.本
会议
本文介绍了基于Matlab6.5环境下的仪器控制与功能扩展方法,通过NI公司的GPIB-USB-HS接口卡,对TektronixTDS540数字示波器进行控制、数据采集和处理,充分发挥Matlab强大的数据
会议
针对船舶机舱提出了以现场总线方式集成各个独立控制系统的新思路;通过燃油粘度控制系统和冷却水温度控制等实例,探索了先进控制方法,并应用基金会现场总线技术将不同的过程
会议
人民解放军每年都有几十万服役期满的战士。告别军旅生涯,退伍回到故乡。这些扛了几年枪杆子的退伍兵是否还热爱生养他们的那块黄土地?下面介绍的辽宁省盘山县3名农村籍退伍
北美冬红海棠,蔷薇科,苹果属,落叶小乔木。树高5～7米,树冠开张,枝条粗壮。叶片肥厚浓绿,椭圆形,前端有锯齿,掌状纹裂,幼时两面有短绒毛。老枝紫黑色。花期在3
North American
本文在测试与控制系统中采用基于Web的监视与控制技术,能够大大减少开发测控软件的工作量,增加测试系统设计和使用的灵活性.介绍了一个通用、跨平台的Web引擎软件设计框架及
会议
为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测
本文简要介绍了cdma2000接入网A10和A11接口协议.针对接口的基本呼叫流程简化了A11接口协议,同时利用SDL语言工具对其进行设计与实现,并给出了仿真结果.