期刊论文

Formal modeling analysis of software requirement defects based on UML

中文

自动化与仪器仪表

1001-9227

2019

12

83-86

10.14016/j.cnki.1001-9227.2019.12.083

本校为第一机构

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

In order to improve the ability of active detection of software requirement defects,a formal modeling method of software requirement defects based on unified modeling language(UML) is proposed.By analyzing the software requirement and the quality index system of reliable operation,and combining with UML instruction set,the statistical characteristics of software requirement defects are analyzed,and the related features of formal modeling of software requirement defects are obtained.The defect location is detected according to the classification attribute of software requirement defect,and the ...