基于TTCN-3的SIP一致性测试

应用层控制协议SIP（Session Initiation Protocol）已被用于在IP网络中建立、修改和终止多个参与者参加的多媒体会话.为了保证SIP的不同实现之间能够可靠地进行通信,需要对其进行严格的一致性测试并检验SIP实现是否与标准一致.ETSI（European Telecom munications Standards Institute）开发的下一代测试描述语言TTCN-3（Testing and Test Control Notation version 3）在SIP一致性测试中起着重要的作用.本文描述了通用TTCN-3测试系统的设计和实现以及使用TTCN-3对SIP进行测试的情况.     

一种基于TTCN-3的多路并行测试方法

随着全球通信网络的高速发展，对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案，阐述了测试适配器的开发方法，重点分析了多路适配器的原理及实现，并以此为基础提出了一种多路并行测试的方法，该方法已成功地应用于802.16d协议的一致性测试。     

P2P网络上的寄生网架构研究与分析

随着P2P技术的发展,P2P网络架构出现了很多新的变化.描述了一种新型的网络架构PoP2P——建立在P2P覆盖网之上的寄生网络(parasitic overlay on P2P network).以一种具体的PoP2P网络(建立在SkypeP2P网络上的寄生网)为例,采用程序分析的方法,通过动态插桩获得程序发送消息的内容及时序信息,分析这种网络的结构和通信机制,给出了通过PoP2P寄生网络与远端主机通信时的数据流图和详细的消息序列图,为研究此类网络提供了新的方法.     

基于增量分析技术的TTCN-3语言语法制导编辑器

深入介绍TTCN-3语言的语法制导编辑技术,详细描述模板驱动的编辑方式以及在该编辑环境中采用的增量语法分析技术.在传统的模板编辑中,编辑操作是直接对语法树节点进行的,导致编辑过程不仅复杂且缺乏灵活性.针对这一问题,采用了基于文本模式的模板驱动编辑方法,编辑过程中不再对语法树节点进行操作,使之更好地与增量语法分析技术相结合,在改善编辑灵活性的同时提高了语法分析的效率.     

自动化检测Android应用反射型跨站脚本漏洞的方法

提出一种自动化检测Android应用反射型跨站脚本漏洞的方法,通过对Android应用组件的识别和分类,自动化输入测试例和点击与输入框关联的按钮,监测运行结果判断应用是否具有潜在的反射型跨站脚本漏洞,并通过图像处理方法实现了对WebView的支持。基于该方法实现了一个原型工具。实验表明,该方法可以有效的检测Android应用的反射型跨站脚本漏洞,具有较高的实用性。     

Android应用程序GUI遍历的自动化方法

近来针对Android应用程序的基于GUI(图形用户界面)的分析和测试方法已经成为一个研究热点. 自动化技术和较高的GUI覆盖率可以提高大部分方法的效率和效果. 然而以前的工作并不能充分满足自动化和高GUI覆盖率的要求. 提出了一种在不需要程序源代码的情况下遍历Android应用程序GUI的自动化方法. 其主要思想是通过模拟用户的行为自动探测Android应用程序的GUI. 我们的工作主要解决了UI元素提取和处理、用户行为模拟、GUI遍历算法设计和模型构建三方面中的一些关键问题. 实验结果表明, 该方法能获得较高的GUI覆盖率可以有效遍历应用程序的GUI. 此外, 该方法也将有助于程序安全分析、GUI测试等其他研究.     

有线/无线混合城域网与移动银行

利用无线扩频通信设备和合适的网络接入设备,与有线数据通信网结合,将44个计算机局域网和40台自动柜员机紧密集成,构成了覆盖城域并具有移动特色的有／无线混合数据通信网.有／无线互为备用,并可动态地在有无线链路之间选择最佳链路,保证了数据通信的快捷可靠.工作频段为2．4&2．4835GHz的无线扩频通信设备确保抗干扰、抗截取、抗破密.网络无线主干带宽高达256Kbps, 无线支线带宽64Kbps,有线主干带宽64Kbps, 有线支线带宽9．6kbps.多协议、多媒体路由器的引入,使得网络对新的通信协议(如帧中继)和新的通信业务(如话音,传真,图象)具有可扩展性.无线基站位置和数量和天线的精心选择, 可有效地覆盖地形地貌复杂的大面积地域, 同时也保证了车载移动银行的运行.     

红外灯阵热流仿真及优化设计

为了提高红外灯阵热流分布均匀度,应用单灯热流分布计算模型生成单灯热流分布数据库,解决了反光板反射热流问题,建立了红外灯阵热流分布仿真计算方法以及基于遗传算法的红外灯阵热流优化设计方法.对某卫星试验用红外灯阵进行优化设计的结果表明,热流分布不均匀度由优化前的24.61%降低到优化后的8.96%.对红外灯阵热流分布均匀度进...     

基于大规模不平衡数据集的糖尿病诊断研究

随着发病率的逐年上升,糖尿病正日益成为严峻的世界健康难题,尤其是在发展中国家,其中大部分的糖尿病患者是2型糖尿病. 经过科学验证：通过及时有效的诊断,大约80%的2型糖尿病并发症能被阻止或者延缓. 基于大规模不平衡数据集,提出一种集成模型用于精准地诊断糖尿病患者. 数据集包含了中国某省从2009年到2015年数百万人的医疗记录. 实验结果证明该方法具有良好的性能,并取得了91.00%的敏感度,58.24%的F₃值以及86.69%的G-mean值.     

可变动RBAC模型的密钥管理研究

访问控制在一个信息安全系统中是一个基础的课题.RBAC （基于角色的访问控制模型,Role-Based Access Control）以不同的角色来定义用户,这些角色对应了不同的密级.这使得不同角色中的用户有不同的权限.基于这一点,密钥可以用来区分不同角色间的访问权限.随着人事和任务的变动,现有RBAC的结构也会发生变动.本文定义了线性、树形和有向无环图三类RBAC模型,从线性结构出发,讨论角色中用户与密级发生的变化,推广至树形结构,提出了一种下级角色的密钥由上级角色的密钥决定的方法,可以有效地实现线性和树形可变动RBAC模型的密钥管理.