基于Web Service的松散耦合分布式电子政务系统

本文分析了电子政务系统集成存在的问题,提出了电子政务服务平台的设计原则,设计了基于WebService的松散耦合分布式电子政务系统方案,解决了各政府职能部门不同政务系统间的集成问题,达到了政务高效、协同办公、资源共享、异构集成等目的。     

电子政务软件可靠性评测方法初探

电子政务已经成为政府工作自动化和智能化的重要手段。近年来,中国电子政务软件市场获得了前所未有的发展机遇。随着电子政务软件的飞速发展,软件可靠性成为了建设电子政务的重要指标。软件可靠性测试是保证软件可靠性的有效方法。目前,国内对于电子政务的可靠性研究才刚刚起步,其可靠性测试一般都交给第三方机构。分析当前电子政务软件的可靠性测试特点,基于Musa和Nelson两种可靠性模型提出了一种电子政务软件的可靠性评测方法,从可靠性的评估测试和验证测试两方面具体分析阐述了方法的流程,并使用工具实现。最后用具体案例对方法进行了分析说明。     

智能化仪器仪表可靠性技术研究及应用

主要介绍我所即将进行"智能化仪器仪表(以下简称仪表)的可靠性技术研究及应用"课题的主要研究内容及技术方案:研究对仪表可靠性设计、分析技术的工程应用软件的实现技术;建立先进的可靠性测试技术和测试平台,为仪表的可靠性研究及应用提供科学的依据和易操作的工具。     

基于1553B总线的飞控软件测试仿真平台设计

针对导弹飞控软件测试系统中更高可靠性、灵活性和实用性的要求,设计了一种基于1553B总线的导弹飞控软件测试仿真平台,介绍其系统组成及上位机软件的设计和实现。对高可靠性和灵活性的飞控软件测试仿真平台进行了研究,从软硬件方面予以分析,给出一个详细的设计方案：测试平台与飞控计算机采用1553B总线通讯的同时,利用VS2010设计上位机测试软件和S-function函数进行子模块封装,并通过Higale仿真界面进行实时的通信控制与显示,可以在保证通信可靠性的基础上对飞控软件的测试结果进行判断与分析。仿真测试结果表明,该飞控软件测试仿真平台方案可以实现对某型导弹飞行控制软件的通信与测试,并且具有高可靠性和可扩展性。     

引信软件安全性和可靠性仿真测试系统研究

引信作为弹药战斗部的起爆控制系统,它的安全性和可靠性对战斗部效能的发挥和人机安全性起着至关重要的作用。文章通过对引信软件安全性和可靠性测试的分析,利用虚拟仪器软件开发平台LabVIEW,设计出了一套仿真测试系统,较好地测试了引信软件的性能。     

引信软件安全性和可靠性仿真测试系统研究

引信作为弹药战斗部的起爆控制系统,它的安全性和可靠性对战斗部效能的发挥和人机安全性起着至关重要的作用.文章通过对引信软件安全性和可靠性测试的分析,利用虚拟仪器软件开发平台LabVIEW,设计出了一套仿真测试系统,较好地测试了引信软件的性能.     

农村

浙江启动“三民工程”综合服务平台在浙江衢州，致力于推动农村经济社会发展的“三民工程”综合服务平台日前启动。该平台分为市县乡村四级界面，包括政务、商务和服务三个模块。政务模块主要涉及完整准确地收集民情档案，不仅让村干部更加了解民情，     

离散型软件可靠性验证测试方案研究*

目前,国内外相关研究大多集中于以MTBF/MTTF等时间相关指标作为可靠性参数的连续型软件,而对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比较少见。因此,针对三种重要的离散型软件可靠性验证测试方案进行详细的分析与比较,并从标准层面上对这三种方案的实施方法与技术细节进行改进,从而为离散型软件可靠性验证测试的开展与实施提供必要和有效的指导。     

“互联网＋”政务大数据智能服务平台设计与应用

“互联网＋”环境下,政务大数据关联公共服务和社会传感数据,使城市管理模式从单一走向立体、城市服务系统从孤立走向共享、城市决策模式从机械走向智能,已成为当前政务服务发展趋势。为解决政务数据、公共服务数据和社会传感数据融合不足、共享不充分、利用效能不高及技术平台缺乏等问题,该文提出了“互联网＋”政务大数据智能服务平台总体框架,首先对平台建设理论进行阐述,其次对系统架构、技术架构、关键技术和服务应用等进行设计,最后实现“互联网＋”政务大数据智能服务平台透明访问、城市信息单元建模、透明智能体协同、透明管理和微服务等功能。同时,该平台关键技术在数字广东和辽宁丹东社会保障等平台进行探索性应用,结果显示该平台能有效支持政务数据、公共服务数据和社会传感数据高效共享、管理和利用,提升部门服务效能。该文提出的平台总体设计方案可为省市级政府进行“互联网＋”政务大数据智能服务建设提供有价值的参考。     

