基于使用模型的Web应用软件统计测试

Web应用软件一般都具有体系结构复杂、代码量大、页面众多且相互联结的特点,在一定的时间和投入内,显然是无法做到穷尽的测试,而确保Web应用软件可靠性的一个很好的可选方案就是基于使用模型的Web统计测试,以便重点测试用户频繁使用的路径和页面,使测试效率达到最高。针对这个问题,提出了一个能够反映系统真实使用情况的Web统计测试的使用模型WSUM,该模型基于Web应用的导航行为图和日志文件进行构建,对于用户的导航行为的描述更为全面和准确。在此基础上,还提出了基于使用模型WSUM设计和生成测试用例的方法,并给出了应用此方法进行统计测试的例子。     

嵌入式软件仿真监控系统的优化与实现

针对基于xPC Target的嵌入式软件仿真系统,探讨仿真实时监控系统的相关技术及实现方案的不足,提出一种优化方案,以解决因仿真数据丢失、重复所导致的仿真数据不完整问题。采用模块化及层次化的设计思想,利用多线程技术进行系统实现。将该监控系统应用到智能家庭的仿真实验中,实验结果表明,经过优化后的监控系统能保证数据的完整性,提供精确的仿真结果。     

一种乐观嵌套工作流事务模型

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。     

基于SystemC的AADL软构件仿真代码转换技术

目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用.如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障设计模型的质量,进而减少系统开发的代价,是目前急需解决的技术挑战.SystemC是一种软硬件协同仿真的系统描述语言,由此提出了AADL软构件到Sys...     

Web应用的负载测试策略研究

Web应用设计的复杂性和用户使用的不可预测性给如何准确地预测它的性能带来了很大的挑战，而且随着Web应用的规模越来越大、用户越来越多，这个挑战变得更加严重。文中就如何准确地设计负载测试进行了深入研究，提出了对用户导航、用户延迟以及用户放弃进行建模的方法来设计负载测试，以使负载测试能够准确地模拟现实用户环境和预测Web应用的性能。     

“过程”新论

“过程”本是计算机界早期的话题.关于“过程”的研究热潮早已成为过去,很长时间已很少有人谈及“过程”.然而,工作流和业务过程管理系统（BPMS）的出现使“过程”再次成为研究的热点.业务过程管理系统被认为是继工作流技术之后实现业务过程的创建、集成、复用的下一代技术.它在过程的描述、实现方法上用Process把业务流中的控制流、数据流和参与者统一起来.Petri Net是一种很好的描述过程管理的模型,它能够较好地描述系统执行过程中的并行、竞争和同步等特性.本文论述了建立过程模型中遇到的一些新问题,并介绍了一种基于Petri Net扩展后形成的信牌驱动式业务过程模型,和用于解决业务管理中诸多问题的方法和相关研究工作.     

一个企业应用集成的设计模式：Hub

The Enterprise Application Integration (EAI) is a challenge of modern enterprise. How much effect of information system in enterprise business implement process that depends on the degree of inner function and information integration of formation system. The choice of EAI methods not only affects the investment of constructing information system and protecting /using old system, but also determines the efficiency of new system. This paper presents a design pattern, named Hub method, from the view of application integration, which adopts the idea in heterogeneous circumstance focusing on interface encapsulating about controlling information exchange and workflow handling. It also gives an implement method and a framework of the Hub in this paper, which is applied on business process management. And a good performance is achieved in controlling information exchange and workflow handling among enterprise applications. It not only improves system integration capability, stich as expansibility, flexibility, and opening through the method of the Hub, but also takes a great advance in soft reuse during software designing and implementing.     

软硬件综合AADL可靠性建模及分析方法

目前嵌入式系统广泛应用于航空电子、远程医疗、汽车电子等具有高可靠性要求的系统中。随着嵌入式系统的复杂度越来越高,为了保障系统的高可靠性需求,需要在系统开发的早期设计阶段对系统的可靠性进行分析评估,以提高系统的开发效率。嵌入式系统中软件、硬件功能的失效都会对系统可靠性产生影响,而AADL的可靠性模型缺乏对硬件构件错误的影响及传播机制进行刻画分析的能力。本文综合考虑软、硬件错误发生失效后对系统可靠性的影响,提出了一种面向系统架构级别的软硬件综合可靠性分析方法。该方法基于电子电路设计中事务级建模方法,扩展了AADL事务级错误模型的语法和语义,来支持AADL对硬件构件错误传播的硬件功能行为建模,在此基础上,利用AADL模型实例化机制实现对嵌入式系统可靠性建模,刻画了错误行为在硬件构件之间、软硬件构件之间的传播与影响。同时,定义了AADL硬件构件事务级错误模型到广义随机Petri网模型的映射规则,实现了系统软、硬件综合的可靠性行为仿真计算模型组合,支持嵌入式系统的软硬件综合可靠性分析。论文开发了软硬件综合可靠性建模与分析工具原型,并以某型飞机空气增压系统为例,在航空电子系统架构设计中进行尝试,验证了该方法在复杂嵌入式系统设计中进行软硬件综合可靠性分析的可行性与优越性。     

组态化嵌入式软件仿真系统设计

为缩短开发周期,提高嵌入式软件仿真系统的设计水平,提出一种组态化嵌入式系统设计。集成仿真建模工具、仿真模型代码生成工具,实现仿真运行环境搭建和对仿真数据的实时监控,采用组态化的仿真方法,根据用户需求生成监控界面。实验结果表明,该系统的运行平台快速高效,监控环境良好。     

基于CSP的构件化嵌入式软件能耗分析与评估方法研究

随着嵌入式系统的发展,构件化软件开发技术已成为嵌入式软件开发的发展趋势.嵌入式系统通常是能源有限系统,如何在构件化嵌入式系统开发前期对其能耗进行分析与评估,发现系统能耗特性设计缺陷,从而提高开发效率,降低开发成本,已成为嵌入式系统设计的一个挑战.文中从构件化嵌入式软件体系结构出发,采用基于路径的系统能耗分析评估方法,在嵌入式系统架构设计阶段对其能耗特性进行分析与评估.在此评估体系中,软件体系结构应用进程代数语言CSP进行形式化描述,能耗特性在构件接口级别定义,最终建立了以CSP迹模型为基础的基于路径的系统能耗分析评估模型.文章最后通过案例分析验证了该模型分析方法的正确性和有效性.