UML Based Hybrid Model for Generation of Software Reliability Test Cases

王昕; 覃征; 韩峰岩

您当前的位置：

首页 >

文章列表页 >

UML Based Hybrid Model for Generation of Software Reliability Test Cases

更新时间：2025-12-08

- UML Based Hybrid Model for Generation of Software Reliability Test Cases
- Vol. 41, Issue 4, Pages: 421-425(2007)
- 作者机构：
  
  西安交通大学电子与信息工程学院,西安,710049
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Online First：10 April 2007，
  
  Published：2007
- 稿件说明：
移动端阅览
王昕, 覃征, 韩峰岩. UML Based Hybrid Model for Generation of Software Reliability Test Cases[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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Test Case Generation Based on UML2.0 Models

Modeling and Testing Methods of Business Process

Research on Test Cases Distribution for Performance Evaluation of 5G Communication Base Station Management System

Mechanism and Optimal Control Strategy for Hysteresis in Rapid Dehumidification Response of Indirect Thermal Systems in Electric Vehicles

I/O Performance Modeling and Prediction Method for Large-Scale Parallel Applications Using Machine Learning

Related Author

张琛 1

段振华 1

丁明 1

张书玲 1

张琛 3

LI Yizhen

Related Institution

Institute of Computing Theory and Technology, Xidian University

State Key Laboratory of Integrated Service Networks, Xidian University

School of Information Science and Technology, Northwest University

Xi'an Aeronautics Computing Technique Research Institute, Aviation Industry Corporation of China

MOE Key Lab for Intelligent and Network Security, Xi'an Jiaotong University

⁰