基于TTCN-3的Web应用负载测试方法

针对Web应用负载测试的需要,提出了一种基于TTCN-3的Web应用负载测试方法。采用TTCN-3函数建模用户访问Web应用的基本行为,通过并发测试组件模拟并发用户行为。由主测试组件创建大量并发测试组件形成负载,并协调不同测试节点上的并发测试组件实现负载测试。为便于组织实施测试,设计了基于TTCN-3的分布式负载测试框架。将该方法用于网上书店的测试,验证了该方法的可行性与有效性。     

基于分布式产品模型的并行设计过程的研究

研究了产品并行设计过程,提出了基于分布式产品模型的并行设计分布式约束满足机制,该机制利用产品模型控制和指导设计过程,通过Agent之间的相互协作,使得设计约束不断得到满足,通过产品模型的分布表达及基于产品模型的并行设计分布式约束满足机制,分布,协作,并发的并行产品设计过程能够得到很好的支持,满足并行设计Top-down设计,约束设计和再设计的要求,在此基础上,开发了一个原型系统,给出了设计实例。     

面向并行设计的分布式产品模型的研究

为实现产品模型内部的一致性,针对并行设计过程,提出了面向并行设计的分布式产品模型,该模型基于Multi-agent的结构,既能表达产品内各部分相互之间的层次组成关系,也能表达产品内各部分相互之间的约束关系。实现了产品模型的分布式表达,该模型可以很好地支持分布,协作,并发的并行设计过程,满足并行设计Top-down设计,约束设计和再设计的要求。     

基于移动Agent网络性能测试系统模型的研究

以移动Agent技术为基础,提出了一个基于移动Agent的分布式网络性能测试模型.该模型能够进一步提高系统的可靠性、灵活性、智能性、可维护性及测试的效率.详细分析了模型的体系结构与构成、性能测试流程、优点和实现的关键技术.最后构建的原型系统验证了该模型在网络性能测试中的优势.     

基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.     

组件技术在分布式测试系统与测试工具集成中的应用

设计了一种分布式测试系统软件体系结构,对测试过程及测试工具进行统一管理.通过组件对象模型技术建立了分布式软件测试环境,并在组件的基础上开发了用于第三方测试工具集成的API接口及配置工具.当集成新的测试工具时,只需利用API接口开发工具组件及修改配置文件,测试平台完全不用修改,系统具有二次开发能力.     

分布式实时多数据流的并发协作处理

基于C/S模型分析了分布式实时计算环境中多数据流并发处理的事务问题.采用复杂事件驱动技术,设计了一个适于多数据流并发协作处理的事务机制ARTs-MDS,能够自组织地将对分布式实时数据产生作用的并发任务组成一个原子的事务单位.系统维护着一个永久性的请求/响应队列将物理的设备的实操作与实时事务相分离,通过保证并发协作任务的事务特性获得以分布式局部采集数据为基础产生的微观层操作行为协作产生的整体效果的原子性.测试结果分析表明:该系统能提高对连续的外部采集数据进行协作处理的实时响应,减少了数据丢失.     

基于通信历史相关性的P2P网络分布式信任模型

提出了一种新的P2P分布式信任模型NBRTrust.在节点通信历史分布式存储基础上构造了节点局部信任度评价分布式存储网-βlist,通过分布式计算节点信任评价行为的相关度,得到以节点相关度为因子的全局信任模型NBRTrust,用于评估节点的可信程度;定义了模型的数学表述和分布式计算方法,设计了基于NBRTrust信任模型的P2P通信模型.仿真分析表明,相比纯粹的局部信任模型和全局信任模型,NBRTrust信任模型更客观,能够有效抵御单个恶意节点和团队恶意节点的欺骗行为,是一种有效的信任模型.     

Web Services-Based Test Report Generation

