仕様漏れ実装漏れをなくすトレーサビリティAI基盤のご紹介

,VOJXBLBU$PJODIFDL *OD ࢓༷࿙Εɾ࣮૷࿙ΕΛͳ͘͢ τϨʔαϏϦςΟ"*ج൫ͷ͝঺հ

͜ͷൃදͰ఻͍͑ͨ͜ͱ ࢓༷࿙Εɾ࣮૷࿙Ε͕։ൃऴ൫Ͱൃ֮͢Δͱ σϦόϦ΍඼࣭΁க໋తͳӨڹΛٴ΅͠·͢ ͜ΕΒ͸ݕূલʹτϨʔαϏϦςΟ͕͋Ε͹ݕ஌Ͱ͖·͢ τϨʔαϏϦςΟΛਓྗͰ֬อ͠ଓ͚Δͷ͸େมͰ͢ "*Λ࢖͏ͱτϨʔαϏϦςΟΛຖ೔ࣗಈͰ֬ೝͰ͖·͢ 1 2 3
4

࢓༷࿙Εɾ࣮૷࿙Εͱ͸

࢓༷࿙Εͱ͸ɺཁٻʹॻ͍ͯ͋Δͷʹ࢓༷Ͱ࣮ݱ͞Ε͍ͯͳ͍͜ͱɻ ࣮૷࿙Εͱ͸ɺ࢓༷ʹॻ͍ͯ͋Δͷʹ࣮૷Ͱ࣮ݱ͞Ε͍ͯͳ͍͜ͱɻ օ͞Μ΋ݱ৔Ͱ࢓༷࿙Ε΍࣮૷࿙ΕΛΑ͘ݟ͔͚·ͤΜ͔ʁ

։ൃऴ൫Ͱݕূதʹ࢓༷࿙Ε΍࣮૷࿙Ε͕ൃ֮͢Δͱɺ ໰୊ͷ͋ͬͨ޻ఔ΁ख໭Γ͠ͳ͍ͱ͍͚ͳ͘ͳΓ·͢ɻ ੡඼ͷσϦόϦʹਂࠁͳѱӨڹΛ༩͑·͢ɻ ͜ͷ࢓༷࿙Εͱ࣮૷࿙ΕΛ๷͙୅දతͳखஈ͕ τϨʔαϏϦςΟٕ๏Ͱ͢ɻτϨʔαϏϦςΟٕ๏͸ ࢓༷࿙Εͱ࣮૷࿙ΕΛγϑτϨϑτ͢ΔखஈͰ͢ɻ

τϨʔαϏϦςΟͱ͸

τϨʔαϏϦςΟͱ͸ɺ੒Ռ෺ͷ೿ੜؔ܎Λ௥੻Ͱ͖Δੑ࣭ͷ͜ͱɻ τϨʔαϏϦςΟٕ๏͸τϨʔαϏϦςΟΛ֬อ͢Δٕ๏ͷ͜ͱɻ ͜͜Ͱ੒Ռ෺ͱ͸ɺ໰୊ͷೝࣝ΍ཁٻఆٛॻɺ࢓༷ॻɺઃܭॻɺ ࣮૷ɺςετέʔεͳͲΛࢦ͠·͢ɻ

੒Ռ෺ʹ͸೿ੜݩͱ೿ੜઌ͕͋Γ·͢ɻ͜ΕΛ೿ੜؔ܎ͱ͍͍·͢ɻ ೿ੜݩ ೿ੜઌ ೝࣝ͞Εͨ໰୊ ཁٻఆٛॻ ཁٻఆٛॻ ࢓༷ॻ ࢓༷ॻ ઃܭॻ
ઃܭॻ ࣮૷ ࢓༷ॻ ςετέʔε ද੒Ռ෺ͷ೿ੜؔ܎ͷྫ

೿ੜઌ੒Ռ෺͔ΒݟΔͱɺ೿ੜݩ੒Ռ෺͸ཧ༝ʹͳ͍ͬͯ·͢ɿ ʮͳͥ͜ͷςετέʔεͳͷʁʯˡʮ͜͏͍͏࢓༷͔ͩΒʯ ʮͳͥ͜ͷ࢓༷ͳͷʁʯˡʮ͜͏͍͏ཁٻ͔ͩΒʯ ʮͳͥ͜ͷཁٻͳͷʁʯˡʮ͜͏͍͏໰୊ͷೝ͔ࣝͩΒʯ

