基于测试需求的互操作性测试用例生成方法

网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性测试具有测试需求复杂易变、测试用例设计困难的特点,因而需要消耗大量成本。为此,提出一种基于测试需求的互操作性测试用例生成方法。该方法采用模型驱动的测试思想,以测试需求模型描述互操作性测试需求,以状态图描述各被测应用的规格说明,通过两者的结合生成满足测试需求的测试用例。     

一种新的移动ad hoc网络中带宽保证的路由算法

移动adhoc网络(Mobileadhocnetworks)是一种由无线移动主机/节点组成的动态自治网络。移动adhoc网络在军事和民用方面都有很大的应用前景。在移动adhoc网络中进行有QoS保证的路由选择有重要的意义。论文讨论了移动adhoc网络中的路由选择、QoS保证,并提出了一种新的带宽保证的路由算法ABGR。ABGR以受限扩散路由方法为基础,采用多种机制避免在全网中进行扩散,同时在路由选择的过程中考虑路径稳定性和节点的电能受限问题。     

异构多媒体传感器网络服务质量研究

随着异构无线多媒体传感器网络应用日益广泛,如何满足不同数据源的要求,为其提供区分服务,保证其服务质量成为研究热点问题。该文在引进区分队列服务算法的基础上,提出了解决方法。该方法通过设置分组生存时间来实现在标量节点能够及时可靠地向汇聚节点报告事件发生的前提下,保证实时分组优先转发。仿真实验显示,汇聚节点在规定时间内收到了足够多的事件相关标量分组,实时分组时延满足实时性要求。表明文中方法是正确有效的。     

基于应用服务器的防汛指挥系统框架设计研究

在分析国内防汛指挥系统建设成果的基础上,以淮安防汛指挥系统设计为具体实例,针对地市级防汛指挥决策支持系统的业务逻辑分工和应用特点,提出一个基于应用服务器的地市级防汛指挥系统总体框架。     

基于SMS的防汛指挥信息服务平台的应用探索

淮安地处淮河下游,属亚热带向暖温带过渡气候区．淮安市下辖金湖、盱眙、洪泽、涟水4县和楚州、淮阴、清浦、清河4区,总面积10022．6km^2,其中山丘区占18．9％,平原洼地占69．7％,湖泊水域占11．4％,耕地面积40．26万hm^2．总人口518万。80％面积土地在设计防洪水位线以下,境内洪泽湖承接淮河上中游15．8万km^2的来水,极易发生洪、涝灾害。     

基于数据链的软件故障定位方法

软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果.     

基于RUCM的软件安全性需求描述方法

随着软件在安全关键系统中的应用越来越广泛、承担的安全关键功能越来越多,软件的安全性需求变得越来越重要,成为系统安全性的一个重要的决定性因素。软件安全性需求的正确描述是整个软件安全性工作的关键,它是开展后续软件安全性设计、实现与测试工作的依据。然而现有的安全性需求通常被混同于一般功能性描述中,缺乏独立、规范和明确的描述,缺乏对于故障、失效与安全性需求之间相互关系的描述机制,导致在实际应用中缺乏对安全性需求进行准确描述的方法。设计了一种基于结构化模版和约束规则的安全性需求规约,即基于RUCM的安全性需求描述方法Safety RUCM,该方法以RUCM建模方法为基础,通过扩展用例规约模板和限制规则,添加故障描述模版以及数据描述模版,使其能够支持故障相关描述以及相应的安全性需求描述并形成安全性需求规约,最后通过某机载操作系统的案例研究验证了Safety RUCM建模方法的可行性。     

基于IMA平台的嵌入式软件设计模型仿真及实时性分析方法

如何确保机载软件满足其实时性需求一直是一个引人关注的研究问题。根据工业界的报告结果,缺陷发现得越早,用于修复缺陷以提高机载软件不超时的可能性的代价就越小。对于运行在由ARINC653标准所描述的综合模块化航电系统(IMA)上的机载软件可采用以下方法:将机载软件的设计模型(UML模型)转化成仿真模型(Simulink模型),通过在Simulink平台上运行仿真模型来发现潜在的实时性问题。由于机载软件可能与IMA平台之间具有大量的交互(例如接口层和操作系统层)用来申请使用资源或者与其它的应用程序进行通讯,因此设计了一个仿真内核来仿真IMA平台的行为。最后,使用一个工业案例来论证上述方法的有效性。     

一种多级无缓存高阶路由器的设计与实现

随着高性能网络规模的增加,高阶路由器结构设计成为高性能计算研究的重点和热点。使用高阶路由器,网络能实现更低的报文传输延迟、网络功耗和网络构建成本,同时高阶路由器的应用还可以提高网络可靠性。高性能路由器的阶数不断提高,仅靠扩展单级crossbar交换结构的阶数使路由器内部的连线资源急速增长,交叉开关的实现代价将不可接受,这就需要为高阶路由器设计新型的交换结构。近十年来,出现了以YARC为代表的经典结构化设计以及"network within a network"等新型设计方法,未来的研究重点是解决高阶路由器结构设计中遇到的缓存、仲裁和扩展性等各种问题。鉴于此,实现了一种多级无缓存高阶路由器,这种高阶路由器内部是一个多级Clos网络,每一级有相应的仲裁模块对请求进行调度,数据包缓存在输入/输出端口实现,除去这些缓冲区单元,该网络是无缓存的。最后通过BookSim模拟器进行了大量的性能测试,所设计的路由器能够正常工作,性能良好。     

超小净距浅埋偏压隧道施工技术应用

结合施工实例,对超小净距浅埋偏压隧道施工技术进行了探讨,针对工程特点及工程技术难点,详细介绍了施工过程中采取的对策措施,并对洞口段的开挖与防护,监控量测结果进行了总结,为今后类似工程施工提供了经验。