论文部分内容阅读
MC/DC覆盖是除路径覆盖以外,最强的一种白盒测试的覆盖准则,所以一些高安全、高可靠的软件设计中常给出MC/DC覆盖的指标。论文给出了一种基于MC/DC覆盖的白盒测试用例设计方法。最后,通过一个函数的单元测试,对这种方法进行了验证。
基于MC/DC覆盖的白盒测试用例设计方法研究
【摘 要】
：
MC/DC覆盖是除路径覆盖以外,最强的一种白盒测试的覆盖准则,所以一些高安全、高可靠的软件设计中常给出MC/DC覆盖的指标。论文给出了一种基于MC/DC覆盖的白盒测试用例设计方
【机 构】
：
江苏自动化研究所;
【发表日期】
：
2004年期
其他文献
对于利润最大化,基于模型的股票价格预测可以为投资者提供有价值的指导。然而,金融数据中存在高噪声,使用原始数据训练的深度神经网络无法实现准确地预测股票价格。为了解决
红岩精神形成于革命年代,是马克思主义、中国优秀传统文化和中国革命实践三者相结合的产物,是中国特色社会主义文化体系的重要组成部分。当代大学生是我国实现“两个一百年奋斗目标”和实现中华民族伟大复兴的后备力量,他们的思想境界直接决定着中国未来的发展状况,所以把红岩精神融入到高校思想政治教育,切实提高大学生的思想意识水平,是新时代中国特色社会主义发展的必然要求。本文研究分为五部分,第一部分和第二部分系统地
贯穿2013年反腐倡廉工作的一个显著特征,就是抓早、抓小、抓细、抓实。抓早抓小抓细抓实,体现着科学的思想方法,体现着必须的工作方法,体现着求真务实的工作要求。贯穿2013年
当下金融行业二级市场的实际交易活动中,根据预先设定的算法程序,自动化选择交易标的与执行交易指令的量化策略越来越普遍和重要。有效的量化策略能够排除人为的偏见和情感因
目的1.研究一指禅推拿对人工膝关节置换术(Total Knee Arthroplasty,TKA)后快速康复(Fast Track Surgery,FTS)的临床疗效,探讨一指禅推拿对TKA术后患者疼痛、膝关节功能、D-二聚体方面的作用。2.为建立TKA围手术期中西医结合快速康复方案提供临床实践依据。方法根据患者TKA术后是否采用一指禅推拿分为推拿组与对照组,分别比较推拿组与对照组术后HSS评分、
目的:分析比较斜外侧腰椎椎间融合术(OLIF)结合椎间孔镜(PELD)与传统后路手术(PLIF)在治疗腰椎融合术后邻近节段退变(ASD)中的临床疗效,验证OLIF-PELD治疗腰椎融合术后邻近节
我国是一个矿产资源大国,矿业开采遗留了大量的矿区废弃地,如何恢复和重建矿区受损的生态系统,已经成为全球面临的共同课题。本文以抚顺西露天矿生态修复试验基地为研究对象,
建筑节能是实现可持续发展的重要课题之一,在当前的市场经济条件下,针对建筑节能技术集成的评价研究必不可少。目前,国内外已经开展了大量相关研究工作,但是还很不完善,特别
广西法治政府建设的探索,直面人民群众关注的"痛点""难点"、经济社会发展的"堵点""盲点",通过"以点带面"进入提质升级阶段。刚刚过去的2020年,广西法治政府建设亮点频现:广西
4月26日,军人地位和权益保障法草案二审稿提请十三届全国人大常委会第二十八次会议审议。草案二审稿在10个主要方面作出了修改,是贯彻落实习近平强军思想和党的十九大决策部