Tests involving a large number of test cases and test scenarios are always time- and effortintensive, and use ad hoc approaches. Test management is needed to control the complexity and the quality of the testing of large software systems. The reporting mechanism is critical for monitoring the testing progress, analyzing test results, and evaluating the test effectiveness for a disciplined testing processthroughout the testing lifecycle. This paper presents an XML-based report generation method for large system testing. The service-oriented architecture enables flexible test report generation, presentation, and exchange to facilitate collaboration in a distributed environment. The results show that proper reporting can effectively improve the visibility of the testing process and that this web-based approach is critical to enhance communication among multiple testing groups.     

大型土木结构多目标一致逼近有限元模拟方法

阐述了大型土木结构多目标一致逼近模拟中的3个关键问题,即多目标一致逼近有限元模型的建立、单目标多因素同时修正技术及多目标多因素同时修正技术,并从多目标一致逼近模拟的特征和需求等方面来探讨多目标一致逼近模拟策略.重点阐述了多目标一致逼近模拟的建模过程,即如何建立多目标一致逼近有限元模型使之能够同时满足结构损伤分析和状态评估过程中的多目标模拟和结构行为一致多尺度模拟的需求.为考证多目标一致逼近模拟方法的可行性,以焊接钢桁架结构为研究对象,具体阐述了该结构包括一级模拟目标(动力特性)、二级模拟目标(整体名义应力)和三级模拟目标(局部热点应力及其分布规律)的多目标模拟过程.研究结果表明:钢桁架结构多目标一致逼近有限元模型的模拟结果均好于多目标模拟有限元模型,尤其是三级目标的模拟更加准确.     

一种组合的Web应用测试建模方法

应用Web建立一个清晰的测试模型能够帮助指导测试工作,为下一步形成测试用例,执行测试奠定基础。在分析Web应用现有测试模型的基础上,提出了一种从对象、导航行为、系统结构3个方面进行分析的建模方法,分别介绍了3种模型的建模方法及相应的测试用例生成办法,扩充了以往对象模型的关系结构,将浏览器行为的影响加入到导航行为模型中,根据控制流和数据流来反映系统结构。这种组合模型充分考虑了Web应用的特性,直观全面地反映了Web应用的各方面关系,能够有效指导测试工作。     

分布式并发软件生命周期模型研究

针对软件开发原有生命周期模型主要针对传统的顺序集中式开发、已无法适应新的开发需要的问题,提出了针对分布式并发软件开发的菱形软件生命周期模型．分析了传统软件生命周期的缺点,给出了新的生命周期模型定义,以及模型组件的相互关系,分析了模型组件间的有效关系和无效关系,探讨了新模型如何弥补传统软件生命周期模型的不足．该模型定义清晰,使用简单,便于分析分布式并发软件的开发过程．     

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

深水测试管柱力学行为研究进展及发展方向

深水测试管柱的力学行为对深水测试的成功有着重要的影响。以陆地管柱力学研究为基础,对深水测试管柱
的结构、工况、载荷以及研究现状进行了分析阐述。分析认为,国外深水测试技术成熟,深水测试管柱力学行为研究完
善;而国内则主要依靠国外技术服务公司进行深水油气田的测试工作。同时,针对中国深水测试的应用现状,对深水
测试管柱的力学行为研究进行了系统分析,指出应该建立考虑平台升沉和漂移、隔水管影响、产层高压流体、射孔冲击
载荷、温度耦合作用等因素的深水测试管柱动力学模型,分析整个管柱的力学行为,实现对深水测试管柱的优化设计,
提高深水测试管柱施工作业的安全可靠性。     

结构行为一致多尺度有限元模型修正及验证

研究面向结构健康监测和损伤评估的含局部细节的结构多尺度有限元模型的修正和验证方法.以实验室的大跨桥梁结构钢箱梁纵向加劲桁架缩尺试样为研究平台,具体讨论了多尺度模型修正和验证的实施过程.首先分析了影响此结构多尺度模型精度的一些因素,如边界约束刚度、焊趾及其附近的几何及材料参数等,然后采用基于灵敏度的方法对多尺度模型进行修正,并通过不同于修正过程的加载工况和不同位置处的实测数据从动力特性和静力响应等多方面对所建的结构多尺度有限元模型进行了验证.结果表明:基于子结构方法建立的结构行为一致多尺度模型是有效的.     

