【摘 要】
：
软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针
【机 构】
：
上海大学计算机工程与科学学院,上海市计算机软件评测重点实验室
【基金项目】
：
国家自然科学基金(60970007,61073050);国家重点基础研究发展计划(973)(2007CB310800);上海市自然科学基金(09ZR1412100);上海市科学技术委员会资助项目(10510704900);上海市重点学科建设项目(J50103)
论文部分内容阅读
软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.
其他文献
近年来,乡村旅游发展迅速,成为旅游业发展中新的亮点。作为农业大省,河南省在发展乡村旅游过程中优势与劣势并存,机遇与挑战共生。文章试图运用SWOT分析方法,对河南省乡村旅
<正>"各地区各部门务必咬定目标、一鼓作气,坚决攻克深度贫困堡垒。"在第六个国家扶贫日到来之际,习近平总书记对脱贫攻坚工作作出重要指示,为我们党高质量打赢脱贫攻坚战指
互联网络兼容了戏曲资源的的多种载体形式,也使得戏曲传播面临着新的机遇和挑战。除了大量戏曲文本可以通过网络方便读取之外,网上戏曲的音像传播,更是体现出网络对于戏曲电
许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制——状态机来描述协议及控制机制.但是,
社会对旅游英语人才的要求越来越高,高职院校努力探索出符合本校特色又适应市场需求的人才培养模式,确立明确的人才培养目标,注重校企合作的办学模式,实现院校与业界、专家与
以江苏省为例 ,分析了小城镇发展中的用地问题 ,指出 ,小城镇设置具有一定的盲目性 ,造成了一定程度的土地资源浪费 ;人均用地较多 ,小城镇发展是全省耕地减少的一大原因 ;小
胡安·鲁尔福是墨西哥当代著名作家，享有世界声誉。本文通过对其代表作《佩得罗·巴拉莫》的分析，说明其创作的历史感和创作上的独树一帜。佩得罗的形象是一个典型的墨西哥“卡
分析了我国淡水水体富营养化的发生原因和危害,并对水体富营养化的评价和防治方法进行了概述。
当前高校《形势与政策》课程建设在课时安排、教学方法学习评价等方面存在一定不足,本文旨在探讨构建大学生社团——理论学习型社团为主、社会公益型社团为辅的模式,鼓励社团
1920年代美国进入了城市郊区化阶段,城郊联系日益密切,城郊矛盾也日益突出,实行大都市区管治迫在眉睫。进入1950年代后期的十年,大都市区管治十分盛行,但在随后的数十年,大都