【摘 要】
：
软件测试是软件开发重要的一部分，是保证软件质量，提高软件可靠性的重要途径。测试在需求分析阶段就开始介入，而在现实中很多需求是不确定的，在软件测试的过程中会面临许多不确定
【基金项目】
：
国家自然科学基金面上项目(No.111229A4A15153)
论文部分内容阅读
软件测试是软件开发重要的一部分，是保证软件质量，提高软件可靠性的重要途径。测试在需求分析阶段就开始介入，而在现实中很多需求是不确定的，在软件测试的过程中会面临许多不确定性的挑战。主要研究具有不确定需求的软件测试用例生成方法，利用基于标记迁移系统的PartialModels（部分模型）对不确定的需求进行建模，进而基于建立的模型生成有效的测试用例。针对模型中具有的不确定性引入概率，对不确定的部分进行概率表示，进一步基于标记迁移系统和PartialModels的特点提出测试用例生成方法。由于模型中具有不确定信息
其他文献
恶性肿瘤自然消退是自然界普遍存在的一个现象 ,相关因素包括 :患者年龄、组织器官、组织分化程度与凋亡、血管因素、精神因素、基因改变及调控。由此启发我们探索这一现象 ,
尽管对Mg O水合和Mg(OH)2分解的动力学已经进行了大量研究,但是在如何控制和减缓Mg O水合方面的进展甚微。在Mg O耐火浇注料中,Si O2是应用最广泛的抗水合添加剂。硅磷酸盐(
目的 分析医护一体化护理模式对冠心病患者心功能及睡眠质量的影响。方法 选取我院2017年6月至2018年1月收治的冠心病患者100例作为研究对象,将100例患者分为两组,为对照组患
综述了不同来源不同结构类型的脂肪酶抑制剂的研究进展。对深入研究天然脂肪酶抑制剂作用机制、通过多种减肥机制协同作用开发减肥产品及利用芳香植物开发减肥香料进行了展望
采用调查问卷的方式分析农村寄宿制初中学校英语附加时间的教学现状和教学成效。分析农村寄宿制初中学校英语附加时间得不到有效利用的原因，从开展社团活动、巧借媒体资源、创
目的分析研究预防性护理对脑出血患者并发症发生情况的影响。方法选取2014年5月至2016年5月在我院接收的脑出血患者一共有108例,采用随机对照双盲的方法分为两组,对照组对患
构建检察机关民事公益诉讼制度是有效保护国家利益和社会公共利益的迫切需要,是有效保障转型中国条件下公民权利的迫切需要,是切实增强检察机关法律监督效能的迫切需要,也是
遵义规划展览馆为四周大悬挑钢筋混凝土建筑,悬挑距离达22 m,结构自重大、扭转效应明显、竖向刚度明显不规则。设计建立了两种不同的大跨度混凝土框架-斜拉索结构方案,方案一
随着计算机应用的普及，非法侵入计算机信息系统的犯罪活动也日益猖獗，在理论上加深对这一新型犯罪的研究是十分必要的。作者认为，非法侵入计算机信息系统罪具有隐秘性强、高智能
未成年人是一个特殊的群体,对未成年人的保护一直为社会所广泛关注。我国《刑法》关于前科报告制度的规定毫无例外地适用于未成年人,对于那些刚刚步入社会的年轻人来说,如果