论文部分内容阅读
以条件判定组合的语法树为研究对象，总结语法树的左右分支对判定结果的影响方式及结果，根据其影响特点提出超越语法树的快速生成改进判定／条件覆盖最小测试用例集的算法。与其他算法在在空间及时问方面进行比较，结果表明该算法具有一定的优越性。
MC／DC最小测试用例集快速生成算法
【摘 要】
：
以条件判定组合的语法树为研究对象，总结语法树的左右分支对判定结果的影响方式及结果，根据其影响特点提出超越语法树的快速生成改进判定／条件覆盖最小测试用例集的算法。与其他
【机 构】
：
西北工业大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2009年17期
【基金项目】
：
国家“863”计划基金资助项目“构件化嵌入式软件测试方法及其工具研究”（2008AA01Z142）
其他文献
改革开放30年来,我国利用外资取得了举世瞩目的成就。自1991年起,我国已连续16年位列发展中国家吸收外资的第一位,外商直接投资已成为我国经济必不可少的一部分。外商直接投
7月23日，卡特彼勒（青州）有限公司106会议室中，围坐了14个人，而他们的对话，或许正是扇动一场引领工程机械行业发展变革的“蝴蝶之翼”。他们中的4位是Caterpillar（卡特彼勒）公司中的中
随着城镇一体化的推进,越来越多的农村儿童随父母进入城市,成为了“流动儿童”。地理位置上的迁移,在某种程度上隔断了地域、血亲的联系,同时也打破了人与人之间原有的交际网络。文化价值观的不同、地理位置的变化,都会让这部分儿童产生不适感和现实的挫折感,会导致他们出现自卑、孤独、自我否定等状况,从而导致流动儿童自我效能降低,对他们的社会化发展产生极大的影响。本文的重点是分析流动儿童自我效能感的现状和问题,以
外商直接投资对我国经济各个方面都存在着影响,而作为人口大国,我国目前面临着严峻的就业形势,尤其是当前经济危机的形势下,就业问题显得更加突出,因而,外商直接投资与就业问
中小企业是推动我国市场经济发展和促进社会就业的重要力量,但是中小企业在信贷市场上遭遇到的融资约束,成为了阻碍其进一步发展壮大的重要因素。企业家是中小企业的核心与灵
基于地铁盾构施工对邻近某客运站桩基影响的问题,利用FLAC3D有限元模拟分析软件,通过八种工况对比分析了刀盘扭矩与盾构推力对风化岩地基中邻近桩基的影响。结果表明:刀盘扭
鄂西北境内的305省道襄（樊）关（垭）路自东向西纵贯十堰市竹山县全境，是一条经济“大动脉”。也是湖北省政府最近规划“竹房城镇带”上的重要依附通道，承载着竹山沿线10多万群众脱贫
High spectrum efficiency(SE)requirement and massive connections are the main challenges for the fifth generation(5G)and beyond 5G(B5G)wireless networks,especial
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
体育课程内容资源拓展的研究,可以丰富体育课程理论的研究内容,对体育课程的建设具有一定的理论价值。通过体育课程内容资源拓展的研究,可以为三级课程管理体制下的体育课程内容的实施提供参考。目前中国广大的农村地区,基础体育教育现状不容乐观,部分地区学校体育工作开展举步维艰,面临着多元复杂的现实问题,农村学校体育课程内容资源问题亟待改善。本文从“城乡等值化”理念出发,运用文献资料法、问卷调查法、实地考察法、