೿ੜݩ੒Ռ෺͔ΒݟΔͱɺ೿ੜઌ੒Ռ෺͸खஈʹͳ͍ͬͯ·͢ɿ ʮͲ͏͜ͷཁٻΛ࣮ݱ͢Δͷʁʯˡʮ͜͏͍͏࢓༷Ͱ࣮ݱ͢Δʯ ʮͲ͏͜ͷ࢓༷Λ࣮ݱ͢Δͷʁʯˡʮ͜͏͍͏ઃܭͰ࣮ݱ͢Δʯ ʮͲ͏͜ͷઃܭΛ࣮ݱ͢Δͷʁʯˡʮ͜͏͍͏࣮૷Ͱ࣮ݱ͢Δʯ

੒Ռ෺Λཁૉͱ͠ɺ೿ੜઌͱ೿ੜݩΛลͰ݁ͿͱάϥϑΛ ߏ੒Ͱ͖·͢ɻ͜ΕΛ೿ੜؔ܎ͷάϥϑͱݺͼ·͢ɻ ໰୊" ໰୊# ໰୊$ ϢʔβʔετʔϦʔ" γʔέϯεਤ" ίϯϙʔωϯτ࢓༷" ໰୊ͷೝࣝ
ཁٻఆٛॻ ࢓༷ॻ ઃܭॻ ࣮૷ ϢʔβʔετʔϦʔ# ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$ ίϯϙʔωϯτ࢓༷# ίϯϙʔωϯτ࢓༷$ ςετέʔε" ςετέʔε ςετέʔε# ςετέʔε$ ίϯϙʔωϯτ࣮૷" ࣮૷ ίϯϙʔωϯτ࣮૷# ίϯϙʔωϯτ࣮૷$

໰୊" ໰୊# ໰୊$ ϢʔβʔετʔϦʔ" γʔέϯεਤ" ίϯϙʔωϯτ࢓༷" ໰୊ͷೝࣝ ཁٻఆٛॻ ࢓༷ॻ
ઃܭॻ ࣮૷ ϢʔβʔετʔϦʔ# ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$ ίϯϙʔωϯτ࢓༷# ίϯϙʔωϯτ࢓༷$ ςετέʔε" ςετέʔε ςετέʔε# ςετέʔε$ ίϯϙʔωϯτ࣮૷" ࣮૷ ίϯϙʔωϯτ࣮૷# ίϯϙʔωϯτ࣮૷$ άϥϑΛ໼ҹͷํ޲΁ਐΉͱબ୒͞Εͨखஈ͕Θ͔Γɺ ໼ҹΛٯͷํ޲΁ḪΔͱཧ༝͕Θ͔Γ·͢ɻ

ઃܭॻ ࣮૷ ϢʔβʔετʔϦʔ# ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$ ίϯϙʔωϯτ࢓༷# ίϯϙʔωϯτ࢓༷$ ςετέʔε" ςετέʔε ςετέʔε# ςετέʔε$ ίϯϙʔωϯτ࣮૷" ࣮૷ ίϯϙʔωϯτ࣮૷# ίϯϙʔωϯτ࣮૷$ ೿ੜݩͱ೿ੜઌ͸ͷؔ܎ʹͳΔͱ͸ݶΓ·ͤΜɻ ໨త͸ෳ਺͋Δ͜ͱ͕͋Γɺखஈ΋ෳ਺͋Δ͜ͱ͕͋Γ·͢ɻ

೿ੜؔ܎ͷάϥϑʹ͸ͭͷΞϊϚϦʔ͕͋Γ·͢ɿ ೿ੜઌ͕ଘࡏ͠ͳ͍ ೿ੜݩ͕ଘࡏ͠ͳ͍ 1 2 ݫີʹ͸࠷Լྲྀͷ੒Ռ෺΋౰ͯ͸·Γ·͕͢͜Ε͸আ͖·͢ɻ ݫີʹ͸࠷্ྲྀͷ੒Ռ෺΋౰ͯ͸·Γ·͕͢͜Ε͸আ͖·͢ɻ

೿ੜઌ͕ଘࡏ͠ͳ͍ 1 ໰୊" ໰୊# ໰୊$ ϢʔβʔετʔϦʔ" γʔέϯεਤ" ίϯϙʔωϯτ࢓༷" ໰୊ͷೝࣝ
ཁٻఆٛॻ ࢓༷ॻ ઃܭॻ ࣮૷ ϢʔβʔετʔϦʔ# ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$ ίϯϙʔωϯτ࢓༷# ίϯϙʔωϯτ࢓༷$ ςετέʔε" ςετέʔε ςετέʔε# ςετέʔε$ ίϯϙʔωϯτ࣮૷" ࣮૷ ίϯϙʔωϯτ࣮૷# ίϯϙʔωϯτ࣮૷$ ࣮ݱ͞Ε͍ͯͳ͍ɺߟྀ͔Β࿙Ε͍ͯΔͱ͍͏͜ͱͰ͢ɻ

