-
题名过程模型切片技术的研究
被引量：1
- 1
-
-
作者
刘鹏
周伯生
-
机构
北京航空航天大学计算机学院
-
出处
《计算机应用与软件》
CSCD
2010年第2期88-89,114,共3页
-
基金
北京市科技计划(y0105001040521)
-
文摘
将程序切片技术引入到过程模型中,定义过程模型中的关联关系和数据连接关系,在此基础上给出了过程模型的切片定义,并定义了过程模型的三种切片:前向切片,后向切片和双向切片,提出了前向切片、后向切片和双向切片的算法,最后通过实例分析证明了该算法的可行性和实用性。
-
关键词
过程模型
程序切片
过程模型切片
前向切片
后向切片
双向切片
-
Keywords
Process model Program slicing Process model slicing Forward slicing Backward slicing Bidirectional slicing
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于切片技术获取系统测试用例的方法
被引量：4
- 2
-
-
作者
罗文劼
周伯生
王慧
朱令娴
-
机构
北京航空航天大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第13期13-15,18,共4页
-
基金
国家自然科学基金资助项目(60772073)
北京市科技计划课题基金资助项目(y0105001040521)
-
文摘
针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。
-
关键词
过程模型
系统测试用例
过程模型切片
-
Keywords
process model
system test case
process model slice
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
