论文部分内容阅读
生成充分而有效的测试集是软件测试过程的重要环节．根据联锁软件测试集的特点，在测试集自动生成算法基础上引入可视化技术．在测试集生成过程中，以图像方式显现数据之间的规律和联系，即时检验数据正确性．这种算法为用户提供了友好的人机交互界面，有利于减少冗余数据，提高测试集生成的效率．
联锁软件测试集可视化生成
【摘 要】
：
生成充分而有效的测试集是软件测试过程的重要环节．根据联锁软件测试集的特点，在测试集自动生成算法基础上引入可视化技术．在测试集生成过程中，以图像方式显现数据之间的规律和联
【机 构】
：
同济大学电子与信息工程学院
【出 处】
：
武汉大学学报：理学版
【发表日期】
：
2004年A01期
其他文献
每个孩子都有满脑子的问题，只是有时他会“大胆质疑”，有时他又“不屑提问”。给三年级二班的孩子们上语文课，就有这样的感觉———你总要“加些小心”，他们抛出的问题很有意思，如
甘薯品种与不同倍性野生种Ｉ．ｔｒｉｆｉｄａ杂交，获得Ｆ１代种子７０３粒，平均结实率为５．９％；甘薯品种与不同倍性种间杂种回交，结实率平均为１５．４％。结果显示。野生种及多数种间杂种表现父本花粉育性障碍，种间和杂交父母
探究性阅读教学是学生在教师的指导下阅读文本,从不同角度发现问题,运用各种方法分析问题,通过积极的思考和互动解决问题,从而获得知识、生成新的认知的过程。近年来,我一直
以波尔山羊为胚胎供体、当地淮山羊为受体，以孕酮阴道栓作同期发情处理。采用促卵泡激素和促黄体激光对供体母羊作超数排卵处理。供体母羊与波尔种公羊首次交配后的３．５ｄ和５．５ｄ分别于输
随着经济全球化、信息化的发展和国际市场竞争环境的巨变，经济发展外部环境变革对海洋经济发展提出了挑战。越来越多的战略家和理论家开始关注巨变环境下中国海洋经济发展环境
选择0-5元之间的金额发微信红包,平均金额超过3元,每人奖励5元,否则所有红包被“没收”。这5元红包能被你收入囊中吗?两个人在互不通信的前提下发1-20元红包。若总金额刚好等
在分析系统行为以及其动作序列的语义的基础上,利用时序逻辑公式描述攻击特征,提出了一种基于模型检查的入侵检测方法,该方法解决了检测中的重复验证等问题,通过增加推理链的