[发明专利]一种面向动态资源管理的软件故障检测方法有效
申请号: | 03178449.6 | 申请日: | 2003-07-17 |
公开(公告)号: | CN1472652A | 公开(公告)日: | 2004-02-04 |
发明(设计)人: | 张广梅;徐勇军;李晓维 | 申请(专利权)人: | 中国科学院计算技术研究所 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 中科专利商标代理有限责任公司 | 代理人: | 周国城 |
地址: | 100080*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及软件工程技术中的面向动态资源的管理模式、基于动态资源管理错误的软件故障模型及动态资源管理错误的检测方法。动态资源管理结构由程序开始、资源分配、资源使用、资源回收和程序结束组成。动态资源管理错误的软件故障模型包括资源分配错误、资源使用错误、资源回收错误及程序的非法结束错误。动态资源管理错误的检测方法包括:资源申请故障检测、资源非法使用故障检测、资源回收故障检测、程序非法结束故障检测。对大量故障程序进行分析的基础上,提出了面向动态资源管理的软件故障模型,在此基础上提出了对各种故障类型的检测方法。从而克服软件测试工作的盲目性,能更有效的利用测试的结果对软件可靠性等评价软件质量的指标进行评估。 | ||
搜索关键词: | 一种 面向 动态 资源管理 软件 故障 检测 方法 | ||
【主权项】:
1、一种面向动态资源管理模式结,动态资源管理由程序开始S(p)、资源分配A(res)、资源使用U(res)、资源回收R(res)和程序结束E(p)组成,动态资源的使用必须遵循下面的过程:程序开始S(p)之后进行资源分配A(res),在对资源分配的结果进行正确性检测的基础上进行资源使用U(res),在程序结束E(p)前,必须进行资源的回收R(res),其中,在资源管理过程中资源的分配、使用、回收是一个可重复的过程。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学院计算技术研究所,未经中国科学院计算技术研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/03178449.6/,转载请声明来源钻瓜专利网。