郝博
- 作品数：4 被引量：5H指数：1
- 供职机构：华北计算技术研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于任务场景的测试需求建模方法被引量：2
- 2015年
- 针对现有的测试需求建模方法不能同时描述功能、性能和可靠性测试需求的问题,提出一种基于任务场景的测试需求(TreBts)建模方法。从测试系统执行复杂测试任务的角度出发,建立TreBts的概念模型并设计3类视图;在此基础上,给出3类视图的建立指南及基于TreBts模型的测试流程,指导测试人员开展测试。实验结果表明,TreBts可准确描述3种类型的测试,自动生成的测试套可完全满足每类测试需求。
- 徐珞石晶郝博
- 关键词：软件测试建模方法
- 一种Web服务QoS属性的不确定权重计算方法被引量：1
- 2016年
- 功能相同或类似的Web服务选择时需考虑服务的Qo S属性及权重,由于用户对Qo S属性的偏好具有主观认知的不确定性,并且某些Qo S属性值也通常不是确定的。因此,Qos属性的权重具有不确定性。针对Qo S属性的不确定权重求解问题,使用云模型表示主观认知的不确定性,基于用户偏好信息,利用归一化和最小二乘法求解主观权重,基于Qos属性值利用熵方法求解客观权重,并使用科布—道格拉斯方法合成主、客观权重,能够有效表达由主观认知和Qo S属性值造成的权重不确定性。
- 樊志强李宁郝博
- 关键词：QOS属性云模型
- 基于UML的硬实时工作流建模技术被引量：1
- 2015年
- 针对硬实时系统工作流描述在活动间数据交互的关系、时间约束等方面的不足,研究硬实时系统的工作流建模技术。定义硬实时约束的工作流元模型,给出元模型的组成元素及其相互关系,对具有硬实时约束的相关元素进行说明;在此基础上,使用UML的profile机制,通过对UML建模元素的扩展定义一种硬实时约束的工作流描述语言,称为HRTWDL(hard real-time constrained workflow description language);结合应用案例对HRT-WDL的使用进行说明。
- 徐珞石晶樊志强郝博
- 关键词：硬实时系统工作流建模统一建模语言
- 一种面向业务流程模型的仿真验证方法被引量：1
- 2017年
- 基于SOA软件构架成为分布式解决方案的主流技术,业务流程模型是SOA系统设计的核心,其是否存在缺陷对系统具有重要影响,因此,如何对业务流程进行验证成为一个关键问题。本文围绕业务流程模型验证需求,针对异构模型的联合仿真问题,提出基于HLA的业务流程模型仿真验证框架,通过对业务流程和网络部署进行仿真,有效对业务流程的功能和时间特性进行验证。相关实验表明,本文提出的方法能够有效发现业务流程中存在的设计缺陷。
- 李宁徐珞郝博樊志强
- 关键词：仿真
