公共文化服务平台

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

全选清除导出

排序方式：

基于模型的移动应用兼容性测试方法研究被引量：1: 2015年; 在分析研究移动应用测试验证技术机理的基础上,提出一种基于测试价值权重语义树模型的移动应用兼容性测试方法。该方法的主要特点是能够生成所有移动应用兼容性测试环境,并可根据其测试价值进行排序和选择,从而能提高测试效率,降低测试成本,减少测试时间。; 成静朱怡安张涛周文强李坤王海鹏

自愈软件系统设计与实现方法被引量：1: 2015年; 针对自愈软件系统功能层与自愈层交织带来的设计复杂性问题,提出系统横向模型驱动设计思想,给出一种以故障模型为中心的系统设计与实现方法。该方法能够将系统功能层与自愈层隔离,使它们的设计与实现相对独立,根据系统特点在不同阶段通过故障模型加以耦合,这种松耦合方式有利于降低系统整体设计的复杂性,提高可配置性、可重用性以及可维护性。通过一个具有自愈特性的捷联惯性导航系统仿真软件的设计与实现,验证了该设计思想与方法的可行性和有效性。; 陆伟张龙妹朱怡安; 关键词：面向方面编程

面向数字化档案管理系统的SaaS应用研究被引量：2: 2014年; 软件即服务(Software-as-a-Service,SaaS)已经变成十分流行的软件模型,租户可以通过互联网访问SaaS化的服务,并且通过SaaS服务提供商租用所需服务.以某省数字化档案馆的建设为背景,结合了SaaS服务模型支持多租户,灵活可定制的特性,提出一种基于SaaS的数字化档案管理系统架构,该架构不仅支持多租户访问,而且支持服务组件的定制,有利于解决日益复杂的档案管理问题,也有利于避免各地市档案馆建设的重复投资.重点对支持多租户的存储模型的构建,以及档案业务逻辑在线定制模型进行了研究,提出了一种在线的动态代理模型—ActiveProxy模型,应用效果良好.; 吴振宇吴健张涛; 关键词：SAAS

云计算环境下SaaS服务可伸缩性评估方法研究被引量：5: 2014年; 针对云计算环境下Saa S服务可伸缩性的分析评估问题,通过分析Saa S服务伸缩性需求和特点,给出其可伸缩性定义,并且提出一种新的可伸缩性评估模型和度量指标,具体包括:资源利用率、资源生产率、收敛性。最后,基于亚马逊EC2云计算平台,对评估模型和方法进行实例验证。; 张涛燕静徐照淼杨艳丽朱传曦成静; 关键词：资源分配可扩展性可伸缩性云计算 SAAS服务

一种基于AADL错误模型的软件安全性分析技术研究被引量：2: 2014年; 针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。; 成静朱怡安屈华敏罗文波江叶春张涛; 关键词：马尔科夫链

一种基于K-Mean算法的移动应用兼容性测试方法被引量：3: 2015年; 随着移动应用市场的快速发展,移动应用兼容性测试问题日显突出和紧迫。本文提出了一种基于K-Mena算法的移动应用兼容性测试设备选择方法。该方法首先建立移动应用兼容性测试设备的特征树模型,确定各个基本特征的测试值,定义初始K值和中心点。然后给出一种基于设备特征树模型的特征距离计算方法。最后基于K-Mean聚类算法,对移动设备进行聚类,从各个聚类中选择适合的移动应用兼容性测试设备。通过实例进行验证分析,结果表明该方法能够帮助测试人员选择适合的测试设备,从而降低测试成本,提高测试效率和测试质量。; 张涛周文强李坤王海鹏成静

敏感变量和感知机结合的测试预言生成方法被引量：1: 2019年; 测试预言生成技术是软件工程测试领域的研究热点之一.没有可以利用的历史测试用例是目前大部分测试预言生成技术的普遍假设,但是这种假设会使我们错过利用现有部分测试用例协助自动生成新测试用例预言的机会.在已知部分测试用例集的情况下,提出了基于敏感变量和线性感知机的新测试用例的测试预言自动生成方法.首先,收集已知测试用例执行的语句覆盖和不同断点处内存值集合作为训练集,计算与新测试用例执行覆盖信息高度相似的测试用例集;其次,计算各断点处表征成功或失败的敏感变量集;然后,应用线性感知机求解每个断点处成功或失败概率预测的门限值;在此基础上,给出新测试用例测试预言自动生成的方法,并对方法进行讨论;最后,采用7个程序的129个故障版本作为实验对象,对共计14 300个测试用例生成测试预言.实证评价表明,测试预言准确率平均达到96.2%.该成果可以形成测试用例集合构造的"滚雪球效应",不断迭代自动生成新测试用例的测试预言.; 马春燕李尚儒王慧朝张磊张涛; 关键词：测试用例

基于变异技术的程序故障自动化修复方法被引量：2: 2014年; 结合故障定位技术,提出了一种基于变异的程序故障自动化修复方法,并采用该方法阐释了C程序表达式故障的变异修复机制,研制了C程序故障自动化修复辅助工具。通过对实际故障系统案例的分析,证明了方法的有效性。; 马春燕刘杰赖文豫; 关键词：故障定位

离散事件系统部分可诊断性分析被引量：4: 2015年; 针对离散事件系统部分可诊断性问题,提出一种量化评价与分析方法。该方法以树状结构的故障模型为基础,引入可诊断度与可诊断深度指标,能够从可诊断故障覆盖程度与精确程度两个方面对系统可诊断性进行评价,其优点是评价结果量化表示,能为部分可诊断系统的进一步评价、分析与对比提供参考。此外,还讨论了故障模型对系统可诊断度与可诊断深度两个评价指标的影响,并给出了故障模型构造的一般原则。实例分析与讨论结果表明,所提出的可诊断度与可诊断深度指标能够准确反映系统在特定故障模型下的部分可诊断状态。所提出的部分可诊断性评价方法能为基于离散事件模型的复杂系统设计与评价提供依据,并能够进一步为智能、自适应和自愈系统的设计提供参考。; 陆伟张龙妹朱怡安; 关键词：离散事件系统可诊断性

全选清除导出

共1页<1>

国家自然科学基金(61103003)