基于UML的软件可靠性测试用例生成的混合模型

王昕; 覃征; 韩峰岩

您当前的位置：

首页 >

文章列表页 >

基于UML的软件可靠性测试用例生成的混合模型

专题研究 | 更新时间：2025-12-08

- 基于UML的软件可靠性测试用例生成的混合模型
- UML Based Hybrid Model for Generation of Software Reliability Test Cases
- 西安交通大学学报 2007年41卷第4期页码：421-425
- 作者机构：
  
  西安交通大学电子与信息工程学院,西安,710049
- 作者简介：
- 基金信息：
  
  : 2006-09-01. 作者简介: 王昕(1978～),女,博士生;覃征(联系人),男,教授,博士生导师. 基金项目: 国家重点基础研究发展规划资助项目(2004CB719401)
- DOI：
  中图分类号： TP311
- 网络首发：2007-04-10，
  
  纸质出版：2007
- 稿件说明：
移动端阅览
王昕, 覃征, 韩峰岩. 基于UML的软件可靠性测试用例生成的混合模型[J]. 西安交通大学学报, 2007,41(4):421-425.

王昕, 覃征, 韩峰岩. UML Based Hybrid Model for Generation of Software Reliability Test Cases[J]. 2007, 41(4): 421-425.
王昕, 覃征, 韩峰岩. 基于UML的软件可靠性测试用例生成的混合模型[J]. 西安交通大学学报, 2007,41(4):421-425. DOI：

王昕, 覃征, 韩峰岩. UML Based Hybrid Model for Generation of Software Reliability Test Cases[J]. 2007, 41(4): 421-425. DOI：

摘要

为了解决实时控制系统软件可靠性测试用例生成的问题

在分析操作剖面模型和Markov链模型的基础上

提出了一种基于UML的混合模型.该模型用操作剖面模型来定义使用用例

并将状态图嵌入其中以表述该用例的动态特性.通过平展状态图获得使用图

使用图按一定的概率迁移

从而获得用Markov链表示的使用模型

而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例.通过雷达波束调度软件可靠性测试表明

按所提模型在各测试周期生成的测试用例集的框架稳定性比较好

测试用例极少出现重复现象

它综合了操作剖面模型和Markov链模型的优点

可用于开发实时控制系统的软件可靠性测试用例.

Abstract

In order to produce reliability test cases for real-time control software

a hybrid model based on UML is presented by analyzing the operational profile model and Markov chain model. The use-cases are defined by using operational profile model with imbedded state-graph to describe its dynamic characteristics. The usage graphs can be obtained by flattened state diagrams

and the usage model denoted by Markov chains is obtained according to certain transfer probability. The use-cases defined by operational profile model combine with Markov chain state transfer model to generate software reliability test cases. The reliability test of radar beam control software shows that the frame of test case set generated by the proposed model in each test period is stabler and few repeated case occurs. This model has the advantages that the operational profile model and Markov chain model possess

and is applicable for developing reliability test cases for real-time control software.

关键词

Keywords

references

Musa J D. Operational profiles in software-reliability engineering [J]. IEEE Trans Software,1993,10(2):14-32.

Woit D. Operational profile specification, test case generation, and reliability estimation for modules [D]. Kingston, Canada: Telecommunications Research Institute of Ontario(TRIO), McMaster University, 1994.

Ouabdesselam F, Parissis I. Constructing operational profiles for synchronous critical software[C]∥Proceedings of 6th International Symposium on Software Reliability Engineering. Los Alamitos, USA: IEEE Computer Society,1995:286-293.

Elbaum S, Narla L S. A methodology for operational profile refinement [EB/OL].[2006-01-21]. http:∥www.cse.unl.edu/elbaum/papers/workshops/rm01.pdf.

Whittaker J A, Poore J H. Markov analysis of software specifications [J]. ACM Transactions on Software Engineering and Methodology, 1993, 2(1):93-106.

Whittaker J A,Thomason M G. A Markov chain model for statistical software testing [J]. IEEE Transactions on Software Engineering, 1994, 20(10):812-824.

Wohlin C, Runeson P. Certification of software components [J]. IEEE Transactions on Software Engineering, 1994, 20(6):494-499.

Shukla R, Carrington D, Strooper P. Systematic operational profiles development for software components[C]∥Proceedings of the 11th Asia-Pacific Software Engineering Conference. Los Alamitos, USA: IEEE Computer Society, 2004:528-537.

Kim Y G, Hong H S, Cho S M, et al. Test cases generation from UML state diagrams [J]. IEEE Proceedings-Software, 1999,146(4):187-192.

Hubner M, Philippow I. Statistical usage testing based on UML[EB/OL]. [2006-01-15]. http:∥www.theoinf.tu-ilmenau.de/～riebisch/publ/SCI2003-paper.pdf.

Riebisch M, Philippow I. UML-based statistical test case generation [C]∥International Conference on Objects, Components, Architectures, Services, and Applications for a Networked World. Berlin: Springer-Verlag, 2003:394-411.

颜炯,王戟,陈火旺. 基于UML的软件Markov链使用模型构造研究 [J].软件学报,2005,16(8):1386-1394.

Yan Jiong, Wang Ji, Chen Huowang. Deriving software Markov chain usage model from UML models[J]. Journal of Software, 2005, 16(8):1386-1394.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

应用UML2.0模型的测试用例生成方法

业务流程建模与测试方法研究

面向5G通信基站管理系统性能评估的测试用例分布规律研究

面向高海拔空冷发电机防晕性能演化规律的电热耦合研究

超临界二氧化碳向心透平轮背间隙内风阻损失及流动特性研究