检索结果-南通市图书馆

Extended research on software hybrid testing combining reliability and directed testing

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2011年第5期22卷 856-865页

作者： Haifeng Li Yongqi Zhang minyan lu School of Reliability and Systems Engineering Beihang University Beijing 100191 E R. China China Network Communication Group Beijing 100036 P. R. China

The software reliability testing has many disadvantages in practice, such as high complexity of constructing operational profiles and poor fault detection efficiency. Oppositely, the directed testing with a high fault detection rate is incapable of estimating reliability quantificationally. To solve this problem, a hybrid testing combining reliability and directed testing as well as a reliability model based on the order statistic （OS） model were presented by Mitchell. An extended research on Mitchell＇s work is proposed. Firstly, the most proper distribution of the fault＇s failure rate which tends to be Iognormal is suggested, and a detailed form of the OS model based on Iognormal and the corresponding parameter estimation method are proposed, respectively. Secondly, an im- plementing framework for the hybrid testing is proposed. Finally, the hybrid testing and the OS model are applied on a real website system. The experimental results indicate： the hybrid testing has more efficient fault detection power and lower testing cost than the reliability testing; compared with three traditional software reliabil ity growth models, the OS model has a best or pretty estimation or prediction power for each data set; and for the failure data set collected from hybrid testing, the OS model also achieves an ac- ceptable estimation result.

关键词： hybrid testing reliability testing directed testing relia- bilitv model order statistic (OS).

Model-based robustness testing for avionics-embedded software

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2013年第3期26卷 730-740页

作者： Yang Shunkun Liu Bin Wang Shihai lu minyan School of Reliability and Systems Engineering Beihang University Science & Technology on Reliability & Environmental Engineering Laboratory

Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.

关键词： Embedded software Hardware-in-loop Model-based testing Robustness testing Testing environment

Incorporating S-shaped testing-effort functions into NHPP software reliability model with imperfect debugging

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2015年第1期26卷 190-207页

作者： Qiuying Li Haifeng Li minyan lu School of Reliability and Systems Engineering Beihang University Science & Technology on Reliability & Environmental Engineering Laboratory Quality Technique Center China Aero-polytechnology Establishment

Testing-effort（TE） and imperfect debugging（ID） in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models（SRGMs）. For describing the S-shaped varying trend of TE increasing rate more accurately, first, two S-shaped testing-effort functions（TEFs）, i.e.,delayed S-shaped TEF（DS-TEF） and inflected S-shaped TEF（IS-TEF）, are proposed. Then these two TEFs are incorporated into various types（exponential-type, delayed S-shaped and inflected S-shaped） of non-homogeneous Poisson process（NHPP）SRGMs with two forms of ID respectively for obtaining a series of new NHPP SRGMs which consider S-shaped TEFs as well as ID. Finally these new SRGMs and several comparison NHPP SRGMs are applied into four real failure data-sets respectively for investigating the fitting and prediction power of these new *** experimental results show that：（i） the proposed IS-TEF is more suitable and flexible for describing the consumption of TE than the previous TEFs;（ii） incorporating TEFs into the inflected S-shaped NHPP SRGM may be more effective and appropriate compared with the exponential-type and the delayed S-shaped NHPP SRGMs;（iii） the inflected S-shaped NHPP SRGM considering both IS-TEF and ID yields the most accurate fitting and prediction results than the other comparison NHPP SRGMs.

关键词： testing-effort(TE) imperfect debugging(ID) software reliability growth models(SRGMs) S-shaped non-homogeneous Poisson process(NHPP)

在线全文

学校读者我要写书评

暂无评论

面向软件可靠性测试数据生成的剖面构造技术

计算机工程 2006年第22期32卷 7-9,45页

作者：艾骏陆民燕阮镰北京航空航天大学工程系统工程系北京100083

