-
题名基于UML的软件Markov链使用模型的构建
被引量：7
- 1
-
-
作者
吴彩华
刘俊涛
彭世蕤
李海鸿
-
机构
空军雷达学院信息对抗系信息作战指挥教研室
军械工程学院计算机工程系软件工程教研室
华中科技大学电子与信息工程系
空军雷达学院信息对抗系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第8期1811-1819,共9页
-
基金
河北省自然科学基金项目(F2009001435)
-
文摘
构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利于测试用例的自动生成及软件可靠性评估.针对以上问题,提出了一种由UML模型构建Markov链使用模型的方法.该方法将场景的前置条件和后置条件作为Markov链使用模型的状态,将场景的执行及执行概率作为状态之间的转移及转移概率.与现有方法相比,新方法构建的Markov链使用模型的状态空间小且无需人为干预,而且可以很方便地生成测试输入从而进行可靠性测试.针对UML模型的有效性,提出了经过可靠性评估扩展的UML模型生成Markov链使用模型的验证算法.最后通过一个卫星控制系统的实例对新方法的性能进行了验证.
-
关键词
UML
MARKOV链
使用模型
可靠性评估
测试用例
-
Keywords
UML
Markov chain
usage model
reliability evaluation
test ease
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种新的软件可靠性增长模型
被引量：4
- 2
-
-
作者
吴彩华
朱小冬
刘俊涛
王毅刚
-
机构
空军雷达学院信息对抗系信息作战指挥教研室
军械工程学院装备指挥与管理系维修工程研究所
军械工程学院计算机工程系软件工程教研室
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2009年第8期2024-2028,共5页
-
基金
"十一五"国防预先研究基金(513270104)资助课题
-
文摘
在软件测试阶段,由于加速测试的影响,用软件可靠性增长模型测得的运行阶段可靠性很难真实反映实际运行时的可靠性。因此,修正了软件测试环境与运行环境相同的假设,针对测试阶段排错过程的延迟性,提出在测试阶段要把软件检错过程和排错过程结合起来建模。通过采用不同的故障检错率函数减少了测试与运行环境的差别,并结合移动点技术,提出了一个新的考虑测试环境和运行环境不同的可靠性增长模型(TDO-SRGM)。在两个公开发表的数据集上进行的拟合试验和预测试验证明,该模型具有很好的拟合效果和预测能力。
-
关键词
软件可靠性
增长模型
移动点
检错过程
排错过程
-
Keywords
software reliability
growth model
change-point
detection process
correction process
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
N941.5
[自然科学总论—系统科学]
-
-
题名基于.NET平台的数据库查询构件的设计与实现
被引量：2
- 3
-
-
作者
蒋大刚
王红胜
-
机构
军械工程学院计算机工程系软件工程教研室
-
出处
《科学技术与工程》
2008年第15期4373-4375,共3页
-
文摘
构件及面向构件的软件开发技术正在成为软件复用技术的核心,它们使软件系统的快速开发成为可能。本文通过对.NET构件规范的研究,设计并实现了一个数据库查询构件。此构件可以在基于.NET平台的信息管理系统的开发中重复使用,为信息管理系统的快速开发提供了有力的支持。同时,文中对该构件的设计思路及实现过程均进行了比较详细的介绍,为其它类似构件的实现提供了一个参考。
-
关键词
.NETFramework
构件
数据库查询
-
Keywords
. NET framework component database selecting
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
