【摘 要】
：
在海军面向服务架构的待测系统中,提供多类型的海军服务化描述语言（WSDL、SOAP、UDDI和BPEL）,而作为服务对外提供的描述文件,服务化描述语言和服务都需要作为测试对象进行测试
论文部分内容阅读
在海军面向服务架构的待测系统中,提供多类型的海军服务化描述语言（WSDL、SOAP、UDDI和BPEL）,而作为服务对外提供的描述文件,服务化描述语言和服务都需要作为测试对象进行测试和验证。对此,提出海军服务化描述语言的静态缺陷检测框架,首先根据待测系统服务描述文档进行结构化和领域知识的分析验证,检查设计文档中是否存在不符合语法规范和领域约束的错误。随后基于面向缺陷模式的业务流程组合测试实现在流程设计阶段发现流程中潜在的隐蔽错误。案例表明,该方法能够有效地检测出人工注入的多类型静态缺陷错误,并具有相应的原
其他文献
电子设备会向空间辐射电磁波,研究电磁波在空间的分布特性,在民用和军事领域都具有重要的意义。提出了一种电磁波在地面上覆盖范围的快速可视化方法,将方法分解为6个主要的功
针对改进的基于证据间距离的组合方法，首先计算证据间距离并求出各个证据的支持度和可信度，选取支持度高的作为较可信证据，其次引入证据信息熵，计算修正系数，对这些证据的可信度进
为满足大学生方程式赛车动力电池轻量化、高速比、可靠安全性、稳定性的要求,对方程式赛车动力电池箱进行结构设计及分析.利用CATIA软件对方程式赛车动力电池箱主要零部件进
为了研究舰空导弹对超音速反舰导弹的拦截效果，首先建立了真比例导引舰空导弹的三维矢量拦截模型，在分析反舰导弹弹道特点的基础上，分别建立了其在巡航段、机动段、比例导引段和
作者以保精片治疗慢性前列腺炎２１８例，临床辩证分湿热下注、瘀血内阻、脾气虚弱、肾虚不固、虚实夹杂五型。经一疗程２月的治疗，疹愈４３例，显效１２５例，有效３１例，无效１９例，总有效率为９１．２８％，并分析与证候关系
舰炮反导技术是当前各国海军研究的热点，其中舰炮弹药的毁伤能力是反导效果评估的重点之一。以携带不同毁伤元的舰炮弹丸在近炸模式下对反舰导弹的毁伤为研究方向，阐述了反舰导
针对水面舰艇区域防空的反导作战过程,以缩短水面舰艇区域防空的协同反导时间,提高水面舰艇区域防空作战效能,优化区域防空作战使用流程为目标,引入Petri网技术对水面舰艇对
核桃生产条件要求低,并且富含多种营养成分,既可以作为食品直接进行食用,同时也可进行深加工,满足多种需求。新疆地区作为一个农业生产条件相对较差的省份,可以大力推广核桃
白桦（Betula platyphylla Suks.）为桦木科桦木属的落叶乔木,为我国东北地林区的主要阔叶树种。针对白桦育苗技术进行了论述。
本文采用薄层层析－比色法测定了人参组织培养细胞株、西洋参、白三七、钮子七组织培养物中人参总皂甙的含量，测定结果表明：西洋参细胞培养物中含量最高，而人参ＡＣ－Ｏ细胞株系含量很低，加