期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
异常结构对Java程序分析的影响 被引量:3
1
作者 张聪品 丁辉 《计算机应用》 CSCD 北大核心 2002年第12期87-88,91,共3页
在软件工程任务中,通常使用控制流、数据流、控制依赖等程序分析技术分析和理解程序,并把得到的信息用于任务中。当前许多流行的程序设计语言提供了完善的异常处理机制,文中以Java语言为例,讨论了程序中的异常结构对上述分析技术的影响。
关键词 异常结构 JAVA语言 程序分析 控制分析 数据流分析 控制依赖分析 软件维护 软件工程
在线阅读 下载PDF
基于EFSM模型的等价类测试 被引量:7
2
作者 易国洪 卢炎生 《计算机科学》 CSCD 北大核心 2007年第1期281-284,共4页
等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFS... 等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFSM模型数据依赖和控制依赖分析,给出了等价类测试划分的具体方法和算法,并给出了等价类划分方法的完备性和无冗余性证明。 展开更多
关键词 EFSM 等价类 软件测试 数据依赖分析 控制依赖分析
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部