论文部分内容阅读
针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。
基于切片技术获取系统测试用例的方法
【摘 要】
：
针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利
【机 构】
：
北京航空航天大学计算机学院,河北大学数学与计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2008年13期
【基金项目】
：
国家自然科学基金资助项目(60772073);北京市科技计划课题基金资助项目(y0105001040521)
其他文献
从方法论上看,法律发现可被认为是法律方法的一种,即法官应用法律的一种活动。法律发现和法律渊源有内在的联系,法律渊源的研究对法律发现具有重要意义。法律渊源的研究有助
通过《伤寒论》中太阳病关于蓄血证条文,列举医家对于太阳蓄血证病位在膀胱的看法和理由,通过自己对条文的体会和分析,指出太阳蓄血证的病位在大肠和胞中,涉及膀胱。
随着光纤通信技术的广泛应用，光纤通信系统的问题受到了人们广泛的关注。要想使光纤通信系统更好地满足人们的需求，就要对通信系统中的指标和测试进行相应的分析。本文主要从光
决策支持系统（ＤＳＳ）是模型驱动的，ＤＳＳ中模型的设计与实现是一个有待进一步研究的问题。该文把组件技术引入到ＤＳＳ模型的设计与实现中，提出基于组件技术的ＤＳＳ模型设计与实现策略，给出基于组作思想
现阶段,随着我国科学信息技术水平的不断提升,使得其已经逐步渗入到了各个行业当中.其中,DCS与PLC作为工业控制技术中重要的应用技术,其同样是在计算机技术的发展前提下所产
随着时代的发展和新课改的深入,高中语文教学也面临新的机遇和挑战。本文就从互动教学的角度对如何在实际教学中深化课堂教学改革,打造优质互动课堂教学展开了较为详细的分析
老北京的绒鸟(绒花)工艺是承载劳动人民美好愿望的载体,是一门面临消失、文献资料匮乏的本土装饰艺术形式.本文首先从介绍绒鸟的昨天入手,讲述了绒鸟艺术的特点及其繁荣的历
目的研究对临床护士进行心肺复苏理论与操作技能培训后,复苏技能的保持时间,探讨复苏培训的最佳时间周期。方法随机抽取医院内8个科室共80名护士进行心肺复苏理论与操作技能