切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
MC/DC最小测试用例集递归分块矩阵生成算法
MC/DC最小测试用例集递归分块矩阵生成算法
来源 :计算机系统应用 | 被引量 : 0次 | 上传用户:kwatog
【摘 要】
:
测试用例个数可以影响软件测试的成本与效率,因此最小测试用例集的生成算法具有重要的实用价值。对布尔表达式语法树采用递归分块矩阵处理,得到了MC/DC最小测试用例集生成算
【作 者】
:
葛汉强
【机 构】
:
重庆信息技术职业学院软件学院
【出 处】
:
计算机系统应用
【发表日期】
:
2011年7期
【关键词】
:
MC/DC
最小测试用例集
递归分块矩阵
生成算法
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试用例个数可以影响软件测试的成本与效率,因此最小测试用例集的生成算法具有重要的实用价值。对布尔表达式语法树采用递归分块矩阵处理,得到了MC/DC最小测试用例集生成算法。并证明了该算法的正确性,给出其成立的前提条件。
其他文献
英语教学中认知中英思维差异的重要意义
在汉语向英语跨文化交流教学的过程中,教师遇到的最大问题是如何教导学生摆脱母语思维的干扰写出地道准确的英语。本文从认知中英思维差异角度入手,分析了中英思维差异对于语
期刊
英语教学
中英思维
跨文化交流
基于ASP技术网站安全管理策略分析
WEB的迅速发展和广泛应用给世界带来了便利,但同时基于WEB的网站安全问题越来越严重。针对当前应用广泛的基于ASP的WEB数据库技术,讨论了WEB数据库的自身安全和基于ASP技术网站
期刊
WEB
数据库
ASP
B/S
网站安全
WEB数据库技术
天将金石付斯人 清代收藏家金石学家陈介祺
陈介祺(1813~1884年),字寿卿,号簠斋,山东潍县(今潍坊)人,清代杰出的收藏家和金石学家。簠斋生于潍县望族、科举世家。其父陈官俊是清代嘉道间名臣,曾任工部尚书、礼部尚书、
期刊
金石学家
全形拓
封泥考略
十钟山房印举
陈介祺
毛公鼎
收藏家
改善MTD雷达方位测角精度的方法
对MTD雷达的几种测角方法进行了综述和比较,结果表明,利用相于积累的幅度信息可以改善MTD雷达的方位测角精度。
期刊
测角精度
滑窗积累
批处理。
蜂蜜花生的制作技术
<正> 蜂蜜花生是一种新型花生食品。它既克服了鱼皮花生外皮的坚硬,又克服了琥珀花生口感甜腻的缺点。它色泽棕黄,蜜香酥脆,成甜适度,而且工艺简单,所需设备少,适合乡镇企业
期刊
液体混合
混合料
谦虚谨慎再着鞭 马不停蹄立新功——第一线先进分子首批青岛疗养归来
国家气象局和湖北省气象局十分关心和重视战斗在气象服务第一线的气象科技工作者,今年十月份组织了我省基层气象台站的第一批十名职工到青岛气象职工度假村疗养.他们是程远喜
期刊
先进分子
试论社会保险制度的筹资工具
本文提出了社会保险的强制发生性和税收偿还的非对应性等新的概念。认为,社会保险的强制发生性这一本质特征,决定了社会保险制度的筹资工具天然是税收,决定了利用社会保障缴
期刊
社会保障税
社会保险
强制发生性
国内首个核电自动焊接项目获成功
随着最后一道主管道自动焊弧光的熄灭,中国核工业二三建设有限公司(以下简称“中核二三”)自有知识产权的CPR1000主管道自动焊工艺首个应用项目——宁德核电站1号机组主管道窄间
期刊
宁德核电站
CPR
管道自动焊
核岛安装
核工业
基于自我决定理论的全民健身运动动机模型
激发运动动机进而维持持久体育行为对促进全民健身运动是至关重要的,也与新《全民健身计划》将"城乡居民体育健身意识进一步增强"作为首要目标任务相一致。自我决定理论(self
会议
全民健身运动
自我决定理论
运动动机模型
自主型动机
畜禽消毒剂的研究和应用现状
利用消毒剂对畜禽及其周围环境进行消毒以杀灭病原体、切断传染途径,已成为预防和控制畜禽传染病流行的重要措施.在消毒剂的更新换代,老药新用及药物协同消毒研究等方面有了
期刊
消毒剂
作用机理
刺激性
季铵盐
枯草杆菌黑色变种芽胞
囊膜病毒
大肠杆菌
微生物蛋白质
猪瘟病毒
口蹄疫病毒
复合制剂
新城疫病毒
研究和应用
与本文相关的学术论文