基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为了提高对软件需求缺陷的主动检测能力,提出一种基于统一建模语言(UML)的软件需求缺陷形式化建模方法.分析软件需求及可靠运行的质量指标体系,结合UML指令集分析软件需求缺陷的统计特征,得到软件需求缺陷形式化建模的关联特征量.根据软件需求缺陷的分类属性进行缺陷定位检测,提取软件缺陷的特征碎片,采用信息增益调度方法进行软件需求缺陷的UML指令集建模,构建软件需求缺陷的标准特征集,将待检测软件的需求缺陷问题转换为求信息增益的软件特征问题,采用UML标准化的建模方法实现对的软件需求缺陷形式化建模.测试结果表明,采用该方法进行软件需求缺陷形式化建模,能准确预测软件需求缺陷,提高了软件的兼容性和使用周期.
推荐文章
软件需求获取形式化的案例研究
需求获取
UML
用例驱动
B方法
形式化需求
基于UML的软件形式化需求分析与验证
需求分析
形式化方法
统一建模语言
需求验证
基于Petri网的UML形式化建模应用分析
眦形式化
状态图
序列图
Petri网
基于B的UML形式化需求分析
形式化方法
B方法
统一建模语言
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于UML的软件需求缺陷形式化建模分析
来源期刊 自动化与仪器仪表 学科 工学
关键词 UML 软件需求 缺陷 形式化建模
年,卷(期) 2019,(12) 所属期刊栏目 理论创新
研究方向 页码范围 83-86
页数 4页 分类号 TP391
字数 语种 中文
DOI 10.14016/j.cnki.1001-9227.2019.12.083
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 刘振宇 南华大学计算机科学与技术学院 47 293 8.0 16.0
2 肖哲韬 南华大学计算机科学与技术学院 1 1 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (76)
共引文献  (72)
参考文献  (13)
节点文献
引证文献  (1)
同被引文献  (3)
二级引证文献  (0)
1979(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(3)
  • 参考文献(0)
  • 二级参考文献(3)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(2)
  • 参考文献(0)
  • 二级参考文献(2)
2007(4)
  • 参考文献(0)
  • 二级参考文献(4)
2008(9)
  • 参考文献(0)
  • 二级参考文献(9)
2009(4)
  • 参考文献(0)
  • 二级参考文献(4)
2010(4)
  • 参考文献(0)
  • 二级参考文献(4)
2011(2)
  • 参考文献(0)
  • 二级参考文献(2)
2012(7)
  • 参考文献(1)
  • 二级参考文献(6)
2013(10)
  • 参考文献(1)
  • 二级参考文献(9)
2014(15)
  • 参考文献(2)
  • 二级参考文献(13)
2015(10)
  • 参考文献(1)
  • 二级参考文献(9)
2017(6)
  • 参考文献(4)
  • 二级参考文献(2)
2018(5)
  • 参考文献(4)
  • 二级参考文献(1)
2019(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2020(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
UML
软件需求
缺陷
形式化建模
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
自动化与仪器仪表
月刊
1001-9227
50-1066/TP
大16开
重庆市渝北区人和杨柳路2号B区
78-8
1981
chi
出版文献量(篇)
9657
总下载数(次)
37
总被引数(次)
30777
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导