
一种面向动态资源管理的软件故障检测方法
- 申请号:CN03178449.6
- 专利类型:发明专利
- 申请(专利权)人:中国科学院计算技术研究所
- 公开(公开)号:CN1472652
- 公开(公开)日:2004.02.04
- 法律状态:专利申请权、专利权的转移
- 出售价格: 面议 立即咨询
专利详情
专利名称 | 一种面向动态资源管理的软件故障检测方法 | ||
申请号 | CN03178449.6 | 专利类型 | 发明专利 |
公开(公告)号 | CN1472652 | 公开(授权)日 | 2004.02.04 |
申请(专利权)人 | 中国科学院计算技术研究所 | 发明(设计)人 | 张广梅;徐勇军;李晓维 |
主分类号 | G06F11/36 | IPC主分类号 | G06F11/36 |
专利有效期 | 一种面向动态资源管理的软件故障检测方法 至一种面向动态资源管理的软件故障检测方法 | 法律状态 | 专利申请权、专利权的转移 |
说明书摘要 | 本发明涉及软件工程技术中的面向动态资源的 管理模式、基于动态资源管理错误的软件故障模型及动态资源 管理错误的检测方法。动态资源管理结构由程序开始、资源分 配、资源使用、资源回收和程序结束组成。动态资源管理错误 的软件故障模型包括资源分配错误、资源使用错误、资源回收 错误及程序的非法结束错误。动态资源管理错误的检测方法包 括:资源申请故障检测、资源非法使用故障检测、资源回收故 障检测、程序非法结束故障检测。对大量故障程序进行分析的 基础上,提出了面向动态资源管理的软件故障模型,在此基础 上提出了对各种故障类型的检测方法。从而克服软件测试工作 的盲目性,能更有效的利用测试的结果对软件可靠性等评价软 件质量的指标进行评估。 |
交易流程
-
01
选取所需
专利 -
02
确认专利
可交易 - 03 签订合同
- 04 上报材料
-
05
确认变更
成功 - 06 支付尾款
- 07 交付证书
过户资料
平台保障
1、源头对接,价格透明
2、平台验证,实名审核
3、合同监控,代办手续
4、专员跟进,交易保障
- 用户留言
暂时还没有用户留言