CAJ | 학술논문

动态测试用例生成技术是一类新兴的软件测试技术.由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误.然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错.本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter.与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例.Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关.我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错.实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误.
동태측시용례생성기술시일류신흥적연건측시기술.유우사용해류기술무수임하인공간예,야무수험증인원구비임하전업지식,동시해류기술능구무오지발현정서착오,월래월다적연구자채용해기술사조예발포적이진제급연건착오.연이,이유적해류기술급기실현계통불구유가중정향성,지능처리면향모충특정지령집체계결구(ISA)적이진제대마,진행측시용례적생성여사착.본문제출료일충전신적지령집체계결구무관적이진제급동태측시용례생성기술,이급실현해기술적계통Hunter.여이유적동태측시용례생성기술불동,Hunter구유겁강적가중정향성,가대임하지령집체계결구적이진제대마진행사착,정향지위기생성지향불동집행로경적측시용례.Hunter정의료일투원지령집체계결구(MetaISA),장재이진제대마집행과정중수집도적소유집행신식영사위MetaISA,병대생성적MetaISA서렬진행부호화집행、약속수집、약속구해이급측시용례생성,종이사정개과정여ISA무관.아문실현료Hunter,장기중정향지32위x86、PowerPC화Sparc ISA,병사용해계통위6개함유이지착오적측시정서사착.실험결과표명,유우MetaISA적인입,지수흔소적개소,Hunter계통즉가용역차유효지중정향지불동적ISA,병차Hunter능구유효지발현면향32위x86、PowerPC화Sparc ISA편사적이진제응용중은장겁심적착오.