软件可靠性测试是软件可靠性工程中的一项重要工作内容,通过软件可靠性测试积累的软件失效数据可以为软件可靠性的评估、验证提供重要的度量依据。针对传统的基于操作剖面的可靠性测试方法对实时嵌入式软件的适用性差、测试难以实施的情... 详细信息

软件可靠性测试是软件可靠性工程中的一项重要工作内容,通过软件可靠性测试积累的软件失效数据可以为软件可靠性的评估、验证提供重要的度量依据。针对传统的基于操作剖面的可靠性测试方法对实时嵌入式软件的适用性差、测试难以实施的情况,在操作剖面的基础上提出了一种层次化网络体系结构的使用剖面的概念,并研究了构造使用剖面的系统方法,以及根据使用剖面生成用于实时嵌入式软件可靠性测试操作序列的方法。该方法适用于实时嵌入式软件,对其它非实时软件也具有参考价值。

关键词：软件可靠性软件测试操作剖面使用剖面

在线全文

学校读者我要写书评

暂无评论

嵌入式软件测试开发环境的框架设计

北京航空航天大学学报 2005年第3期31卷 336-340页

作者：章亮刘斌陆民燕北京航空航天大学工程系统工程系北京100083

采用软件设计上的复用思想 ,对嵌入式软件仿真测试环境进行框架的设计 ,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件 ,节省设计的时间和费用 .论述了由框架开发软件的过程 ,并把此过程应用于测试环境 ;对嵌入式软件仿真... 详细信息

采用软件设计上的复用思想 ,对嵌入式软件仿真测试环境进行框架的设计 ,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件 ,节省设计的时间和费用 .论述了由框架开发软件的过程 ,并把此过程应用于测试环境 ;对嵌入式软件仿真测试环境进行总体分析 ,确定了它的 3个主要组成部分 ;归纳出作为测试环境重要组成部分的测试开发环境的基本功能 ,并使用专门针对框架开发的UML F建模语言设计了一个框架 ;对已开发成功的测试开发环境框架 ,提出了具体的框架适配方案 .

关键词：嵌入式软件软件测试测试环境框架

ESRS评分结合弥散加权成像对TIA后继发脑梗死风险的预测价值

在线全文

学校读者我要写书评

暂无评论

中国医学计算机成像杂志 2021年第3期27卷 190-194页

作者：路阳陆敏艳南京医科大学附属江苏盛泽医院苏州215228

目的:探讨Essen卒中风险评分量表(ESRS)结合磁共振弥散加权成像(DWI)对短暂性脑缺血发作(TIA)后继发脑梗死风险的预测价值。方法:选取2016年1月至2018年1月在本院接受治疗的TIA患者176例为研究对象,均行ESRS评估及DWI检查。依据ESRS评... 详细信息

目的:探讨Essen卒中风险评分量表(ESRS)结合磁共振弥散加权成像(DWI)对短暂性脑缺血发作(TIA)后继发脑梗死风险的预测价值。方法:选取2016年1月至2018年1月在本院接受治疗的TIA患者176例为研究对象,均行ESRS评估及DWI检查。依据ESRS评分将患者分为低危组(125例)和高危组(51例),同时依据DWI检查结果将研究对象分为DWI阴性组(118例)和DWI阳性组(58例),随访记录研究对象7 d内是否发生脑梗死,比较低危组、高危组,DWI阴性组、DWI阳性组TIA患者7 d内脑梗死发生率。采用四格表分析ESRS评分联合DWI检查对TIA患者7d内是否发生脑梗死的诊断价值。分析DWI检查结果与TIA患者基本资料的关系,并采用logistic回归模型分析影响TIA患者7d内发生脑梗死的因素。结果:随访结果显示,176例研究对象7 d内有29例发生脑梗死,发生率为16.48%;高危组与低危组相比,TIA患者7 d内脑梗死发生率更高(P0.05),但TIA发作次数3=3、症状持续时间≥1h、心房颤动占比及低密度脂蛋白水平均高于DWI阴性组(P<0.05);多因素logistic回归分析结果表明,TIA发作次数、症状持续时间、心房颤动、低密度脂蛋白均是影响TIA患者7 d内脑梗死发生的因素(P<0.05)。结论:ESRS评分联合DWI检查对TIA短期继发脑梗死有一定预测价值,可为评估TIA患者临床预后提供参考依据。

