gotestsから学ぶテストコード自動生成のメカニズム / Automatic generation mechanism learned from gotests

HPUFTUT͔ΒֶͿ  ςετίʔυࣗಈੜ੒ͷ ϝΧχζϜ

ࣗݾ঺հ w /P[PNJ5BLVNB w %F/" 48&5άϧʔϓ w "VUPNBUJPO5FTUνʔϜ "OESPJE
(P

(PBM HPUFTUTͱ͍͏ϥΠϒϥϦΛ୊ࡐʹ  ςετίʔυࣗಈੜ੒ͷϝΧχζϜ Λ஌Δ͜ͱͰɺࣗಈੜ੒πʔϧͷ։ ൃ΍ΧελϚΠζΛ͢Δ࣌ͷώϯτ ʹͳΕ͹ͱͯ΋خ͍͠

HPUFTUT w IUUQTHJUIVCDPNDXFJMMHPUFTUT w ؔ਺ͷύϥϝʔλ΍໭Γ஋ͷܕʹ  ߹ΘͤͯςʔϒϧۦಈςετΛࣗಈੜ੒  ͯ͘͠ΕΔ

HPUFTUTFYBNQMF GVOD'FFE$BU DPVOUJOU TUSJOH\ JGDPVOU\ SFUVSO ^ SFUVSO.FX ^ ͜ͷ࣮૷ίʔυʹରͯ͠ 
HPUFTUTΛ࣮ߦ͢Δͱʜ

GVOD5FTU'FFE$BU U UFTUJOH5 \ UZQFBSHTTUSVDU\ DPVOUJOU ^ UFTUT<>TUSVDU\ OBNFTUSJOH BSHTBSHT
XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ ςʔϒϧۦಈςετ͕ੜ੒͞Εͨʂ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ Ҿ਺ͷܕʹ͋ͬͨ ςετύϥϝʔλ͕ઃఆͰ͖Δ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ ໭Γ஋ͷܕʹ͋ͬͨ ظ଴஋͕ઃఆͰ͖Δ

HPUFTUTͷ͍͍ͳͱࢥ͏ͱ͜Ζ w (Pʹ׳Ε͍ͯͳ͍ਓͰ΋αοͱ  ςʔϒϧۦಈςετΛॻ͖࢝ΊΔ  ͜ͱ͕Ͱ͖Δ w ςʔϒϧͷύϥϝʔλҎ֎ͷίʔυ ͕ࣗಈੜ੒͞ΕΔ͜ͱͰɺςετ έʔεΛͲ͏͢Δ͔ߟ͑Δ͜ͱʹू தͰ͖Δ

HPUFTUTͷݶք w HPUFTUTͷੜ੒͢Δςετίʔυ͸  ൚༻త w ϓϩδΣΫτʹϚονͨ͠΋ͷʹͳ ΔΑ͏ɺੜ੒ͨ͠ίʔυΛΆͪΆͪ ख௚ͨ͠͠Γ

HPUFTUTͷݶք ͲͷΑ͏ʹςετίʔυ͕ੜ੒͞ΕΔ͔Λཧղ͢Ε͹ɺ  ࣗ෼͕ٻΊΔςετίʔυΛੜ੒͢ΔΑ͏ʹ  ΧελϚΠζͰ͖ΔͷͰ͸ʁ w HPUFTUTͷੜ੒͢Δςετίʔυ͸  ൚༻త w ϓϩδΣΫτʹϚονͨ͠΋ͷʹͳ ΔΑ͏ɺੜ੒ͨ͠ίʔυΛΆͪΆͪ
ख௚ͨ͠͠Γ

HPUFTUTͷ  ࣗಈੜ੒ϝΧχζϜ

ςετίʔυੜ੒ͷϑϩʔ ର৅ ؔ਺ ର৅ؔ਺ͷ  ߏจղੳΛͯ͠ γάωνϟΛऔಘ  γάωνϟΛ  ςϯϓϨʔτʹ  ద༻ͯ͠  ςετίʔυੜ੒
*OQVU HPUFTUT ςετ  ίʔυ 0VUQVU ᶃ ᶄ

ςετίʔυੜ੒ͷϑϩʔ ର৅ ؔ਺ ςετ  ίʔυ ϑΝΠϧಡΈࠐΈ "45ͱܕ৘ใऔಘ HPUFTUTͷϞσϧʹ ม׵ *OQVU
0VUQVU HPUFTUT ϞσϧͷσʔλΛ  ςϯϓϨʔτʹ  ൓өͯ͠ίʔυੜ ੒ ϑΝΠϧॻ͖ग़͠ ᶃ ᶄ

ςετίʔυੜ੒ͷϑϩʔ ର৅ ؔ਺ ϑΝΠϧಡΈࠐΈ "45ͱܕ৘ใऔಘ HPUFTUTͷϞσϧʹ ม׵ *OQVU HPUFTUT ϞσϧͷσʔλΛ 
ςϯϓϨʔτʹ  ൓өͯ͠ίʔυੜ ੒ ϑΝΠϧॻ͖ग़͠ ςετ  ίʔυ 0VUQVU ᶃ ᶄ

Ϟσϧˠςετίʔυ w UFYUUFNQMBUFΛ࢖༻ͯ͠  ςετίʔυͷςϯϓϨʔτʹ  HPUFTUTͷϞσϧͷσʔλΛ߹੒

UFYUUFNQMBUF %FBS\\/BNF^^ \\XJUI(JGU^^5IBOLZPVGPSUIF\\^^ #FTUXJTIFT \\FOE^^ /P[PNJ UZQF3FDJQJFOUTUSVDU\ /BNF
(JGUTUSJOH ^   3FDJQJFOU\ /BNF:VSJLP (JGUUFBTFU ^ %FBS:VSJLP 5IBOLZPVGPSUIFUFBTFU #FTUXJTIFT /P[PNJ ςϯϓϨʔτ (Pͷίʔυ

HPUFTUTͷςϯϓϨʔτ w σϑΥϧτ͸JOUFSOBMSFOEFSUFNQMBUFT w ࠓճGVODUJPOUNQMΛத৺ʹ঺հ

HPUFTUTFYBNQMF GVOD'FFE$BU DPVOUJOU TUSJOH\ JGDPVOU\ SFUVSO ^ SFUVSO.FX ^

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ ੜ੒͞Εͨςετίʔυͱ HPUFTUTͷςϯϓϨʔτΛ  রΒ͠߹ΘͤͯݟͯΈΔ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ ςϯϓϨʔτ͸͜Μͳײ͡ GVOD\\5FTU/BNF^^ U UFTUJOH5 \ ^

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ GVOD\\5FTU/BNF^^ U UFTUJOH5 \ ^ 5FTU/BNFͷ஋͕  ςετؔ਺໊ͱͯ͠ద༻͞ΕΔ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ \\JG5FTU1BSBNFUFST^^ UZQFBSHTTUSVDU\ \\SBOHF5FTU1BSBNFUFST^^ \\1BSBN^^\\5ZQF^^ \\FOE^^ ^ \\FOE^^

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ \\JG5FTU1BSBNFUFST^^ UZQFBSHTTUSVDU\ \\SBOHF5FTU1BSBNFUFST^^ \\1BSBN^^\\5ZQF^^ \\FOE^^ ^ \\FOE^^ 5FTU1BSBNFUFST͕  ۭ͡Όͳ͚Ε͹

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ \\JG5FTU1BSBNFUFST^^ UZQFBSHTTUSVDU\ \\SBOHF5FTU1BSBNFUFST^^ \\1BSBN^^\\5ZQF^^ \\FOE^^ ^ \\FOE^^ ςετର৅ؔ਺ͷҾ਺Λอ࣋͢Δ  BSHTετϥΫτΛ௥Ճ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ \\JG5FTU1BSBNFUFST^^ UZQFBSHTTUSVDU\ \\SBOHF5FTU1BSBNFUFST^^ \\1BSBN^^\\5ZQF^^ \\FOE^^ ^ \\FOE^^ BSHTετϥΫτʹϧʔϓͰ ϑΟʔϧυΛ௥Ճ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ UFTUT<>TUSVDU\ OBNFTUSJOH \\XJUI3FDFJWFS^^ \\JGBOE*T4USVDU'JFMET^^ GJFMETGJFMET \\FMTF^^ \\3FDFJWFS^^\\5ZQF^^ \\FOE^^ \\FOE^^ \\JG5FTU1BSBNFUFST^^ BSHTBSHT \\FOE^^ \\SBOHF5FTU3FTVMUT^^ \\8BOU^^\\5ZQF^^ \\FOE^^ \\JG3FUVSOT&SSPS^^ XBOU&SSCPPM \\FOE^^ ^

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ UFTUT<>TUSVDU\ OBNFTUSJOH \\XJUI3FDFJWFS^^ \\JGBOE*T4USVDU'JFMET^^ GJFMETGJFMET \\FMTF^^ \\3FDFJWFS^^\\5ZQF^^ \\FOE^^ \\FOE^^ \\JG5FTU1BSBNFUFST^^ BSHTBSHT \\FOE^^ \\SBOHF5FTU3FTVMUT^^ \\8BOU^^\\5ZQF^^ \\FOE^^ \\JG3FUVSOT&SSPS^^ XBOU&SSCPPM \\FOE^^ ^ ςετͷσʔληοτΛ  อ࣋͢Δ഑ྻ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ UFTUT<>TUSVDU\ OBNFTUSJOH \\XJUI3FDFJWFS^^ \\JGBOE*T4USVDU'JFMET^^ GJFMETGJFMET \\FMTF^^ \\3FDFJWFS^^\\5ZQF^^ \\FOE^^ \\FOE^^ \\JG5FTU1BSBNFUFST^^ BSHTBSHT \\FOE^^ \\SBOHF5FTU3FTVMUT^^ \\8BOU^^\\5ZQF^^ \\FOE^^ \\JG3FUVSOT&SSPS^^ XBOU&SSCPPM \\FOE^^ ^ 5FTU1BSBNFUFST͕  ۭ͡Όͳ͚Ε͹  BSHTετϥΫτΛ௥Ճ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ UFTUT<>TUSVDU\ OBNFTUSJOH \\XJUI3FDFJWFS^^ \\JGBOE*T4USVDU'JFMET^^ GJFMETGJFMET \\FMTF^^ \\3FDFJWFS^^\\5ZQF^^ \\FOE^^ \\FOE^^ \\JG5FTU1BSBNFUFST^^ BSHTBSHT \\FOE^^ \\SBOHF5FTU3FTVMUT^^ \\8BOU^^\\5ZQF^^ \\FOE^^ \\JG3FUVSOT&SSPS^^ XBOU&SSCPPM \\FOE^^ ^ 5FTU3FTVMUTͷ஋Λ  XBOUͱͯ͠ϑΟʔϧυʹ௥Ճ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ GPS\\JG PS4VCUFTUT OPU*T/BLFE ^^@ UU\\FOE^^SBOHFUFTUT\ \\JG4VCUFTUT^Û3VO UUOBNF GVOD U UFTUJOH5 \\\FOE^^ \\XJUI3FDFJWFS^^ \\JG*T4USVDU^^ \\3FDFJWFS^^\\JG5ZQF*T4UBS^^\\FOE^^\\5ZQF7BMVF^^\ \\SBOHF'JFMET^^ \\/BNF^ÛUGJFMET\\'JFME^^ \\FOE^^ ^ \\FOE^^ \\FOE^^ \\SBOHF1BSBNFUFST^^ \\JG*T8SJUFS^^ \\1BSBN^^CZUFT#VGGFS\^ \\FOE^^ \\FOE^^ \\JGBOE OPU0OMZ3FUVSOT&SSPS OPU0OMZ3FUVSOT0OF7BMVF ^^ \\UFNQMBUFSFTVMUTG^^\\UFNQMBUFDBMMG^^ \\FOE^^ \\JG3FUVSOT&SSPS^^ JG\\JG0OMZ3FUVSOT&SSPS^^FSS\\UFNQMBUFDBMMG^^\\FOE^^ FSSOJM UUXBOU&SS\ U&SSPSG \\UFNQMBUFNFTTBHFG^^FSSPSW XBOU&SSW \\UFNQMBUFJOQVUTG^^FSS UUXBOU&SS \\JG5FTU3FTVMUT^^ \\JG4VCUFTUT^^SFUVSO\\FMTF^^DPOUJOVF\\FOE^^ \\FOE^^ ^ \\FOE^^ \\SBOHF5FTU3FTVMUT^^ \\JG*T8SJUFS^^ JG\\(PU^^\\1BSBN^^4USJOH \\(PU^ÛU\\8BOU^^\ \\FMTFJG*T#BTJD5ZQF^^ JG\\JGG0OMZ3FUVSOT0OF7BMVF^^\\(PU^^\\UFNQMBUFJOMJOFG^^\\FOE^^\\(PU^ÛU\\8BOU^^\ \\FMTF^^ JG\\JGG0OMZ3FUVSOT0OF7BMVF^^\\(PU^^\\UFNQMBUFJOMJOFG^^\\FOE^^SFGMFDU%FFQ&RVBM \\(PU^^ UU\\8BOU^^ \ \\FOE^^ U&SSPSG \\UFNQMBUFNFTTBHFG^^\\JGG3FUVSOT.VMUJQMF^^\\(PU^^\\FOE^^W XBOUW \\UFNQMBUFJOQVUTG^^\\(PU^^ UU\\8BOU^^ ^ \\FOE^^ \\JG4VCUFTUT^^^ \\FOE^^ ^ ௕͍ʼʻ  ৄࡉ͸ׂѪ

XBOUTUSJOH ^\ 50%0"EEUFTUDBTFT ^ GPS@ UUSBOHFUFTUT\ U3VO UUOBNF GVOD U UFTUJOH5 \ JGHPU'FFE$BU UUBSHTBSH HPUUUXBOU\ U&SSPSG 'FFE$BU W XBOUW HPU UUXBOU ^ ^ ^ ^ GPS\\JG PS4VCUFTUT OPU*T/BLFE ^^@ UU\\FOE^^SBOHFUFTUT\ \\JG4VCUFTUT^Û3VO UUOBNF GVOD U UFTUJOH5 \\\FOE^^ \\XJUI3FDFJWFS^^ \\JG*T4USVDU^^ \\3FDFJWFS^^\\JG5ZQF*T4UBS^^\\FOE^^\\5ZQF7BMVF^^\ \\SBOHF'JFMET^^ \\/BNF^ÛUGJFMET\\'JFME^^ \\FOE^^ ^ \\FOE^^ \\FOE^^ \\SBOHF1BSBNFUFST^^ \\JG*T8SJUFS^^ \\1BSBN^^CZUFT#VGGFS\^ \\FOE^^ \\FOE^^ \\JGBOE OPU0OMZ3FUVSOT&SSPS OPU0OMZ3FUVSOT0OF7BMVF ^^ \\UFNQMBUFSFTVMUTG^^\\UFNQMBUFDBMMG^^ \\FOE^^ \\JG3FUVSOT&SSPS^^ JG\\JG0OMZ3FUVSOT&SSPS^^FSS\\UFNQMBUFDBMMG^^\\FOE^^ FSSOJM UUXBOU&SS\ U&SSPSG \\UFNQMBUFNFTTBHFG^^FSSPSW XBOU&SSW \\UFNQMBUFJOQVUTG^^FSS UUXBOU&SS \\JG5FTU3FTVMUT^^ \\JG4VCUFTUT^^SFUVSO\\FMTF^^DPOUJOVF\\FOE^^ \\FOE^^ ^ \\FOE^^ \\SBOHF5FTU3FTVMUT^^ \\JG*T8SJUFS^^ JG\\(PU^^\\1BSBN^^4USJOH \\(PU^ÛU\\8BOU^^\ \\FMTFJG*T#BTJD5ZQF^^ JG\\JGG0OMZ3FUVSOT0OF7BMVF^^\\(PU^^\\UFNQMBUFJOMJOFG^^\\FOE^^\\(PU^ÛU\\8BOU^^\ \\FMTF^^ JG\\JGG0OMZ3FUVSOT0OF7BMVF^^\\(PU^^\\UFNQMBUFJOMJOFG^^\\FOE^^SFGMFDU%FFQ&RVBM \\(PU^^ UU\\8BOU^^ \ \\FOE^^ U&SSPSG \\UFNQMBUFNFTTBHFG^^\\JGG3FUVSOT.VMUJQMF^^\\(PU^^\\FOE^^W XBOUW \\UFNQMBUFJOQVUTG^^\\(PU^^ UU\\8BOU^^ ^ \\FOE^^ \\JG4VCUFTUT^^^ \\FOE^^ ^ ύλʔϯʹΑͬͯ  ੜ੒͞ΕΔ࣮ߦ෦෼ͷίʔυ͕  ҧ͏͜ͱ͕Θ͔Δ

ੜ੒ʹඞཁͩͬͨσʔλ ͍࣋ͬͯΔ΋ͷ 5FTU/BNF ςετؔ਺໊ 5FTU\\ର৅ͱ͢Δؔ਺໊^^ 5FTU1BSBNFUFST ର৅ͱ͢Δؔ਺ͷҾ਺ ܕ໊લ 5FTU3FTVMUT ର৅ͱ͢Δؔ਺ͷ໭Γ஋
ܕ໊લ

ςετίʔυੜ੒ͷϑϩʔ ର৅ ؔ਺ ϑΝΠϧಡΈࠐΈ "45ͱܕ৘ใऔಘ HPUFTUTͷϞσϧʹ ม׵ *OQVU HPUFTUT ϞσϧͷσʔλΛ 
ςϯϓϨʔτʹ  ൓өͯ͠ίʔυੜ ੒ ϑΝΠϧॻ͖ग़͠ ςετ  ίʔυ 0VUQVU ᶃ ᶄ

ର৅'VODUJPOˠϞσϧ w HPQBSTFSΛ࢖ͬͯ"45Λऔಘ w HPUZQFTΛ࢖ͬͯܕ৘ใΛऔಘ w औಘͨ͠৘ใΛHPUFTUTͷ'VODUJPOϞσϧʹ ม׵

ੜ੒ʹඞཁͩͬͨσʔλ ͍࣋ͬͯΔ΋ͷ 5FTU/BNF ςετؔ਺໊ 5FTU\\ର৅ͱ͢Δؔ਺໊^^ 5FTU1BSBNFUFST ର৅ͱ͢Δؔ਺ͷҾ਺ ܕ໊લ 5FTU3FTVMUT ର৅ͱ͢Δؔ਺ͷ໭Γ஋
ܕ໊લ

'VODUJPOϞσϧ UZQF'VODUJPOTUSVDU\ /BNFTUSJOH *T&YQPSUFECPPM 3FDFJWFS 3FDFJWFS 1BSBNFUFST<> 'JFME 3FTVMUT<> 'JFME
3FUVSOT&SSPSCPPM ^

3FUVSOT&SSPSCPPM ^ ͜ΕΒͷ஋͕  ςετίʔυੜ੒ʹ࢖ΘΕͨ

3FUVSOT&SSPSCPPM ^ UZQF'JFMETUSVDU\ /BNFTUSJOH 5ZQF &YQSFTTJPO *OEFYJOU ^ UZQF&YQSFTTJPOTUSVDU\ 7BMVFTUSJOH *T4UBSCPPM *T7BSJBEJDCPPM *T8SJUFSCPPM 6OEFSMZJOHTUSJOH ^

αϯϓϧͷؔ਺ͷ৔߹ GVOD'FFE$BU DPVOUJOU TUSJOH\ JGDPVOU\ SFUVSO ^ SFUVSO.FX ^

'VODUJPO\ /BNFt'FFE$BUu *T&YQPSUFEUSVF 3FDFJWFSOJM 1BSBNFUFST<> 'JFME 3FTVMUT<> 'JFME 3FUVSOT&SSPSGBMTF ^
'JFME\ /BNFtDPVOUu 5ZQF &YQSFTTJPO *OEFY ^ &YQSFTTJPO\ 7BMVFtJOUu *T4UBSGBMTF *T7BSJBEJDGBMTF *T8SJUFSGBMTF 6OEFSMZJOHtJOUu ^ 'JFME\ /BNFtu 5ZQF &YQSFTTJPO *OEFY ^ &YQSFTTJPO\ 7BMVFtTUSJOHu *T4UBSGBMTF *T7BSJBEJDGBMTF *T8SJUFSGBMTF 6OEFSMZJOHtTUSJOHu ^

'JFME\ /BNFtDPVOUu 5ZQF &YQSFTTJPO *OEFY ^ &YQSFTTJPO\ 7BMVFtJOUu *T4UBSGBMTF *T7BSJBEJDGBMTF *T8SJUFSGBMTF 6OEFSMZJOHtJOUu ^ 'JFME\ /BNFtu 5ZQF &YQSFTTJPO *OEFY ^ &YQSFTTJPO\ 7BMVFtTUSJOHu *T4UBSGBMTF *T7BSJBEJDGBMTF *T8SJUFSGBMTF 6OEFSMZJOHtTUSJOHu ^ ͜ΕΒͷ৘ใʹண໨ͯ͠  "45͔Βநग़͢ΔखॱΛݟ͍ͯ͘

"45͔Βͷநग़ QBDLBHFBTU UZQF'JMFTUSVDU\ %PD $PNNFOU(SPVQ 1BDLBHFUPLFO1PT /BNF *EFOU %FDMT<>%FDM
4DPQF 4DPQF *NQPSUT<> *NQPSU4QFD 6OSFTPMWFE<> *EFOU $PNNFOUT<> $PNNFOU(SPVQ ^ QBSTFSQBSTF'JMFͰऔಘͨ͠  ϑΝΠϧΛද͢"45ͷϊʔυ

"45͔Βͷநग़ QBDLBHFBTU UZQF'JMFTUSVDU\ %PD $PNNFOU(SPVQ 1BDLBHFUPLFO1PT /BNF *EFOU %FDMT<>%FDM
4DPQF 4DPQF *NQPSUT<> *NQPSU4QFD 6OSFTPMWFE<> *EFOU $PNNFOUT<> $PNNFOU(SPVQ ^ τοϓϨϕϧͷఆ͕࣮ٛͨͪ૷͢Δܕ  ؔ਺ͷ৔߹͸BTU'VOD%FDM

BTU'VOD%FDM͔Βͷநग़ QBDLBHFBTU UZQF'VOD%FDMTUSVDU\ %PD $PNNFOU(SPVQ 3FDW 'JFME-JTU /BNF *EFOU
5ZQF 'VOD5ZQF #PEZ #MPDL4UNU ^

QBDLBHFBTU UZQF'VOD%FDMTUSVDU\ %PD $PNNFOU(SPVQ 3FDW 'JFME-JTU /BNF *EFOU 5ZQF
'VOD5ZQF #PEZ #MPDL4UNU ^ BTU'VOD%FDM͔Βͷநग़

'VOD5ZQF #PEZ #MPDL4UNU ^ QBDLBHFBTU   UZQF*EFOUTUSVDU\ /BNF1PTUPLFO1PT /BNFTUSJOH 0CK 0CKFDU ^ ͜͜ʹؔ਺໊͕ೖ͍ͬͯΔ BTU'VOD%FDM͔Βͷநग़

'VOD5ZQF #PEZ #MPDL4UNU ^ QBDLBHFBTU   UZQF'VOD5ZQFTUSVDU\ 'VODUPLFO1PT 1BSBNT 'JFME-JTU 3FTVMUT 'JFME-JTU ^ Ҿ਺ͱ໭Γ஋ͷϦετ BTU'JFMEͷ഑ྻΛอ࣋  BTU'VOD%FDM͔Βͷநग़

BTU'JFME͔Βͷநग़ QBDLBHFBTU UZQF'JFMETUSVDU\ %PD $PNNFOU(SPVQ /BNFT<> *EFOU 5ZQF&YQS 5BH #BTJD-JU
$PNNFOU $PNNFOU(SPVQ ^ Ҿ਺΍໭Γ஋ͷ໊લ ʮY ZJOUʯͷΑ͏ʹܕΛলུͨ͠ͱ͖͸  ෳ਺ʹೖΔͷͰ഑ྻ

BTU'JFME͔Βͷநग़ QBDLBHFBTU UZQF'JFMETUSVDU\ %PD $PNNFOU(SPVQ /BNFT<> *EFOU 5ZQF&YQS 5BH #BTJD-JU
$PNNFOU $PNNFOU(SPVQ ^ &YQSܕ͸ࣜͷOPEF͕࣮૷͢΂͖ந৅తͳܕ  ࠓճͷҾ਺JOUͱ໭Γ஋TUSJOH͸  ͲͪΒ΋BTU*EFOUܕ

αϯϓϧͷؔ਺ͷ৔߹ GVOD'FFE$BU DPVOUJOU TUSJOH\ JGDPVOU\ SFUVSO ^ SFUVSO.FX ^

'VOD%FDM\ /BNF *EFOU 5ZQF 'VOD5ZQF ^ 'VOD5ZQF\ 'VODUPLFO1PT 1BSBNT 'JFME-JTU
3FTVMUT 'JFME-JTU ^ *EFOU\ /BNFt'FFE$BUu ^ 'JFME\ /BNFT<> *EFOU 5ZQF&YQS ^ 'JFME\ /BNFT<> *EFOU 5ZQF&YQS ^ ᤳ਺ ໭ΜᲩ

'JFME\ /BNFT<> *EFOU 5ZQF&YQS ^ 'JFME\ /BNFT<> *EFOU 5ZQF&YQS ^
ᤳ਺ ໭ΜᲩ *EFOU\ /BNFtDPVOUu ^ *EFOU\ /BNFtJOUu ^ ໖፺ᅾ *EFOU\ /BNFtTUSJOHu ^

'JFME\ /BNFtDPVOUu 5ZQF &YQSFTTJPO *OEFY ^ &YQSFTTJPO\ 7BMVFtJOUu *T4UBSGBMTF *T7BSJBEJDGBMTF *T8SJUFSGBMTF 6OEFSMZJOHtJOUu ^ 'JFME\ /BNFtu 5ZQF &YQSFTTJPO *OEFY ^ &YQSFTTJPO\ 7BMVFtTUSJOHu *T4UBSGBMTF *T7BSJBEJDGBMTF *T8SJUFSGBMTF 6OEFSMZJOHtTUSJOHu ^ HPUFTUTͷϞσϧͱ  রΒ͠߹ΘͤΔͱ

'JFME\ /BNFtDPVOUu 5ZQF &YQSFTTJPO *OEFY ^ &YQSFTTJPO\ 7BMVFtJOUu *T4UBSGBMTF *T7BSJBEJDGBMTF *T8SJUFSGBMTF 6OEFSMZJOHtJOUu ^ 'JFME\ /BNFtu 5ZQF &YQSFTTJPO *OEFY ^ &YQSFTTJPO\ 7BMVFtTUSJOHu *T4UBSGBMTF *T7BSJBEJDGBMTF *T8SJUFSGBMTF 6OEFSMZJOHtTUSJOHu ^ BTU'VOD%FDMͷ/BNF BTU'JFMEͷ/BNF BTU'JFMEͷ5ZQFͷ  /BNF

ܕ৘ใͷऔಘ w BTU*EFOUͷ৘ใ͚ͩͩͱܕͷৄࡉͳ৘ใ͸ Θ͔Βͳ͍ͨΊɺ"45औಘޙʹܕνΣοΫ Λߦ͏ w HPUFTUTͰ͸6OEFSMZJOH5ZQF΍ɺετϥΫτ 3FDFJWFSͷ৔߹ʹͦͷϑΟʔϧυͷ৘ใΛ औಘ͢Δͷʹ࢖༻

ߏจղੳ ܕνΣοΫ w ੩తղੳͷπʔϧΛ࡞Δͱ͖ͱಉ͡ w HPMBOHUPLZP͕੩తղੳΛֶ΂Δ  ίʔυϥϘΛఏڙ͍ͯ͠Δ w HPMBOHUPLZPHJUIVCJPDPEFMBC

ςετίʔυੜ੒ͷϑϩʔ ର৅ ؔ਺ ςετ  ίʔυ *OQVU 0VUQVU HPUFTUT ϞσϧͷσʔλΛ  ςϯϓϨʔτʹ 
൓өͯ͠ίʔυੜ ੒ ϑΝΠϧॻ͖ग़͠ ϑΝΠϧಡΈࠐΈ "45ͱܕ৘ใऔಘ HPUFTUTͷϞσϧʹ ม׵ ᶃ ᶄ

ੜ੒͞ΕΔςετίʔυͷ  ΧελϚΠζ

ΧελϜςϯϓϨʔτ w HPUFTUT͸Ҿ਺ʹ೚ҙͷςϯϓϨʔτ͕  ஔ͔Ε͍ͯΔσΟϨΫτϦΛ౉͢͜ͱ͕Ͱ͖ Δ w σϑΥϧτ͸JOUFSOBMSFOEFSUFNQMBUFT w σϑΥϧτͷςϯϓϨʔτΛίϐʔͯ͠  ඞཁͳͱ͜Ζ͚ͩฤू͢Δͷ͕खͬऔΓૣ͍

ςϯϓϨʔτͰ͸Ͱ͖ͳ͍͜ͱ w HPUFTUTͷϞσϧ͕อ͍࣋ͯ͠Δ஋͔͠࢖༻ Ͱ͖ͳ͍ w ྫ͑͹ɺHPUFTUTͷϞσϧ͸಺෦ͷ࣮૷ͷ৘ ใΛ͍࣋ͬͯͳ͍ w ͦΕҎ্ͷ৘ใΛ࢖͍͍ͨ৔߹ɺιʔε ίʔυͷมߋ͕ඞཁ

HPUFTUTͷϞσϧ w JOUFSOBMNPEFMTʹ·ͱ·͍ͬͯΔͷͰɺ͜͜Λ ோΊΔͱɺͲͷΑ͏ͳ৘ใ͕࢖͑Δ͔͕Θ͔Δ w ࠓճςϯϓϨʔτʹొ৔ͨ͠5FTU1BSBNFUFST౳ ͸ؔ਺ͱͯ͠ఆٛ w JOUFSOBMSFOEFSSFOEFSHPʹɺ  ςϯϓϨʔτ಺Ͱ࢖༻Ͱ͖ΔΧελϜ'VODUJPO
ͷఆٛ΋͋ΔͷͰͦ͜΋֬ೝ

ςϯϓϨʔτͷΧελϚΠζྫ w SFqFDU%FFQ&RVBMͰͷൺֱΛHPDNQΛ  ࢖͏Α͏ʹมߋ͢Δ w HPPHMFHPDNQDNQ

ςϯϓϨʔτͷΧελϚΠζྫ UZQF'PPTUSVDU\^ UZQF#BSTUSVDU\^ GVOD 'PP #BS #BS\ SFUVSO#BS\^ ^

ςϯϓϨʔτͷΧελϚΠζྫ UZQF'PPTUSVDU\^ UZQF#BSTUSVDU\^ GVOD 'PP #BS #BS\ SFUVSO#BS\^ ^ ͜͜ΛDNQ&RVBMʹ͍ͨ͠

ςϯϓϨʔτͷछྨ w DBMMUBNQM w GVODUJPOUNQM w IFBEFSUNQM w *OMJOFUNQM w
*OQVUTUNQM w NFTTBHFUNQM w SFTVMUTUNQM GVODUJPOͷςϯϓϨʔτΛमਖ਼  JNQPSUจ͸IFBEFSUNQMʹ௥ՃͰ͖Δ͕  74$PEFͷࣗಈJNQPSUʹ೚ͤΔʜ

GVODUJPOUNQMͷमਖ਼ \\JG*T8SJUFS^^ \\FMTFJG*T#BTJD5ZQF^^ \\FMTF^^ JG\\ؔ਺Ṻ΅ᲇͩ^^SFGMFDU%FFQ&RVBM \\(PU^^ UU\\8BOU^^ \
\\FOE^^ ؔ਺ݺͼग़͠෦෼Λൈਮ

GVODUJPOUNQMͷमਖ਼ \\JG*T8SJUFS^^ \\FMTFJG*T#BTJD5ZQF^^ \\FMTF^^ JG\\ؔ਺Ṻ΅ᲇͩ^^SFGMFDU%FFQ&RVBM \\(PU^^ UU\\8BOU^^ \
\\FOE^^

GVODUJPOUNQMͷमਖ਼ \\JG*T8SJUFS^^ \\FMTFJG*T#BTJD5ZQF^^ \\FMTF^^ JG\\ؔ਺Ṻ΅ᲇͩ^^DNQ&RVBM \\(PU^^ UU\\8BOU^^ \
\\FOE^^ มߋ

ςϯϓϨʔτมߋ࣮ͯ͠ߦ มΘͬͨ

ςϯϓϨʔτมߋ࣮ͯ͠ߦ ϩάʹDNQ%JGGΛग़ྗ͢ΔΑ͏ʹ  ͢Ε͹΋ͬͱศརʹ

·ͱΊ

·ͱΊ w HPUFTUT͸"45ܕ৘ใΛςϯϓϨʔτʹ൓ өͤͯ͞ςετίʔυΛੜ੒͍ͯ͠Δ w HPUFTUT͸೚ҙͷςϯϓϨʔτΛड͚औΔ͜ ͱ͕Ͱ͖ΔͷͰɺΑΓϓϩδΣΫτʹద͠ ͨςετίʔυͷੜ੒΋Մೳ w HPUFTUTͷϞσϧ͕อ࣋͢Δ৘ใҎ্ͷ΋ͷ
Λ࢖͍͍ͨ৔߹ɺ࣮૷ͷमਖ਼͕ඞཁ

͝ਗ਼ௌ͋Γ͕ͱ͏  ͍͟͝·ͨ͠ʂ

gotestsから学ぶテストコード自動生成のメカニズム / Automatic gene...

gotestsから学ぶテストコード自動生成のメカニズム / Automatic generation mechanism learned from gotests

More Decks by tkmnzm

Other Decks in Programming

Featured

Transcript