软件安全性自动测试中源于猜错案例的自描述

来源 :同济大学学报:自然科学版 | 被引量 : 0次 | 上传用户:junyan04
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种源于猜错测试案例的自描述方法.经过自描述处理后的案例具有普遍的适用性,只要在新的软件测试任务中找到匹配背景,自描述的案例就可以重新变成在新的具体背景下的测试案例.以一个铁路计算机联锁软件测试中的成功猜错案例为典型,阐述了如何为案例所涉及的实体定义一系列关系,借助这些关系实现案例自描述,并最终和新的软件测试背景匹配,且实现案例再生.
其他文献
【摘要】播音主持专业已经遍及我国三十多个省市自治区和直辖市中的二百多所高等院校,而且每年播音主持艺术专业毕业的学生都多达上万人,有关播音主持专业的人才需求和人才培养问题愈发显得重要。文章阐述了我国现阶段播音主持人才需求现状,并为未来的广播电视业播音主持人才的进一步发展指明了方向。  【关键词】播音主持;人才需求;现状;分析  一、引言  20世纪初,随着资本主义由自由竞争逐渐走向垄断,报业集团营运
【摘要】考级一直是器乐学习追逐的潮流,在老师的正确指导下,按照正常的进度循序渐进,它给了学生很好的表演和锻炼的机会。但程序式的考级,商业化的考级,就违背了考级的真正用意。  【关键词】器乐考级;音乐;误区  虽然考级这个主题算不上什么新鲜话题,但它一直困扰着人们,是考还是不考,学多长  时间考几级……在这个问题上,经常会听到两种说法,一种就是一定要考级,一种就是不需要考级,那么我们去追其根源,去了
高职教育是我国高等教育的重要补充,高职教育的特点决定了高职教育的实践性和技术性,在高职教育中,高职数学教学长期以来缺乏文化教育,数学教学成为了干涩的职业性教育,这不
《归田赋》是东汉张衡的抒情小赋代表作之一。《思归引序》是西晋时期的石崇为自己的代表作《思归引》所作的小序。二者都是作者归隐后生活的真实写照,有优美的景色也有真情
提出了一种安全性是基于圆锥曲线上离散对数计算的零知识身份鉴别协议.这种协议比基于离散对数的同类协议运算速度更快,比椭圆曲线上的同类协议在设计、实现上更为方便.在经