ઃܭॻ ࣮૷ ϢʔβʔετʔϦʔ# ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$ ίϯϙʔωϯτ࢓༷# ίϯϙʔωϯτ࢓༷$ ςετέʔε" ςετέʔε ςετέʔε# ςετέʔε$ ίϯϙʔωϯτ࣮૷" ࣮૷ ίϯϙʔωϯτ࣮૷# ίϯϙʔωϯτ࣮૷$ ೿ੜઌ͕ଘࡏ͠ͳ͍ ϢʔβʔετʔϦʔ#͸Ͳͷγʔέϯεਤʹ΋೿ੜ͠ͳ͍ͨΊ࢓༷࿙Εɻ 1

೿ੜઌ͕ଘࡏ͠ͳ͍ 1 ໰୊" ໰୊# ໰୊$ ϢʔβʔετʔϦʔ" γʔέϯεਤ" ίϯϙʔωϯτ࢓༷" ໰୊ͷೝࣝ
ཁٻఆٛॻ ࢓༷ॻ ઃܭॻ ࣮૷ ϢʔβʔετʔϦʔ# ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$ ίϯϙʔωϯτ࢓༷# ίϯϙʔωϯτ࢓༷$ ςετέʔε" ςετέʔε ςετέʔε# ςετέʔε$ ίϯϙʔωϯτ࣮૷" ࣮૷ ίϯϙʔωϯτ࣮૷# ίϯϙʔωϯτ࣮૷$ ίϯϙʔωϯτ࢓༷$΋೿ੜઌ͕ͳ͍ͨΊ࣮૷࿙Εɻ

೿ੜؔ܎ͷάϥϑʹ͸ͭͷΞϊϚϦʔ͕͋Γ·͢ɿ ೿ੜઌ͕ଘࡏ͠ͳ͍ ೿ੜݩ͕ଘࡏ͠ͳ͍ 1 2 ݫີʹ͸࠷Լྲྀͷ੒Ռ෺΋౰ͯ͸·Γ·͕͢͜Ε͸আ͖·͢ɻ ݫີʹ͸࠷্ྲྀͷ੒Ռ෺΋౰ͯ͸·Γ·͕͢͜Ε͸আ͖·͢ɻ

೿ੜݩ͕ଘࡏ͠ͳ͍ 1 ໰୊" ໰୊# ໰୊$ ϢʔβʔετʔϦʔ" γʔέϯεਤ" ίϯϙʔωϯτ࢓༷" ໰୊ͷೝࣝ
ཁٻఆٛॻ ࢓༷ॻ ઃܭॻ ࣮૷ ϢʔβʔετʔϦʔ# ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$ ίϯϙʔωϯτ࢓༷# ίϯϙʔωϯτ࢓༷$ ςετέʔε" ςετέʔε ςετέʔε# ςετέʔε$ ίϯϙʔωϯτ࣮૷" ࣮૷ ίϯϙʔωϯτ࣮૷# ίϯϙʔωϯτ࣮૷$ ೿ੜઌ੒Ռ෺ͷཧ༝Λઆ໌Ͱ͖·ͤΜɻయܕతʹ͸ෆཁͳ੒Ռ෺Ͱ͢ɻ

೿ੜݩ͕ଘࡏ͠ͳ͍ 1 ໰୊" ໰୊# ໰୊$ ϢʔβʔετʔϦʔ" γʔέϯεਤ" ίϯϙʔωϯτ࢓༷" ໰୊ͷೝࣝ
ཁٻఆٛॻ ࢓༷ॻ ઃܭॻ ࣮૷ ϢʔβʔετʔϦʔ# ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$ ίϯϙʔωϯτ࢓༷# ίϯϙʔωϯτ࢓༷$ ςετέʔε" ςετέʔε ςετέʔε# ςετέʔε$ ίϯϙʔωϯτ࣮૷" ࣮૷ ίϯϙʔωϯτ࣮૷# ίϯϙʔωϯτ࣮૷$ Ͳ͏ͯ͜͠ͷςετέʔε͕͋ΔͷʁΛઆ໌Ͱ͖·ͤΜɻ

೿ੜؔ܎ͷάϥϑΛߏங͢Δͱɺ͜ΕΒͷ ΞϊϚϦʔΛૣظʹൃݟͰ͖·͢ɻ

ैདྷͷτϨʔαϏϦςΟٕ๏

