期刊文献+
共找到76篇文章
< 1 2 4 >
每页显示 20 50 100
基于UML的软件Markov链使用模型构造研究 被引量:29
1
作者 颜炯 王戟 陈火旺 《软件学报》 EI CSCD 北大核心 2005年第8期1386-1394,共9页
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软... 软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性. 展开更多
关键词 统一建模语言 统计测试 MARKOV链使用模型 软件可靠性
在线阅读 下载PDF
基于UML的软件Markov链使用模型的构建 被引量:7
2
作者 吴彩华 刘俊涛 +1 位作者 彭世蕤 李海鸿 《计算机研究与发展》 EI CSCD 北大核心 2012年第8期1811-1819,共9页
构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利... 构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利于测试用例的自动生成及软件可靠性评估.针对以上问题,提出了一种由UML模型构建Markov链使用模型的方法.该方法将场景的前置条件和后置条件作为Markov链使用模型的状态,将场景的执行及执行概率作为状态之间的转移及转移概率.与现有方法相比,新方法构建的Markov链使用模型的状态空间小且无需人为干预,而且可以很方便地生成测试输入从而进行可靠性测试.针对UML模型的有效性,提出了经过可靠性评估扩展的UML模型生成Markov链使用模型的验证算法.最后通过一个卫星控制系统的实例对新方法的性能进行了验证. 展开更多
关键词 UML MARKOV链 使用模型 可靠性评估 测试用例
在线阅读 下载PDF
国外信息系统持续使用模型应用研究综述 被引量:11
3
作者 欧阳博 刘坤锋 杨海娟 《现代情报》 CSSCI 北大核心 2017年第8期171-177,共7页
信息系统持续使用模型于2001年提出,已在信息系统、图书情报、管理学等领域得到广泛应用。首先,介绍ECM-ISC的提出及演化过程。其次,以施引论文为视角,结合关键词词频统计分析和内容分析法,从应用目的、应用对象、应用形式、应用方法等... 信息系统持续使用模型于2001年提出,已在信息系统、图书情报、管理学等领域得到广泛应用。首先,介绍ECM-ISC的提出及演化过程。其次,以施引论文为视角,结合关键词词频统计分析和内容分析法,从应用目的、应用对象、应用形式、应用方法等方面揭示国外ECM-ISC的应用规律。抽取ECM-ISC应用背景下影响信息系统用户持续使用的因素,归结为用户因素、系统因素和环境因素。最后,提出ECM-ISC应用的不足之处和未来的研究方向。 展开更多
关键词 信息系统 信息行为 信息持续使用模型 持续使用 影响因素 综述
在线阅读 下载PDF
大学生使用移动图书馆的行为持续性的影响因素分析及对策研究——基于扩展持续使用模型 被引量:37
4
作者 邓李君 杨文建 《图书馆论坛》 CSSCI 北大核心 2014年第2期63-68,共6页
文章通过问卷调查、数据分析,验证用户因素对大学生持续使用移动图书馆的行为是极为重要的影响因素。具体以EECM-ISC为基础,融合用户因素,采用问卷调查方式采集大学生对于移动图书馆的使用数据,结合α系数、CR值、问项均值、因子载荷分... 文章通过问卷调查、数据分析,验证用户因素对大学生持续使用移动图书馆的行为是极为重要的影响因素。具体以EECM-ISC为基础,融合用户因素,采用问卷调查方式采集大学生对于移动图书馆的使用数据,结合α系数、CR值、问项均值、因子载荷分析等证明用户因素对于大学生持续性使用移动图书馆行为的重要性仅次于信息质量,高于系统质量与服务质量。建议图书馆通过图书馆培训、文献检索课、1小时讲座、移动图书馆检索大赛等方式培养用户使用移动图书馆的能力,结合辅助资源系统将移动图书馆的运用融入到课业学习中,使大学生形成使用兴趣并最终达到持续使用移动图书馆的目的,推动图书馆移动服务的发展。 展开更多
关键词 移动图书馆 扩展持续使用模型 大学生 用户因素信息质量 系统质量 服务质量
在线阅读 下载PDF
基于Markov链路径使用模型的软件统计测试 被引量:4
5
作者 高海昌 冯博琴 +1 位作者 曾明 贺晓红 《计算机工程》 EI CAS CSCD 北大核心 2006年第19期20-22,共3页
探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型... 探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型,使用Kullback判别式作为测试链收敛到使用链的判断准则,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实验证明该方法是可行和有前途的。 展开更多
关键词 软件统计测试 结构测试 MARKOV链 路径使用模型 Kullback判别式
在线阅读 下载PDF
基于使用模型和遗传算法的测试数据自动产生技术 被引量:3
6
作者 周献中 孙勇成 江金龙 《兵工学报》 EI CAS CSCD 北大核心 2006年第6期1051-1055,共5页
测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相... 测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相应的规划模型,并提出了路径权重和目标路径集的确定方法,设计的适应性函数综合考虑了路径权重、路径覆盖率和路径接近程度三要素。实例证明了模型与方法的合理性及有效性。 展开更多
关键词 计算机软件 软件测试 测试数据 使用模型 遗传算法
在线阅读 下载PDF
基于UML的软件使用模型的研究与实现 被引量:4
7
作者 王涛 徐锡山 颜炯 《计算机工程与科学》 CSCD 2005年第3期71-73,共3页
UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生... UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。 展开更多
关键词 软件开发 软件可靠性测试 软件使用模型 UML
在线阅读 下载PDF
基于使用模型的统计测试方法的研究 被引量:3
8
作者 冯华 王戟 徐锡山 《计算机工程》 CAS CSCD 北大核心 2002年第12期93-95,共3页
介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例,同时根据测试充分性理论讨论了统计测试... 介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例,同时根据测试充分性理论讨论了统计测试中测试充分性的度量方法。最后简要介绍了自行开发的统计测试辅助工具STToolkit。 展开更多
关键词 使用模型 统计测试方法 软件测试 软件工程 静态参数 测试充分性 测试用例 软件可靠性
在线阅读 下载PDF
马尔科夫使用模型在仿真系统测试中的应用 被引量:4
9
作者 李桂芳 黄圣国 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第6期810-813,共4页
基于马尔科夫使用模型的测试方法引入到仿真系统的测试中,给出了基于马尔科夫使用模型仿真系统测试的基本过程;分析了使用模型的构建,给出了一种测试充分性判断的分析方法;提出了一种基于马尔科夫使用模型的仿真系统可信度计算模型。实... 基于马尔科夫使用模型的测试方法引入到仿真系统的测试中,给出了基于马尔科夫使用模型仿真系统测试的基本过程;分析了使用模型的构建,给出了一种测试充分性判断的分析方法;提出了一种基于马尔科夫使用模型的仿真系统可信度计算模型。实例证明了马尔科夫使用模型在仿真系统测试中的有效性,检验了可信度模型的合理性。 展开更多
关键词 仿真系统 马尔科夫使用模型 充分性 可信度
在线阅读 下载PDF
基于Markov链使用模型的加速统计测试方法 被引量:4
10
作者 张德平 查日军 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第5期949-955,共7页
为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理... 为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法. 展开更多
关键词 软件测试 统计测试 加速测试方法 MARKOV链使用模型 交叉熵方法
在线阅读 下载PDF
课堂教学中教科书使用模型的构建与应用 被引量:6
11
作者 毕华林 万延岚 《当代教育科学》 北大核心 2013年第12期14-16,19,共4页
教科书是学校教育中的主要教材,是教师教和学生学的重要资源和工具。课堂教学中教师对教科书的使用方式影响着学生的学习方式和学习结果。本文通过对基于活动理论构建的教科书使用模型的分析,为研究课堂教学中教师使用教科书的方式提供... 教科书是学校教育中的主要教材,是教师教和学生学的重要资源和工具。课堂教学中教师对教科书的使用方式影响着学生的学习方式和学习结果。本文通过对基于活动理论构建的教科书使用模型的分析,为研究课堂教学中教师使用教科书的方式提供新的视角和理论依据。 展开更多
关键词 课堂教学 教科书 使用模型
在线阅读 下载PDF
Markov链使用模型的测试用例生成方法研究 被引量:3
12
作者 雷航 陈丽敏 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第5期732-736,共5页
采用基于马尔科夫链使用模型的软件测试,在状态与激励序列中,从"开始"状态到"结束"状态形成一个完整的测试案例。因此,输入和激励的选择对于产生高效的测试案例十分重要。提出一种激励选择——带概率约束的随机选... 采用基于马尔科夫链使用模型的软件测试,在状态与激励序列中,从"开始"状态到"结束"状态形成一个完整的测试案例。因此,输入和激励的选择对于产生高效的测试案例十分重要。提出一种激励选择——带概率约束的随机选择方法,以软件Markov链模型的状态迁移概率作为激励选择的约束条件,使用遗传算法中用于选择下一代种群的选择算子——轮盘赌选择算子对激励进行选择。通过与以往的激励选择方法对比,验证了所提出的方法能提高生成测试用例的有效性。 展开更多
关键词 MARKOV链 轮盘赌算法 测试用例 测试输入 使用模型
在线阅读 下载PDF
基于使用模型的软件可靠性加速测试 被引量:2
13
作者 徐云青 徐义峰 李舟军 《计算机应用与软件》 CSCD 2009年第3期147-148,178,共3页
给出了一种使用分层抽样和重要抽样方法并基于Markov链使用模型的软件可靠性加速测试的方法,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过... 给出了一种使用分层抽样和重要抽样方法并基于Markov链使用模型的软件可靠性加速测试的方法,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题。实例仿真结果表明,该方法可以有效地提高软件可靠性关键操作的测试效率。 展开更多
关键词 使用模型 软件可靠性 加速测试 分层抽样 重要抽样
在线阅读 下载PDF
基于Markov链使用模型的组件复用的统计测试 被引量:1
14
作者 马春燕 胡飞 张云鹏 《计算机应用研究》 CSCD 北大核心 2008年第4期1051-1053,1056,共4页
提出了用Markov链使用模型来模拟具体环境中组件的使用方式,对组件的复用进行统计测试,详细论述了提出的组件复用统计测试的思想框架和测试步骤,并进一步指出了每个测试步骤具体的研究细节。最后给出了提出的方法与现有方法的对比分析,... 提出了用Markov链使用模型来模拟具体环境中组件的使用方式,对组件的复用进行统计测试,详细论述了提出的组件复用统计测试的思想框架和测试步骤,并进一步指出了每个测试步骤具体的研究细节。最后给出了提出的方法与现有方法的对比分析,说明提出的方法是组件复用自动化测试的一种经济可行的方法。 展开更多
关键词 MARKOV链使用模型 组件复用 统计测试 自动化测试
在线阅读 下载PDF
一种基于高阶Markov使用模型的测试用例自动生成方法 被引量:2
15
作者 赵卫东 李有俊 张丽 《现代电子技术》 北大核心 2019年第6期26-29,共4页
为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法... 为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。 展开更多
关键词 高阶马尔可夫使用模型 快速轮盘赌 二分查找 相对熵 软件测试 测试用例自动生成
在线阅读 下载PDF
指数型寿命分布的贮存-使用模型可靠性评估方法 被引量:3
16
作者 蔡静 赵明 《济南大学学报(自然科学版)》 CAS 北大核心 2013年第2期205-207,共3页
讨论贮存寿命和使用寿命均为指数分布的情况下,贮存-使用模型可靠性评估方法。引入"状态等效因子函数",将贮存时间转化为使用时间,给出贮存后再使用的平均剩余寿命计算公式,对贮存一定时间后使用给定时间的贮存可靠性置信下... 讨论贮存寿命和使用寿命均为指数分布的情况下,贮存-使用模型可靠性评估方法。引入"状态等效因子函数",将贮存时间转化为使用时间,给出贮存后再使用的平均剩余寿命计算公式,对贮存一定时间后使用给定时间的贮存可靠性置信下限进行估计,并举例验证该方法的适用性。 展开更多
关键词 贮存-使用模型 状态等效因子函数 平均剩余寿命 置信下限估计
在线阅读 下载PDF
一种实时监控移动代理资源使用模型的研究 被引量:1
17
作者 吴敏 黄杰 王汝传 《南京邮电学院学报(自然科学版)》 2004年第3期90-94,共5页
提出了一个通用的使用移动代理技术的实时监控模型框架。该模型是一个开放的系统模型,与特定的系统应用环境无关,可以作为一个部件集成在任何本地或远程移动代理平台上,为本地节点或某分布式环境提供其中移动代理资源使用情况的系统级... 提出了一个通用的使用移动代理技术的实时监控模型框架。该模型是一个开放的系统模型,与特定的系统应用环境无关,可以作为一个部件集成在任何本地或远程移动代理平台上,为本地节点或某分布式环境提供其中移动代理资源使用情况的系统级和应用级信息,从而保证了系统对移动代理资源使用的管理。 展开更多
关键词 移动代理 虚拟机 分布式环境 资源使用模型
在线阅读 下载PDF
基于使用模型的软件测试路径选择及其性能分析
18
作者 荣国平 蔡志旻 +1 位作者 韩嵩 潘金贵 《计算机工程》 CAS CSCD 北大核心 2003年第18期87-88,168,共3页
基于有向图理论对程序正文进行解析,同时对软件的使用模型做了初步的探讨,分析了具有Markov随机性质的软件使用过程和软件测试中的测试路径的选择策略,并对测试结果做出评价,给出软件的可靠性。
关键词 软件测试 有向图 使用模型 使用环境 软件可靠性
在线阅读 下载PDF
农林业中灭虫药使用模型的改进
19
作者 郑煜 《东北林业大学学报》 CAS CSCD 北大核心 2001年第4期22-24,共3页
为了保护农作物和林木 ,使用灭虫药减少或消灭害虫是一种常用方法。考虑到实际中的应用 ,本研究改进了文献 [1]中的数学模型 ,进一步把农作物生长期分为若干时期t1,t2 …tn。得到了各时期的最佳用药时期τ i 与最佳用药量u i 。给出了... 为了保护农作物和林木 ,使用灭虫药减少或消灭害虫是一种常用方法。考虑到实际中的应用 ,本研究改进了文献 [1]中的数学模型 ,进一步把农作物生长期分为若干时期t1,t2 …tn。得到了各时期的最佳用药时期τ i 与最佳用药量u i 。给出了比较简便的用药准则 ,在应用中更具操作性。 展开更多
关键词 灭虫药 使用模型 最佳时刻 最佳用药量 最小损失 农林害虫
在线阅读 下载PDF
基于UML的软件使用模型的研究及工具实现 被引量:7
20
作者 邓晔 徐锡山 颜炯 《计算机应用研究》 CSCD 北大核心 2006年第1期129-131,共3页
改进了文献[2]中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。
关键词 UML 统计测试 MARKOV链 使用模型 软件可靠性
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部