公开(公告)号：CN1472652A

公开(公告)日：2004-02-04

申请号：CN03178449.6

申请日：2003-07-17

Applicant: 中国科学院计算技术研究所

Inventor： 张广梅 ,  徐勇军 ,  李晓维

IPC: G06F11/36

Abstract: 本发明涉及软件工程技术中的面向动态资源的管理模式、基于动态资源管理错误的软件故障模型及动态资源管理错误的检测方法。动态资源管理结构由程序开始、资源分配、资源使用、资源回收和程序结束组成。动态资源管理错误的软件故障模型包括资源分配错误、资源使用错误、资源回收错误及程序的非法结束错误。动态资源管理错误的检测方法包括：资源申请故障检测、资源非法使用故障检测、资源回收故障检测、程序非法结束故障检测。对大量故障程序进行分析的基础上，提出了面向动态资源管理的软件故障模型，在此基础上提出了对各种故障类型的检测方法。从而克服软件测试工作的盲目性，能更有效的利用测试的结果对软件可靠性等评价软件质量的指标进行评估。

公开(公告)号：CN1310151C

公开(公告)日：2007-04-11

申请号：CN03178449.6

申请日：2003-07-17

Applicant: 中国科学院计算技术研究所

Inventor： 张广梅 ,  徐勇军 ,  李晓维

IPC: G06F11/36

Abstract: 本发明涉及软件工程技术中的面向动态资源的管理模式、基于动态资源管理错误的软件故障模型及动态资源管理错误的检测方法。动态资源管理结构由程序开始、资源分配、资源使用、资源回收和程序结束组成。动态资源管理错误的软件故障模型包括资源分配错误、资源使用错误、资源回收错误及程序的非法结束错误。动态资源管理错误的检测方法包括：资源申请故障检测、资源非法使用故障检测、资源回收故障检测、程序非法结束故障检测。对大量故障程序进行分析的基础上，提出了面向动态资源管理的软件故障模型，在此基础上提出了对各种故障类型的检测方法。从而克服软件测试工作的盲目性，能更有效的利用测试的结果对软件可靠性等评价软件质量的指标进行评估。