೿ੜݩ੒Ռ෺ͷߏ੒ཁૉʹ*%Λ͚ͭΔ ೿ੜݩ੒Ռ෺Λ෼ղ͢Δ ೿ੜݩ੒Ռ෺ͷߏ੒ཁૉ͝ͱʹɺ೿ੜઌ੒Ռ෺ͷߏ੒ཁૉΛ ࡞੒͍ͯ͘͠ ͷ͍ͭͰʹ؅ཧ୆ாʹ೿ੜݩͱ೿ੜઌͷ*%ͷؔ܎Λهா͢Δ 1 2 3 4

1 ೿ੜݩ੒Ռ෺ͷߏ੒ཁૉʹ*%Λ͚ͭΔ ࣗൢػͷ׆ੑ ࣗൢػʹചΓ੾ΕͰ͸ͳ͍੡඼"ͷ Ձ֨ΑΓ૯ֹ͕ଟ͘ͳΔΑ͏ʹ՟ฎΛ ౤ೖ͢Δͱ੡඼"͕ߪೖՄೳʹͳΓɺ ͔ͭ͜ͷͱ͖੡඼"ͷϘλϯΛԡԼ͢Δͱ ੡඼"ΛऔΓग़͠ޱ͔Βड͚औΕΔɻ ࣗൢػͷ҆શੑ
ࣗൢػʹ౤ೖ͞Ε͍ͯΔ՟ฎͷ૯ֹΑΓ Ձ֨ͷߴ͍͢΂ͯͷ੡඼͸ߪೖՄೳʹ ͳΒͳ͍ɻ ࣗൢػͷ׆ੑʢ&9".1-&3&2ʣ ࣗൢػʹചΓ੾ΕͰ͸ͳ͍੡඼"ͷ Ձ֨ΑΓ૯ֹ͕ଟ͘ͳΔΑ͏ʹ՟ฎΛ ౤ೖ͢Δͱ੡඼"͕ߪೖՄೳʹͳΓɺ ͔ͭ͜ͷͱ͖੡඼"ͷϘλϯΛԡԼ͢Δͱ ੡඼"ΛऔΓग़͠ޱ͔Βड͚औΕΔɻ ࣗൢػͷ҆શੑʢ&9".1-&3&2ʣ ࣗൢػʹ౤ೖ͞Ε͍ͯΔ՟ฎͷ૯ֹΑΓ Ձ֨ͷߴ͍͢΂ͯͷ੡඼͸ߪೖՄೳʹ ͳΒͳ͍ɻ

1 ೿ੜݩ੒Ռ෺ͷߏ੒ཁૉʹ*%Λ͚ͭΔ ϢʔβʔετʔϦʔ 9͸:Ͱ͖Δ *% ϢʔβʔετʔϦʔ &9".1-&64
9͸:Ͱ͖Δ &9".1-&64 &9".1-&64

ࣗൢػͷ׆ੑʢ&9".1-&3&2ʣ ࣗൢػʹചΓ੾ΕͰ͸ͳ͍੡඼"ͷ Ձ֨ΑΓ૯ֹ͕ଟ͘ͳΔΑ͏ʹ՟ฎΛ ౤ೖ͢Δͱ੡඼"͕ߪೖՄೳʹͳΓɺ ͔ͭ͜ͷͱ͖੡඼"ͷϘλϯΛԡԼ͢Δͱ ੡඼"ΛऔΓग़͠ޱ͔Βड͚औΕΔɻ ࣗൢػͷ҆શੑʢ&9".1-&3&2ʣ ࣗൢػʹ౤ೖ͞Ε͍ͯΔ՟ฎͷ૯ֹΑΓ Ձ֨ͷߴ͍͢΂ͯͷ੡඼͸ߪೖՄೳʹ
ͳΒͳ͍ɻ ࣗൢػͷ׆ੑʢ&9".1-&3&2ʣ ࣗൢػʹചΓ੾ΕͰ͸ͳ͍੡඼"ͷ Ձ֨ΑΓ૯ֹ͕ଟ͘ͳΔΑ͏ʹ՟ฎΛ ౤ೖ͢Δͱ੡඼"͕ߪೖՄೳʹͳΓɺ ͔ͭ͜ͷͱ͖੡඼"ͷϘλϯΛԡԼ͢Δͱ ੡඼"ΛऔΓग़͠ޱ͔Βड͚औΕΔɻ ࣗൢػͷ҆શੑʢ&9".1-&3&2ʣ ࣗൢػʹ౤ೖ͞Ε͍ͯΔ՟ฎͷ૯ֹΑΓ Ձ֨ͷߴ͍͢΂ͯͷ੡඼͸ߪೖՄೳʹ ͳΒͳ͍ɻ ೿ੜݩ੒Ռ෺Λ෼ղ͢Δ 2

