基于CSTM模型测试数据转换的构件软件可靠性分析方法技术

基于CSTM模型测试数据转换的构件软件可靠性分析方法，本发明专利技术涉及一种软件可靠性分析方法。它为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息，没有考虑软件的体系结构的缺点，本发明专利技术是测试数据转换的方法来实现黑盒方法和白盒方法的结合。它首先采用白盒方法实现构件软件测试剖面到运行剖面的映射，建立NHPP模型需要的可靠性数据集，然后采用黑盒方法建立构件软件应用的NHPP模型。测试数据转换的目的是将分阶段实现的、异构的构件软件灰盒测试过程转换成满足NHPP模型假设的单调统一的黑盒测试过程，把所有构件的单元测试数据和集成测试中构件之间的接口失效数据转换成整个应用基础上的黑盒测试数据，建立满足NHPP模型假设的可靠性数据集。

【技术实现步骤摘要】

本专利技术涉及一种软件可靠性分析方法。
技术介绍
鉴于NHPP类软件可靠性增长模型在实际应用中的优秀表现，近年来人们开始研究如何建立构件软件应用的NHPP模型。但是，NHPP模型是一种黑盒模型，它们把软件看成一个单调的整体，只考虑软件同外部环境的交互，而不考虑软件的内部结构，因此这种黑盒模型不能适应大型的基于构件的新型软件开发模式。黑盒方法的缺点包括它们忽略了组成系统的构件的测试以及可靠性信息，没有考虑软件的体系结构。
技术实现思路
本专利技术为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息， 没有考虑软件的体系结构的缺点，而提出了一种基于CSTM模型测试数据转换的构件软件可靠性分析方法。基于CSTM模型测试数据转换的构件软件可靠性分析方法，对需要用到的模型和参数进行定义CSTM 模型CSTM模型定义为六元组<n，m, UT, WT, TD, Φ >，其中η表示构件总数；m表示白盒测试中集成构件的总次数；UT表示单元测试模型；WT表示白盒测试模型集，WT = { fei'}， i = 1，…，m，其中·7W表示Testi的白盒测试模型；TD表示整个测试过程中收集到的测试数据集；Φ表示某一构件是否参与某一阶段测试的所有标志集，用矩阵表示为权利要求1.基于CSTM模型测试数据转换的构件软件可靠性分析方法，其特征在于它首先对需要用到的模型和参数进行定义 CSTM模型CSTM模型定义为六元组<n，m, UT, WT, TD, Φ>，其中η表示构件总数；m表示白盒测试中集成构件的总次数；UT表示单元测试模型；WT表示白盒测试模型集，WT = (WMrest'}，i =1，…，m，其中WkT—表示Testi的白盒测试模型；TD表示整个测试过程中收集到的测试数据集；Φ表示某一构件是否参与某一阶段测试的所有标志集，用矩阵表示为全文摘要基于CSTM模型测试数据转换的构件软件可靠性分析方法，本专利技术涉及一种软件可靠性分析方法。它为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息，没有考虑软件的体系结构的缺点，本专利技术是测试数据转换的方法来实现黑盒方法和白盒方法的结合。它首先采用白盒方法实现构件软件测试剖面到运行剖面的映射，建立NHPP模型需要的可靠性数据集，然后采用黑盒方法建立构件软件应用的NHPP模型。测试数据转换的目的是将分阶段实现的、异构的构件软件灰盒测试过程转换成满足NHPP模型假设的单调统一的黑盒测试过程，把所有构件的单元测试数据和集成测试中构件之间的接口失效数据转换成整个应用基础上的黑盒测试数据，建立满足NHPP模型假设的可靠性数据集。文档编号G06F11/36GK102306123SQ20111031210公开日2012年1月4日 申请日期2011年10月14日 优先权日2011年10月14日专利技术者付忠传, 侯春燕, 刘刚, 刘宏伟, 吴祥虎, 崔刚, 张楠, 张策, 朱东杰, 王秀峰 申请人:哈尔滨工业大学本文档来自技高网...

