基于一阶逻辑的需求变更影响分析方法研究

来源 :数字技术与应用 | 被引量 : 0次 | 上传用户:tonghai0919
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
需求的变更影响分析过程无论是对于降低系统维护的代价或者是保证系统对变更需求正确的实现都有着至关重要的意义。已有的变更影响分析的研究主要存在两个方面的问题:一方面,当前的有关需求变更影响分析的研究主要侧重于需求到代码之间的变更影响分析,缺乏需求与需求之间的变更影响分析的研究。另一方面,传统的方法大多数是基于需求文档描述做研究,缺乏需求间关系的语义,在作变更影响分析时,会导致大量的变更影响误报,从而忽略了实际的变更影响。为了解决以上这些问题,本文提出了一种基于一阶逻辑的变更影响分析方法。设计一个只包含需求追踪
其他文献
通过对17种CSSCI高等教育类期刊2011-2017年刊发的学术文献进行关键词共词分析,揭示了2011年以来我国高等教育研究的23个研究热点,这些研究热点体现出三大特点:高等教育研究
三氧化二砷(ATO)能够通过多种途径发挥抗肿瘤效应.自从ATO用于急性早幼粒细胞白血病(APL)的治疗并取得显著疗效以来,其在多发性骨髓瘤、骨髓增生异常综合征、慢性粒细胞白血病的
近年来,省委认真贯彻落实中央关于加强党员教育工作的规划和部署,始终坚持把党员教育作为党的建设的一项基础工程来抓,不断丰富教育内容,大力改进教育方式,努力拓宽教育渠道,切实增
风力发电机组上发电机的振动问题影响到整个机组的平稳运行,通常在发电机底部使用弹性支撑减小系统的振动。基于机械振动学理论,建立发电机弹性支撑系统数学模型和动力学方程
近几年来,IPRAN网络技术逐渐在国内得到了大面积的覆盖和应用,为通信网络的进一步发展创造了有利条件。本文探讨了IPRAN的概述,分析了IPRAN中常见的几类关键技术应用,研究了I
相控阵雷达TR组件在脉冲状态工作时会产生低电压、大电流的脉冲负载,利用电解电容的储能特性可减小阵面电源的输出电流,优化阵面电源的瞬态响应,降低雷达系统对阵面电源的要
夏日,来到湘西凤凰古城。我原以为山里会凉快些,没想到,凤凰热得一点都不含糊,我的每一个毛孔都奔涌着汗珠……凤凰因沈从文而出名,许多读者,误将沈从文笔下的“边城”茶洞当作凤凰
8月27日,长沙某路面施工工地。一辆列车式样的“巨无霸”驶过坑洼不平的沥青路面上,没有烟尘,没有废料,一条黝黑平整的新路瞬间展现在眼前。
在毕业生即将离校之际,日本一所私立大学校长以七种动物形象作比喻,送给他们一段妙趣横生而又含义深刻的赠言:“预祝毕业生在新的工作岗位上,像野猪一样勇往直前,像狮子一样统帅一
目的 探讨利拉鲁肽联合阿卡波糖治疗肥胖型2型糖尿病(T2DM)的临床疗效.方法 将2010年2月至2013年6月沧州市中心医院南院区内分泌科收治的98例肥胖型T2DM患者按随机数字表法分为