【摘 要】
：
软件测试中关键的步骤就是设计和生成高效、准确的测试用例,通过自动生成测试用例可以有效解决这一问题。提出基于修正条件判定组合覆盖准则(MCDC)的测试用例生成方法。对程
【基金项目】
：
北京市自然科学基金项目(Z160002);网络文化与数字传播北京市重点实验室开放课题基金项目(ICDD2017XX)
论文部分内容阅读
软件测试中关键的步骤就是设计和生成高效、准确的测试用例,通过自动生成测试用例可以有效解决这一问题。提出基于修正条件判定组合覆盖准则(MCDC)的测试用例生成方法。对程序源代码进行预处理,利用控制树模型生成路径集的控制树,基于控制树所设计的修正条件判定组合覆盖准则对控制树进行约减,分别提取控制树上的根结点到每个叶子结点的路径约束信息,根据路径约束信息生成测试用例。实验结果表明,所提方法在生成测试用例的个数及测试用例集对MCDC覆盖率方面都有一定提高。
其他文献
温克尔曼关于拉奥孔群像的描述,其前后期有所不同。早期强调拉奥孔群像的静穆的特征,后期则强调它的表现性。但两者之中,皆可见温克尔曼关于希腊精神的阐释中隐而未现的狄奥
改革开放以来,随着中国综合国力的不断增强,中国的国际地位逐步提高,得到了越来越多国家的支持和认可,但同时在国际社会出现了类似“中国威胁论”这样的误导性舆论。身处这样
初中生物是一门生动有趣,且内容丰富的课程.在初中生物课堂教学中,开展课外实践活动,可以有效开阔学生视野,促进学生智能发展,有助于提升学生的生物学习技能.下文针对初中生
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
当今港口的功能主要还是依赖于港口的中转和运输的功能,组建一个功能性强的当代物流体系,而后开展配送、加工改装、仓库存储、包装、运输等业务,整体推进临港业的发展地区。
所谓会计差错，是指会计核算时，在确认、计量、记录等方面出现的错误。会计估计错误是会计差错的一种，即会计核算时由于估计上的失误而造成的错误。常见的会计估计错误主要包括坏
结合连续纤维增强热塑性复合材料(CFRTPCs)熔融沉积成型(FDM)工艺的最新发展情况,将该工艺按照原材料初始状态划分为在线预浸与离线预浸两类,并分别介绍各自使用的材料要求及
高职院校的人才培养目标是培养应用型专门人才,在研究高职院校学生职业素养培养现状的基础上,对职业素养的内涵进行深化,针对高职院校学生综合素养培养展开讨论,提出高职院校
指出工程施工测量中容易忽视的环节和常见错误及应采取的改正措施.
天津王女士：削苹果皮时,发现用刀轻轻一刮,苹果表皮出现了不少白蜡,这种苹果能吃吗？此外也有传言称,打蜡的苹果是有毒的,食用容易致癌是真的吗？小编解答：对此,中国农业大学食品学