资源描述：
《惠战伟、黄松 - 南京大学软件学院》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、SAT2015惠战伟、黄松学术界焦点：测试软件测试模型软件测试模型用例自动生成refinedmodel/testrequirements/structurerequirementstestspecsTestDesign测试设计阶段测试实施阶段工业界所谓的software自动化测试inputartifactvalues最后的焦点：测试判定pass/testtesttestfailresultsscriptscasesTestValidation2015年11月13日星期五蜕变测试关键技术研究@SAT201522©JeffOff
2、utt如：等价类划分测试方法；蜕变测试的研究背景因果图测试方法；路径测试方法；lGIS中距离量算程序XnDistance(X,X)812X10XX9X2326nDistance(X,X)X13X1X1114X24X7……X17XX195XnDistance(X1,X26)13XX212X20X……X25X2221X3XX1615X18X4X6n不惜代价，确保程序正确，需要多可靠测试用例集问题少个测试用例T？nDistance(X1,测试判定问题！X)=236？22015年11月13日星期五蜕变测试关键技术研究@SAT2015
3、3测试判定难题现有解决方法面临挑战l显著的失效n程序崩溃、死机、程序重启数量较少等。l人工计算l易错；l程序本身可能就是n基于开发方提供的计算模型，解决困难问题。手工计算程序预期的输出。l特殊值测试适用于少数输入n开发方提供已知的测试数据。l比对测试l两种软件精度不同；n选择功能相同的其它软件，验l正确性依赖。证相同测试用例执行结果是否相同。2015年11月13日星期五蜕变测试关键技术研究@SAT20154蜕变测试[Chenetal.,1998，2002]其它测试技术生成的测试用例程序输出f(x)是否正确？-原始测试xff(
4、x)测试判定难题用例约束关系trf附加测试t(x)ff(t(x))用例l关系r(f(t(x)),f(x))满足：这两个测试并不一定正确；fl关系r(f(t(x)),f(x))不满足：f(x)或者f(t(x))或者两个都存在失f效！2015年11月13日星期五蜕变测试关键技术研究@SAT20155蜕变测试实例lGIS中距离量算程序nDistance(X,X)=236是否正12确？X1ØDistance(X,X)=12X24Distance(X,X)+124XDistance(X,X)+192419Distance(X19,X2
5、)？X2n原始测试用例OTC:(X,X);12n附加测试用例FTC:(X,X),124(X,X),(X,X)；2419192需要多个蜕变关系l蜕变关系不满足：l蜕变关系满足：n测试用例(X1,X2),(X1,X24),n程序存在故障：(X,X),(X,X)中一定存Ø测试用例(X1,X2),(X1,X24),(X24,X19),(X19,X2)没2419192有覆盖到故障，蜕变关系满足；在至少一个失效测试用例；Ø已经覆盖到故障，但是(X1,X2),(X1,X24),(X24,n程序一定存在故障；X19),(X19,X2)发生相
6、同故障，导致蜕变关系还是满足；n程序不存在故障2015年11月13日星期五蜕变测试关键技术研究@SAT20156蜕变测试基本过程及其特征l蜕变测试特征n一种缓解测试判定难题的方法；n蜕变测试是一种基(X,X)于必要属性的测试12技术；(X,X)(X,X)(X,X)1242419219n蜕变关系通常不会非常复杂；n现有的蜕变测试依赖于其它测试技术。2015年11月13日星期五蜕变测试关键技术研究@SAT20157蜕变测试的关键问题5、蜕变测试一定依赖4、怎样生成性能更好于其它测试技术吗？的蜕变测试用例？其它测试用原始测试用例输
7、出例生成技术附加测试用例输出蜕变不满足附加测试用例被测一组存在失测是否满足？试软件效的测试用例…………过程附加测试用例输出满足选择下一蜕变关系MR个MR1、怎样构造MR？3、选择的依据？6、具体哪个测试用2、怎样精确、无二例失效呢？义性描述MR？2015年Zh11an月-w13eiH日u星期五i,SongHuang,Meta蜕变测试关键技术研究morphicTestingforAlleviatingOrac@lePSrobAleTm:20Ac15hievementsandChallenges,8ACMComputingSur
8、veys2015蜕变测试中的问题（一）其它测试用otcO0例生成技术O1ftc1不满足O2是否满ftc2足？ftcnOn满足MetamorphicRelationMR需要解决的问题：怎样构造蜕变关系MR？l蜕变关系的描述l蜕变关系的生成2015年11月13日星期五蜕变测试关键技术研究@SA
