基于UML的软件需求缺陷形式化建模分析

论文摘要

为了提高对软件需求缺陷的主动检测能力,提出一种基于统一建模语言(UML)的软件需求缺陷形式化建模方法。分析软件需求及可靠运行的质量指标体系,结合UML指令集分析软件需求缺陷的统计特征,得到软件需求缺陷形式化建模的关联特征量。根据软件需求缺陷的分类属性进行缺陷定位检测,提取软件缺陷的特征碎片,采用信息增益调度方法进行软件需求缺陷的UML指令集建模,构建软件需求缺陷的标准特征集,将待检测软件的需求缺陷问题转换为求信息增益的软件特征问题,采用UML标准化的建模方法实现对的软件需求缺陷形式化建模。测试结果表明,采用该方法进行软件需求缺陷形式化建模,能准确预测软件需求缺陷,提高了软件的兼容性和使用周期。

论文目录

• 0 引言
• 1 软件需求缺陷形式化建模的指标分析和量化特征
•   1.1 软件需求缺陷形式化建模的指标分析
•   1.2 软件需求缺陷的量化特征分析
• 2 软件需求缺陷的形式化建模优化
•   2.1 软件需求缺陷的UML指令集建模
•   2.2 软件需求缺陷形式化建模实现
• 3 仿真实验分析
• 4 结语

文章来源

类型: 期刊论文

作者: 肖哲韬,刘振宇

关键词: 软件需求,缺陷,形式化建模

来源: 自动化与仪器仪表 2019年12期

年度: 2019

分类: 信息科技

专业: 计算机软件及计算机应用

单位: 南华大学计算机科学与技术学院

分类号: TP311.52

DOI: 10.14016/j.cnki.1001-9227.2019.12.083

页码: 83-86

总页数: 4

文件大小: 413K

下载量: 226