*% ϢʔβʔετʔϦʔ &9".1-&64 9͸:Ͱ͖Δ &9".1-&64 &9".1-&64 *%
ϢʔβʔετʔϦʔ &9".1-&64 9͸:Ͱ͖Δ ೿ੜݩ੒Ռ෺Λ෼ղ͢Δ 2 *% ϢʔβʔετʔϦʔ &9".1-&64 *% ϢʔβʔετʔϦʔ &9".1-&64

ྫɿ&9".1-&64͔Β&9".1-&4&2 &9".1-&4&2 Λ࡞੒͢Δ 3 ೿ੜݩ੒Ռ෺ͷߏ੒ཁૉ͝ͱʹɺ೿ੜઌ੒Ռ෺ͷߏ੒ཁૉΛ ࡞੒͍ͯ͘͠

ྫɿ&9".1-&64ˠ&9".1-&4&2 &9".1-&64ˠ&9".1-&4&2 &9".1-&64ˠ 4 ͷ͍ͭͰʹ؅ཧ୆ாʹ೿ੜݩͱ೿ੜઌͷ*%ͷؔ܎Λهா͢Δ ϢʔβʔετʔϦʔ" γʔέϯεਤ" ཁٻఆٛॻ ࢓༷ॻ
ϢʔβʔετʔϦʔ# ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$

೉͘͠͸ͳ͍ͷͰ΍Ζ͏ͱࢥ͑͹ΈΜͳͰ͖·͢ɻ࣮ࡍ͸ օ͕҉໧తʹ΍͍ͬͯΔ͜ͱͰ͠ΐ͏ɻ ͨͩ͠τϨʔαϏϦςΟΛ֬อ͢Δʹ͸҉໧తʹ΍͍ͬͯͨ ͜ͱΛ໌ࣔతʹ΍Βͳ͍ͱ͍͚·ͤΜɻͳΜͰ΋ͦ͏Ͱ͕͢ ҉໧తͳ΋ͷΛ໌ࣔతʹ΍Δ͜ͱ͸ख͕͔͔ؒΔ্ʹపఈʹ େมͳίετ͕͔͔Γ·͢ɻ

ͦ͜Ͱ"*Λ࢖ͬͯτϨʔαϏϦςΟΛ֬อͯ͠Έ·ͨ͠

"*τϨʔαϏϦςΟٕ๏ͷ࢓૊Έ

͢΂ͯͷ੒Ռ෺ΛػցతʹऔಘՄೳʹ͢Δʢਓؒͷ࢓ࣄʣ ͢΂ͯͷ੒Ռ෺Λػցతʹ෼ղՄೳʹ͢Δʢਓؒͷ࢓ࣄʣ ੒Ռ෺ͷ೿ੜؔ܎ΛػցతʹೝࣝՄೳʹ͢Δʢਓؒͷ࢓ࣄʣ ೿ੜݩͱ೿ੜઌͦΕͧΕͷߏ੒ཁૉͷ͢΂ͯͷ૊Έ߹ΘͤͰ ؔ࿈Λ൑ఆ͢Δʢ"*ͷ࢓ࣄɺฒྻʣ ೿ੜݩ੒Ռ෺ͷ͢΂ͯͷߏ੒ཁૉ͝ͱʹɺؔ࿈͢Δ೿ੜઌͷߏ੒ཁૉΛ ߹ମͨ͠΋ͷͱͷؒͰෆ੔߹Λ֬ೝ͢Δʢ"*ͷ࢓ࣄɺฒྻʣ "*ͷࢦఠͨ͠ෆ੔߹Λݟͳ͕Β੒Ռ෺Λ௥Ճɾमਖ਼͢Δʢਓؒͷ࢓ࣄʣ 1
2 3 4 5 6