Comparison of SETAM with security use case and security misuse case: A software security testing study

A software security testing behavior model,SETAM,was proposed in our previous work as the integrated model for describing software security testing requirements behavior,which is not only compatible with security functions and latent typical misuse behaviors,but also with the interaction of them.In this paper,we analyze the differences between SETAM with security use case and security misuse case in different types of security test requirements.To illustrate the effectiveness of SETAM,we compare them in a practical case study by the number of test cases and the number of faults detected by them.The results show that SETAM could decrease about 34.87% use cases on average,and the number of faults detected by SETAM increased by 71.67% in average,which means that our model can detect more faults with fewer test cases for software security testing.     

CAPP和PPC的集成决策模型与算法

实现ＣＡＰＰ和ＰＰＣ功能集成是从根本上解决生产计划与工艺整体优化的途径．根据ＣＡＰＰ和ＰＰＣ多级并行分布式集成体系结构,研究了支持ＣＡＰＰ和ＰＰＣ功能集成的决策模型与算法,建立ＣＡＰＰ和ＰＰＣ的集成决策目标以及在该统一目标下的多层集成单元递阶决策的模型,设计有效支持该决策模型的工艺技术分析算法和瓶颈处理算法．该模型和算法强调相关决策活动并行完成与将工艺计划和生产（作业）计划作为一个整体进行优化的原则．仿真实验结果表明,模型和算法是正确可行的．     

算力网络与交易风控

算力作为数字经济的核心生产力,已经成为全球战略竞争的新焦点。传统计算模式不足以满足网络环境下的业务对于自身敏捷构造需求和外部大数据应用需求。在对比分析了网格计算、云计算、边缘计算、多云与云际计算的优缺点后,提出了一种新型计算模式:方舱计算,并介绍了方舱计算系统的三大组成部分。在此基础上,进一步提出了基于方舱计算构建算网系统的设想。作为方舱计算的典型应用,介绍了当前网络交易风控遇到的难题,结合方舱计算模式,通过建立并发系统行为理论与流量计算方法,发明了业务流程网络横切并发的调度技术,提出网络交易风控的行为认证方法,设计并实现了系统高并发、高辨识、高时效的目标。     

一种大工业过程稳态优化控制方法

催化裂化装置是一个高度非线性、时变和长时延、强耦合、分布参数和不确定性的复杂系统。为解决催化裂化过程的优化控制问题 ,采用多层前馈神经网络进行辨识、建模 ,用周期图检验法对模型检验 ,用改进的 Frank- Wolfe算法进行稳态优化计算 ,并以大港炼油厂实际生产过程的稳态数据进行试验和验证 ,说明神经网络适合于解决非线性复杂生产过程的辨识、建模和稳态优化控制问题     

Integration of a statistical emulator approach with the SCE-UA method for parameter optimization of a hydrological model

Parameter optimization of a hydrological model is an indispensable process within model development and application.The lack of knowledge regarding the efficient optimization of model parameters often results in a bottle-neck within the modeling process,resulting in the effective calibration and validation of distributed hydrological models being more difficult to achieve.The classical approaches to global parameter optimization are usually characterized by being time consuming,and having a high computation cost.For this reason,an integrated approach coupling a meta-modeling approach with the SCE-UA method was proposed,and applied within this study to optimize hydrological model parameter estimation.Meta-modeling was used to determine the optimization range for all parameters,following which the SCE-UA method was applied to achieve global parameter optimization.The multivariate regression adaptive splines method was used to construct the response surface as a surrogate model to a complex hydrological model.In this study,the daily distributed time-variant gain model(DTVGM) applied to the Huaihe River Basin,China,was chosen as a case study.The integrated objective function based on the water balance coefficient and the Nash-Sutcliffe coefficient was used to evaluate the model performance.The case study shows that the integrated method can efficiently complete the multi-parameter optimization process,and also demonstrates that the method is a powerful tool for efficient parameter optimization.