公共文化服务平台

共 6 条记录，以下是 1-6

全选清除导出

排序方式：

基于优化Markov链使用模型的可靠性测试技术被引量：2: 2015年; Markov链使用模型是一种应用较为广泛的软件可靠性测试模型,但是如何生成使用模型中的转移概率仍然是一个亟待解决的问题。传统Markov链模型中的转移概率往往依赖用户、开发者及领域专家给出一个具体的数值,是非常不合理的。因此,提出了一种使用三参数区间数表示转移概率的方法,对Markov链模型进行优化并给出可靠性测试用例的生成方法。实验表明,使用三参数区间数构造出的软件使用模型要优于传统Markov链,并可以生成较为符合实际情况的可靠性测试用例,从而有助于提高可靠性评估的准确性。; 吴亮方建勇; 关键词：MARKOV链软件可靠性测试

一种基于云计算技术的军事信息系统体系架构被引量：6: 2013年; 云计算技术在商用领域已经取得了巨大的成功,但在军事领域还处于探索之中,尚没有合适的体系架构提出。文中在研究现有军事信息系统体系架构及军事信息系统发展趋势的基础上,提出了一种基于云计算技术的军事信息系统体系架构。该架构将面向服务架构(SOA)与云计算技术相结合,具有强大的数据共享能力,同时具备高性能、高可靠性、高维护性、高可扩展性等,可以为未来军事信息系统提供高性能信息处理能力以及高效的信息集成和共享能力。; 方建勇; 关键词：云计算军事信息系统面向服务架构

面向需求覆盖的Web服务自动化测试框架被引量：6: 2017年; Web服务作为W3C认证的面向服务架构(service-oriented architecture,SOA)的实现方式,对外提供可用于黑盒测试的接口文档,如何有效地自动化生成测试用例成为Web服务自动化测试的首要问题。现有的测试工具对WSDL(Web services description language)的文档结构和数据之间的依赖关系考虑不足,且缺乏有效的测试数据生成方法,进而导致测试效率不高以及生成的测试用例无法覆盖全部的测试需求。为此,提出了Web服务自动化测试的技术框架,并实现了支持此框架的原型工具。该框架基于WSDL文档解析获取覆盖结构特征的SOAP(simple object access protocol)骨架集合,并采用可变力度组合测试模型生成满足元素组合的SOAP封装消息,之后通过有限状态机/接口契约模型获取操作序列测试路径,保证了操作序列测试数据的有效性。案例结果表明了所提框架生成的测试数据能够更好地满足测试需求,达到理想的测试覆盖率,并能够检测出更多的错误,且在用例规模上优于现有的方法。; 李吟方建勇江梦; 关键词：WEB服务面向服务架构有限状态机

考虑时变学习效应的软件可靠性模型: 2015年; 针对限制软件可靠性研究发展的瓶颈问题—软件可靠性水平受时间因素影响甚微与用户时间尺度直观度量软件可靠性需求间的矛盾,分析了时变学习效应对用户使用软件方式的影响。通过研究时间因素与用户累积经验间的关系,以及用户使用经验与维护软件可靠性之间的关系,建立了时间变量与软件可靠性指标之间的间接映射关系。通过引入时变学习率因子,对软件可靠性Nelson模型进行改进,提出了一个既符合软件实际特点,又满足用户度量需求的时间尺度可靠性度量模型。最后通过例证对所提模型进行了初步评价。; 赵瑞曼潘冠华方建勇王蕾; 关键词：软件可靠性度量

VLMC控制流软件可靠性度量方法: 2014年; 针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖(VLMC)控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。; 赵瑞曼潘冠华方建勇; 关键词：MARKOV

基于VCD波形的FPGA验证平台被引量：1: 2019年; 提出一种基于VCD波形的FPGA验证平台的设计方案。首先,简要分析使用VCD波形进行验证的特点,介绍了FPGA验证平台和其软件架构;然后,分别对时钟域的划分、数据缓冲的处理以及异构解算方法等关键技术进行了详细的分析;最后,在FPGA验证平台进行实验验证。验证结果表明,该FPGA验证平台能较好完成基于VCD波形的验证。; 朱岩岩方建勇许寿全; 关键词：VCD 异构

全选清除导出

共1页<1>

方建勇