-
题名基于Markov链路径使用模型的软件统计测试
被引量：4
- 1
-
-
作者
高海昌
冯博琴
曾明
贺晓红
-
机构
西安交通大学电子与信息工程学院
西安交通大学软件学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第19期20-22,共3页
-
基金
国家"863"计划基金资助项目(2003AA1Z2610)
-
文摘
探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型,使用Kullback判别式作为测试链收敛到使用链的判断准则,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实验证明该方法是可行和有前途的。
-
关键词
软件统计测试
结构测试
MARKOV链
路径使用模型
Kullback判别式
-
Keywords
Software statistical test
Structure test： Markov chain
Path usage model
Kullback discriminant
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于扩展有限状态机的定义-清除路径的生成方法
被引量：3
- 2
-
-
作者
卢炎生
雷波
谢晓东
毛澄映
-
机构
华中科技大学计算机科学与技术学院
-
出处
《计算机工程与科学》
CSCD
2006年第7期67-69,共3页
-
基金
"十五"国防科技预研项目(41315.9.2)
-
文摘
本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径。这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集。
-
关键词
类单元测试
扩展有限状态机
定义-使用路径
定义-清除路径
测试用例
-
Keywords
class unit test
extended state machine
define-use path
define-clear path
test case
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名对离退休专业技术人员再使用问题的思考
被引量：5
- 3
-
-
作者
韩利红
-
机构
河北科技大学经济管理学院
-
出处
《河北学刊》
CSSCI
北大核心
2014年第2期162-164,共3页
-
基金
2013年度河北省社会科学基金项目<河北省离退休专业技术人才再使用问题研究>(HB13GL028)
-
文摘
中国人口老龄化进程正在逐年加快,人口红利趋于消失,在"未富先老"的紧迫现实面前,低龄老年人(60—70岁)已经成为中国经济发展中重要的人力资源,但目前对其开发和使用却严重不足,存在着许多亟待解决的问题。这不仅是个体更好地适应老年生活的需求,更是一个国家和社会在应对人口老龄化过程中所必须直面及主动解决的问题。因此,必须在政策上予以干预,在法律上予以规范,在观念上加以引导,推动离退休专业技术人才的再次开发使用,为中国应对老龄化社会探索有益的经验。
-
关键词
离退休专业技术人员
开发
使用路径
-
Keywords
retired professionals
development
re - use
-
分类号
C962
[经济管理—人力资源管理]
-
-
题名信息系统采纳后用户行为影响因素的实证研究
被引量：3
- 4
-
-
作者
陈渝
杜晓林
-
机构
昆明理工大学管理与经济学院
-
出处
《情报杂志》
CSSCI
北大核心
2013年第10期193-200,共8页
-
基金
国家自然科学基金项目"信息系统采纳后影响用户行为的关键因素及作用机理研究"(编号:71061009)
云南省哲学社会科学项目"信息系统用户使用行为与绩效间的关系研究"(编号:YB201127)
-
文摘
基于期望证实模型以及使用理论,实证研究信息系统采纳后影响用户行为的因素。首先,将信息系统采纳后的行为分为三个阶段:接受阶段、使用阶段以及成果阶段,对三个阶段的相关研究进行总结分析,结合期望证实模型以及使用理论构建研究模型。第二,通过对问卷数据进行信效度和路径分析检验,验证影响因素间的假设,同时对影响用户继续使用意愿,三种使用行为与绩效之间的关系进行分析。研究结果显示,满意和感知有用性对继续使用意愿有显著的影响,使用路径和使用融合对绩效有显著的影响。最后对研究结果与不足进行讨论。
-
关键词
期望证实模型
使用理论
使用行为
使用频率
使用路径
使用融合
-
Keywords
rexpectation confirmation model system usage theory usage behaviors frequency of use routinization of use infusion of use
-
分类号
C93
[经济管理—管理学]
-
-
题名一种平衡结构性测试和功能性测试的方法
被引量：1
- 5
-
-
作者
浦云明
-
机构
集美大学计算机工程学院
-
出处
《计算机应用》
CSCD
北大核心
2008年第4期1023-1025,共3页
-
基金
福建省教育厅基金资助项目(JA07133)
-
文摘
分析了结构性测试和功能性测试方法及其优劣,提出了一种平衡结构性测试和功能性测试的模型方法,即定义-使用测试方法。该方法定义了介于全路径指标和全边之间的测试覆盖指标,提供了一种检查缺陷可能发生点的系统化方法。模拟实例结果表明,定义-使用测试方法能够显著提高发现缺陷的效率。
-
关键词
定义一使用路径
结构性测试
功能性测试
平衡模型
数据流
-
Keywords
definition-usage path
structural testing
functional testing
balancing model
data flow
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于扩展有限状态机的类测试用例生成方法
被引量：1
- 6
-
-
作者
郭朝彬
郭永红
郭红涛
-
机构
华北水利水电学院
中兴通讯股份有限公司
-
出处
《华北水利水电学院学报》
2006年第3期52-54,共3页
-
文摘
为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,利用扩展的有限状态机模型(EF-SM)和数据流分析方法,对类、类的消息传递和类状态变化进行了分析和研究,提出了一种基于扩展有限状态机模型的类测试用例集的生成算法.此算法能自动生成满足All_use路径覆盖标准的测试用例集,并能保证测试用例的路径长度最短.
-
关键词
类单元测试
扩展有限状态机
定义-使用路径
测试用例
-
Keywords
class unit test
extended finite state machine
define-use path
test case
-
分类号
TP36
[自动化与计算机技术—计算机系统结构]
TN911.6
[电子电信—通信与信息系统]
-
-
题名基于数据流的组件测试
- 7
-
-
作者
曾红卫
周建云
-
机构
上海大学计算机工程与科学学院
-
出处
《应用科学学报》
CAS
CSCD
北大核心
2007年第6期621-626,共6页
-
基金
国家自然科学基金(60673115)
软件工程国家重点实验室开放基金(SKLSE05-13)资助项目
-
文摘
用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法.按照全使用数据流测试准则,自动生成组件流图的定义-使用路径集.
-
关键词
组件状态机
数据流测试
组件流图
最短定义一使用路径
-
Keywords
component state machine
data flow testing
component flow graph
the shortest du-path
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于混合类测试模型的面向对象程序测试用例生成研究
- 8
-
-
作者
欧海春
-
机构
华南理工大学计算机科学与工程学院
-
出处
《科学技术与工程》
2006年第17期2799-2804,共6页
-
文摘
提出了一种混合类测试模型,能在基于状态的测试中提供有效数据流分析。该模型不仅包含了当前测试类的状态转换信息,且包含了从其执行代码所得到的数据成员的定义及使用信息。基于新测试模型所生成的测试用例主要克服了基于状态的测试不能检测与状态无关数据成员的缺陷,且保证了定义-使用路径的可执行性,能较好地缓解以往数据流测试开销大、效率低的问题。
-
关键词
面向对象
测试用例
混合类测试模型
定义-使用路径
-
Keywords
object-oriented
test case
composite class testing model
definition-use path
-
分类号
TP393.06
[自动化与计算机技术—计算机应用技术]
-