DDDBUͱ͍͏ϓϩάϥϜΛ༻ҙ͠·ͨ͠ɻ $PO fl VFODF΍(PPHMF%SJWFɺ'JHNB্ͷ੒Ռ෺Λऔಘ͠ɺ .BSLEPXO΍547ɺ+40/ɺը૾ͱͯ͠ग़ྗ͠·͢ɻ 1 ͢΂ͯͷ੒Ռ෺ΛػցతʹऔಘՄೳʹ͢Δʢਓؒͷ࢓ࣄʣ

2 3 4 5 6

DDSBOHFͱ͍͏ϓϩάϥϜΛ༻ҙ͠·ͨ͠ɻ 547΍.BSLEPXOܗࣜͷ੒Ռ෺Λ*%͝ͱʹ෼ղ͠·͢ɻ 2 ͢΂ͯͷ੒Ռ෺Λػցతʹ෼ղՄೳʹ͢Δʢਓؒͷ࢓ࣄʣ

2 3 4 5 6

೿ੜؔ܎ͱͦΕͧΕͷؒͷෆ੔߹ͷఆٛΛఆΊɺϓϩάϥϜ͕ ಡΈ΍͍͢ܗࣜͰσʔλʹམͱ͠·ͨ͠ɻ 3 ੒Ռ෺ͷ೿ੜؔ܎ΛػցతʹೝࣝՄೳʹ͢Δʢਓؒͷ࢓ࣄʣ

2 3 4 5 6

࣍ͷਤͷ໼ҹͷ༗ແͱؔ࿈౓ͷڧ͞Λ෼ੳ͠·͢ɿ 4 ೿ੜݩͱ೿ੜઌͦΕͧΕͷߏ੒ཁૉͷ͢΂ͯͷ૊Έ߹ΘͤͰ ؔ࿈Λ൑ఆ͢Δʢ"*ͷ࢓ࣄɺฒྻʣ ϢʔβʔετʔϦʔ" γʔέϯεਤ" ཁٻఆٛॻ ࢓༷ॻ ϢʔβʔετʔϦʔ#
ϢʔβʔετʔϦʔ$ γʔέϯεਤ# γʔέϯεਤ$

HFNJOJ fl BTIʹɺؔ࿈ੑΛʮ͸ແؔ܎ɺ͸ओཁͰ͸ͳ͍ ෦෼ʹؔ܎͕͋Δɺ͸ओཁ෦෼ʹؔ܎͕͋Δɺ͸શମʹ Θͨͬͯؔ܎͕͋Δʯͷ஋Ͱ൑ఆͤ͞·ͨ͠ɻߏ଄ग़ྗΛ ར༻ͯ͠ࢦఆͨ͠+40/4DIFNBʹద߹͢Δग़ྗΛԠ౴͍ͤͯ͞·͢ɻ 4 ೿ੜݩͱ೿ੜઌͦΕͧΕͷߏ੒ཁૉͷ͢΂ͯͷ૊Έ߹ΘͤͰ ؔ࿈Λ෼ੳ͢Δʢ"*ͷ࢓ࣄɺฒྻʣ

次の派生元成果物の内容と派生先成果物の内容の間の関連性を評価してください。 # 派生元成果物 ## %%SOURCE_ID%% `````markdown %%SOURCE%% ````` # 派生先成果物
## %%DESTINATION_ID%% `````markdown %%DESTINATION%% ````` ϓ ϩ ϯ ϓ τ

{ "$schema": "https://json-schema.org/draft/2020-12/schema", "title": "RelevanceResult", "type": "object", "additionalProperties": false, "required":
["relevance", "reason"], "properties": { "relevance": { "type": "number", "description": "派生元のセクションの内容と派生先のセクションに関連度に応じた0、0.25、0.5、1.0のいずれかの浮動小数点数。0は無関係、0.25は主要ではない部分に関係がある、0.5は主要部分に関係がある、1.0は全体にわたって関係がある" }, "reason": { "type": "string", "description": "そう判断した理由。", "minLength": 1 } } } +40 / 4DIFN B

{ "relevance": 0.25, "reason": "派生元は顧客の情報の更新と最新化を促すことを目的としている一方、派生先は申請状況のデータ抽出とその分析を目的としている。派生先のデータには登録情報が含まれるが、その目的は申請状況の把握であり、情報の更新や最新化に直接寄与するものではないため、関連性は主要ではない。"
} --. ͔ Β ͷ Ԡ ౴

͋·Γʹ਺͕ଟ͘ʢຊࣄྫͰ͸߹ܭສ݅ͷؔ࿈෼ੳ͕ඞཁʣɺ ฒྻͩͱϲ݄΄Ͳ͔͔Γ·͢ɻͦͷͨΊฒྻͰੜ੒"*Λ ݺͼग़͠·ͨ͠ɻࠓճ࢖༻ͨ͠"*͸HFNJOJ fl BTIͰɺ ͜Εͷฒྻ͸"1*ར༻ݶ౓ʹҾ͔͔ͬΒͳ͍ਫ४Ͱ͢ɻ 4 ೿ੜݩͱ೿ੜઌͦΕͧΕͷߏ੒ཁૉͷ͢΂ͯͷ૊Έ߹ΘͤͰ ؔ࿈Λ൑ఆ͢Δʢ"*ͷ࢓ࣄɺฒྻʣ

ؔ࿈౓ΛʹߜΔͱैདྷͷτϨʔαϏϦςΟٕ๏ͷ೿ੜؔ܎ͱ ମײͰ΄΅Ұக͠·ͨ͠ʢݫີͳܭଌ͸͍ͯ͠·ͤΜʣ 4 ೿ੜݩͱ೿ੜઌͦΕͧΕͷߏ੒ཁૉͷ͢΂ͯͷ૊Έ߹ΘͤͰ ؔ࿈Λ൑ఆ͢Δʢ"*ͷ࢓ࣄɺฒྻʣ

ෆ੔߹Λ͍͖ͳΓݕग़ͤͣؔ࿈ੑΛઌʹ෼ੳ͢Δཧ༝͸ͭ͋Γ·͢ɿ w "*͸ೝࣝͰ͖Δจ຺ྔʢίϯςΩετ΢Οϯυ΢ʣʹݶք͕͋Γɺ ෆ੔߹Λݕग़͢Δࡍͷจ຺͸ؔ࿈͢Δ΋ͷ͚ͩʹߜΓ͍ͨ w ؔ࿈ੑͷ෼ੳ݁Ռ͸มߋ؅ཧʹస༻Ͱ͖Δ 4 ೿ੜݩͱ೿ੜઌͦΕͧΕͷߏ੒ཁૉͷ͢΂ͯͷ૊Έ߹ΘͤͰ ؔ࿈Λ൑ఆ͢Δʢ"*ͷ࢓ࣄɺฒྻʣ

2 3 4 5 6

5 ೿ੜݩ੒Ռ෺ͷ͢΂ͯͷߏ੒ཁૉ͝ͱʹɺؔ࿈͢Δ೿ੜઌͷߏ੒ཁૉΛ ߹ମͨ͠΋ͷͱͷؒͰෆ੔߹Λ֬ೝ͢Δʢ"*ͷ࢓ࣄɺฒྻʣ ྫɿϢʔβʔετʔϦʔʹγʔέϯεਤʹΑ࣮ͬͯݱ͞Ε͍ͯͳ͍ ෦෼͕͋Ε͹ෆ੔߹ ྫɿγʔέϯεਤͷొ৔ਓ෺ʹεςʔΫϗϧμʔҰཡʹͳ͍΋ͷ͕ ͋Ε͹ෆ੔߹

派生元成果物はユーザーストーリーを記述しています。派生先成果物では機能の概要を記述しています。ユーザーストーリー内で使用される機能のうち、機能の概要にないものを抜き出して violations に回答してください。もしユーザーストーリーがシステムに関与しない場合は violations に空文字列を回答してください。 # 派生元成果物 ## `%%SOURCE_ID%%`
`````markdown %%SOURCE%% ````` # 派生先成果物から関連する部分を抜粋し結合したもの `````markdown %%DESTINATIONS%% ````` ϓ ϩ ϯ ϓ τ

{ "$schema": "https://json-schema.org/draft/2020-12/schema", "title": "ViolationsResult", "type": "object", "additionalProperties": false, "required":
["violations", "reason"], "properties": { "violations": { "type": "string", "description": "ユーザーストーリー内で使用される機能のうち、機能の概要に記述されていないもの。ユーザーストーリーがシステムに関与しない場合、空文字列。" }, "reason": { "type": "string", "description": "そう判断した理由。", "minLength": 1 } } } +40 / 4DIFN B

{ "violations": "", "reason": "ユーザーストーリー「X したい」は、機能 Y、機能 Z など、様々な機能の実行フローが
シーケンス図で詳細に定義されています。また、A、B、C、に関する業務要件も含まれており、ユーザーストーリーの意図が十分に実現されていると判断しました。" } --. ͔ Β ͷ Ԡ ౴

2 3 4 5 6

6 "*ͷࢦఠͨ͠ෆ੔߹Λݟͳ͕Β੒Ռ෺Λ௥Ճɾमਖ਼͢Δ ʢਓؒͷ࢓ࣄʣ ਓ͕ؒ"*ͷࢦఠͨ͠ෆ੔߹෦෼Λݟͳ͕ΒɺʮରԠʯྻʹʮޡݕ஌ʯ ΍ʮཁରԠʯͳͲΛهೖ͖ͯ͠·͢ɻ

"*τϨʔαϏϦςΟٕ๏ͷར఺

"*τϨʔαϏϦςΟٕ๏ͷར఺ w ຖ೔τϨʔαϏϦςΟΛ֬ೝͰ͖Δ w ਓ͕ؒݟམͱ͕ͪ͠ͳؔ࿈΋रͬͯ͘ΕΔ w ਓһͷ௥Ճ͸ෆཁʢඅ༻͸ޙ΄Ͳ͝આ໌ʣ w ϓϩδΣΫτϝϯόʔશһͷτϨʔαϏϦςΟͷ ڭҭ͕ෆཁʢͨͩ͠ରԠཝهೖऀʹ͸ඞཁʣ

"*τϨʔαϏϦςΟٕ๏ͷਫ਼౓

"*τϨʔαϏϦςΟٕ๏ͷਫ਼౓ "*͸ෆ੔߹͕͋Δͱ൑அ͕ͨ͠ɺ࣮ࡍʹ͸ෆ੔߹͸ ͳׂ͔ͬͨ߹ʢِཅੑ཰ʣɿ "*͸ෆ੔߹͕ͳ͍ͱ൑அ͕ͨ͠ɺ࣮ࡍʹ͸ෆ੔߹͕ ׂ͋ͬͨ߹ʢِӄੑ཰ʣɿ

ͳِͥཅੑ཰͕͜Μͳʹߴ͍ͷ͔ʁ ِཅੑ཰͕ߴ͘ͱ΋ਓؒͷෛՙ͕ߴ͘ͳΔ͚ͩͰ͢ɻ ِ͔͠͠ӄੑ཰͕ߴ͍ͱ࢓༷࿙Εɾ࣮૷࿙ΕͷϦεΫ͕ ߴ·Γ·͢ɻͦͷͨΊɺِӄੑ཰Λ௿ِ͘ཅੑ཰Λߴ͘ ͢΂͖Ͱɺͦ͏ͳΔΑ͏ϓϩϯϓτΛௐ੔͠·ͨ͠ɻ

"*τϨʔαϏϦςΟٕ๏ͷඅ༻

"*τϨʔαϏϦςΟٕ๏ͷඅ༻ ࠓճͷࣄྫͰ͸஋ஈͷ҆ΊͳHFNJOJ fl BTIΛ ࢖༻͠·ͨ͠ɻର৅ϓϩδΣΫτ͸໊ن໛ɺ අ༻͸ॳ݄ͷΈສԁɺҎ߱͸ສԁ݄Ͱͨ͠ɻ

"*τϨʔαϏϦςΟٕ๏ͷඅ༻ ૉ๿ʹ࣮૷͢ΔͱTIPUສԁ΄ͲͰͨ͠ɻ ຖ೔ສԁͷࢧग़͸ͭΒ͗͢ΔͷͰɺؔ࿈෼ੳͱ ෆ੔߹ݕग़͸಺༰ʹมߋ͕͋ͬͨͱ͖͚ͩ"*Λ ݺͼग़͢Α͏ʹ͠ɺ಺༰ʹมߋ͕ͳ͚Ε͹աڈͷ ݁ՌΛͦͷ··ར༻͢ΔΑ͏ʹ͠·ͨ͠ɻ ͦͷ݁ՌɺॳճͷΈສԁɺͦΕҎ߱͸ສԁ೔ ʢສԁ݄ʣͷࢧग़ʹ཈͑ΒΕ·ͨ͠ɻ

ΑΓ҆ՁͳϞσϧͱͷൺֱ ؔ࿈ੑ෼ੳΛΑΓ҆ՁͳHFNJOJ fl BTIMJUFʹ ͢Δͱඅ༻ΛʹͰ͖·͢ɻ͔͠͠ɺਫ਼౓͕ ѱ͘ɺͳΜͰ΋͔ΜͰ΋ؔ࿈͢Δͱ൑அ͕ͪ͠ ͩͬͨͨΊɺؔ࿈ੑ෼ੳʹHFNJOJ fl BTIΛ ࢖͍ͬͯ·͢ɻ

ؔ࿈౓ ൑ఆ݅਺ ݸผʹݟΔͱ྘ͷํ͕ਅͷؔ࿈ੑͷ෼෍Λଊ͍͑ͯΔҹ৅Ͱͨ͠ɻ ੜ੒"*Ϟσϧͷؔ࿈ੑ෼ੳͷਫ਼౓ൺֱ

·ͱΊ ࢓༷࿙Εɾ࣮૷࿙Ε͕։ൃऴ൫Ͱൃ֮͢Δͱ σϦόϦ΍඼࣭΁க໋తͳӨڹΛٴ΅͠·͢ ͜ΕΒ͸ݕূલʹτϨʔαϏϦςΟ͕͋Ε͹ݕ஌Ͱ͖·͢ τϨʔαϏϦςΟΛਓྗͰ֬อ͠ଓ͚Δͷ͸େมͰ͢ "*Λ࢖͏ͱτϨʔαϏϦςΟΛຖ೔ࣗಈͰ֬ೝͰ͖·͢ 1 2 3
4

ँࣙ 5BOHF 0 l(/61BSBMMFM b#POEJ` z ;FOPEP %FDEPJ [FOPEP"WBJMBCMFIUUQTEPJPSH [FOPEP

仕様漏れ実装漏れをなくすトレーサビリティAI基盤のご紹介

仕様漏れ実装漏れをなくすトレーサビリティAI基盤のご紹介

More Decks by Kuniwak

Other Decks in Programming

Featured

Transcript