一种基于软件+服务平台的软件架构模式

本文在介绍软件+服务平台的概念的基础上,设计了一种基于软件+服务平台的软件架构模式,并对其核心组件进行了说明,最后通过分析该架构的使用效果,从而说明了该架构具有较好的应用前景.     

软件可靠性分析、测试与评估工具--SRATE介绍

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。     

"VXI总线测试软件平台"的软件测试

“VXI总线测试软件平台”是一个大型系统软件，必须对其完备地测试，以保证软件系统的可靠性，针对“VXI总线测试软件平台”的特性，就软件测试、软件的可维护性及可靠性进行了论述。     

基于PAR的软件服务外包开发过程应用研究

软件外包中开发效率低、可靠性差的问题一直存在。PAR（Partition and Recur）方法及高可靠软件开发平台PAR平台,在提高软件开发效率和可靠性方面能够发挥很好的作用。本文将PAR方法和PAR平台应用于外包软件开发过程,使用PAR平台成功研发中软国际实训教材中软件外包案例,在软件开发效率和可靠性方面取得显著效果。     

ISTREM软件测试可靠性评估方法研究

在航空电子系统软件测试的背景上,对ARINC653平台燃油模块在Testbed测试平台上的测试用例进行统计,得出实际测试案例分布服从特殊泊松的数学特征。根据软件测试的时间依赖性提出一种新的可靠性评估模型ISTREM,并且求得软件测试用例的失效率,从而对软件进行可靠性评估,解决了软件测试可靠性评估过程复杂且计算量较大并且忽略时间依赖性的问题。在Matlab平台上对软件系统(燃油模块)的测试可靠性进行评估,得出实验结果,并且提出不足。     

通用嵌入式系统软件测试平台的设计

仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,探讨了通过在PC机上仿真模拟ARM嵌入式系统,对嵌入式系统软件进行仿真测试的通用测试平台的设计。该平台可以在不做大幅度修改的情况下对不同的嵌入式系统软件进行各种测试。重点介绍了仿真模拟器、测试管理器和测试平台专用工具链的设计,提出了一种测试管理器的实现模型,并进行了详细的描述。     

自主CAE软件产业和服务平台建设

针对我国自主CAE软件产业的发展,从专业技术研究发展、交流推广、知识产权保护、学科协作和产业服务等5个方面探讨CAE服务平台的建设,阐述制度建设和口碑树立等大局意识.CAE服务平台的建设需要社会资源的整合以及政府的参与,才能为我国自主CAE软件产业发展作出贡献.     

物联网公共服务平台认证体系研究

物联网公共服务平台是为社会提供互联网应用解决方案、物联网可靠性检测及评估等服务的公共平台。通过介缩物联网的应用及发展趋势,探讨物联网公共服务平台的认证评估体系,提出物联网应用解决方案评测子平台和物联网标准及设备检测子平台的关键技术要求。     

SDN云网平台的服务质量模型研究

基于SDN的云网平台逐渐得到广泛应用,云网平台所提供服务的质量评价也越来越受到关注。考虑了云网平台服务所具有的通用云服务和软件化的特点,从服务提供者和用户两个视角出发,对服务质量模型的设计进行了需求分析,并获得服务质量模型的分类维度;参考SQuaRE等国际标准,提出了云网平台服务质量模型QM-SDNCCP,并给出了度量元的计算方法,以达到描述并量化评价云网平台服务质量的目的;对QM-SDNCCP进行了信度分析,表明QM-SDNCCP模型的特性和子特性的设计具有可靠性和一致性。QM-SDNCCP可以应用在技术选型、验收、运维和服务使用阶段,为服务提供者和用户提供云网平台服务选择和质量改进的参考。     

两阶段过程模型下的产品线复用策略优化

考虑了软件产品线工程中各软件模块复用策略的选择问题. 在建立软件产品线开发两阶段过程模型的基础上, 归纳出6种典型的复用策略及其实现方式, 提出考虑开发成本、工时、故障率的情况下进行复用策略的选择优化模型, 解决在满足可获得预算、开发周期、系统可靠性需求的约束下产品线质量最优问题. 并基于贝叶斯理论构建易测试函数, 为产品线开发中领域测试强度的估算提供了方法. 最后, 以邮箱服务系统为实例说明该模型的有效 性.     

一种软件自动测试系统

针对航天测控任务频度高,测控任务软件系统测试重复性高、人工测试工作量大、测试效率和可靠性低的特点,通过分析系统测试条件和需求,设计了一种基于黑盒测试的软件自动测试系统.文章介绍了自动测试系统的系统结构、主要功能模块、测试平台部署及测试流程等,并详细阐述了测试用例管理、测试数据自动生成、测试过程控制、测试结果评估和测试报告自动生成等关键技术;该系统能够有效的减少人工重复工作量,增强系统测试的自动化,提高系统测试效率和质量.