【摘 要】
：
软件测试是一种重要的、不可缺少的软件质量保证技术，用于发现和纠正软件中存在的缺陷和错误，但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行
【机 构】
：
东南大学计算机科学与工程学院,江苏省软件质量研究所
【基金项目】
：
国家自然科学基金No.60425206,60633010,60773104,60503033;国家教育部博士点基金No.20060286020~~
论文部分内容阅读
软件测试是一种重要的、不可缺少的软件质量保证技术，用于发现和纠正软件中存在的缺陷和错误，但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行结果之间的关系来测试程序，可以有效地解决上述问题。经过近十年的研究，蜕变测试技术已经在测试过程的优化、与其他验证或测试方法的结合等方面取得了巨大的进展，并被广泛地应用于各个领域中。对当前蜕变测试技术的研究进行了综述，针对已有方法的不足之处，对未来的研究方向进行了展望，包括蜕变测试充分性研究、实用蜕变关系构造技术、实用原始测试用例选取技术、新型软
其他文献
为了使飞行器能够在有限的巡飞航程中对指定目标区进行全面探测，提出了一种基于遗传算法的飞行器巡飞路径规划方法．分别针对定高度和变高度巡飞路径进行规划进行了仿真，得到了满
靳瑞教授是我国著名临床针灸学家,广州中医药大学首席教授.他创立的"靳三针"疗法,以其独特的组方配穴,卓著的疗效蜚声海内外.靳师年过七旬,却健朗豁达,虽每日求医者络绎不绝,
昨日，市政协十三届四次会议隆重开幕。来自民革江门市委会、民盟江门市委会、民建江门市委会、民进江门市委会、农工党江门市委会、致公党江门市委会、九三学社江门市委会以及
《王韻》與《廣韻》都為《切韻》系韻書,在《王韻》和《唐韻》的基礎上參考其他韻書增修成《廣韻》,所以《王韻》和《廣韻》編寫上有傳承關係,但是由於兩書分別屬於《切韻》
小学英语是后期英语学习的基础,但是因为英语学习太过费力,需要背诵的东西太多,导致难以培养学生学习英语的兴趣。随着新课程改革的不断发展,教师与家长都越来越重视学生英语
疫情形势依然严峻，防控工作不容懈怠。不论是与病魔较量的医务人员、坚守岗位的党员干部，还是居家隔离的普通群众，毅力和韧性都面临着严峻考验。只有坚定信心、沉着应对，弛而不息
我国近日出台的《健康中国行动(2019—2030年)》提出实施“老年健康促进行动”,明确了“到2022年和2030年,65～74岁老年人失能发生率有所下降;65岁及以上人群老年期痴呆患病率
现有的信任模型在识别不诚实反馈、惩罚恶意节点的策略性动态改变行为和激励机制等方面存在不足。为了解决这些问题,提出了一个基于时间窗的局部信任模型TW-Trust,统一考虑了
在养猪生产过程中,仔猪的成活率高低关系到生猪养殖户的切身利益,因此,仔猪成活率是养殖业快速发展的重要基础,同时也是养猪业要发展规模,降低养殖成本,提高养殖效益的关键,
发挥比较优势,利用当地有利条件形成竞争优势,这样的产业就不需要政府扶持,可以占有很大的市场空间,随后就能实现再投资和产品技术的升级,这样的发展才是可持续的,既有利于经