【摘 要】
：
如今计算机软件在各行各业的应用越来越广泛,各个行业对软件的质量要求也越来越高。在软件的研发周期中,测试已经占据了非常重要的位置,特别是在安全领域。因此减少测试项目所耗费的时间与投入成本,更好的保障软件的质量问题,成为众多工程技术人员正在研究与突破的问题。在测试用例自动生成的研究领域中,基于模型的测试能够让测试用例从整个软件开发过程中产生的软件模型中生成,使得测试活动在软件需求分析和设计阶段介入,提
论文部分内容阅读
如今计算机软件在各行各业的应用越来越广泛,各个行业对软件的质量要求也越来越高。在软件的研发周期中,测试已经占据了非常重要的位置,特别是在安全领域。因此减少测试项目所耗费的时间与投入成本,更好的保障软件的质量问题,成为众多工程技术人员正在研究与突破的问题。在测试用例自动生成的研究领域中,基于模型的测试能够让测试用例从整个软件开发过程中产生的软件模型中生成,使得测试活动在软件需求分析和设计阶段介入,提前发现系统中的问题,具有自动化程度高、软件质量保障性强等特点,非常适用于测试用例的自动化生成。基于模型的测试技术的实现主要依赖于三要素,系统模型、测试策略以及系统验证。在系统模型的选择方面,系统建模语言SysML能够用于分析、设计、验证与测试各种复杂系统,对UML在系统工程上进行了延伸和扩展,弥补了UML在设计建模方面的不完整和在安全性验证分析方面不充分的问题,因此本文基于SysML活动图模型研究测试用例的自动化生成。本文主要通过对SysML活动图模型进行分析,详细介绍了从系统建模到测试用例集生成的自动化过程。活动图可以通过并发、循环以及泳道等结构来描述系统的复杂逻辑,但并发和循环结构存在着路径的排列组合爆炸问题,因此本文主要针对SysML活动图测试用例生成算法和测试用例自动化工具的实现进行研究。在测试用例生成算法方面提出了改进的深度优先搜索算法和层级置换算法,通过改进的深度优先搜索算法生成活动图约简的测试用例集,通过层级置换算法为处于活动图并发结构中同一层的节点设置层级数值,将层级数值相同的并发节点进行排列,不同数值的节点进行顺序组合,得到并发结构活动图较详尽的交叉测试用例集,并结合活动图的图形特征定义基于图形覆盖率的测试覆盖标准,以得到满足测试覆盖标准的测试用例集。最后本文设计并开发了测试用例自动化生成工具,实现了活动图模型的测试用例自动化生成,结合商品订单系统案例分析说明工具的实用性以及测试用例自动化生成的可行性。
其他文献
＜正＞风能是人类社会可持续发展的首选能源，海上风电已经成为风能开发的重要战略方向，未来市场规模巨大，但风险也很大。我国保险行业应围绕“双碳”和能源战略，培育形成一个能有效保障海上风电发展的保险市场，尤其要提前研究海上风电在能源供给占比逐步提高的趋势下可能产生的系统性风险。本文分析当前我国海上风电保险供需两弱的主要原因，指出仅靠机构自身很难解决保险缺口问题，必须要通过系统化设计，集合行业力量克服市场
低阶煤层气在国外有规模开发成功的案例，我国低阶煤层气资源丰富，但其勘探开发进展缓慢。新疆后峡盆地煤层气勘探程度较低，为进一步认识后峡盆地中–低阶煤煤层气成藏条件，指导勘探实践，根据研究区内地震、地质及已钻探井的煤岩分析化验和排采生产资料进行总结分析。结果表明，该区构造较为复杂，煤层厚度较大（4.1～24.3 m），发育较稳定，含气量差异较大（1.16～12.30 m~3/t），物性较好，渗透率（1
将小麦样品置于40℃贮藏七个月,来研究贮藏对小麦面筋蛋白质的影响.以SDS—PAGE,sepharose4B凝胶层析,蛋白质提取率和紫外吸收、荧光发射光谱,分析面筋蛋白质生化变化的结果:面筋蛋白质亚基分子量未变化,高分子量麦谷蛋白增加,低分子量的麦谷蛋白减少,解释为麦谷蛋白进一步交联.醇溶蛋白仅在荧光发射光谱上稍有不同.通过添加面筋粉、醇溶蛋白粉和麦谷残渣粉进行粉质拉力测试,研究小麦40℃处理对面
目的：对基层全科医生核心能力构成与价值发挥可行策略等进行归纳分析。方法：选取北京市、上海市、杭州市和常州市的全科医学培训基地、社区卫生服务中心等机构的人员进行访谈，采用主题框架分析资料。结果：基层全科医生需具备的核心能力包括临床医疗能力、公共卫生能力、沟通协调能力、团队工作能力、自我提升能力和全科职业素养；基层全科医生价值发挥面临的难题包括职能定位不清晰、培养模式科学性缺位、队伍与团队建设不健全等
在幼儿园主题活动中，引导幼儿围绕有教育价值的问题进行活动，并运用多种方式解决问题，有助于推进主题活动的深入开展，帮助幼儿获得有益的知识经验。以中班主题活动“幼儿园的杨桃树”为例，通过捕捉关键问题，确定主题探究方向；聚焦问题解决，支持幼儿主动探究；拓展主题经验，助推活动深入开展等方面，探讨基于问题导向的主题活动推进策略。
目的 探讨精神分裂症（SP）患者肇事肇祸行为的相关因素。方法 选取2019年2月至2021年6月就诊于我院的SP患者，有肇事肇祸行为作为研究组，无肇事肇祸行为作为对照组，两组各88例，分析SP患者肇事肇祸行为的相关因素。结果 文化程度、婚姻状况、既往有冲动攻击行为、治疗次数、家族史、情绪易波动、早年遭受父母虐待、家庭结构不完整与SP患者肇事肇祸行为有关，且是高危因素（p﹤0.05）。结论 SP患者
进入大数据时代以来,个人信息已经成为人参与社会经济生活和日常交流的重要媒介,互联网将整个世界联系的更加紧密,人们之间的交往越来越深入和频繁,在足不出户的情况下,只需将信息传输至网络,就能在互联网平台获得企业提供的一切资源和服务。学界对于个人信息保护的讨论一直未曾停歇,特别是大数据技术和云技术的发展使得实践中出现了越来越多、越来越复杂的个人信息保护问题。《民法典》和《个人信息保护法》目前共同构建了我
目的 了解农村严重精神障碍肇事肇祸患者延迟就医的原因，为采取有效的干预措施提供依据。方法 对云南省昆明市某县登记在册在管12名发生就医延迟行为的农村严重精神障碍肇事肇祸患者主要照顾者进行半结构式访谈，运用Colaizzi分析法对访谈资料进行转录，比较分析、归纳资料并生成主题。结果 提炼出农村严重精神障碍肇事肇祸患者延迟就医原因的9个主题：对疾病相关知识认知不足、传统观念和封建迷信思想的影响、疾病病
目的 探讨医院社区一体化管理模式对严重精神分裂症患者肇事肇祸行为、精神状态及社会功能的影响。方法 选取2020年1月至2022年2月在福建省泉州市第三医院确诊的92例严重精神分裂症患者作为研究对象，根据患者入院时间进行分组，选取2020年1月至2021年1月确诊的45例患者为对照组，选取2021年2月至2022年2月确诊的47例患者为观察组。对于对照组按照常规方式进行管理，对于观察组实施医院社区一
乐悬制度是周王室制定的礼乐等级制度，在西周时期有着严格的规范。东周时期，乐悬制度传播至吴越地区，对吴越音乐文化产生了重要的影响。乐悬本义是指悬挂起来的进行演奏的钟磬乐器，主要以中原乐器甬钟、纽钟、镈和编磬为代表。吴越乐器实践中不仅可见到上述乐器，同时还加进了句鑃、圆钟、于等具有吴越文化特色的乐器，共同组成了新的宫廷乐队。乐队不仅在用器制度上打破了乐悬制度规范，同时在编列、摆列、乐器性质、文化审美上