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

Formal modeling analysis of software requirement defects based on UML

为了提高对软件需求缺陷的主动检测能力,提出一种基于统一建模语言(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 feature fragment of software defect is extracted.The information gain scheduling method is used to model the UML instruction set of the software requirement defect,and the standard feature set of the software requirement defect is constructed,and the problem of the software requirement defect to be detected is transformed into the software feature problem to obtain the information gain.UML standardized modeling method is used to realize the formal modeling of software requirement defects.The test results show that this method can accurately predict the software requirement defects and improve the software compatibility and life cycle.