【技术保护点】
１．基于ＣＳＴＭ模型测试数据转换的构件软件可靠性分析方法，其特征在于它首先对需要用到的模型和参数进行定义：ＣＳＴＭ模型：ＣＳＴＭ模型定义为六元组（ｎ，ｍ，ＵＴ，ＷＴ，ＴＤ，Φ），其中ｎ表示构件总数；ｍ表示白盒测试中集成构件的总次数；ＵＴ表示单元测试模型；ＷＴ表示白盒测试模型集，　ｉ＝１，…，ｍ，其中　表示Ｔｅｓｔｉ的白盒测试模型；ＴＤ表示整个测试过程中收集到的测试数据集；Φ表示某一构件是否参与某一阶段测试的所有标志集，用矩阵表示为公式一式中Ｔｅｓｔｉ——构件软件测试过程中第ｉ个测试阶段，如公式二所示；——指示构件ｃｊ是否参与Ｔｅｓｔｉ，如公式三所示；公式二公式三测试数据集ＴＤ：ＴＤ表示整个测试过程中收集到的测试数据集，表示为公式四式中　——在Ｔｅｓｔｉ期间收集到的构件ｃｊ失效数据的有序集，表示为公式五式中　——在Ｔｅｓｔｉ期间收集到的构件ｃｊ的失效数据，满足——失效发生的时间；——在　时刻发生失效的数目；单元测试模型ＵＴ：ＵＴ建模单元测试过程，ＵＴ定义为ｎ元组（ｂ１，ｂ２，…，ｂｎ），其中ｂｊ表示对构件ｃｊ执行单元测试总时间的期望值；白盒测试模型建模Ｔｅｓｔｉ；　定义为二元组　其中　表示Ｔｅｓｔｉ的测试剖面；　表示Ｔｅｓｔｉ执行总时间的期望值；构件依赖图建模Ｔｅｓｔｉ的测试剖面；　定义为四元组　其中　表示节点集，　是有向边集，　ｓ表示起始节点；ｔ表示终止节点；有向边建模Ｔｅｓｔｉ中从构件ｃｊ到构件ｃｋ的控制流转移；　定义为三元组　其中表示转移的名字；表示中从构件　　转移到构件时构件ｃｊ的平均执行时间；　表示Ｔｅｓｔｉ中构件ｃｊ当前执行的情况下，构件ｃｋ下一个执行的条件概率；节点建模Ｔｅｓｔｉ中的构件ｃｊ；　定义为三元组　其中　表示节点的名字；　表示Ｔｅｓｔｉ当前子系统中构件ｃｊ执行的稳态概率；　表示Ｔｅｓｔｉ中构件ｃｊ的执行时间比例，定义为公式六和　是对当前集成测试子系统的测试剖面进行白盒分析的结果，求解方法与改　进的可加模型中相同；　定义了当前子系统测试过程中对构件的使用情况，实现了对不同集成测试阶段的测试剖面之间的映射关系建模；基于ＣＳＴＭ的测试数据转换是通过以下三个步骤实现的：步骤１：将所有构件的白盒测试数据转化为单元测试数据；对构件在不同测试阶段的测试数据进行测试阶段归一化处理；基于执行时间比例的定义，通过实现构件白盒测试剖面到单元测试剖面之间的映射来完成数据转换；选择单元测试阶段作为归一化阶段；根据公式四，任意构件ｃｊ（ｊ＝１，…，ｎ）的测试数据集表示为　设其转化后的数据集为Ｔ′ｊ＝｛（ｔ′ｊｋ，ｎ′ｊｋ）｝，其中公式七公式八步骤２：将步骤１中得到的构件单元测试数据转化成对整个构件软件应用执行基于其运行剖面的黑盒测试情况下的测试数据；数据转换是建立满足ＮＨＰＰ模型假设的测试数据集；设转化后的数据集为Ｔｊ＝｛（ｔｊｋ，ｎｊｋ）｝，其中公式九公式十步骤３：建立可靠性数据集；通常，用于可靠性分析的测定数据分为以下两类：第一类，记录软件故障的时间间隔的测定数据；第二类，记录规定时间区间内发现差错数的测定数据；使用第二类方式来建立可靠性数据集，　　即关于一定时间区间（０，ｔｈ）（ｈ＝１，２，…，ｎ；０＜ｔ１＜ｔ２＜…＜ｔｎ）内被发现的差错总数Ｙｈ的数据；基于步骤２中建立的系统测试数据集，Ｙｈ表示为公式十一　。...

【技术特征摘要】

【专利技术属性】
技术研发人员：崔刚，侯春燕，刘宏伟，刘刚，付忠传，吴祥虎，张楠，王秀峰，朱东杰，张策，
申请(专利权)人：哈尔滨工业大学，
类型：发明
国别省市：93