【摘 要】
：
面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测
【机 构】
：
装甲兵工程学院信息工程系,100072
论文部分内容阅读
面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.
其他文献
本刊讯(王国荣 报道) 5月20日下午,江苏省造纸行业协会在南京国际会议大酒店召开江苏省造纸行业协会三届五次理事(扩大)会议.此次会议由江苏省造纸行业协会会长牛庆民主持.rn
据有关报道，河南省江河纸业有限公司承担的“十一五”国家科技支撑计划国产高速造纸机的研制项目于2012年9月25日顺利通过国家项目验收专家组的考察验收。
为了探明多年生红地球葡萄嫁接苗的猝死原因,降低河井灌区多年生红地球葡萄嫁接苗的死亡率,对死亡植株和正常植株进行了解剖学对比观察,并对致病因子栽植深度、灌溉方式和栽
随着中国加入 WTO,中国林业将在更大的范围、更宽的领域和更高的层次上融入世界经济。与其他林产品相比,小木制品属于劳动密集型产业,具有促进木材产业资源节约化、为人工林
确保装甲装备保障综合数据库安全可靠是装甲装备保障信息化建设中的一项重要内容。全面分析了装甲装备保障综合数据库安全保密特点及安全内容,阐述了数据库系统的安全机制,提
该文简述了桥面防水层对桥梁结构的重要作用,阐述了设计桥面铺装时应考虑的面层厚度、压实及水的影响等因素,并介绍了防水膜沥青体系及液态聚合物体系。
为更好地学习、贯彻落实《河南省租赁处王玉玲供稿房屋租赁管理办法》精神,让社会公众了解房屋租赁管理法律法规和房屋租赁在房地产市场中的作用,进一步加强政风行风建设,按
长期以来,我国发展双级滑阀真空泵遇到不少困难和挑战,标准制定后相隔二十多年才有生产2H-150等产品.实际上由于大抽速的双级滑阀真空泵设计制造会遇到动平衡、控制双级供油
据有关报道，2012年8月24日在东京举行的“新技术说明会”上，日本京都大学教授矢野浩之宣布已成功开发出在纸或者纸的原材料纸浆中添加树脂等材料，使纸张透明化的技术。这种透明
本刊讯(记者 杨晨鸣 报道) 5月13日,记者应邀参加了太阳纸业举办的“幸福阳光无添加系列生活用纸新品发布会”,山东省造纸行业协会理事长王泽风和太阳纸业董事长李洪信等出席