切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
面向对象程序的异常分析与测试方法述评
面向对象程序的异常分析与测试方法述评
来源 :计算机应用研究 | 被引量 : 29次 | 上传用户:Fllyy
【摘 要】
:
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。
【作 者】
:
毛澄映
卢炎生
闫伟
江胜
【机 构】
:
华中科技大学计算机科学与技术学院,江西财经大学软件学院
【出 处】
:
计算机应用研究
【发表日期】
:
2007年08期
【关键词】
:
异常处理
分析与测试
控制流图
形式推理
覆盖准则
exception handling
analysis and testing
control flow
【基金项目】
:
国家“十五”科技预研基金资助项目(41315.9.2,10104010201),湖北省自然科学基金资助项目(2005ABA266)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。
其他文献
基于连续组织切片的神经三维可视化研究
提出了一个神经三维可视化系统的架构,研究了基于连续组织切片的神经三维可视化技术。其中针对神经切片图像和解剖结构的特殊性,结合不变矩,考虑空间约束关系对轮廓进行了有效对应;求取神经中心线并获得其拓扑结构,以此为基础提出了基于三维结构的神经束组分类算法并给出了利用该算法进行实验的结果。
期刊
神经
三维可视化
轮廓对应
中心线
分类
nerve
3 D visualization
contour correspondence
center
分布式视频编码关键技术及研究进展
系统地阐述了分布式视频编码(distributed video coding,DVC)技术框架的基本原理和近五年的发展历程;列举了国内外多个研究小组的基本思想研究现状;分析了分布式视频编码技术的发展趋势;揭示了技术的关键和研究热点;展望了该技术在信息安全、可伸缩编码、多描述编码以及光场编码中的应用前景。
期刊
分布式信源编码
低复杂度视频编码
鲁棒视频传输
WYNER-ZIV编码
多视角编码
distributed source coding
low-complex
利用反向光线弯曲实现体数据模型的自由变形模拟
提出了一种用反向光线弯曲绘制体数据自由变形的方法,并将经典的体绘制优化技术引入到基于反向光线弯曲的变形体数据绘制算法中,避免了变形绘制过程中大量对绘制结果没有贡献的无效运算。实验结果表明体数据变形绘制方法可明显加快变形绘制模拟速度。
期刊
体绘制
变形
算法优化
volume rendering
deformation
algorithm optimization
具有消息恢复的指定验证者的代理签名方案
提出了一种具有消息恢复的指定验证者的代理签名方案。由于指定的验证者可以恢复消息并验证签名,与其他代理签名方案相比,减少了传输消息本身所需要的费用。
期刊
代理签名
指定验证者
消息恢复
离散对数
proxy signature
desinated verifier
message recovery
dis
发展安全的公钥密码系统的新方法研究
从确保密钥真实性的角度介绍了传统公钥基础设施、基于身份的公钥密码系统以及最近提出的两个新思路,即基于证书的加密和无证书的公钥密码系统;分析比较了它们各自的基本思想、优缺点,并对未来的发展方向进行了展望。
期刊
公钥基础设施
基于身份的公钥密码系统
基于证书的加密
无证书的公钥密码系统
public key infrastructure( PKI )
identit
其他学术论文