论文部分内容阅读
鉴于现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况，对边界值分析法进行形式化，提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明，相对于传统的逻辑覆盖测试准则，满足这些测试准则生成的测试用例能检测出系统更多的错误，既满足相应的逻辑覆盖测试准则，又能检测系统的边界情况。
基于模型的若干逻辑边界覆盖测试准则
【摘 要】
：
鉴于现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况，对边界值分析法进行形式化，提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明，相对于传统的逻辑覆盖测试准则，满
【机 构】
：
上海第二工业大学计算机与信息学院,浙江大学宁波理工学院管理学院
【出 处】
：
计算机科学
【发表日期】
：
2013年11A期
【基金项目】
：
国家自然科学基金项目(71271191)资助
其他文献
针对早期旋转盘腔换热特性研究中常忽略压缩性和耗散效应影响的研究方法,在定几何、常物性、可压缩、有耗散假设下,对描述旋转盘腔系统的控制方程进行了无量纲分析,得到除无
《建筑工程测量》是一门研究建筑工程测量领域基本知识和基本操作技能,为学生应用有关测绘资料和测量手段解决工程实际问题奠定必要的基础的课程,它同时也是土建专业必修的专
借鉴现有的环境管理体系运行模式PDCA,将之应用于节能管理工作中,建立新的节能管理体系运行模式,并研究其各阶段的运行过程,为企业建立新的节能管理工作模式提供参考。
记者在部分省市调研发现，在中央“八项规定”和反“四风”精神出台后，商务系统和地方各级政府普遍简化会展活动繁杂议程，大幅压缩开幕式、取消歌舞晚会等形式化活动，会展经济出现
文章分析了SGDT伽马密度测井仪器原理,运用三次样条函数插值方法对六个方位计数率数值进行插值处理,得到360度方位的连续变化的二维计数率曲线,对插值结果进行成像化处理,可
以儒家学说为核心的中国传统文化在现代化的冲击下面临着转型的必然。通过理性的阐释中国传统文化转型的动因、透析中西文化之间冲突与紧张的现实、探讨传统文化转型中需要注
[目的]为张家口坝上地区草莓栽培制定适宜的管理措施提供理论依据。[方法]以3个一季性、1个四季性草莓品种为材料,采用黑膜进行短日照处理,对照不加盖黑膜,研究短日照处理对
通过CNPO模拟机对核电站中常见的甩负荷至厂用电故障进行了仿真模拟，分析了主要参数变化的原因及相关参数的变化规律，并针对甩负荷导致的相关故障设计相应的处理方案。
坡耕地N、P流失是造成农业面源污染的重要原因。文章综述了国内外有关坡耕地N、P流失的过程特征，降雨、土壤、地形、耕作与管理因素对N、P流失的影响等方面工作的研宄进展，探讨