期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于控制流的形式化程序测试
被引量:
1
1
作者
章靠
丁佐华
《浙江理工大学学报(自然科学版)》
2008年第3期287-291,共5页
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后,通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行,避免了隐...
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后,通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行,避免了隐含的不可行路径,复杂度分析表明该方法可以避免状态爆炸问题。
展开更多
关键词
软件测试
序列程序
形式化方法
下载PDF
职称材料
基于事件图的并发软件测试
2
作者
章靠
丁佐华
《四川大学学报(工程科学版)》
EI
CAS
CSCD
北大核心
2007年第S1期5-9,共5页
通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一...
通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一次模拟,所以所有的用例都是有效的;3)由于事件图中的状态是有限的,所以在生成用例的过程中不会出现状态爆炸。
展开更多
关键词
软件测试
并发程序
事件图
下载PDF
职称材料
基于微分方程的程序性能分析
3
作者
吴正志
章靠
丁佐华
《计算机工程与应用》
CSCD
北大核心
2009年第13期78-80,共3页
基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度。该方法的好处在于在做程序分析时,可避开状态...
基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度。该方法的好处在于在做程序分析时,可避开状态爆炸问题。
展开更多
关键词
性能分析
连续PETRI网
微分方程
下载PDF
职称材料
题名
基于控制流的形式化程序测试
被引量:
1
1
作者
章靠
丁佐华
机构
浙江理工大学信息电子学院
出处
《浙江理工大学学报(自然科学版)》
2008年第3期287-291,共5页
基金
国家863基金资助项目(2006AA01Z165)
文摘
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后,通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行,避免了隐含的不可行路径,复杂度分析表明该方法可以避免状态爆炸问题。
关键词
软件测试
序列程序
形式化方法
Keywords
software testing
sequential programs
formal method
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于事件图的并发软件测试
2
作者
章靠
丁佐华
机构
浙江理工大学数学计算与软件工程中心
出处
《四川大学学报(工程科学版)》
EI
CAS
CSCD
北大核心
2007年第S1期5-9,共5页
基金
国家"863"基金资助项目(2006AA01Z165)
文摘
通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一次模拟,所以所有的用例都是有效的;3)由于事件图中的状态是有限的,所以在生成用例的过程中不会出现状态爆炸。
关键词
软件测试
并发程序
事件图
Keywords
software testing
concurrent program
event graph
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于微分方程的程序性能分析
3
作者
吴正志
章靠
丁佐华
机构
浙江理工大学数学计算与软件工程中心
出处
《计算机工程与应用》
CSCD
北大核心
2009年第13期78-80,共3页
基金
国家高技术研究发展计划(863)No.2006AA01Z165~~
文摘
基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度。该方法的好处在于在做程序分析时,可避开状态爆炸问题。
关键词
性能分析
连续PETRI网
微分方程
Keywords
performance analysis
continuous Petri net
differential equation
分类号
TP302.7 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于控制流的形式化程序测试
章靠
丁佐华
《浙江理工大学学报(自然科学版)》
2008
1
下载PDF
职称材料
2
基于事件图的并发软件测试
章靠
丁佐华
《四川大学学报(工程科学版)》
EI
CAS
CSCD
北大核心
2007
0
下载PDF
职称材料
3
基于微分方程的程序性能分析
吴正志
章靠
丁佐华
《计算机工程与应用》
CSCD
北大核心
2009
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部