论文部分内容阅读
在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,提出了从前置条件的属性约束、测试消息序列的谓词约束以及派生的中间参数约束3个方面对参数的取值范围进行区间削减的算法,得到了关于方法参数的最小区间约束,提高了测试数据的生成效率.
软件测试数据生成中的区间削减方法研究
【摘 要】
：
在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,提出了从前置条件的属性约束、测试消息序列的谓词约束以及派生的中间参数约束3个方面对参数的
【机 构】
：
北京航空航天大学软件工程研究所
【出 处】
：
南京大学学报：自然科学版
【发表日期】
：
2005年z1期
其他文献
新闻传播学专业是一个综合性的专业，其中包括了新闻采访、编辑、摄影等等各个方面。在新闻传播专业中，新闻摄影是其中的一个重要部分。本文就新闻摄影这一概念进行了解析。
目的:探究肾细胞癌患者行保留肾单位肾脏肿瘤切除术术后复发的相关因素。方法与材料:收集2008年1月至2014年12月在福建医科大学附属第一医院泌尿外科行保留肾单位肾脏肿瘤切
互帮互助向来是中华民族的传统美德,紧急救助行为因其包含的道德属性也一直为人歌颂和赞扬。然而近年来各种令人咋舌的热点事件的发生,无一不预示着我国道德滑坡现象严重。除了社会舆论提出斥责,法学界也对挽救社会风气作出思考和应对策略。在道德教化对见危不救现象的改善效果甚微的情况下,通过立法保护救助者权益的方式挽救社会风气存在积极意义。紧急救助因其行为的紧急性,极易产生损害从而引发当事人之间民事纠纷。《民法总
研究性教学与研究性学习反映同一过程的两个方面,体现一种新型的＂教＂与＂学＂的互动思想。应深刻领悟研究性教学与研究性学习的本质内核和时代意义,把握好二者之间的维度标尺,明确
目前，图书馆传统的服务模式缺乏生命力，已经不能顺应社会的发展；因此，为了提高图书馆竞争力，应该改变营销观念，像国外一样把营销作为一个指导条例和计划，以业务工作为营销基础，建立相
人生遭际的无奈,使钱谦益向禅寻找心灵的静谧与人生的归宿,《绛云楼题跋》也就蕴涵了他对禅的感悟与皈依。钱谦益对禅,终其一生是既礼又逃,这是家庭熏染与其个人遭际的必然。