×

兹马思-数学第一资源

基于约束的适应度函数在基于搜索的软件测试中的应用。(英语) Zbl 1382.68231
Gomes,Carla(ed.)等人,《组合优化问题约束规划中人工智能和或技术的集成》。2013年第10届国际会议,美国纽约约克敦高地,2013年5月18日至22日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-38170-6/pbk)。计算机科学课堂讲稿7874378-385(2013)。
摘要:基于搜索的软件测试是一种强大的自动生成软件测试输入的技术。它的目标是到达被测程序中的分支或语句。这种方法的一个主要限制是信息不足的适应度函数,无法将搜索导向嵌套谓词(约束)中的测试目标。为了解决这个问题,我们基于约束编程界熟知的概念(如约束性和arity)提出适应度函数来对候选测试进行排序。初步的实验证明了新的适应度函数的有效性和有效性。
整个系列请参见[Zbl 1263.68017].
理学硕士:
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
68N99型 软件理论
PDF格式 BibTeX公司 XML 引用
全文: 多伊