关键词：短暂性脑缺血发作脑梗死 Essen卒中风险评分量表弥散加权成像预测价值

面向可靠性预计的软件运行时行为模型构造方法

在线全文

学校读者我要写书评

暂无评论

北京航空航天大学学报 2022年第5期48卷 786-794页

作者：李秋英陆民燕古廷阳北京航空航天大学可靠性与系统工程学院北京100083 可靠性与环境工程技术国防科技重点实验室北京100086

运行时行为模型构造是面向可靠性预计的软件运行时模型构造的组成部分,为软件可靠性预计提供运行时组件与组件之间的动态交互关系和状态之间的转移概率信息。基于Java开发平台提出了一种基于非侵入式监控的软件运行时行为模型的构造方法... 详细信息

运行时行为模型构造是面向可靠性预计的软件运行时模型构造的组成部分,为软件可靠性预计提供运行时组件与组件之间的动态交互关系和状态之间的转移概率信息。基于Java开发平台提出了一种基于非侵入式监控的软件运行时行为模型的构造方法,包括获得当前时刻的运行时体系结构模型;根据运行时体系结构模型确定监控对象;声明监控方法中的代理Bean;声明监控方法中的监控Bean,实现对组件动态调用信息的提取;声明代理Bean和监控Bean的接口;基于模型构造算法实现对运行时行为模型的构造等步骤。基于Rainbow-znn软件进行了实例应用,验证了所提方法的可行性。

关键词：软件可靠性非侵入式监控运行时行为模型组件动态调用信息运行时体系结构模型

基于Object-FMA的软件代码审查方法

在线全文

学校读者我要写书评

暂无评论

北京航空航天大学学报 2010年第12期36卷 1473-1479页

作者：黄百乔张虹陆民燕李震北京航空航天大学可靠性与系统工程学院北京100191

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替... 详细信息

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.

关键词：失效模式代码错误审查

基于Logistic测试覆盖率函数的软件可靠性建模研究

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2011年第2期48卷 232-240页

作者：李海峰李秋英陆民燕北京航空航天大学可靠性与系统工程学院北京100191

软件测试覆盖率是测试充分性和测试效率的有效度量指标,其与软件可靠性以及缺陷覆盖情况之间有着一定的相关关系,并且结合测试覆盖率信息的软件可靠性模型的评估和预计效果将会得到有效改进.在实际测试过程中,由于软件结构特征及学习因... 详细信息

软件测试覆盖率是测试充分性和测试效率的有效度量指标,其与软件可靠性以及缺陷覆盖情况之间有着一定的相关关系,并且结合测试覆盖率信息的软件可靠性模型的评估和预计效果将会得到有效改进.在实际测试过程中,由于软件结构特征及学习因素的综合影响,测试覆盖率可能会呈现出一种先增后减的趋势,Logistic函数恰好非常适合描述这类S形变化趋势,且结构简单,具有较好的灵活性与适应性.因此,针对基于Logistic函数的测试覆盖率函数以及软件可靠性建模等问题展开研究.首先提出基于Logistic函数的测试覆盖率函数;在该函数的基础上,提出基于Logistic测试覆盖函数的缺陷预计模型;然后,将NHPP可靠性模型的建模过程与Logistic测试覆盖函数相结合,提出一种新的考虑测试覆盖率的软件可靠性增长模型.实例验证结果表明:与若干已有的同类研究成果相比,提出的基于Logistic函数的测试覆盖率函数、缺陷预计模型以及软件可靠性增长模型有效地提高了函数或模型对数据的拟和精度,且具有较好的适用性.

关键词：测试覆盖率软件可靠性建模 Logistic函数缺陷预计模型软件可靠性增长模型