【摘 要】
：
为了提高航天软件测试的效率和覆盖率,增加航天软件测试的有效性,提出了一种基于需求模型的软件测试用例设计方法。针对航天软件测试的特点,该方法采用从用例层深入至步骤层
【机 构】
：
吉林大学计算机科学与技术学院,中国科学院长春光学精密机械与物理研究所,吉林大学符号计算与知识工程教育部重点实验室
【基金项目】
：
国家自然科学基金资助项目(No.61133011);国家自然科学基金面上项目(No.61373053;No.61472161)
论文部分内容阅读
为了提高航天软件测试的效率和覆盖率,增加航天软件测试的有效性,提出了一种基于需求模型的软件测试用例设计方法。针对航天软件测试的特点,该方法采用从用例层深入至步骤层的测试优化策略。首先,基于元建模方法定义了一种测试需求模型;通过建立模型,将测试需求加以拆分,获取了测试需求之间的先后依赖关系以及测试需求与测试步骤之间的对应关系。然后,基于测试需求模型,构建了测试需求的路径图,进而通过对图的遍历获得了测试用例。最后,将该方法用于工程实践进行了实验验证。验证结果表明,该方法有效保证了测试活动的充分性和有效性,降低
其他文献
我国封建王朝的法律实践,无论是立法,还是司法,都体现了依礼制法、以礼入法、以法护礼、以法行礼的原则与精神。明代的立法和司法两方面的法律实践都证明,＂礼＂是明朝统治者统治
近年来,随着我国个人财富的持续增长,个人理财业务逐渐由概念发展为产品,并成为商业银行经营战略重点。本文从美国商业银行个人理财业务发展现状、主要特征及经验入手,分析了
农村的直接选举已成为村民自治运行的基础,村民自治制度中的民主选举彰显出选举权的普遍性原则、平等性原则与直接选举原则。村民自治在基层农村的现实景遇,村委会直接选举过
<正>一、CAPM计量股权资本成本存在的不足在度量股权资本成本时,通常使用资本资产定价模型(CAPM),其特点是使用单一β系数计量特定资产的风险。即使CAPM是最广泛使用的模型,
随着我国改革开放的不断深入,国民经济随之得以迅速发展,企业也有了长足的进步,企业不仅提高了对企业管理以及项目工程管理的重视程度,并且还逐渐丰富了管理技术及管理方式,
设计工时管理是设计管理的重要工具,通过有效的设计工时管理,能缩短设计周期,为设计过程控制创造条件。研究了船舶生产设计环节的图纸工时的构成,并通过基准工时的确立而建立
如果追本溯源,被媒体炒得沸沸扬扬的赏识教育实际上是有其理论依据的,那就是美国著名的“两罗”心理学实验,即罗森汉恩和罗森塔尔实验。虽然,这两个实验在心理学界曾引发很多
<正>前不久,因江苏南通市政府批准日本王子制纸企业的污水排口在江苏启东,引发部分市民对此建设项目的强烈反对。对此,启东市委常委、常务副市长张建新于2012年7月26日在启东
据美国调查，口臭在口腔科诊治病种中已占到仅次于龋病、牙周病的第三位。在美国每周要接诊约50万口臭症患者，而在人群中大约10％～30％的人认为自身有口臭，口臭甚至出现于儿童．所以在国
在跨国电子商务快速发展的同时,由于世界各国对其征税问题的研究相对滞后,使其对基于传统交易方式而制定的国际税收法规产生的一系列巨大的冲击,尤其是对传统国际税收管辖权