摘要：Web服务之间的交互是面向服务的架构(SOA)中的关键问题。该文分析了Web服务合成的研究现状并提出了服务合成平台WSCP的设计方案。给出了WSCP的总体结构,描述了其中的关键技术,包括流程模板库定义,服务发现,流程设计、分析、执行和监控等。

摘要：针对用C/C++语言进行的语义分析,设计一种中间结构,即元数据结构。元数据结构实现了源代码的语义层次上的抽象,通过元数据结构和相关应用语义配置,过滤出源程序中符合应用的语义内容,实现软件测试工具的程序插装等功能。在中间结构实现过程中,构造一个二次解析引擎,以解决传统解析方法的复杂性及不确定性,实现对各种编程语言的支持。

摘要：主要描述了438A、498文档模板的设计与实现。同时详细阐述了如何利用SoDA工具来定制498文档模板的方法。

摘要：给出一种API自动化测试工具的设计和实现方案,实现了被测API信息的自动提取、API测试数据和测试用例辅助生成以及测试执行过程驱动与监控的自动化。介绍了使用该工具对一个实际的被测程序进行测试的过程和结果。

摘要：为实现信息系统安全防御的目的,针对动态异构冗余(DHR)架构设计拟态通用运行环境(MCOE)框架。以拟态化改造后功能等价的异构冗余信息系统应用程序,以及异构化的信息系统运行环境设施为对象,为N异构执行体构建面向服务请求的资源调度、分发、执行、表决、安全威胁清洗恢复以及管理的自动化运行支撑环境,提供拟态产品的分发、表决统一集成接口规范。在该框架中,服务请求主键驱动的N个异构执行体和MCOE分发、内部表决、外部表决、协同执行、管理5个服务器交互运行。仿真结果表明,该设计可有效抵御软硬件后门和漏洞引发的网络攻击。

摘要：为达到拟态通用运行环境(MCOE)对已/未知后门和漏洞主动防御、安全威胁攻击及时阻断和数据完整性有效保障等拟态防御目标,提出拟态资源调度准则,基于该准则从拟态资源管理与MCOE框架的交互设计、拟态资源管理与调度等方面论述拟态资源管理服务与调度算法的设计与实现,构造拟态运行节点软硬件资源异构特征分类器及基于三级异构度分类的节点N元组和N异构执行体元组,实现N异构执行体、服务器运行节点资源及其资源对象的随机性、动态性和异构性最大化与资源调度负载均衡,并通过拟态管理服务实例验证了云容器集群上拟态资源管理调度算法的正确性与有效性。

摘要：传统的嵌入式计算机系统测试方法难以验证各模块软件间的交互和时序及功能协调性,为此,设计基于宿主机的嵌入式计算机数字化仿真测试环境,包括硬件系统基本芯片单元、硬件模块间交互时序和通信机制的仿真实现。该仿真测试环境能保证嵌入式计算机系统的安全性、可靠性和功能处理的正确性。

摘要：实时应用软件设计遇到了传统应用中未曾出现的问题。为了研究这些问题和讨论解决这些问题的一些方法，我们把目光转向太空，由实时系统控制的航天飞机，从中我们已经受益非浅。

摘要：针对嵌入式计算机系统的软件测试问题,在数字化嵌入式仿真测试环境的基础上,提出一种嵌入式软件测试方法,并对其主要模块,包括测试开发环境、测试控制台和测试执行引擎等进行设计。研究结果表明,该方法能较好地满足综合化嵌入式计算机系统软件测试的需要,实现各模块软件间的交互时序、功能协调性、一致性的有效验证。

摘要：针对软件的高容错性、可靠性等要求,该文给出一种基于模型驱动体系结构开发技术的软件开发工具的框架结构,阐述了如何在工具中扩展对容错软件开发的支持。使用该工具可减少软件容错性描述的困难,提高软件开发的效率。