基于模型检验的消解需求不一致与冲突的方法研究

来源 :青岛大学 | 被引量 : 0次 | 上传用户:aww2345
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件系统规模地增大和复杂度不断提高,软件需求的分析和描述变得越来越困难,如何利用有效的技术,工程化的方法进行需求描述分析,获得高质量的软件需求成为目前重要的研究课题;本文针对软件需求分析和描述过程中如何消解需求不一致和冲突问题了进行探讨和研究:对于需求不一致问题,提出需求子句相似度模型,使用自然语言相似度方法解决需求不一致定位问题。提出了一套完整的对自然语言提取和转换的方法,实现了由非形式化的自然语言描述转换为半形式化需求描述的过程。对于提取后的模型,使用模型检验的工具和方法进行了验证,并对验证产生的反例进行了分析。对于需求冲突消解问题,从不同的需求类别进行分析,以解决单一的消解方法在需求分析中的不足问题。提出基于需求关联度的方法,用以消解功能性需求。改进了代价权衡方法,论述并验证了不同代价策略对于消解非功能性需求的作用,提出基于经验的方法解决不可度量的非功能需求,改进了最优代价策略方法解决可度量的非功能需求。本文通过一个电梯模型实例进行了不一致性的验证并消解了需求冲突,说明了方法的可靠性和可行性。结果表明,本文对于发现软件不一致性,消解需求冲突,提高软件需求质量有一定的理论意义和实用价值。
其他文献
目的随着现代社会的经济发展,人民生活水平的提高,肥胖已成为常见的能量代谢障碍性疾病。近年肥胖的发病率在我国逐年递增。肥胖易引起多种并发症(如糖尿病、心脑血管疾病、高血脂及癌症等),加速衰老和死亡。肥胖发病因素十分复杂,肥胖及其代谢紊乱已成为当今研究热点。神经肽Y(Neuropeptide Y,NPY)是一种由36个氨基酸组成的单链多肽,广泛分布于中枢及外周神经系统,NPY具有多种生物学活性,尤其在
目的:通过对配戴角膜塑形镜的青少年进行随访观察,评估并分析塑形镜对青少年的近视控制效果以及戴镜后眼部相关生物学参数的变化,比较青少年在配戴塑形镜后双眼视功能的变化。方法:于2020年3月至2021年3月在淄博市第一医院眼科门诊入组验配角膜塑形镜的近视青少年30名(Ortho K组),以及验配普通框架眼镜的近视青少年30名(框架眼镜组),两组性别年龄及屈光度无统计学差异,平均屈光度为-3.25±0.
注入同一海湾的多河流或同一流域的多支流在水质过程及管理上相互关联,共同决定地区的环境状况。因此,有必要借助先进水质过程模拟模型、水质过程不确定性分析方法及数学规划方法分析流域污染物迁移转化过程,并开展单一流域及跨流域综合管理,以统筹海湾与流域水质目标,深挖系统治理效果,提高决策科学性,从而实现最优水质管理。多流域综合管理系统涉及流域水质管理、污染物迁移转化和社会经济等子系统,每个子系统相互影响且均
重金属离子污染是由许多工业过程产生的,包括采矿、金属制造、农药合成、有机化学物质、药物、橡胶和塑料的生产。在重金属离子污染物中,Cu2+广泛存在于天然水和工业废水中,高浓度的Cu2+具有剧毒,对人们的健康和生态环境构成威胁。体内重金属元素的含量对人体健康有着重要的影响。体内重金属元素超标或是缺乏都会对人体的身体健康产生影响,严重者可导致疾病的发生,所以选择一个高效、准确且简单的检测重金属离子(Cu
目的:探讨术前血浆纤维蛋白原与血清白蛋白联合检测(FA评分)在子宫内膜癌患者预后评估中的意义。方法:回顾性分析2010年1月—2017年8月由青岛大学附属医院妇科病房收治并进行初次手术治疗的194例子宫内膜癌患者的病历及术后病理报告,以获取相应的指标,包括:术前FIB及ALB水平、年龄、肿瘤直径、FIGO分期、肌层浸润深度、淋巴结转移情况、有无LVSI(淋巴脉管间隙浸润)、肿瘤分化程度及术前肿瘤标
工业设备腐蚀问题,每年会造成大量的经济损失,也会对环境造成污染,向设备中投加缓蚀剂是一种方便快捷、安全有效的保护措施。为适应绿色发展理念,在缓蚀剂的选择及复配时,应注重安全环保。N-油基-1,3-丙撑二胺(NOPDA)中含有一个不饱和双键及两个氨基,是一种优良的缓蚀剂成分,本研究优选二乙基氨基乙醇(DEAE)、助溶剂(HT)、表面活性剂(ST)、分散剂(HS)等药剂与之复配,以改善其流动性及水溶性
目前,随着对城市区域污水收集、截污系统完善和水质净化标准提高,由降雨径流冲刷地表污染物引起的城市面源污染得到了广泛关注。然而对于城市面源污染的空间分异规律及控制措施鲜有报道,本研究以地表街尘和径流为研究对象,通过对研究区域的分区分级,实现对不同开发强度功能区的面源污染空间分异特征的评估,并基于分析结果提出城市面源污染的控制与管理技术体系,主要研究结果如下:(1)通过分析单位面积街尘累积量以及粒径效
镉(Cd)是一种极具生物毒性和长生物半衰期的重金属,其对水生生物的生物累积作用已有了广泛的研究。近年来,随着国家对自然水体的保护和对污染水体的治理,水体中的重金属浓度明显降低。然而,低浓度Cd胁迫对大型底栖动物生理特征的影响机制仍不清楚。本研究以低浓度Cd溶液为实验背景,选择河蚬(Corbicula fluminea)和铜锈环棱螺(Bellamya aeruginosa)作为实验对象,设置0.05
人工湿地作为一种综合的废水处理系统,其在污水处理资源化、景观化等方面具有重要贡献。但是,在长期运行过程中,生物膜及其分泌的胞外聚合物(Extracellular Polymeric Substance,简称EPS)在基质层过度聚集,会导致人工湿地发生生物堵塞。堵塞将显著降低人工湿地的运行效果,制约人工湿地持续稳定运行。为了缓解人工湿地系统的生物堵塞,本研究提出了一种环境友好的新型溶脱剂,将生物表面
服饰作为电影中无声的载体和语言具有同等重要的地位,是不可或缺的。电影作品时长短,情节紧凑,内容丰富,借助服饰可以更好地展现作品内涵,而研究电影中服饰的功能,对理解电影作品具有积极意义。借助结构主义语言学理论,一方面将服装学、电影学理论与索绪尔的结构主义语言学经典理论相结合,提出一套新的服饰语言学理论,包括服饰语言和服饰言语、服饰能指和服饰所指、服饰句段关系和服饰联想关系、服饰共时性和服饰历时性等,