要求仕様の一貫性検証支援ツールを用いた要求仕様書のドキュメント品質の分析手法の提案と適用評価

全文

(1)Vol.2017-SE-195 No.6 2017/3/12. ᝟ሗฎ⌮Ꮫ఍◊✲ሗ࿌ IPSJ SIG Technical Report. せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࢆ⏝࠸ࡓせồ௙ᵝ᭩ࡢ ࢻ࣓࢟ࣗࣥࢺရ ရ㉁ࡢศᯒᡭἲࡢᥦ᱌࡜㐺⏝ホ౯ ఩㔝ᮌ୓㔛†1 ኱㔝᫛ᚨ†1 㔝ᮧ඾ᩥ†2 ᴫせ㸸ⴭ⪅ࡽࡣ㸪せồ௙ᵝࡢရ㉁≉ᛶ࡛࠶ࡿࠕ୍㈏ᛶࠖ࡟╔┠ࡋ㸪࣋ࢸࣛࣥᢏ⾡⪅ࡀ⤒㦂ⓗ࡟ᚓࡓ᳨ド▱㆑ࢆᙧᘧ▱ ໬ࡋ㸪ࡑࢀࡽ▱㆑࡟ᇶ࡙ࡁ㸪せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࢆᐇ⌧ࡋࡓ㸬ᐇࢩࢫࢸ࣒ࡢせồ௙ᵝ᭩ࢆ⏝࠸࡚ᮏࢶ࣮ ࣝࡢ㐺⏝ホ౯ࢆ⾜࠸㸪ᮏࢶ࣮ࣝࡣᢏ⾡⪅ࡢຠ⋡ⓗ࡞௙ᵝ᳨ドࢆᨭ᥼ࡍࡿⅬ࡟࠾࠸୍࡚ᐃࡢຠᯝࡀ࠶ࡿࡇ࡜ࢆ᫂ࡽ࠿࡟ ࡋࡓ㸬ⴭ⪅ࡽࡣ㸪᪂ࡓ࡟㸪ྠ୍⤌⧊ࡀసᡂࡋࡓ」ᩘࡢせồ௙ᵝ᭩ࡢ᳨ド࡟ᮏࢶ࣮ࣝࢆ㐺⏝ࡋࡓ㸬ᮏࢶ࣮ࣝࢆ⏝࠸୍࡚ ㈏ᛶ᳨ドࡢほⅬ࡛せồ௙ᵝ᭩ࢆศᯒࡋࡓ⤖ᯝ㸪ࢻ࣓࢟ࣗࣥࢺရ㉁ࡢᨵၿࡢࣀ࢘ࣁ࢘ࡀᚓࡽࢀࡓࡢ࡛ሗ࿌ࡍࡿ㸬 ࣮࣮࢟࣡ࢻ㸸せồ௙ᵝ᭩㸪୍㈏ᛶ᳨ド㸪ࢻ࣓࢟ࣗࣥࢺရ㉁. Proposal and Its Evaluation of a Document Quality Analysis Method using Requirements Consistency Verification Support Tool for Requirements Specification MARI INOKI†1 AKINORI OHNO†1. NORIFUMI NOMURA†2. Abstract: The authors developed a requirements consistency verification support tool, focusing on the consistency of the requirements quality. We have extracted tacit knowledge for verifying requirements and made it explicit as the verification knowledge which were incorporated into the tool. We have evaluated the tool by utilizing the actual requirements specifications; it was clarified that the tool was effective for an analyst to verify and improve the requirements specifications efficiently. In addition, the tool was applied to other actual requirements specifications. As a result of using the tool to analyze the requirements specification from a consistent verification standpoint, know-how for improving document quality was acquired and is therefore reported here. Keywords: Requirements specification, Consistency verification, Document quality. 1. ࡣࡌࡵ࡟. ゝㄒ࡛グ㏙ࡉࢀࡓ௙ᵝࢆᑐ㇟࡟㸪௙ᵝࡢရ㉁ࢆ୍ᐃ࡟ಖࡘ ࡓࡵࡢྲྀࡾ⤌ࡳࡣ㔜せ࡛࠶ࡿ㸬. 〇ရࢯࣇࢺ࢙࢘࢔㛤Ⓨ࡟࠾࠸࡚㸪せồᐃ⩏ᕤ⛬ࡣᴟࡵ࡚. ᮌᮧࡽࡣ㸪⮬↛ゝㄒ࡛グ㏙ࡉࢀࡓせồ௙ᵝࡢ᳨ドᨭ᥼ࢶ. 㔜せ ࡛ ࠶ ࡾ 㸪せ ồ ᐃ ⩏ ࡟ 㛵 ࡍ ࡿ ᶆ ‽ [7] ࡸ ▱ ㆑ య ⣔. ࣮ࣝࢆ㛤Ⓨࡋ㸪ྠࢶ࣮ࣝࢆ⏝࠸ࡓせồ௙ᵝࡢ㧗ရ㉁໬࡬ࡢ. REBOK[8] [9]ࡀᥦ౪ࡉࢀ㸪ά⏝ࡉࢀ࡚࠸ࡿ㸬せồᐃ⩏ࡣ㸪. ྲྀ⤌ࡳ஦౛ࢆሗ࿌ࡋ࡚࠸ࡿ[12]㸬ᮌᮧࡽ࡟ࡼࡿ᳨ドᢏ⾡ࡣ㸪. 㛤Ⓨᑐ㇟࡜࡞ࡿ㡿ᇦ㸪⤌⧊ࡀ┤㠃ࡍࡿㄢ㢟㸪฼⏝ࡍࡿᢏ⾡. タィせ⣲ࡢ୍ࡘ࡛࠶ࡿ࢔ࢡࢱ࣮࡟ࣇ࢛࣮࢝ࢫࡋ㸪࣋ࢸࣛࣥ. ࡢ᮲௳࡟ᛂࡌࡓヨ⾜㘒ㄗࡀᚲせ࡜࡞ࡾ㸪ึ⣭ࡢᢏ⾡⪅ࡀせ. ᢏ⾡⪅࡟ࡼࡿ㸪࢔ࢡࢱ࣮ࡢ⾲グࡺࢀࢆ㜵Ṇࡍࡿࡓࡵࡢ᳨ド. ồᐃ⩏ࢆ⾜࠺ࡇ࡜ࡣ㸪ኻᩋࡢࣜࢫࢡࡀ㧗ࡃ㸪せồᐃ⩏ࡣ࣋. ࣀ࢘ࣁ࢘ࢆࢶ࣮ࣝ໬ࡋࡓⅬࡀ≉ᚩ࡛࠶ࡿ㸬ࡋ࠿ࡋ㸪஦౛[12]. ࢸࣛࣥࡢᢏ⾡⪅ࡢࡳࡀᚑ஦ࡍࡿࡇ࡜࡜࡞ࡾ㸪ຠ⋡ⓗ࡞せồ. ࡢᡂᯝࡣ㸪࢔ࢡࢱ࣮ᐃ⩏ࡢほⅬ୍࡛㈏ࡋࡓせồ௙ᵝࢆసᡂ. ᐃ⩏ࡢᐇ᪋ࡣᅔ㞴࡞≧ἣ࡟࠶ࡿ㸬. ࡍࡿࡇ࡜࡟㝈ᐃࡋࡓ㸪≉ᐃ௻ᴗෆ࡛ࡢᡂຌ஦౛࡟࡜࡝ࡲࡾ㸪. せồࡢศᯒ⪅ࡸせồࡢ※Ἠ࡜࡞ࡿࢫࢸ࣮ࢡ࣍ࣝࢲࡣ㸪௙. ࣀ࢘ࣁ࢘ࡸࢶ࣮ࣝࡢ୍⯡໬࡟ࡣ⮳ࡗ࡚࠸࡞࠸㸬. ᵝグ㏙ࡓࡵࡢࢲ࢖࢔ࢢ࣒ࣛࡸᙧᘧゝㄒࡢᑓ㛛ᐙ࡛ࡣ࡞࠸ࡇ. ⴭ⪅ࡽࡢ◊✲ࢢ࣮ࣝࣉ࡛ࡣ㸪せồ௙ᵝࡢ୍㈏ᛶࡢ᳨ドࡢ. ࡜ࡀከࡃ㸪せồ௙ᵝ᭩ࡣ⮬↛ゝㄒ࡟ࡼࡾグ㏙ࡉࢀࡿࡇ࡜ࡀ. ⠊ᅖ࡟㸪࢔ࢡࢱ࣮࡟ຍ࠼࡚㸪ᶵ⬟࡬ࡢධฟຊ࡜࡞ࡿࠕࢹ࣮. ୍⯡ⓗ࡛࠶ࡿ㸬ࡲࡓ㸪࢔ࢪࣕ࢖ࣝ㛤Ⓨ࡞࡝ࡢ㛤Ⓨࢫࢱ࢖ࣝ. ࢱࠖ㸪࢔ࢡࢱ࣮࡜ࢩࢫࢸ࣒࡜ࡢ࢖ࣥࢱࣇ࢙࣮ࢫ࡜࡞ࡿࠕ⏬㠃ࠖ㸪. ࡢ㟂せࡀ㧗ࡲࡗ࡚࠸ࡿࡀ[4] [21]㸪࢔ࢪࣕ࢖ࣝ㛤Ⓨ࡛ࡣ࣮ࣘ. ࢩࢫࢸ࣒ࡢാࡁ࡟┦ᙜࡍࡿࠕ᣺ࡿ⯙࠸ࠖࡢタィせ⣲ࢆ㏣ຍ. ࢫࢣ࣮ࢫࢩࢼࣜ࢜[1]ࡸ㸪࣮ࣘࢨࢫࢺ࣮࣮ࣜ[2] [23]࡞࡝ࡢ⮬. ࡋ㸪せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࢆ㛤Ⓨࡋࡓ[5]㸬ᮏࢶ. ↛ゝㄒ࡟ࡼࡾせồ௙ᵝࢆグ㏙ࡋ࡚࠸ࡿ㸬ࡋࡓࡀࡗ࡚㸪⮬↛. ࣮ࣝ㛤Ⓨ࡟࠶ࡓࡾ㸪࣋ࢸࣛࣥᢏ⪅࡟ࣄ࢔ࣜࣥࢢࢆ⾜࠸㸪௙ ᵝ᭩ෆ࡛タィせ⣲㛫ࡢ▩┪ࢆᣦ᦬ࡍࡿࡓࡵࡢࣀ࢘ࣁ࢘ࢆᙧ. †1 ᕤᏛ㝔኱Ꮫ Kogakuin University †2 ఀ⸨ᛅࢸࢡࣀࢯ࣮ࣜࣗࢩࣙࣥࢬᰴᘧ఍♫ ITOCHU Techno-Solutions Corporation . ⓒ 2017 Information Processing Society of Japan. ᘧ▱໬ࡋࡓ㸬ᮏࢶ࣮ࣝࡢ఩⨨࡙ࡅࡸᐇ᱌௳࡬ࡢ㐺⏝ホ౯࡟ ࡘ࠸࡚ࡣ㸪᪤࡟㈨ᩱ[5]࡟࡚ሗ࿌ࡋࡓ㸬ࡲࡓ㸪ࢶ࣮ࣝࡣࢩࢼ ࣜ࢜ࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝ࡜ࡋ࡚බ㛤ࡋ[6]㸪ᮏࢶ࣮ࣝࡣ. 1.

(2) Vol.2017-SE-195 No.6 2017/3/12. ᝟ሗฎ⌮Ꮫ఍◊✲ሗ࿌ IPSJ SIG Technical Report ᢏ⾡⪅ࡢຠ⋡ⓗ࡞௙ᵝ᳨ドࢆᨭ᥼ࡍࡿⅬ࡟࠾࠸୍࡚ᐃࡢຠ. ࡿ࡜⪃࠼ࡽࢀࡿ㸬Pohl ࡽࡢࢸࣥࣉ࣮ࣞࢺ࡟࠾࠸࡚㸪┠ⓗㄒ. ᯝࡀ࠶ࡿࡇ࡜ࢆ᫂ࡽ࠿࡟ࡋࡓ㸬. ࡟ࡣ㸪ࢹ࣮ࢱࡸ⏬㠃ࡀ┦ᙜࡍࡿࡀ㸪ࡑࢀࡽ⏝ㄒ⮬య࡟⾲グ. ⴭ⪅ࡽࡣ㸪᪂ࡓ࡟㸪ྠ୍⤌⧊ࡀసᡂࡋࡓ」ᩘࡢせồ௙ᵝ. ࡺࢀࡀ࠶ࢀࡤ㸪せồᩥ⮬యࡢ᭕᫕ᛶࡣゎᾘࡉࢀ࡞࠸㸬ࡼࡗ. ᭩࡟ᮏࢶ࣮ࣝࢆ㐺⏝ࡋ㸪せồ௙ᵝ᭩ࡢ᳨ドࢆヨࡳࡓ㸬ᮏࢶ. ࡚㸪せồᩥࢆᵓᡂࡍࡿタィせ⣲࡟↔Ⅼࢆ࠶࡚ࡓ㸪౑⏝ࡍࡿ. ࣮ࣝࢆ⏝࠸୍࡚㈏ᛶ᳨ドࡢほⅬ࡛せồ௙ᵝ᭩ࢆศᯒࡋࡓ⤖. ⏝ㄒࡢ୍㈏ᛶࡢ᳨ドࢆᨭ᥼ࡍࡿࡇ࡜ࡀᚲせ࡛࠶ࡿ㸬. ᯝ㸪ࢻ࣓࢟ࣗࣥࢺရ㉁ࡢᨵၿࡢࣀ࢘ࣁ࢘ࡀᚓࡽࢀࡓ㸬. Lucassen ࡽࡣ࣮ࣘࢨࢫࢺ࣮࣮ࣜࡢရ㉁ࢆᏳᐃࡉࡏࡿࡓࡵ. ௨ୗ㸪ᮏ✏ࡣḟࡢࡼ࠺࡟ᵓᡂࡍࡿ㸬2 ❶࡛ࡣ㸪⮬↛ゝㄒ. ࡢရ㉁ࣔࢹࣝ࡜ᨭ᥼ࢶ࣮ࣝ AQUSA ࡢ㛤Ⓨ࠾ࡼࡧホ౯ࢆሗ. ࡛グ㏙ࡉࢀࡓせồ௙ᵝࡢ᳨ドᢏ⾡ࡢ⌧≧ࢆᴫほࡍࡿ㸬3 ❶. ࿌ࡋ࡚࠸ࡿ[18]㸬Lucassen ࡽࡣ࣮ࣘࢨࢫࢺ࣮࣮ࣜࡢရ㉁ホ. ࡛ࡣ㸪2 ❶࡛ࡢᢏ⾡ືྥࢆ㋃ࡲ࠼࡚㸪⮬↛ゝㄒ࡛グ㏙ࡉࢀ. ౯ࡢࣇ࣮࣒࣮ࣞ࣡ࢡ࡜ࡋ࡚㸪Syntactic㸪Semantic㸪Pragmatic. ࡓせồ௙ᵝ᭩ࡢ᳨ドᢏ⾡࡟㛵ࡍࡿᮏ◊✲ࡢ࢔ࣉ࣮ࣟࢳࢆ♧. ࡢ ど Ⅼ ࡟ ศ 㢮 ࡉ ࢀ ࡿ 14 ಶ ࡢ ࣓ ࢺ ࣜ ࢡ ࢫ ࢆ ᐃ ⩏ ࡋ ࡓ 㸬. ࡍ㸬4 ❶࡛ࡣ㸪ᐇ㝿ࡢ௙ᵝ᭩࡟ᑐࡋ࡚㸪ᙜヱࢶ࣮ࣝࢆ㐺⏝. AQUSA ࡣ㸪Atomic㸪Minimal㸪Explicit dependencies㸪Uniform,. ࡋࡓ⤖ᯝࢆ♧ࡍ㸬5 ❶࡛ࡣ㸪ࢶ࣮ࣝࡢ㐺⏝⤖ᯝ࠿ࡽ᭷ຠᛶ. Unique ࡢ 5 ࡘࡢ࣓ࢺࣜࢡࢫ࡟ࡼࡿ᳨ドࢆ⮬ື໬ࡋ࡚࠸ࡿ. ࡸጇᙜᛶ࡟ࡘ࠸࡚⪃ᐹࡋ㸪ࢻ࣓࢟ࣗࣥࢺရ㉁ࡢᨵၿ࡟㛵ࡋ. ࡀ㸪Semantics ࡢほⅬࡢ Unambiguous ࡢ᳨ドࡣࢫࢥ࣮ࣉእ࡛. ࡚ᚓࡽࢀࡓᩍカࢆᩚ⌮ࡍࡿ㸬6 ❶࡛ᮏ✏ࢆࡲ࡜ࡵࡿ㸬. ࠶ࡿ㸬⮬↛ゝㄒ࡛グ㏙ࡉࢀࡓせồ௙ᵝࡢရ㉁ྥୖ࡟ࡣ㸪. 2. せồ௙ᵝ᭩ࡢ᳨ドᢏ⾡. Semantics ࡢほⅬ࠿ࡽࡢ Unambiguous ࡢ᳨ド㸪ࡍ࡞ࢃࡕ㸪⾲グࡺࢀ࡞࡝ࡢ⏝ㄒࡢ୍㈏ᛶ᳨ドࡀ୙ྍḞ࡜⪃࠼ࡽࢀࡿ㸬. ࢚ࢹ࢕ࢱࡸ࣮࣡ࢻࣉࣟࢭࢵࢧࢆ⏝࠸ࢀࡤ㸪≉ᐃࡢ⏝ㄒࢆ. ᪥ᮏㄒࡢ⮬↛ゝㄒ࡛グ㏙ࡉࢀࡓ௙ᵝ᭩ࡢ᳨ドࡸࣞࣅࣗ. ᳨⣴ࡋࡓࡾ㸪⨨᥮ࡋࡓࡾࡍࡿࡇ࡜ࡣᐜ࡛᫆࠶ࡿ㸬ྛ⤌⧊ࡣ㸪. ࣮࡟ࡘ࠸࡚ࡶ◊✲ࡀ⾜ࢃࢀ࡚࠸ࡿ[13][17]㸬Ἑ㔝ࡽࡣ㸪ࢻ࢟. ௙ᵝ᭩࡟࠾࠸࡚౑⏝ࡍࡿࡇ࡜ࡀ୙㐺ษ࡞⏝ㄒࡢࣜࢫࢺࡸ㸪. ࣓ࣗࣥࢺෆ࡟࠾࠸࡚㸪᭕᫕ࡉࡸ୙ഛ࡟ࡘ࡞ࡀࡾࡸࡍ࠸࣮࢟. ᑐ㇟ࢻ࣓࢖࡛ࣥ⤫୍ࡋ࡚฼⏝ࡍ࡭ࡁ⏝ㄒࡢࣜࢫࢺࢆసᡂࡋ. ࣮࣡ࢻࡢὙ࠸ฟࡋ࡜㸪ࡑࡢࡼ࠺࡞࣮࣮࢟࣡ࢻࡢࢳ࢙ࢵࢡࢶ. ࡚࠾ࡁ㸪⤌⧊ࡢᶆ‽࡜ࡋ࡚ඹ᭷ࡋ࡚࠸ࡿ㸬ࡇࢀࡽࡢࣜࢫࢺ. ࣮ࣝࢆ⪃᱌ࡋࡓ㸬࣮࣮࢟࣡ࢻ࡜ࡋ࡚ࡣ㸪 ࠕ㹼ሙྜࠖ࡞࡝ࡢ᮲. ࢆ⏝࠸࡚㸪࢚ࢹ࢕ࢱࡸ࣮࣡ࢻࣉࣟࢭࢵࢧࡢ᳨⣴ࡸ⨨᥮ᶵ⬟. ௳ࢆ♧ࡍ⏝ㄒ㸪 ࠕ࠶ࢀࠖ㸪 ࠕࡇࢀࠖ࡞࡝ࡢᣦ♧௦ྡモࡀྵࡲࢀ. ࢆ⏝࠸࡚㸪⏝ㄒࡢ⤫୍ࢆᅗࡿࡇ࡜ࡀ୍⯡ⓗ࡟⾜ࢃࢀ࡚࠸ࡿ㸬. ࡿ[13]㸬. ࡲࡓ㸪Just Right!6 Pro [10]ࡣ㸪ᩥ᭩ᰯṇ࡟≉໬ࡋࡓࢶ࣮࡛ࣝ. ஂ㔝ࡽࡣ㸪ྠࡌㄒ࡛ྃࡶ㸪౑ࢃࢀ᪉࡟ࡼࡾ᭕᫕ࡢᗘྜ࠸. ࠶ࡾ㸪ᩥ᭩඲య࡟ᑐࡋ࡚₃ࢀ࡞ࡃ࠿ࡘຠ⋡ⓗ࡟㸪NG ࣮࣡. ࡀ␗࡞ࡿ࡜ࡋ࡚㸪᭕᫕ᛶࡢ㧗࠸ㄒྃࢆ㑅ᢥⓗ࡟᳨ฟࡍࡿࡇ. ࢻࡢ᳨ฟࡸ␗㡢ྠ⩏ㄒࣜࢫࢺ࡟ᇶ࡙ࡃ⏝ㄒ⤫୍ࢆ⾜࠺ࡇ࡜. ࡜ࢆ┠ⓗ࡟㸪ㄒྃࡢ᭕᫕ᛶࢆุᐃࡍࡿࢶ࣮ࣝࢆᥦ᱌ࡋࡓ. ࡀྍ⬟࡛࠶ࡿ㸬ࡇ࠺ࡋࡓࢶ࣮ࣝࡢά⏝࡟ࡣ㸪NG ࣮࣡ࢻࡢ. [17]㸬ஂ㔝ࡽࡀᥦ᱌ࡍࡿࢶ࣮࡛ࣝࡣ㸪᭕᫕ᛶࡢࣞ࣋ࣝࢆ㸪. ࣜࢫࢺ㸪␗㡢ྠ⩏ㄒࡢࣜࢫࢺࡀᏑᅾࡍࡿࡇ࡜ࡀ๓ᥦ࡜࡞ࡾ㸪. ᭕᫕ㄒ㸪‽᭕᫕ㄒ㸪㠀᭕᫕ㄒ࡟ศࡅ᳨࡚ฟࡍࡿ㸬ᥦ᱌ࡉࢀ. ࡇࢀࡽࣜࢫࢺࡢὙ࠸ฟࡋࡀ㔜せ࡛࠶ࡿࡀ㸪ࡑࢀࡽࡣ฼⏝⪅. ࡓࢶ࣮ࣝࢆᐇ㝿ࡢ௙ᵝ᭩࡟࡚ホ౯ࡋࡓ࡜ࡇࢁ㸪」ᩘࡢゎ㔘. ഃࡀ‽ഛࡍࡿࡇ࡜ࡀ๓ᥦ࡜࡞ࡗ࡚࠸ࡿ㸬. ࡀྍ⬟࡞᭕᫕ㄒࢆ㧗࠸࡛ࣞ࣋ࣝ⥙⨶ⓗ࡟᳨ฟ࡛ࡁ㸪௙ᵝ᭩. ᵽཱྀࡣ⮬↛ゝㄒ࡛グ㏙ࡉࢀࡓᩥ᭩ࡢෆᐜ⌮ゎࡢࡓࡵࡢ. ࡢಟṇ࡟ᑐࡋ࡚᭷ຠ࡛࠶ࡿࡇ࡜ࢆ☜ㄆࡋ࡚࠸ࡿ㸬. ࢶ࣮ࣝ KHCoder ࢆ㛤Ⓨࡋ[3][11]㸪ෆᐜ⌮ゎ࡟ຍ࠼࡚㸪⏝ㄒ. ඛ⾜◊✲[13][17]ࡀ╔┠ࡋࡓࠕ᭕᫕ࡉ࡟ࡘ࡞ࡀࡾࡸࡍ࠸࢟. ࡢ฼⏝⟠ᡤࡢ᳨⣴ࡸ⏝ㄒ㛫ࡢ㛵ಀᛶᢳฟ࡞࡝㸪ᩥ᭩ࡢグ㏙. ࣮࣮࣡ࢻࠖࡣ㔜せ࡞ࡶࡢࡢ㸪せồ௙ᵝࡢရ㉁ྥୖ࡟ࡣ㸪ᑐ. ෆᐜࡢྍど໬ࡸ㸪≉ᐃ⏝ㄒࡢ࿘㎶ᩥ❶ࡢᢳฟࡢࡓࡵࡢྛ✀. ㇟ࢻ࣓࢟ࣗࣥࢺෆ࡛ᐃ⩏ࡉࢀࡓタィせ⣲ࡢ᭕᫕ࡉࡢゎᾘࡀ. ᶵ⬟ᥦ౪ࡋ࡚࠸ࡿ㸬୙ᩚྜࡢ࠶ࡿ⏝ㄒࡢ᳨ฟࡸ㸪ၥ㢟ࡀ࠶. ࡉࡽ࡟㔜せ࡛࠶ࡿ㸬౛࠼ࡤ㸪࠶ࡿタィせ⣲ࢆ♧ࡍ⏝ㄒࡀ㸪. ࡿ࡜⪃࠼ࡽࢀࡿ⏝ㄒࡢ࿘㎶ࡢᩥ❶ࢆ᳨ฟࡍࡿ࡟ࡣ㸪ࡑࢀࡽ. ᭕᫕ࡉ࡟ࡘ࡞ࡀࡾࡸࡍ࠸࣮࣮࢟࣡ࢻ࡟ࡣ㠀ヱᙜ࡛ࡶ㸪ࡑࡢ. ⏝ㄒ⮬యࢆ≉ᐃࡍࡿࡇ࡜ࡀᚲせ࡛࠶ࡿ㸬⏝ㄒࡢ≉ᐃࡀ࡛ࡁ. タィせ⣲ࡀ㸪ูࡢㄒ࡛ྃᐃ⩏ࡉࢀࡿࡇ࡜ࡸ㸪᫂☜࡞ᐃ⩏࡞. ࢀࡤ㸪ᙜヱ⏝ㄒࡀ฼⏝ࡉࢀ࡚࠸ࡿ࿘㎶⏝ㄒࡸ㸪㛵㐃⏝ㄒࡢ. ࡃᶵ⬟せồ࡟౑⏝ࡉࢀࡿ≧ἣࡀ࠶ࢀࡤ㸪ࡑࡢᶵ⬟せồࡢෆ. ᢳฟࡀ⾜࠼ࡿࡓࡵ㸪௙ᵝ᭩ࡢᨵၿ࡟ά⏝ࡍࡿࡇ࡜ࡀ࡛ࡁ㸪. ᐜࡣ㸪㛤Ⓨ⪅ࡸศᯒ⪅ࢆྵࡴ」ᩘࡢㄞࡳᡭ࡟ࡼࡾゎ㔘ࡀ␗. ࡇࢀࡽࡢࢶ࣮ࣝࡢά⏝ࡣ᭷ຠ࡛࠶ࡿ㸬. ࡞ࡿෆᐜ࡜࡞ࡿࣜࢫࢡࡀ㧗࠸㸬⮬↛ゝㄒ࡛グ㏙ࡉࢀࡓせồ. ⮬↛ゝㄒ࡛グ㏙ࡉࢀࡓせồ௙ᵝࢆグ㏙ࡍࡿࡓࡵ࡟㸪Pohl. ௙ᵝ࡟ᑐࡋ࡚ࡢ᳨ドᨭ᥼ࡢࡓࡵ࡟ࡣ㸪≉ᐃࡢ࣮࣮࢟࣡ࢻ࡟. ࡽࡣᶵ⬟せồ௙ᵝࢆグ㏙ࡍࡿࡓࡵࡢࢸࣥࣉ࣮ࣞࢺࢆᥦ᱌ࡋ. ຍ࠼࡚㸪せồ௙ᵝࡢᮏ㉁ⓗ࡞ᐃ⩏ෆᐜ࡟㋃ࡳ㎸ࢇ࡛㸪タィ. ࡓ[20]㸬ࢸࣥࣉ࣮ࣞࢺ࡛ࡣ㸪ⱥㄒ࡛グ㏙ࡉࢀࡓ୍ࡘࡢᶵ⬟. せ⣲ࡢ᭕᫕ࡉࡸ୙ᩚྜࢆᣦ᦬ࡍࡿ᳨ドࢆ⾜࠺ࡇ࡜ࡀᚲせ࡛. せồᩥࡣ㸪᮲௳㸪୺ㄒ㸦ࢩࢫࢸ࣒ྡ㸧㸪ຓືモ㸪ືモ㸪┠ⓗ. ࠶ࡿ㸬. ㄒ㸪┠ⓗㄒࡢヲ⣽࡟ࡼࡾᵓᡂࡍࡿ࡜ࡋ࡚࠸ࡿ㸬᪥ᮏㄒ࡛グ. ᮌᮧࡽࡣ㸪せồ௙ᵝࡢ୍㈏ᛶࢆࢶ࣮ࣝ࡟ࡼࡾ᳨ドࡍࡿࡇ. ㏙ࡉࢀࡓせồ࡟ᑐࡋ࡚㸪Pohl ࡽࡢᥦ᱌ࢆࡑࡢࡲࡲ㐺⏝ࡍࡿ. ࡜࡛せồ௙ᵝࡢᏳᐃ໬ࢆᅗࡿࡇ࡜࡟ྲྀࡾ⤌ࢇࡔ஦౛ࢆሗ࿌. ࡇ࡜ࡣጇᙜ࡛ࡣ࡞࠸ࡀ㸪ࢸࣥࣉ࣮ࣞࢺࡀ♧ࡍᵓᡂせ⣲࡟ࡑ. ࡋࡓ[12]㸬ࡇࢀࡣ㸪タィせ⣲ࡢ୍ࡘ࡛࠶ࡿ࢔ࢡࢱ࣮࡟ࣇ࢛. ࡗ࡚せồࢆグ㏙ࡍࡿࡇ࡜ࡣ㸪せồ௙ᵝࡢရ㉁ྥୖ࡟㈉⊩ࡍ. ࣮࢝ࢫࡋ㸪࣋ࢸࣛࣥᢏ⾡⪅࡟ࡼࡿ㸪࢔ࢡࢱ࣮ࡢ⾲グࡺࢀࢆ. ⓒ 2017 Information Processing Society of Japan. 2.

(3) Vol.2017-SE-195 No.6 2017/3/12. ᝟ሗฎ⌮Ꮫ఍◊✲ሗ࿌ IPSJ SIG Technical Report 㜵Ṇࡍࡿࡓࡵࡢ᳨ドࣀ࢘ࣁ࢘ࢆࠕ⏝ㄒ୙୍⮴᳨ド࣮ࣝࣝࠖ ࡜ࠕᐃ⩏₃ࢀ᳨ド࣮ࣝࣝࠖࡢᶵ⬟ࢆഛ࠼ࡓࢶ࣮ࣝ࡜ࡋ࡚ᐇ. ୍㈏ᛶ ᳨ド䝹䞊䝹. ⌧ࡋࡓⅬࡀ≉ᚩ࡛࠶ࡿ㸬஦౛[12]࡛ࡣ㸪せồ௙ᵝ᭩ෆࡢ࢔ ࢡࢱ࣮ᐃ⩏࡜ࢩࢼࣜ࢜グ㏙ࢆᑐ㇟࡟㸪࢔ࢡࢱ࣮ᐃ⩏⾲࠿ࡽ ࡢᐃ⩏₃ࢀࢆᣦ᦬ࡍࡿ࢔ࢡࢱ࣮ࡢᐃ⩏₃ࢀ᳨ド࡜㸪࣮ࣘࢨ ࡜࣮ࣘࢨ㸦ᢸᙜ⪅㸧࡞࡝ࡢ⾲グࡺࢀࢆᣦ᦬ࡍࡿ⏝ㄒ୙୍⮴. ᐃ⩏₃䜜 ᳨ド䝹䞊䝹. ⏝ㄒ୙୍⮴ ᳨ド䝹䞊䝹. ⏝ㄒᐃ⩏᏶඲୍⮴ ᳨ド䝹䞊䝹. 㻺㻳䝽䞊䝗 ᳨ド䝹䞊䝹. ᳨ドࢆ⮬ື໬ࡋ㸪᳨ド࣏࣮ࣞࢺࢆ⏕ᡂࡋࡓ㸬ࡋ࠿ࡋ㸪஦౛ [12]࡟࠾ࡅࡿせồ௙ᵝࡢ᳨ドࡢࣀ࢘ࣁ࢘ࡣ㸪࢔ࢡࢱ࣮ᐃ⩏. タィせ⣲ ㆑ู䝹䞊䝹. ࡢ୍㈏ᛶ࡟ࣇ࢛࣮࢝ࢫࡋࡓ㸪≉ᐃ௻ᴗࡢศᯒ⤖ᯝ࡟ᇶ࡙࠸ ࡚ᐃ⩏ࡉࢀࡓෆᐜ࡛࠶ࡾ㸪ᵝࠎ࡞⤌⧊࡛ࡢά⏝ࢆ᝿ᐃࡋࡓ ୍⯡໬࡟ࡣ⮳ࡗ࡚࠸࡞࠸㸬୍㈏ᛶ᳨ドࡢᑐ㇟࡜࡞ࡿ㸪せồ ௙ᵝࢆᵓᡂࡍࡿタィせ⣲ࡢ✀㢮ࢆᣑᙇࡍࡿࡇ࡜ࡸ㸪ᵝࠎ࡞ ⤌⧊࡛ࡢά⏝ࢆ᝿ᐃࡋࡓᰂ㌾ᛶࡢ࠶ࡿࢶ࣮ࣝࡢ࢔࣮࢟ࢸࢡ ࢳࣕࡢᥦ౪ࡀᚲせ࡜⪃࠼ࡽࢀࡿ㸬. 3. せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝ࡜ࢻ࢟ࣗ ࣓ࣥࢺရ㉁ࡢศᯒᡭἲ. 䜰䜽䝍䞊 ㆑ู䝹䞊䝹. 䜰䜽䝍䞊 ㆑ู㎡᭩. 䝕䞊䝍 ㆑ู䝹䞊䝹. 䝕䞊䝍 ㆑ู㎡᭩. ⏬㠃 ㆑ู䝹䞊䝹. ⏬㠃 ㆑ู㎡᭩. ᣺䜛⯙䛔 ㆑ู䝹䞊䝹. ᣺䜛⯙䛔 ㆑ู㎡᭩. 㻺㻳䝽䞊䝗㎡᭩. ⾲グ䜖䜜 ㆑ู䝹䞊䝹⾲グ䜖䜜 ㆑ู㎡᭩. ᅗ 1 ᳨ド࣮ࣝࣝ࡜㎡᭩ࡢᵓ㐀 Figure 1 Structure of Verification Rules and Dictionaries. ⴭ⪅ࡽࡣ㸪2 ❶ࡢෆᐜࢆ㋃ࡲ࠼㸪⮬↛ゝㄒ࡛グ㏙ࡉࢀࡓ せồ௙ᵝ᭩࡟ᑐࡋ࡚㸪せồ௙ᵝࡢရ㉁≉ᛶ࡛࠶ࡿࠕ୍㈏ᛶࠖ. ⾲ 1 ᳨ド࣮ࣝࣝ. ࡟╔┠ࡋࡓ㸪せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࢆ㛤Ⓨࡋࡓ. Table 1 Consistency Verification Rules. [5][6]㸬௨㝆㸪ᮏࢶ࣮ࣝࡢᴫせࢆ♧ࡋ㸪ᮏࢶ࣮ࣝࢆ⏝࠸ࡓせ ồ௙ᵝࡢࢻ࣓࢟ࣗࣥࢺရ㉁ࡢศᯒᡭἲࢆᥦ᱌ࡍࡿ㸬 3.1 せồ௙ᵝࡢ୍㈏ᛶ᳨ド▱㆑ࡢᙧᘧ▱໬ ஦౛[12]࡛ࡣ㸪≉ᐃ௻ᴗ࠿ࡘ㸪ᶵ⬟୍ぴ⾲࡞࡝ࡢ⮬↛ゝ. 1R . ㄒ࡛グ㏙ࡉࢀࡓ௙ᵝㄝ᫂ෆ࡟࠾ࡅࡿࠕ࢔ࢡࢱ࣮ࠖࢆᑐ㇟࡜ ࡋ࡚㸪ࠕ⏝ㄒ୙୍⮴᳨ド࣮ࣝࣝࠖ࡜ࠕᐃ⩏₃ࢀ᳨ド࣮ࣝࣝࠖ. ࣮ࣝࣝ ᐃ⩏₃ࢀ᳨ド ⏝ㄒ୙୍⮴ ᳨ド ⏝ㄒ᏶඲୍⮴ ᳨ド. . 1*࣮࣡ࢻ᳨ド. . ࢔ࢡࢱ࣮㆑ู. . ࢹ࣮ࢱ㆑ู. 」ᩘ௻ᴗࡢ᭷㆑⪅࢖ࣥࢱࣅ࣮ࣗࢆᐇ᪋ࡋ㸪タィせ⣲ࡢ୍㈏. . ⏬㠃㆑ู. ᛶ࡟㛵ࡍࡿ᳨ド▱㆑ࢆᢳฟࡋ㸪ࡑࢀࡽࢆඹ㏻㒊ศ࡜ྍኚ㒊. . ᣺ࡿ⯙࠸㆑ู. . ⾲グࡺࢀ㆑ู. ࡟ᇶ࡙ࡃ஧✀㢮ࡢ᳨ドࡢ▱㆑ࡢᙧᘧ▱໬࡜ᨭ᥼ࢶ࣮ࣝ࡟ࡼ ࡿ⮬ື᳨ド࡟࡜࡝ࡲࡗ࡚࠸ࡓ㸬ᮏࢶ࣮࡛ࣝࡣ㸪᳨ドࡢᑐ㇟ ࢆせồ௙ᵝ᭩඲య࡟୍⯡໬ࡋࡓୖ࡛㸪᳨ドࡢほⅬࢆ㸪࢔ࢡ ࢱ࣮࡟ຍ࠼࡚ࢹ࣮ࢱ㸪⏬㠃㸪᣺ࡿ⯙࠸࡟ᣑᙇࡍࡿ㸬ࡑࡋ࡚㸪. ศ࡟௙ศࡅ㸪᳨ド࣮ࣝࣝ࠾ࡼࡧ㎡᭩࡜ࡋ࡚ᙧᘧ▱໬ࡋࡓ㸬 ᅗ 1 ࡟ࢶ࣮ࣝ࡟⤌ࡳ㎸ࢇࡔ᳨ド▱㆑ࡢᵓ㐀ࢆ♧ࡍ㸬ࡇࢀ ࡣ㸪せồ௙ᵝࡢရ㉁≉ᛶ࡛࠶ࡿࠕ୍㈏ᛶࠖ࡟╔┠ࡋ㸪࢔ࢡ. ࣮ࣝࣝㄝ᫂ せồ௙ᵝ᭩୰࡟ᐃ⩏ࡉࢀ࡚࠸࡞࠸࡟ࡶ࠿࠿ࢃࡽࡎ㸪 ᮏᩥ୰࡛฼⏝ࡉࢀ࡚࠸ࡿタィせ⣲ࢆ᳨ドࡍࡿ㸬せồ௙ᵝ᭩࡛ࡣྠࡌព࿡ࡢㄒྃ࡟ᑐࡋ࡚␗࡞ࡿᩥ Ꮠ⾲グࡀ࡞ࡉࢀ࡚࠸ࡿタィせ⣲ࢆ᳨ドࡍࡿ㸬せồ௙ᵝ᭩࡟࡚฼⏝ࡉࢀ࡚࠸ࡿタィせ⣲ࡣ㸪せồ ௙ᵝ᭩୰࡟ᐃ⩏ࡉࢀ࡚࠾ࡾ㸪࠿ࡘ㸪ᐃ⩏ࡉࢀࡓタィせ⣲ࡣ㸪せồ௙ᵝ᭩ෆ࡛ᅇ௨ୖ฼⏝ࡉࢀ࡚࠸ ࡿタィせ⣲ࢆ᳨ドࡍࡿ㸬せồ௙ᵝ᭩࡟ฟ⌧ࡍࡿ1*࣮࣡ࢻࢆ᳨ドࡍࡿ㸬1* ࣮࣡ࢻࡣ1*࣮࣡ࢻ㎡᭩࡟࡚ᐃ⩏ࡍࡿ㸬せồ௙ᵝ᭩࠿ࡽ࢔ࢡࢱ࣮⏝ㄒࢆ㆑ูࡍࡿ㸬࢔ࢡ ࢱ࣮⏝ㄒ࡜ࡋ࡚≉ᚩ࡙ࡅࡿ༢ㄒࡣ࢔ࢡࢱ࣮㆑ู㎡ ᭩࡟࡚ᐃ⩏ࡍࡿ㸬せồ௙ᵝ᭩࠿ࡽࢹ࣮ࢱ⏝ㄒࢆ㆑ูࡍࡿ㸬ࢹ࣮ࢱ⏝ ㄒ࡜ࡋ࡚≉ᚩ࡙ࡅࡿ༢ㄒࡣࢹ࣮ࢱ㆑ู㎡᭩࡟࡚ᐃ ⩏ࡍࡿ㸬せồ௙ᵝ᭩࠿ࡽ⏬㠃⏝ㄒࢆ㆑ูࡍࡿ㸬⏬㠃⏝ㄒ࡜ ࡋ࡚≉ᚩ࡙ࡅࡿ༢ㄒࡣ⏬㠃㆑ู㎡᭩࡟࡚ᐃ⩏ࡍࡿ㸬せồ௙ᵝ᭩࠿ࡽ᣺ࡿ⯙࠸⏝ㄒࢆ㆑ูࡍࡿ㸬᣺ࡿ⯙ ࠸⏝ㄒ࡜ࡋ࡚≉ᚩ࡙ࡅࡿ༢ㄒࡣ᣺ࡿ⯙࠸㆑ู㎡᭩ ࡟࡚ᐃ⩏ࡍࡿ㸬せồ௙ᵝ᭩ࡢ」ᩘࡢ⏝ㄒ࠿ࡽ㸪⾲グࡺࢀ㛵ಀࢆ㆑ ูࡍࡿ㸬⾲グࡺࢀ㛵ಀ࡟࠶ࡿ⏝ㄒࡣ㸪⾲グࡺࢀ㆑ ู㎡᭩࡟࡚ᐃ⩏ࡍࡿ㸬. ࢱ࣮㸪ࢹ࣮ࢱ㸪⏬㠃㸪᣺ࡿ⯙࠸ࡢタィせ⣲ࡢほⅬ࠿ࡽ㸪࣋. ࣜ࢜⮬ື⏕ᡂࡢᶵ⬟ࢆ㏣ຍࡋࡓ㸬㛤Ⓨࡋࡓࢶ࣮ࣝࡢ⪃࠼᪉. ࢸࣛࣥᢏ⾡⪅ࡀ⤒㦂ⓗ࡟ᚓࡓ᳨ド▱㆑ࢆ᳨ド࣮ࣝࣝ࡜㎡᭩. ࡜ᵓᡂࢆᅗ 2 ࡟㸪ྛᶵ⬟ࡢㄝ᫂ࢆ⾲ 2 ࡟♧ࡍ㸬ᅗ 2 ࡟♧. ࡜ࡋ࡚ᐃ⩏ࡋࡓࡶࡢ࡛࠶ࡿ㸬ࡇࡢࢶ࣮ࣝࢆά⏝ࡍࡿࡇ࡜࡛㸪. ࡍࡼ࠺࡟㸪ᮏࢶ࣮ࣝࡣ௙ᵝ᭩࡜タᐃࣇ࢓࢖ࣝࢆධຊ࡜ࡋ࡚㸪. ึ⣭⪅࡟࠶ࡾࡀࡕ࡞㸪⏝ㄒࡢ⾲グࡺࢀࡸ᭕᫕⏝ㄒࡢ౑⏝⟠. ᳨ドࡋࡓ⤖ᯝࢆ᳨ド࣏࣮ࣞࢺ࡟ฟຊࡍࡿ㸬ࡲࡓ㸪NG ࣮࣡. ᡤࢆ⮬ືⓗ࡟᳨ฟࡍࡿࡇ࡜ࡀ࡛ࡁࡿ㸬ྛ࣮ࣝࣝࡢㄝ᫂ࢆ⾲. ࢻࢆᮃࡲࡋ࠸⏝ㄒ࡟⨨ࡁ᥮࠼ࡓ௙ᵝ᭩ࡶ⮬ື⏕ᡂࡍࡿ㸬. 1 ࡟♧ࡍ㸬 3.2 せồ௙ᵝࡢ୍㈏ᛶ᳨ドࡢᨭ᥼ࢶ࣮ࣝ. ᳨ド࣮ࣝࣝࡸ㎡᭩ࡣ㸪〇ရࢯࣇࢺ࢙࢘࢔ࡀᑐ㇟࡜ࡍࡿࢻ ࣓࢖ࣥࡸ฼⏝ࡍࡿ⤌⧊࡟౫Ꮡࡍࡿෆᐜࡀྵࡲࢀࡿ࡜⪃࠼ࡽ. 3.1 ࡛ᐃ⩏ࡋࡓ᳨ド࣮ࣝࣝ࠾ࡼࡧ㎡᭩ࢆ⤌㎸ࢇࡔ㸪せồ. ࢀࡿࡓࡵ㸪᳨ド࣮ࣝࣝ࡞ࡽࡧ࡟㎡᭩ࡢඹ㏻㒊ศࢆඹ᭷ࡍࡿ. ௙ᵝࡢ୍㈏ᛶ᳨ドࢆᨭ᥼ࡍࡿࢶ࣮ࣝࢆ㛤Ⓨࡋࡓ㸬ᮏࢶ࣮ࣝ. ࡜࡜ࡶ࡟㸪ྛ⤌⧊ࡀᐜ᫆࡟ࡑࢀࡽࡢ⥔ᣢ⟶⌮࡜ᣑᙇࢆᐇ᪋. ࡣ㸪せồ௙ᵝ᭩ෆ࡛ゝཬࡉࢀ࡚࠸ࡿ㸪࢔ࢡࢱ࣮㸪ࢹ࣮ࢱ㸪. ྍ⬟࡟ࡍࡿࡓࡵ㸪᳨ドࡢ࢚ࣥࢪࣥ㸪᳨ドᶵ⬟㸪᳨ド࣮ࣝࣝ㸪. ⏬㠃㸪᣺ࡿ⯙࠸ࡢグ㏙ࡀ㸪せồ௙ᵝ᭩୰ࡢグ㏙࡜ᩚྜࡋ࡚. ㎡᭩ࢆ⊂❧ࡉࡏࡓ࢔࣮࢟ࢸࢡࢳࣕ࡜ࡋࡓ㸬ࡉࡽ࡟㸪ྛ♫ࡀ. ࠸ࡿࡇ࡜ࢆ᳨ドࡍࡿ㸬᳨ドࡢ✀㢮ࡣ㸪⏝ㄒᐃ⩏᏶඲୍⮴㸪. ⊂⮬࡟᳨ド࢚ࣥࢪࣥࡢᣑᙇࢆྍ⬟࡜ࡍࡿࡓࡵ࡟㸪ᙧែ⣲ゎ. NG ࣮࣡ࢻ᳨ド㸪NG ࣮࣡ࢻࢆጇᙜ࡞⏝ㄒ࡟⨨᥮ࡍࡿࢩࢼ. ᯒ࢚ࣥࢪࣥࡣ OSS ࢆ⏝࠸ࡓ㸬. ⓒ 2017 Information Processing Society of Japan. 3.

(4) Vol.2017-SE-195 No.6 2017/3/12. ᝟ሗฎ⌮Ꮫ఍◊✲ሗ࿌ IPSJ SIG Technical Report. ࡢධຊ࡜ࡍࡿ㸬ᮏࢶ࣮ࣝ࡟ࡼࡾ㸪࢔ࢡࢱ࣮㸪⏬㠃㸪ࢹ ௙ᵝ᭩ 䠄䝅䝘䝸䜸䠈タィせ⣲ᐃ⩏䠅. タᐃ䝣䜯䜲䝹䠄᳨ド᮲௳䠅. ࣮ࢱ㸪᣺ࡿ⯙࠸࡞࡝ࡢタィせ⣲ࢆ≉ᐃࡋ㸪ୖグࡢタィせ⣲ᐃ⩏⾲࡜✺ྜࡋ㸪ᐃ⩏₃ࢀࡸ⏝ㄒ୙୍⮴ࡢ⟠ᡤࢆ. ධຊ. ᣦ᦬ࡋ㸪⤖ᯝࢆ᳨ド࣏࣮ࣞࢺ࡟ฟຊࡍࡿ㸬. せồ௙ᵝ䛾୍㈏ᛶ᳨ドᨭ᥼䝒䞊䝹㻲㻝. 㻲㻞. 㻲㻟. ᐃ⩏₃䜜 ᳨ド. ⏝ㄒ ୙୍⮴ ᳨ド. ⏝ㄒᐃ⩏ ᏶඲୍⮴ ᳨ド. 㻲㻠 NG 䝽䞊䝗 ᳨ド. 㻲㻡䝅䝘䝸䜸 ⮬ື⿵ṇ. ᳨ド䜶䞁䝆䞁. ճ. ᳨ド࣏࣮ࣞࢺࢆ⏝࠸࡚㸪ᐃ⩏₃ࢀࡸ⏝ㄒ୙୍⮴࡜࡞ࡗ ࡓ⏝ㄒ࡟ᑐࡋ࡚㸪ᶵ⬟୍ぴࡸࢩࢼࣜ࢜࡞࡝ࡢ᳨ドᑐ㇟ ࡢᮏᩥࢆ☜ㄆࡋ㸪タィせ⣲ᐃ⩏⾲ࢆ㏣ຍ࣭ᣑᙇࡍࡿ࠿㸪 ᮏᩥࡢ⏝ㄒࢆ⨨᥮ࡍࡿ࠿࡞࡝ᨵၿࢆ⾜࠺㸬. ᳨ド䝹䞊䝹 ᳨ド䝹䞊䝹 ᳨ド䝹䞊䝹 ᳨ド䝹䞊䝹. 䝹䞊䝹ᐇ⾜䜶䞁䝆䞁. ᅗ 3 ࡟㸪ᮏࢶ࣮ࣝࢆ⏝࠸ࡓせồ௙ᵝࡢရ㉁ศᯒࡢ஦౛ࢆ. ᳨ド䝹䞊䝹 ᳨ド䝹䞊䝹 ᳨ド䝹䞊䝹㎡᭩. ᙧែ⣲ゎᯒ䜶䞁䝆䞁. ♧ࡍ㸬ᅗ 3 ࡢୖ㒊ࡣ㸪ᮏࢶ࣮ࣝࡢ F1 ࡢᐃ⩏₃ࢀ᳨ドࢆᐇ ᪋ࡋ࡚࠸ࡿ㐣⛬ࢆ♧ࡍ㸬ࡇࢀࡣ㸪௙ᵝ᭩ෆ࡟࣮ࣘࢨࡸࣞࢪ. ฟຊ ᳨ド䝺䝫䞊䝖. ಀ࡜࠸࠺࢔ࢡࢱ࣮⏝ㄒࡀᮍᐃ⩏ࡢࡲࡲ౑⏝ࡉࢀ࡚࠸ࡿ࡜㸪 ௙ᵝ᭩ 䠄ᨵၿ䝅䝘䝸䜸䠅. ᐃ⩏₃ࢀ᳨ド࡟ࡼࡗ࡚㸪ࡑࢀࡽࢆᣦ᦬࡛ࡁࡿࡇ࡜ࢆ♧ࡍ㸬 ࡲࡓ㸪ᅗ 3 ࡢୗ㒊࡛ࡣ㸪F2 ࡢ⏝ㄒ୙୍⮴᳨ドᶵ⬟ࢆά⏝ ࡋ࡚࠸ࡿ౛ࢆ♧ࡍ㸬ࡇࢀࡣ㸪࣮ࣘࢨ㸦⟶⌮⪅㸧ࡸ࣮ࣘࢨ㸦ᢸ. ᅗ 2 せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࡢᴫせ. ᙜ⪅㸧ࡀᐃ⩏ࡉࢀ࡚࠸ࡿ࡟ࡶ࠿࠿ࢃࡽࡎ㸪ᮏᩥ୰࡛ࡣࠕࣘ. Figure 2 Requirements Consistency Verification Support Tool. ࣮ࢨࠖ࡜୍⯡໬ࡋ࡚౑⏝ࡋ࡚࠸ࡿሙྜ࡟㸪 ࠕ࣮ࣘࢨࠖࡣ㸪 ࠕࣘ ࣮ࢨ㸦⟶⌮⪅㸧ࠖ㸪ࠕ࣮ࣘࢨ㸦ᢸᙜ⪅㸧ࠖ࡟ᑐࡍࡿ⾲グࡺࢀ࡛. ⾲ 2 ᶵ⬟ᴫせ Table 2 Functional Specification ,' ). ). ). ). ). ᶵ⬟ྡ ᐃ⩏₃ࢀ᳨ド. ฎ⌮ᴫせ ᳨ドᑐ㇟ࡢ௙ᵝ㸦ࢩࢼࣜ࢜㸧࠾ࡼࡧ㸪࢔ࢡࢱ࣮㸪 ࢹ࣮ࢱ㸪⏬㠃㸪᣺ࡿ⯙࠸➼ࡢᐃ⩏⾲ࢆධຊ࡜ࡋ࡚㸪 ࢩࢼࣜ࢜࡟ฟ⌧ࡍࡿ㸪࢔ࢡࢱ࣮㸪ࢹ࣮ࢱ㸪⏬㠃㸪᣺ ࡿ⯙࠸➼ࡀ㸪ࡑࢀࡒࢀ㸪ᑐᛂࡍࡿᐃ⩏⾲࡟ᐃ⩏ࡉࢀ ࡚࠸ࡿࡇ࡜ࢆ☜ㄆࡋ㸪ᮍᐃ⩏࡛࠶ࢀࡤᣦ᦬ࡍࡿ㸬 ⏝ㄒ୙୍⮴᳨ド ᳨ドᑐ㇟ࡢ௙ᵝ㸦ࢩࢼࣜ࢜㸧࠾ࡼࡧ㸪࢔ࢡࢱ࣮㸪 ࢹ࣮ࢱ㸪⏬㠃㸪᣺ࡿ⯙࠸➼ࡢᐃ⩏⾲ࢆධຊ࡜ࡋ࡚㸪 ࢩࢼࣜ࢜࡟ฟ⌧ࡍࡿ㸪࢔ࢡࢱ࣮㸪ࢹ࣮ࢱ㸪⏬㠃㸪᣺ ࡿ⯙࠸➼ࡀ㸪ࡑࢀࡒࢀ㸪ᑐᛂࡍࡿᐃ⩏⾲࡜␗࡞ࡿᩥ Ꮠ⾲グࡀ࡞ࡉࢀ࡚࠸ࡿሙྜ࡟㸪ࡑࡢ⏝ㄒࢆᣦ᦬ࡍࡿ㸬 ᑐᛂࡍࡿᐃ⩏⾲࡟ᐃ⩏ࡉࢀࡓ⏝ㄒ࡟ᑐࡍࡿ㸪┬␎໬㸪 ಟ㣭໬㸪⾲グࡺࢀ㎡᭩୍⮴ࡢ࠸ࡎࢀ࠿ࡢࣃࢱ࣮ࣥ࡟ ヱᙜࡍࡿሙྜ࡟㸪⏝ㄒ୙୍⮴࡜ࡳ࡞ࡍ㸬 ⏝ㄒᐃ⩏᏶඲ ᳨ドᑐ㇟ࡢ௙ᵝ㸦ࢩࢼࣜ࢜㸧࠾ࡼࡧ㸪࢔ࢡࢱ࣮㸪 ୍⮴᳨ド ࢹ࣮ࢱ㸪⏬㠃㸪᣺ࡿ⯙࠸➼ࡢᐃ⩏⾲ࢆධຊ࡜ࡋ࡚㸪 ࢩࢼࣜ࢜࡟ฟ⌧ࡍࡿ㸪࢔ࢡࢱ࣮㸪ࢹ࣮ࢱ㸪⏬㠃㸪᣺ ࡿ⯙࠸➼ࡀ㸪ࡑࢀࡒࢀ㸪ᑐᛂࡍࡿᐃ⩏⾲࡟ᐃ⩏ࡉࢀ ࡚࠸ࡿࡇ࡜㸪࠿ࡘ㸪࢔ࢡࢱ࣮㸪ࢹ࣮ࢱ㸪⏬㠃㸪᣺ࡿ ⯙࠸➼ࡢᐃ⩏⾲࡟ᐃ⩏ࡉࢀࡓྛせ⣲ࡀ㸪ࢩࢼࣜ࢜୰ ࡟ᅇ௨ୖฟ⌧ࡋ࡚࠸ࡿࡇ࡜ࢆ☜ㄆࡋ㸪ᮍᐃ⩏ࡲࡓ ࡣฟ⌧ࡋ࡞࠸ሙྜ࡟ᣦ᦬ࡍࡿ㸬 1*࣮࣡ࢻ᳨ド ᳨ドᑐ㇟ࡢ௙ᵝ㸦ࢩࢼࣜ࢜㸧࠾ࡼࡧ㸪1*࣮࣡ࢻᐃ⩏ ⾲ࢆධຊ࡜ࡋ࡚㸪1*࣮࣡ࢻࡢᐃ⩏⾲࡟ᐃ⩏ࡉࢀࡓ⏝ ㄒࡀࢩࢼࣜ࢜୰࡟ฟ⌧ࡋ࡚࠸ࢀࡤ㸪ࡑࢀࢆᣦ᦬ࡍࡿ㸬 ࢩࢼࣜ࢜⮬ື⿵ ᳨ドᑐ㇟ࡢ௙ᵝ㸦ࢩࢼࣜ࢜㸧࠾ࡼࡧ㸪1*࣮࣡ࢻᐃ⩏ ṇ ⾲ࢆධຊ࡜ࡋ࡚㸪1*࣮࣡ࢻࡢᐃ⩏⾲࡟ᐃ⩏ࡉࢀࡓ⏝ ㄒࡀࢩࢼࣜ࢜୰࡟ฟ⌧ࡋ࡚࠸ࢀࡤ㸪࠾࡞ࡌࡃ1*࣮࣡ ࢻᐃ⩏⾲࡟ᐃ⩏ࡉࢀࡓ⨨᥮ೃ⿵⏝ㄒ࡛ࢩࢼࣜ࢜ࢆ⨨ ᥮ࡋ㸪ᨵၿࢩࢼࣜ࢜ࢆ⏕ᡂࡍࡿ㸬. 3.3 せồ௙ᵝࡢࢻ࣓࢟ࣗࣥࢺရ㉁ศᯒᡭἲ. ࠶ࡿࡇ࡜ࢆᣦ᦬ࡋ࡚࠸ࡿ㸬 ᮏࢶ࣮࡛ࣝࡣ㸪᳨ド⤖ᯝࢆ᳨ド࣏࣮ࣞࢺ࡛ฟຊࡍࡿ㸬᳨ ド࣏࣮ࣞࢺࢆ⏝࠸࡚㸪せồศᯒ⪅ࡣ㸪せồ௙ᵝ᭩ᮏᩥࡢᨵ ၿ࠿㸪タィせ⣲ᐃ⩏ࡢᣑᙇࡸ㏣ຍࢆ᳨ウࡋ࡚㸪せồ௙ᵝ᭩ ࡢࢻ࣓࢟ࣗࣥࢺရ㉁ࢆ㧗ࡵ࡚࠸ࡃࡇ࡜ࡀྍ⬟࡛࠶ࡿ㸬 ᮍᐃ⩏. ) ᐃ⩏₃ࢀ᳨ド. 㽢. 䠄௙ᵝ᭩䠅㻝㻚䝴䞊䝄䛿䠈䝺䝆䛻㉎ධ䛧䛯䛔ၟရ䜢 ᣢཧ䛧䠈䝫䜲䞁䝖䜹䞊䝗䜢ᥦ♧䛩䜛䠊㻞㻚䝺䝆ಀ䛿䠈ၟရ᝟ሗ䛚䜘䜃䝫䜲䞁䝖䜹䞊䝗᝟ሗ䜢➃ᮎ䞉䞉䞉. 㽢. ) ⏝ㄒ୙୍⮴᳨ド. 㽢. 䠄௙ᵝ᭩䠅㻝㻚䝴䞊䝄䛿䠈䝺䝆䛻㉎ධ䛧䛯䛔ၟရ䜢 ᣢཧ䛧䠈䝫䜲䞁䝖䜹䞊䝗䜢ᥦ♧䛩䜛䠊㻞㻚䝺䝆ಀ䛿䠈ၟရ᝟ሗ䛚䜘䜃䝫䜲䞁䝖䜹䞊䝗᝟ሗ䜢➃ᮎ䞉䞉䞉. 䜰䜽䝍䞊ᐃ⩏. 㻺㼛㻚. 䜰䜽䝍䞊ᐃ⩏. 㻝. 䝴䞊䝄䠄⟶⌮⪅䠅. 㻞. 䝴䞊䝄䠄ᢸᙜ⪅䠅. 㻟. 䜸䝨䝺䞊䝍. 䜰䜽䝍䞊ᐃ⩏. 㻺㼛㻚. 䜰䜽䝍䞊ᐃ⩏. 㻝. 䝴䞊䝄䠄⟶⌮⪅䠅. 㻞. 䝴䞊䝄䠄ᢸᙜ⪅䠅. 㻟. 䜸䝨䝺䞊䝍. ⾲グ䜖䜜. ᅗ 3 せồ௙ᵝࡢ୍㈏ᛶ᳨ドࡢ౛ Figure 3 Examples of Requirements Verification 3.4 㐺⏝ᐇ⦼. せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࢆ⏝࠸࡚㸪せồ௙ᵝࡢ. ᐇࢩࢫࢸ࣒㛤Ⓨ࡛⏝࠸ࡽࢀࡓ௨ୗ 2 ௳ࡢせồ௙ᵝ᭩࡟ᑐ. ࢻ࣓࢟ࣗࣥࢺရ㉁ࢆศᯒࡍࡿᡭἲࢆḟࡢࡼ࠺࡟ᐃ⩏ࡍࡿ㸬. ࡋ࡚㸪せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࢆ⏝࠸᳨࡚ドࢆᐇ. ձ. ࢔ࢡࢱ࣮㸪⏬㠃㸪ࢹ࣮ࢱ㸪᣺ࡿ⯙࠸ࡢタィせ⣲ࡢᐃ⩏. ᪋ࡋࡓ㸬ࡇࢀࡽࡣ᪥ᮏㄒ࡛グ㏙ࡉࢀࡓࢻ࣓࢟ࣗࣥࢺ࡛࠶ࡿ㸬. ࡀ㸪せồ௙ᵝ᭩୰࡟࠶ࡿ࠿࡝࠺࠿ࢆ☜ㄆࡋ㸪Ꮡᅾࡍࡿ. ࡑࢀࡒࢀࡢᩥᏐᩘࡣ㸦 a㸧17,635㸪㸦b㸧 66,048 ࡛࠶ࡿ㸬. ሙྜ࡟ࡣ㸪ࡑࡢᐃ⩏ෆᐜࢆ☜ㄆࡍࡿ㸬ࡇࢀࡽࢆ㸪タィ. 㸦a㸧᯾࢙࢘ࣈࢧ࢖ࢺࣜࢽ࣮ࣗ࢔ࣝ஦ᴗせồ௙ᵝ᭩. せ⣲ᐃ⩏⾲࡟ࡲ࡜ࡵ㸪せồ௙ᵝࡢ୍㈏ᛶ᳨ドࢶ࣮ࣝ࡬. 㸦b㸧᯾ไᗘࢩࢫࢸ࣒ᵓ⠏࣭㐠⏝➼ᴗົㄪ㐩௙ᵝ᭩. ࡢධຊ࡜ࡍࡿ㸬 ղ. ୖグ௙ᵝ᭩࡬ࡢࢶ࣮ࣝࡢ㐺⏝ホ౯ศᯒ࡟ࡼࢀࡤ㸪ᖹᆒࡋ. せồ௙ᵝ᭩୰ࡢᶵ⬟୍ぴࡸࢩࢼࣜ࢜࡞࡝ࡢ᳨ドᑐ㇟. ࡚㸪ᐃ⩏₃ࢀ㸪⏝ㄒ୙୍⮴㸪⏝ㄒ᏶඲୍⮴ࡣ㸪෌⌧⋡ 90%. ࢆᢳฟࡍࡿ㸬ࡇࢀࡽࡶせồ௙ᵝࡢ୍㈏ᛶ᳨ドࢶ࣮ࣝ࡬. ௨ୖ㸪㐺ྜ⋡ 82%௨ୖ㸪F ್ 0.84㹼1.00 ࡢ⤖ᯝࢆᚓࡓ㸬. ⓒ 2017 Information Processing Society of Japan. 4.

(5) Vol.2017-SE-195 No.6 2017/3/12. ᝟ሗฎ⌮Ꮫ఍◊✲ሗ࿌ IPSJ SIG Technical Report NG ࣮࣡ࢻ᳨ドࡣ㸪NG ࣮࣡ࢻ㎡᭩࡛ᐃ⩏ࡋࡓ⏝ㄒࡣ 100% ≉ᐃ࡛ࡁ㸪࠶ࡽ࠿ࡌࡵ⏝ពࡋࡓ NG ࣮࣡ࢻ࡟ᑐࡍࡿ⨨᥮⏝ ㄒࢆ⏝࠸࡚ࢩࢼࣜ࢜⮬ື⏕ᡂࡀ⾜࠼ࡿ࡞࡝㸪୍ᐃࡢຠᯝࢆ ࡋ࡚࠸ࡿ㸬. 4. ᐇ௙ᵝ᭩࡬ࡢࢶ࣮ࣝ㐺⏝. ᳨ド䝺䝫䞊䝖䠄ᢤ⢋䠅. 䜰䜽䝍䞊䛾⏝ㄒ୙୍⮴᳨ド. 䝴䞊䝄䠄䜰䜽䝍䞊䠅ᐃ⩏ 㻺㼛㻚. 3.4 ࡛♧ࡋࡓࡼ࠺࡟㸪せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝ ࡣ㸪᪤࡟ᐇ᱌௳࡟ᑐࡋ୍࡚ᐃࡢຠᯝࢆ♧ࡋࡓ㸬ᮏ✏࡛ࡣ㸪 ࡉࡽ࡟㸪ูࡢᐇࢩࢫࢸ࣒ࡢ௙ᵝ᭩࡟ᑐࡋ࡚ࡶᮏࢶ࣮ࣝࢆ㐺. 䝴䞊䝄. 㻝 ⟶⌮⫋ဨ 㻞 ୍⯡⫋ဨ 㻟 ≉ᐃᴗົዎ⣙⫋ဨ䚸䜰䝅䝇䝍䞁䝖ዎ⣙⫋ဨ 㻠㐠⏝⫋ဨ. ⏝ࡋ㸪௙ᵝ᭩ࡢせồရ㉁ࡢྥୖ࡟࡝ࡢࡼ࠺࡟㐺⏝ྍ⬟࡞ࡢ. 㻡 ጤクᴗ⪅ 䠄䜸䝨䝺䞊䝍䚸ಖᏲせဨ䜢㝖䛟䠅. ࠿ࢆศᯒࡍࡿ㸬. 㻢 ጤクᴗ⪅ 䠄䜸䝨䝺䞊䝍䚸ಖᏲせဨ䠅. せồ௙ᵝ叏୍㈏ᛶ᳨ドᨭ᥼君呎呂. ᚓࡓ㸬࡞࠾㸪ホ౯⤖ᯝࡢヲ⣽࡟ࡘ࠸࡚ࡣ㸪ሗ࿌᭩[5]࡟࡚♧. ௙ᵝ᭩䠄ᴗົᐃ⩏㒊ศ䛾ᢤ⢋䠅 ᖺ㔠஦ົᡤ⫋ဨ䚸⾤ゅ䛾ᖺ㔠┦ㄯ䝉䞁䝍䞊⫋ဨ䛿䚸 ᝟ሗ䝅䝇䝔䝮ᶵᵓ䛻 ಶே␒ྕ䠄ཪ䛿ఫẸ⚊䝁䞊䝗䠅䛻䜘䜚 ఫᇶᮏே☜ㄆ᝟ሗ䛾↷఍䜢⾜䛖䚹 ྲྀᚓ䛧䛯ఫᇶᮏே☜ㄆ᝟ሗ䜢ᖒ⚊ฟຊ 䛩䜛䚹䞉䞉䞉䞉䞉䞉䞉䞉䞉䞉. 䝔䜻䝇䝖ᩥᏐᩘ䠖㻝㻝㻤㻘㻜㻥㻟䜰䜽䝍䞊ᐃ⩏ᩘ䠖㻟㻥㻝䜰䜽䝍䞊ᐃ⩏ᩘᘏ䜉䠖㻤㻢㻥㻌䜰䜽䝍䞊ᐃ⩏₃䜜䠖㻟㻝㻥㻌䞉䞉䞉䞉䞉䞉䞉䞉䞉䞉 ⫋ဨ 㻟㻜 ୙୍⮴ ᡤ⫋ဨ 㻝㻡㻌㻌㻌㻌㻌㻌㻌㻌㻌㻌୙୍⮴ 䝍䞊⫋ဨ 㻝㻢㻌㻌㻌㻌㻌㻌㻌㻌㻌㻌୙୍⮴ ᖺ㔠஦ົᡤ⫋ဨ 㻠㻜㻌㻌㻌㻌㻌㻌㻌㻌㻌㻌୙୍⮴ ⾤ゅ䛾ᖺ㔠┦ㄯ䝉䞁䝍䞊⫋ဨ 㻝㻞㻌㻌㻌㻌㻌㻌㻌㻌㻌㻌୙୍⮴ ஦ົ䝉䞁䝍䞊⫋ဨ 㻞㻝㻌㻌㻌㻌㻌㻌㻌㻌㻌㻌୙୍⮴ 䞉䞉䞉䞉䞉䞉䞉䞉䞉䞉. ᖺ㔠஦ົᡤ⫋ဨ䠈⾤ゅ䛾ᖺ㔠┦ㄯ䝉䞁䝍䞊⫋ဨ䛿䚸䜰䜽䝍䞊ᐃ⩏䛻ᐃ⩏䛥䜜䛶䛺䛔. 4.1 ホ౯ࡢ᪉ἲ ᑐ㇟࡜ࡍࡿ௙ᵝ᭩ࡣ㸪ཌ⏕ປാ┬࡟ࡼࡿ௨ୗ 3 ᱌௳ࡢㄪ㐩௙ᵝ᭩࡛࠶ࡿ㸬࠸ࡎࢀࡢ௙ᵝ᭩ࡶ୍⯡࡟බ㛤ࡉࢀ࡚࠸ࡿ. ᅗ 4 ࢶ࣮ࣝࡢ㐺⏝஦౛ Figure 4 Example of Application of the Tool. ௙ᵝ᭩࡛࠶ࡿ㸬௨㝆ձ~ճࢆࡑࢀࡒࢀ㸪௙ᵝ᭩ձ㸪௙ᵝ᭩ ղ㸪௙ᵝ᭩ճ㸪࡜␎ࡍࡇ࡜࡟ࡍࡿ㸬. 4.2 ᳨ド࣏࣮ࣞࢺ࡟ࡼࡿᣦ᦬஦㡯ࡢศᯒ⤖ᯝ. ձᖺ㔠ᴗົࢩࢫࢸ࣒㸦ಶே␒ྕ⟶⌮ࢧࣈࢩࢫࢸ࣒➼㸦2 ḟ. ௙ᵝ᭩ձ~ճࡢࠕ࢔ࢡࢱ࣮ࡢ⏝ㄒ୙୍⮴᳨ドࠖ࡟㛵ࡍࡿ. 㛤Ⓨ᝟ሗ㐃ᦠศ㸧㸧࡟ಀࡿタィ࣭㛤Ⓨ➼ᴗົཬࡧ࢔ࣉࣜࢣ࣮. ⤖ᯝࡣ௨ୗࡢ㏻ࡾ࡛࠶ࡿ㸬᳨ド࣏࣮ࣞࢺࡢ඲య㸪⏝ㄒ୙୍. ࢩࣙࣥࢯࣇࢺ࢙࢘࢔ಖᏲᴗົ[14]. ⮴࡜࡞ࡗࡓ⏝ㄒ඲యࡢ୍ぴࣜࢫࢺ࡟ࡘ࠸࡚ࡣ㸪⣬㠃ࡢ㒔ྜ. ղປാಖ㝤㐺⏝ᚩ཰ࢩࢫࢸ࣒࡟ಀࡿࢩࢫࢸ࣒㐠⏝ᴗົ୍ᘧ. ࡟ࡼࡾ๭ឡࡍࡿ㸬. ㄪ㐩௙ᵝ᭩(᱌)[15]. ࣭௙ᵝ᭩ձ㸸࢔ࢡࢱ࣮⏝ㄒ 319 ௳㸦⏝ㄒ୙୍⮴㸸319 ௳㸧. ճປാᇶ‽⾜ᨻ᝟ሗࢩࢫࢸ࣒࡟ಀࡿ࢔ࣉࣜࢣ࣮ࢩࣙࣥࣉࣟ. ࣭௙ᵝ᭩ղ㸸࢔ࢡࢱ࣮⏝ㄒ 354 ௳㸦⏝ㄒ୙୍⮴㸸353 ௳㸧. ࢢ࣒ࣛᨵಟ➼ᴗົ୍ᘧ㸦ᖹᡂ 28 ᖺᗘ㸧ㄪ㐩௙ᵝ᭩㸦᱌㸧[16]. ࣭௙ᵝ᭩ճ㸸࢔ࢡࢱ࣮⏝ㄒ 178 ௳㸦⏝ㄒ୙୍⮴㸸178 ௳㸧. ලయⓗ࡟ࡣḟࡢᡭ㡰࡛ㄪᰝࡋࡓ㸬㸦1㸧‽ഛ ᮏࢶ࣮ࣝ࡬ࡢධຊࣇ࢓࢖ࣝࢆసᡂࡍࡿ㸬බ㛤ࡉࢀ࡚࠸ࡿ. ௨ୗ㸪௙ᵝ᭩ู࡟㸪᳨ド࣏࣮ࣞࢺ࡟ࡼࡿᣦ᦬஦㡯࡟ᇶ࡙ ࡁ㸪௙ᵝ᭩ᮏᩥ࡛ࡢ౑ࢃࢀ᪉ࡢศᯒ⤖ᯝࢆ♧ࡍ㸬 4.2.1 ௙ᵝ᭩ձ࡬ࡢᣦ᦬஦㡯. ௙ᵝ᭩ࡣ」ᩘࡢ✀㢮ࡢ pdf, word, excel ࡞࡝ࣇ࢓࢖࡛ࣝᵓᡂ. ࣭ ⏝ㄒ୙୍⮴⏝ㄒ࡜ࡋ࡚㸪࢔ࢡࢱ࣮⏝ㄒࡢࠕ⿕ಖ㝤⪅࣭. ࡉࢀ࡚࠸ࡿࡢ࡛㸪ࡇࢀࡽ࠿ࡽࢶ࣮ࣝ࡬ࡢධຊ࡜࡞ࡿࢸ࢟ࢫ. ཷ⤥ᶒ⪅ࠖ㸪 ࠕ⫋ဨࠖ㸪 ࠕ⿕ಖ㝤⪅ࠖࡀᣦ᦬ࡉࢀࡓ㸬ࡲࡓ㸪. ࢺࣇ࢓࢖ࣝ࡟ኚ᥮ࡋࡓ㸬. ࢹ࣮ࢱ⏝ㄒࡢ⏝ㄒ୙୍⮴⏝ㄒ࡜ࡋ࡚㸪 ࠕ⤌⧊᝟ሗࠖ㸪 ࠕ⤌. 㸦2㸧᳨ドᑐ㇟ࡢ⤠ࡾ㎸ࡳ. ⧊ࠖࡀᣦ᦬ࡉࢀࡓ㸬࡞࠾㸪௙ᵝ᭩ࡢ࢚ࣥࢸ࢕ࢸ࢕ᐃ⩏. ௙ᵝ᭩ձ~ճࡣ኱つᶍࢩࢫࢸ࣒࡛࠶ࡾ௙ᵝ᭩඲యࡢ㔞ࡶ ᩘⓒ࣮࣌ࢪ௨ୖ࡟࡞ࡿࡓࡵ㸪᳨ドࡢ⠊ᅖࢆ⤠ࡾ㎸ࢇࡔ㸬௙. ࡛ࡣ㸪 ࠕ⤌⧊ࠖࡣ࣮ࣘࢨ࡛ࡣ࡞ࡃ㸪࢚ࣥࢸ࢕ࢸ࢕࡜ࡋ࡚ ᐃ⩏ࡉࢀ࡚࠸ࡿࡇ࡜ࡀࢃ࠿ࡗࡓ㸬. ᵝ᭩ձࡣ㸪᝟ሗⓏ㘓⟶⌮ࡀ୺యࡢࢩࢫࢸ࣒࡛࠶ࡿ㸬ⴭ⪅ࡽ. ࣭ ୍⯡ⓗ࡟ࡣ࢔ࢡࢱ࣮⏝ㄒ࡜ࡳ࡞ࡉࢀࡿ⏝ㄒ㸦⤌⧊㸪⿕. ࡣ㸪࢔ࢡࢱ࣮࡜࢚ࣥࢸ࢕ࢸ࢕ࡢ⾲グࡺࢀ࡟⤠ࡗ᳨࡚ドࢆ⾜. ಖ㝤⪅࣭ཷ⤥ᶒ⪅㸪⫋ဨ㸧ࡀ㸪࢚ࣥࢸ࢕ࢸ࢕⏝ㄒ࡜ࡋ. ࡗࡓ㸬௙ᵝ᭩ղ࠾ࡼࡧ௙ᵝ᭩ճ࡟ࡘ࠸࡚ࡣ㸪࢔ࢡࢱ࣮ࢆ୰. ࡚ᐃ⩏ࡉࢀ࡚࠸ࡓ㸬ࡉࡽ࡟ࡇࢀࡽࡀ㸪ᮏᩥ୰࡛ࠕ⤌⧊. ᚰ࡟ศᯒࡋࡓ㸬ࡉࡽ࡟㸪௙ᵝ᭩ձ~ճࢆᶓ᩿ࡍࡿ≉ᐃ࢔ࢡ. ᝟ሗࠖ㸪ࠕ㐠⏝⫋ဨࠖࡢࡼ࠺࡟㸪ఱ➼࠿ࡢᩥゝ࡛ಟ㣭ࡋ. ࢱ࣮ࡢ⾲グࡺࢀ࡟ࡘ࠸࡚ศᯒࡍࡿࡇ࡜࡜ࡋࡓ㸬. ࡓ⏝ㄒ࡜ࡋ࡚฼⏝ࡉࢀ࡚࠸ࡓ㸬. 㸦3㸧せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࡢᐇ⾜. ࣭ ⏝ㄒ୙୍⮴࡜࡞ࡿ⾲⌧࡜ࡋ࡚ࡣ㸪࢔ࢡࢱ࣮㸦࢚ࣥࢸ࢕. 㸦1㸧ᩚ⌮ࡋࡓࣇ࢓࢖ࣝࢆᑐ㇟࡜ࡋ࡚㸪ᮏࢶ࣮ࣝࢆᐇ⾜ࡋࡑ. ࢸ࢕㸧ྡ࡟ࠕ࣭ࠖࢆ⏝࠸ࡿࡇ࡜࡛᭕᫕࡞⾲⌧࡟࡞ࡿ⏝. ࢀࡒࢀࡢ᳨ド࣏࣮ࣞࢺฟຊࡋࡓ㸬ᮏࢶ࣮ࣝ࡬ࡢධฟຊࡢ࢖. ㄒࡀ࠶ࡗࡓ㸬౛࠼ࡤ㸪 ࠕ⿕ಖ㝤⪅࣭ཷ⤥⪅ࠖ࡜ࠕ⿕ಖ㝤. ࣓࣮ࢪࢆᅗ 4 ࡟♧ࡍ㸬. ⪅ࠖࡣ㸪࠸ࡎࢀࡶ࢔ࢡࢱ࣮⏝ㄒ࡜ࡋ࡚฼⏝ࡉࢀ࡚࠸ࡿ. 㸦4㸧᳨ド࣏࣮ࣞࢺࢆ⏝࠸ࡓศᯒ࡜ᣦ᦬஦㡯ࡢホ౯. ࡶࡢࡢ㸪᫂☜࡞ᐃ⩏ࡀ࡞࠸ࡓࡵ㸪ࡇࢀࡽࡀྠ୍࡞ࡢ࠿. ᳨ド࣏࣮ࣞࢺ࡛㸪ᐃ⩏₃ࢀ㸪⏝ㄒ୙୍⮴࡜࡞ࡗࡓ࢔ࢡࢱ. ࡝࠺࠿᭕᫕࡞≧ែ࡜࡞ࡗ࡚࠸ࡓ㸬. ࣮⏝ㄒ㸪࢚ࣥࢸ࢕ࢸ࢕⏝ㄒ࡟ᑐࡋ࡚㸪ᮏᩥ࡛ࡢ౑ࢃࢀ᪉ࢆ. ࣭ ⏝ㄒ୙୍⮴ࡢูࡢ౛࡜ࡋ࡚ࡣ㸪ࠕ⾤ゅࡢᖺ㔠┦ㄯࢭࣥ. ศᯒࡋ㸪ᣦ᦬⤖ᯝࡀጇᙜ࡞ෆᐜ࠿࡝࠺࠿ࢆ᳨ウࡋࡓ㸬ࡲࡓ㸪. ࢱ࣮⫋ဨࠖ㸪ࠕᖺ㔠஦ົᡤ⫋ဨࠖ㸪ࠕ஦ົࢭࣥࢱ࣮⫋ဨࠖ. ୖグศᯒ࡟ᇶ࡙ࡁ㸪⌧≧ࡢ௙ᵝ᭩ࡢရ㉁ࣜࢫࢡ࡜ᛮࢃࢀࡿ. ࡀ௙ᵝ᭩ෆ࡟」ᩘᅇⓏሙࡋ࡚࠸ࡿࡀ㸪᝟ሗࢩࢫࢸ࣒ࡢ. ஦᯶ࢆὙ࠸ฟࡋࡓ㸬. ࣮ࣘࢨᐃ⩏࡟ࡣ㸪 ࠕ⟶⌮⫋ဨࠖ㸪 ࠕ୍⯡⫋ဨࠖ㸪 ࠕ≉ᐃᴗົ. ⓒ 2017 Information Processing Society of Japan. 5.

(6) Vol.2017-SE-195 No.6 2017/3/12. ᝟ሗฎ⌮Ꮫ఍◊✲ሗ࿌ IPSJ SIG Technical Report ዎ⣙⫋ဨࠖ㸪 ࠕ࢔ࢩࢫࢱࣥࢺዎ⣙⫋ဨࠖ㸪 ࠕ㐠⏝⫋ဨࠖ㸪 ࠕጤ. ᪉ᒁ⫋ဨࠖ㸪ࠕ┘╩⨫⫋ဨࠖ㸪ࠕ஦ᴗཷク⪅➼ࠖࡀࠕ฼⏝. クᴗ⪅ࠖࡀᐃ⩏ࡉࢀ࡚࠾ࡾ㸪⏝ㄒ୙୍⮴ࡢ≧ែ࡛࠶ࡗ. ⪅༊ศ࡛ࠖ࠶ࡿ࡜ࡋ࡚㸪ࠕᣐⅬᩘ୍ぴ⾲㸦⾲ 2-3㸧ࠖ࡟. ࡓ㸬ࡑࡢ௚㸪 ࠕ⫋ဨࠖ࡜࠸࠺⏝ㄒࡀ௙ᵝ᭩ෆ࡛౑⏝ࡉࢀ. ♧ࡍලయⓗᣐⅬྡ࡜ᑐᛂ࡙ࡅ࡚㸪ྛ฼⏝⪅༊ศࡀ࡝ࡢ. ࡚࠾ࡾ㸪୍⯡໬ࡉࢀࡓ⏝ㄒࡀఱࢆᣦࡍࡢ࠿୙᫂☜࡟࡞. ࡼ࠺࡞⫋ဨ࡟┦ᙜࡍࡿࡢ࠿ࡀᐃ⩏ࡉࢀ࡚࠸ࡓ㸬. ࡗ࡚࠸ࡓ㸬. ࣭ ࠕ⏝ㄒ⾲ࠖ࡟ࡼࡿࠕ฼⏝⪅ࠖࢆ⌮ゎࡍࡿ࡟ࡣ㸪ୖグࡢ. ࣭ ࠕ⏝ㄒᐃ⩏࡛ࠖᐃ⩏ࡉࢀ࡚࠸ࡿ⏝ㄒࡣ㸪ẚ㍑ⓗ୍⯡ⓗ. 2 ࡘࡢ⾲㸦฼⏝⪅༊ศࡢᐃ⩏㸪ᣐⅬࡢᐃ⩏㸧ࢆ┦஫࡟. ࡟౑ࢃࢀ࡚࠸ࡿྡ⛠ࡢࡶࡢ࡟ᑐࡋ࡚㸪ᮏ᱌௳࡛ࡢ≉ู. ཧ↷ࡍࡿᚲせࡀ࠶ࡿࡇ࡜ࡀࢃ࠿ࡗࡓ㸬ࡍ࡞ࢃࡕ㸪௙ᵝ. ࡞ព࿡ࢆ୚࠼࡚฼⏝ࡋ࡚࠸ࡿ㸬ࡲࡓ㸪 ࠕ⏝ㄒᐃ⩏ࠖෆࡢ. ᭩ճ࡟࠾࠸࡚ࡣ㸪3 ࡘࡢ⾲ࢆ┦஫ཧ↷ࡋ࡞࠸࡜㸪ᮏࢩ. ⏝ㄒྡ࡟ࠕ࣭࣭࣭➼ࠖ࡜࠸࠺⏝ㄒࡀ⏝࠸ࡽࢀ࡚࠸ࡿࡇ. ࢫࢸ࣒ࡢ࢔ࢡࢱ࣮ࡀ⌮ゎ࡛ࡁ࡞࠸ᵓ㐀࡟࡞ࡗ࡚࠸ࡿࡇ. ࡜ࡀࢃ࠿ࡗࡓ㸬. ࡜ࡀࢃ࠿ࡗࡓ㸬. 4.2.2 ௙ᵝ᭩ղ࡬ࡢᣦ᦬஦㡯 ࣭ ᳨ド࣏࣮ࣞࢺ࡟ࡼࢀࡤ㸪ࠕࢩࢫࢸ࣒㐠⏝࣭ಖᏲ⤫ᣓ⪅ࠖ. ࣭ ᣐⅬࡢᐃ⩏࡟࠾࠸࡚㸪ᆅྡ࡟㉳ᅉࡍࡿᣐⅬ㸦౛㸸Ⱚᗇ ⯋㸪ୖ▼⚄஭ᗇ⯋㸧࡜㸪⤌⧊ࡢ⥲⛠㸦ປാᇶ‽┘╩⨫㸧. ࡣ㸪⏝ㄒ୙୍⮴⏝ㄒ࡜ࡋ࡚㸪ᮏᩥ୰࡛ᘏ࡭ 73 ௳ࡀ฼⏝. ࡟┦ᙜࡍࡿᣐⅬࡀΰᅾࡋ࡚࠸ࡓ㸬⌧≧ࡢ௙ᵝ᭩࡛ࡣ㸪. ࡉࢀ࡚࠸ࡿ࡜ࡢᣦ᦬ࡀ࠶ࡗࡓ㸬 ࠕࢩࢫࢸ࣒㐠⏝࣭ಖᏲ⤫. ࢡࣛࢫ࡜࢖ࣥࢫࢱࣥࢫࡀΰᅾࡋ࡚ᐃ⩏ࡉࢀ࡚࠸ࡿ≧ែ. ᣓ⪅ࠖࡢฟ⌧⟠ᡤ࡜ࡋ࡚㸪௙ᵝ᭩ղࡢࠕ⏝ㄒࡢᐃ⩏ࠖ. ࡢࡓࡵ㸪ᣐⅬࡢ⌮ゎࡀ㸪➨୕⪅࡟ࡣᅔ㞴࡛࠶ࡿࡇ࡜㸪. ࡢゎㄝ㒊ศ࡟」ᩘ⟠ᡤ㸦ᑡ࡞ࡃ࡜ࡶ 2 ⟠ᡤ㸧࠶ࡗࡓ㸬. ᣐⅬ㸦Where㸧࡜㸪฼⏝⪅㸦Who㸧ࡣ␗࡞ࡿほⅬ࡛࠶. ࣭ ᳨ド࣏࣮ࣞࢺ࡟ࡼࢀࡤ㸪ࠕ㐠⏝࣮࢜࣌ࣞࢱࠖࡣ㸪71 ௳. ࡿࡢ࡛㸪ࡑࢀࡒࢀࡀ⊂❧ࡋ࡚ᐃ⩏ࡉࢀ࡚࠸ࢀࡤ㸪ୖ㏙. ࡢᮍᐃ⩏⟠ᡤࡀ࠶ࡿ࡜ᣦ᦬ࡉࢀࡓ㸬ࠕ㐠⏝࣮࢜࣌ࣞࢱࠖ. ࡋࡓࡼ࠺࡞」ᩘࡢ᝟ሗࢆ┦஫ཧ↷ࡍࡿᚲせࡣ࡞ࡃ㸪ᙜ. ࡢฟ⌧⟠ᡤ࡜ࡋ࡚㸪௙ᵝ᭩ղ୰ࡢࠕ⏝ㄒࡢᐃ⩏ࠖࡢゎ. ヱࢩࢫࢸ࣒ࡢ㔜せ࡞࢔ࢡࢱ࣮࡛࠶ࡿࠕ⫋ဨࠖࡢᐃ⩏࡜㸪. ㄝ㒊ศ࡟」ᩘ⟠ᡤ㸦ᑡ࡞ࡃ࡜ࡶ 2 ⟠ᡤ㸧࠶ࡗࡓ㸬. ࢩࢫࢸ࣒ࡢ฼⏝⠊ᅖࡢ⌮ゎࡀᐜ᫆࡟࡞ࡿ࡜⪃࠼ࡽࢀࡿ㸬. ࣭ ௙ᵝ᭩ղ࡟࠾ࡅࡿ࢔ࢡࢱ࣮ᐃ⩏࡟┦ᙜࡍࡿࠕ㐺⏝ᚩ཰. ຍ࠼࡚㸪ᆅྡࡣኚ໬ࡍࡿྍ⬟ᛶࡶ㧗ࡃ㸪 ࠕ⤌⧊ࠖࡸࠕ⫋. ᴗົࡢᐇ᪋యไᴫせ(⾲ 2-2)ࠖ࡜ࠕ฼⏝⪅ᩘ㸦⾲ 2-3㸧ࠖ. ဨࠖࡢᐃ⩏࡟ࡣ㸪⤌⧊༊ศ࡜ᡤᅾᆅࢆ༊ูࡋ࡚ᐃ⩏ࡍ. ࡟ࡣ㸪 ࠕࢩࢫࢸ࣒㐠⏝࣭ಖᏲ⤫ᣓ⪅ࠖ㸪 ࠕ㐠⏝࣮࢜࣌ࣞࢱࠖ. ࡿࡇ࡜ࡀ㸪௙ᵝࡢ⌮ゎࡢຍ㏿࡟᭷⏝࡜⪃࠼ࡽࢀࡿ㸬. ࡢᐃ⩏ࡣ࡞࠿ࡗࡓ㸬ࡋࡓࡀࡗ࡚㸪 ࠕࢩࢫࢸ࣒㐠⏝࣭ಖᏲ. 4.2.4 ௙ᵝ᭩ձ~ճࢆᶓ᩿ࡋࡓᣦ᦬஦㡯. ⤫ᣓ⪅ࠖ࠾ࡼࡧࠕ㐠⏝࣮࢜࣌ࣞࢱࠖࡣ㸪ᮏᩥ୰࡛㢖⦾. 3 ࡘࡢ௙ᵝ᭩ࡣ㸪࠸ࡎࢀࡶཌ⏕ປാ┬࠿ࡽᥦ♧ࡉࢀࡓㄪ. ࡟ゝཬࡉࢀ࡚࠸ࡿࡶࡢࡢ㸪ᙜヱࢩࢫࢸ࣒ࡢ࢔ࢡࢱ࣮࡞. 㐩௙ᵝ᭩࡛࠶ࡿࡶࡢࡢ㸪ඹ㏻ࡋ࡚ฟ⌧ࡍࡿ࢔ࢡࢱ࣮⏝ㄒࡢ. ࡢ࠿࡝࠺࠿୙᫂☜࡞≧ἣ࡟࡞ࡗ࡚࠸ࡿࡇ࡜ࡀࢃ࠿ࡗࡓ㸬 ࣭ ࢩࢫࢸ࣒㐠⏝࣭ಖᏲ⤫ᣓ⪅ࠖ࡜࠸࠺⏝ㄒ࡟ࡶ㸪ࠕ࣭ࠖ. ᐃ⩏ࡢ᪉ἲ㸪ᮏᩥ࡛ࡢ౑⏝≧ἣࡀ㸪3 ࡘࡢ௙ᵝ᭩㛫࡛୙⤫ ୍࡛࠶ࡿࡇ࡜ࡀࢃ࠿ࡗࡓ㸬௒ᅇ≉࡟᥀ࡾୗࡆࡓࡢࡣࠕ⫋ဨࠖ. ࡀ⏝࠸ࡽࢀ࡚࠾ࡾ㸪ࡑࡢ⤖ᯝ㸪 ࠕࢩࢫࢸ࣒㐠⏝ࠖ࡜ࠕಖ. ⏝ㄒ࡛࠶ࡿࡀ㸪ࡇࡢ௚࡟ࡶ㸪 ࠕᮏ㒊ࠖ㸪 ࠕእ㒊ࠖ㸪 ࠕ⤌⧊ࠖ㸪 ࠕ㐠. Ᏺ⤫ᣓࠖ࡞ࡢ࠿㸪 ࠕࢩࢫࢸ࣒㐠⏝࣭ಖᏲࠖ࡜ࠕ⤫ᣓࠖ࡞. ⏝⪅ࠖ࡞࡝ࡢ⏝ㄒ୙୍⮴⏝ㄒࡀᏑᅾࡋ࡚࠸ࡿ㸬. ࡢ࠿㸪ᴗົࡢ༊ษࡾࡀ୙᫂☜࡛࠶ࡗࡓ㸬ࢩࢫࢸ࣒㐠⏝. 3 ࡘࡢ௙ᵝ᭩㛫࡛୙⤫୍࡛࠶ࡿᑐ㇟࡜ࡋ࡚ࡣ㸪⏝ㄒᐃ⩏㸪. ࡜ಖᏲࢆᢸᙜࡍࡿ࢔ࢡࢱ࣮ࡢᴗົ⠊ᅖ࡜㸪ࢩࢫࢸ࣒໬. ࣮ࣘࢨᐃ⩏ࡢ࿧ࡧ᪉ࡀ␗࡞ࡗ࡚࠸ࡿ㸬ࡓ࡜࠼ࡣ㸪⏝ㄒᐃ⩏. ࡢᑐ㇟ࡣ㸪㛤Ⓨ⠊ᅖ࡟ᙳ㡪ࡍࡿෆᐜ࡛࠶ࡿࡓࡵ㸪࢔ࢡ. ࡟ࡘ࠸࡚ࡣ㸪ࠕ⏝ㄒࡢᐃ⩏ࠖࡸࠕ⏝ㄒ⾲ࠖ࡜࿧ࡤࢀ࡚࠸ࡿ㸬. ࢱ࣮ᐃ⩏⾲࡟࠾࠸࡚㸪 ࠕࢩࢫࢸ࣒㐠⏝࣭ಖᏲ⤫ᣓ⪅ࠖ࡜. ࡲࡓ㸪ࠕ࣮ࣘࢨᐃ⩏ࠖࡢ᝟ሗࡣ㸪ࠕ࣮ࣘࢨᐃ⩏⾲ࠖ㸪ࠕᐇ᪋య. ࠸࠺࢔ࢡࢱ࣮ࡢ㈐ົࢆ᫂☜࡟௙ᵝ໬ࡍࡿࡇ࡜ࡀ㔜せ࡛. ไࠖ㸪ࠕ฼⏝⪅ᩘࠖ㸪ࠕᣐⅬᩘࠖ㸪ࠕ᝟ሗࢩࢫࢸ࣒ࡢ฼⏝⪅ࠖ࡞. ࠶ࡿ࡜⪃࠼ࡽࢀࡿ㸬. ࡝࡜ࡋ࡚␗࡞ࡿෆᐜ࡛␗࡞ࡿ⾲⌧᪉ἲ࡛♧ࡉࢀ࡚࠸ࡿ㸬. 4.2.3 ௙ᵝ᭩ճ࡬ࡢᣦ᦬஦㡯. ࡉࡽ࡟㸪௙ᵝ᭩ճ࡛ࡶ♧ࡋࡓ㏻ࡾ㸪3 ࡘࡢ௙ᵝ᭩࡟ඹ㏻. ࣭ ௙ᵝ᭩ձ࡛ࡶᣦ᦬ࡋࡓࠕ⫋ဨࠖ⏝ㄒࡣ㸪᳨ド࣏࣮ࣞࢺ. ࡋ࡚㸪⏝ㄒᐃ⩏㸪࣮ࣘࢨᐃ⩏ࡀ┦஫ཧ↷ࡉࢀ࡚࠸ࡿ≧ἣ࡟. ࡟ࡼࢀࡤ㸴௳ࡢᮍᐃ⩏⟠ᡤࡀ࠶ࡿ࡜ᣦ᦬ࡉࢀࡓ㸬. ࠶ࡿ㸬ࡘࡲࡾ㸪 ࠕ⏝ㄒᐃ⩏ࠖࡢࠕㄝ᫂ࠖ㒊ศࡢ᪉࡟㸪฼⏝⪅. ࣭ ࠕ⫋ဨࠖࡢฟ⌧⟠ᡤࡢ୍ࡘ࡟㸪௙ᵝ᭩୰ࡢࠕ⏝ㄒ⾲ࠖ. ࡟┦ᙜࡍࡿ⏝ㄒࡀ౑⏝ࡉࢀ࡚࠾ࡾ㸪ࡑࡢ฼⏝⪅⮬యࡢᐃ⩏. ࡜࿧ࡤࢀࡿ⏝ㄒࡢᐃ⩏⟠ᡤࡢ࠺ࡕ㸪 ࠕ฼⏝⪅ࠖ⏝ㄒࡢㄝ. ࡀ㸪ࡉࡽ࡟ูࡢグ㍕㒊ศࢆཧ↷ࡍࡿ≧ἣ࡟࠶ࡾ㸪」ᩘࡢཧ. ᫂㒊ศࡀ࠶ࡗࡓ㸬ࡇࡇ࡛ࡣ㸪฼⏝⪅ࡢᐃ⩏࡜ࡋ࡚㸪 ࠕ⫋. ↷㛵ಀ࡟ࡼࡿᐃ⩏᪉ἲࡀ࡜ࡽࢀ࡚࠸ࡿ㸬. ဨ㸦ᮏ┬ࠊⰪࠊୖ▼⚄஭ࠊ㒔㐨ᗓ┴ປാᒁࠊປാᇶ‽. ௒ᅇࡣ࢔ࢡࢱ࣮⏝ㄒࢆ୰ᚰ࡟ㄪᰝࡋࡓࡀ㸪࢔ࢡࢱ࣮࡜ࡣ㸪. ┘╩⨫➼㸧ࠖ࡜࠶ࡾ㸪୸ᣓᘼࡢグྕࢆ⏝࠸࡚㸪⿵㊊ㄝ᫂. ࢩࢫࢸ࣒ࡢ฼⏝⪅㸪⤌⧊㸪ࢩࢫࢸ࣒࡞࡝ࡢࢩࢫࢸ࣒໬ࡢ⠊. ࡀࡉࢀ࡚࠸ࡿ㸬. ᅖ࡟㛵ࢃࡿ㔜せ࡞タィせ⣲࡛࠶ࡿ㸬࢔ࢡࢱ࣮ࡢ✀㢮㸪ྡ⛠㸪. ࣭ ୖグ࡟㛵㐃ࡋ࡚㸪௙ᵝ᭩ճ୰ࡢࠕᣐⅬᩘ୍ぴ⾲㸦⾲ 2-3㸧ࠖ. ᙺ๭ࡢᐃ⩏ࡣ㸪 ࠕ࣮ࣘࢨᐃ⩏ࠖࡲࡓࡣࠕ࢔ࢡࢱ࣮ᐃ⩏ࠖ࡞࡝. ࡟ࡣ㸪ᣐⅬྡ࡜ᣐⅬᩘࡀᐃ⩏ࡉࢀ࡚࠸ࡿ㸬ࡲࡓ㸪ྠࠕ᝟. ࡜⤫୍ࡋࡓྡ⛠ࡢ௙ᵝ࡟࡚㸪௙ᵝ᭩ࡢෑ㢌࡟♧ࡍࡇ࡜ࡀ㸪. ሗࢩࢫࢸ࣒฼⏝⪅㸦⾲ 4-1㸧࡛ࠖࡣ㸪ࠕᮏ┬⫋ဨࠖ㸪ࠕᆅ. ௙ᵝ᭩ࡢ⌮ゎࡢ෇⁥࡟ࡍࡿ࡜⪃࠼ࡽࢀࡿ㸬⌧≧࡛ࡣ㸪 ࠕᐃ⩏. ⓒ 2017 Information Processing Society of Japan. 6.

(7) Vol.2017-SE-195 No.6 2017/3/12. ᝟ሗฎ⌮Ꮫ఍◊✲ሗ࿌ IPSJ SIG Technical Report ࡢᐃ⩏ࠖࡀ」ᩘᏑᅾࡍࡿ≧ែ࡛࠶ࡾ㸪ຍ࠼࡚㸪௙ᵝ᭩ࡀ␗. ࡣ࡜ࡃ࡟㸪⏝ㄒᐃ⩏㸪࣮ࣘࢨᐃ⩏ࢆヲ⣽࡟ᐃ⩏ࡍࡿࡇ. ࡞ࡿ࡜㸪ྠ୍⤌⧊ࡀసᡂࡋࡓ௙ᵝ᭩࡛࠶ࡿ࡟ࡶ㛵ࢃࡽࡎ㸪. ࡜ࡀ㔜せ࡛࠶ࡿ㸬ࡋ࠿ࡋ㸪฼⏝⪅ᐃ⩏㸪฼⏝⪅ᩘ࡞࡝. ㄝ᫂ࡢ௙᪉ࡀ୍㈏ࡋ࡚࠸࡞࠸ࡓࡵ㸪ᒓேᛶࡀ㧗ࡃ㸪➨୕⪅. ࡢ࢔ࢡࢱ࣮ᐃ⩏ࢆᵓᡂࡍࡿせ⣲ࡀ」ᩘ࠿ࡘ┦஫ཧ↷ࡢ. ࡟ࡼࡿ௙ᵝࡢ⌮ゎࡣᅔ㞴࡞≧ἣ࡟࠶ࡿ࡜⪃࠼ࡽࢀࡿ㸬. ᙧᘧ࡛ᐃ⩏ࡉࢀ࡚࠸ࡿ࡜㸪௙ᵝ᭩඲యࡢ⌮ゎࡢጉࡆ࡟. 5. ⪃ᐹ. ࡞ࡿ㸬ᑡ࡞ࡃ࡜ࡶ┦஫ཧ↷ࡣゎỴࡍ࡭ࡁ࡛࠶ࡿ㸬. 5.1 せồ௙ᵝࡢ᳨ドᨭ᥼ࢶ࣮ࣝ࡟ࡼࡿ୍㈏ᛶ᳨ドࡢຠᯝ ௒ᅇศᯒࡋࡓ 3 ௳ࡢせồ௙ᵝ᭩ࡣ㸪ࢧ࢖ࢬ㸦࣮࣌ࢪᩘ㸧. ࣭ 」ᩘࡢ኱つᶍࢩࢫࢸ࣒ࢆᡤ᭷ࡍࡿ⤌⧊࡛ࡣ㸪」ᩘࡢ௙ ᵝ᭩㛫࡟࠾࠸࡚ࡶ㸪⏝ㄒᐃ⩏ࡸ࣮ࣘࢨᐃ⩏࡞࡝ࡢᐃ⩏ ⾲ࡢྡ⛠㸪ㄝ᫂᪉ἲࢆ⤫୍ࡍ࡭ࡁ࡜⪃࠼ࡽࢀࡿ㸬. ࡸศ෉ࡢ✀㢮ࡀከࡃ኱つᶍ࡞ࡓࡵ㸪௙ᵝ᭩ࡢ඲యࢆせồ௙. ࣭ ୍⯡ⓗ࡞⏝ㄒ࡛࠶ࡿ࡟ࡶ࠿࠿ࢃࡽࡎ㸪ᑐ㇟࡜ࡍࡿ௙ᵝ. ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝ࡟ධຊࡋ᳨࡚ドࢆࡋ࡚࠸࡞࠸㸬. ᭩࡛ࡣ≉ᐃࡢព࿡ࢆᣢࡘ⏝ㄒࠕ⫋ဨࠖ㸪ࠕ⤌⧊ࠖ㸪ࠕ㐠⏝. ࡋ࠿ࡋ㸪࢔ࢡࢱ࣮ࡸ࢚ࣥࢸ࢕ࢸ࢕࡟㝈ᐃࡋࡓ௙ᵝ᭩ࡢ᳨ド. ࣮࢜࣌ࣞࢱࠖ࡟ࡘ࠸࡚ࡣ㸪௙ᵝ᭩ᶓ᩿࡛ࡶ୍㈏ᛶࢆಖ. ࡢᐇ⾜ࡢࡳ࡛ࡶ㸪ࢩࢫࢸ࣒ࡢ㛤Ⓨ⠊ᅖ࡟㛵ࡍࡿ⌮ゎࡢ㱈㱒. ࡘ࡭ࡁ࡛࠶ࡿ㸬ࡇࢀࡣ㸪ࢫࢸ࣮ࢡ࣍ࣝࢲᐃ⩏⾲࡞࡝ࢆ. ࢆㄏⓎࡍࡿࣜࢫࢡࡢ࠶ࡿ࢔ࢡࢱ࣮ࡢ⏝ㄒ୙୍⮴ࡸᐃ⩏₃ࢀ. ⤌⧊ࡢ㈨⏘࡜ࡋ࡚⵳✚ࡍࡿࡇ࡜ࡀᚲせ࡜⪃࠼ࡽࢀࡿ. ࢆ」ᩘ௳Ὑ࠸ฟࡍࡇ࡜ࡀ࡛ࡁࡓ㸬ࡇࡢࡇ࡜࠿ࡽ㸪ᮏࢶ࣮ࣝ ࡟ࡼࡿせồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࡣ᭷ຠ࡜⪃࠼ࡽ࠼ࡿ㸬 ➨ 2 ❶࡛♧ࡋࡓ࡜࠾ࡾ㸪࢚ࢹ࢕ࢱ㸪࣮࣡ࢻࣉࣟࢭࢵࢧ㸪 ᩥ᭩ࢳ࢙ࢵࢡࢶ࣮ࣝࢆ⏝࠸ࢀࡤ㸪≉ᐃࡢ⏝ㄒࡢᩥ᭩඲యࡢ. ࣭ ᭕᫕࡜ᛮࢃࢀࡿ⏝ㄒࡀᩥ୰࡛࡝ࡢࡼ࠺࡟౑⏝ࡉࢀ࡚ ࠸ࡿ࠿ࢆ☜ㄆࡍࡿ᳨⣴ࡸ㸪⏝ㄒࡢ⨨᥮ࢆ⥙⨶ⓗ࡟⾜࠺ ࡓࡵ࡟㸪ᩥ᭩ࢳ࢙ࢵࢡࢶ࣮ࣝࢆ⏝࠸ࡿࡇ࡜ࡣຠ⋡ⓗ࡛ ࠶ࡿ㸬. Ꮡᅾ᭷↓ࡢࢳ࢙ࢵࢡࡸ㸪₃ࢀ࡞ࡃ඲⨨᥮ࢆ⾜࠺ࡇ࡜ࡀ㸪౑. ࣭ ᭕᫕࡜ᛮࢃࢀࡿ⏝ㄒࢆ≉ᐃࡍࡿ࡟ࡣ㸪࢔ࢡࢱ࣮㸪ࢹ࣮. ࠸ࡸࡍ࠸࣮ࣘࢨ࢖ࣥࢱࣇ࢙࣮ࢫ࡟ࡼࡾᐇ⌧࡛ࡁࡿ≧ἣ࡟࠶. ࢱ㸪⏬㠃㸪᣺ࡿ⯙࠸ࡢ㎡᭩࡟ᇶ࡙ࡃ᳨⣴ࢆࡍࡿᚲせࡀ. ࡿ㸬ࡋ࠿ࡋ㸪ࡇࢀࡽࡢࢶ࣮ࣝࡢά⏝࡟ࡣ㸪4 ❶࡛ᑐ㇟࡜ࡋ. ࠶ࡿࡓࡵ㸪ᮏࢶ࣮ࣝࢆ㏻ࡋ࡚㸪⏝ㄒᢳฟࢆࡍࡿࡇ࡜ࡀ. ࡓ 3 ࡘࡢ௙ᵝ᭩࠿ࡽ㸪 ࠕ⫋ဨࠖ㸪 ࠕ⤌⧊ࠖ㸪 ࠕ㐠⏝⪅ࠖࡢࡼ࠺࡞. ጇᙜ࡛࠶ࡿ㸬㸦ే⏝ࡋ࡚ࡢ฼⏝ࡀࡉࡽ࡟ጇᙜ࡛࠶ࡿ㸧. 㔜せ࡞࢔ࢡࢱ࣮⏝ㄒࢆ≉ᐃ࡛ࡁ࡚࠸ࡿࡇ࡜ࡀ๓ᥦ࡛࠶ࡿ㸬. ࣭ ௙ᵝ᭩ࡀ᏶ᡂࡋࡓᚋ࡛㸪௙ᵝ᭩ࢆᨵၿࡍࡿ࡟ࡣ㸪ᡭᡠ. ࡇࡢࡼ࠺࡞⏝ㄒࡢᢳฟࢆࡋࡓୖ࡛࠶ࢀࡤ㸪ྠ࢚ࢹ࢕ࢱࡸࢶ. ࡾࢥࢫࢺࡀ࠿࠿ࡿ㸬᪂つ㛤Ⓨ࡟ഛ࠼࡚㸪ᐇ㝿ࡢ᱌௳ࢆ. ࣮ࣝࡢᥦ౪ࡍࡿ඲ᩥ᳨⣴ࡸ඲ᩥ⨨᥮ࡢᶵ⬟ࡣ᭷⏝࡛࠶ࡿ㸬. ศᯒࡋࡓ⤖ᯝ࠿ࡽ㎡᭩ࢆసࡿࡇ࡜ࡸ㸪࢔ࢡࢱ࣮ᐃ⩏ࡸ. せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࡣ㸪௙ᵝ᭩ࡢタィせ⣲࡟. ࢚ࣥࢸ࢕ࢸ࢕ᐃ⩏ࡢࡦ࡞ᙧࢆసᡂࡍࡿࡇ࡜ࡀ㔜せ࡜⪃. ≉໬ࡋࡓ㸪࢔ࢡࢱ࣮㸪ࢹ࣮ࢱ㸪⏬㠃㸪᣺ࡿ⯙࠸ࡢ⏝ㄒࢆᢳ. ࠼ࡽࢀࡿ㸬. ฟࡍࡿࡓࡵࡢ㎡᭩࡜㆑ู࣮ࣝࣝࢆഛ࠼࡚࠾ࡾ㸪ࡇࢀࡽ࡟ࡼ. ࣭ ௒ᅇࡣ᪤࡟㛤Ⓨࡀ᏶஢ࡋ࡚࠸ࡿ᱌௳ࡢㄪ㐩௙ᵝ᭩࡟. ࡗ࡚㸪᳨⣴ࡸ⨨᥮ࡢᑐ㇟࡟࡞ࡿ㔜せ⏝ㄒࢆὙ࠸ฟࡏࡿⅬࡀ. ᑐࡍࡿ୍㈏ᛶ᳨ドࡢᣦ᦬஦㡯࡜ᨵၿ࡟㛵ࡍࡿᥦ᱌ࢆࡲ. ≉࡟᭷ຠ࡛࠶ࡿ㸬. ࡜ࡵࡓ㸬௙ᵝ᭩ࡢᨵၿࢆᐇ᪋ࡍࡿࡇ࡜ࡣᅔ㞴࡛ࡶ㸪⌧. ᮏࢶ࣮ࣝ࡬ࡢධຊࡣ㸪⌧≧࡛ࡣࢸ࢟ࢫࢺࣇ࢓࢖࡛ࣝ࠶ࡿ. ≧ࡢࢩࢫࢸ࣒ࡣ㸪௒ᚋ㛗ᮇ࡟Ώࡾ⥔ᣢ⟶⌮ࡍࡿࡇ࡜ࡀ. ࡇ࡜࠿ࡽ㸪ࢸ࢟ࢫࢺࣇ࢓࢖ࣝ࡟ኚ᥮ࡍࡿ㝿࡟ᩥ❶ࡢ㏵୰࡛. ᚲせ࡞ࡶࡢࡶከࡃྵࡲࢀࡿ࡜⪃࠼ࡽࢀࡿ㸬㛤Ⓨ࡟┤᥋. ᨵ⾜ࢥ࣮ࢻࡀΰᅾࡋ㸪ᮏ᮶ࡢពᅗ࡜ࡣ␗࡞ࡿ㒊ศ࡛⏝ㄒࡀ. 㛵ࢃࡗ࡚࠸࡞࠿ࡗࡓ㛤Ⓨ⪅ࡸ㐠⏝⪅ࡀ㸪௒ᚋ㸪⥔ᣢ⟶. ᨵ⾜ࡉࢀࡿࡇ࡜ࡀ࠶ࡿ㸬ࡇࡢࡇ࡜ࡀせᅉ࡜࡞ࡾ㸪᳨ド࣏ࣞ. ⌮ࢆ⾜࠺ሙྜ࡟ࡶ㸪௙ᵝ᭩ࡢ⌮ゎࡣ㔜せ࡛࠶ࡾ㸪ࡑࡢ. ࣮ࢺ࡟࡚ᢳฟࡋࡓタィせ⣲࡟ヱᙜࡍࡿ⏝ㄒ࡟ࡣ㸪ㄗᣦ᦬ࡀ. ࡓࡵ࡟㸪⌧≧ࡢ௙ᵝ᭩ࡢ࢔ࢡࢱ࣮ࡢ⪃࠼᪉㸪௙ᵝ᭩ୖ. ྵࡲࢀ࡚࠸ࡓ㸬௒ᚋ㸪ᮏࢶ࣮ࣝ࡬ࡢධຊࣇ࢓࢖ࣝࡢ✀㢮ࡢ. ࡛ࡢ⾲⌧ࡢ≉ᛶ࡞࡝ࢆ㸪௙ᵝ᭩࡜୍⥴࡟⿵㊊㈨ᩱ࡜ࡋ. ᣑᙇࡸ㸪୙㐺ษ࡞⏝ㄒᢳฟࢆᅇ㑊ࡍࡿᕤኵࡀᚲせ࡛࠶ࡿ㸬. ࡚⏝ពࡋඹ᭷ࡍࡿࡇ࡜࡛㸪➨୕⪅ࡢ⌮ゎࡢಁ㐍࡟ຠᯝ. ᐇ㝿࡟せồ௙ᵝ᭩ࡢ᳨ドࢆ⾜࠺ሙྜ࡟ࡣ㸪ᮏࢶ࣮ࣝ࡟࡚㸪㔜せ࡞タィせ⣲ࡢ⏝ㄒࡢὙ࠸ฟࡋࢆ⾜࠸㸪௳ᩘࡀୖ఩ࡢࡶ. ⓗ࡜⪃࠼ࡽࢀࡿ㸬. ࡢࡸ㸪ᑐ㇟᱌௳࡛㔜せ࡜⪃࠼ࡽࢀࡿ⏝ㄒࡢඃඛᗘࢆ࠶ࡆ࡚㸪. 6. ࡲ࡜ࡵ. ⏝ㄒࡢᢳฟ≧ἣࢆ☜ㄆࡋࡓୖ࡛㸪࢚ࢹ࢕ࢱ㸪࣮࣡ࢻࣉࣟࢭ. ᮏ✏࡛ࡣ㸪ྠ୍⤌⧊ࡀసᡂࡋࡓ」ᩘࡢせồ௙ᵝ᭩࡟㸪㛤. ࢵࢧ㸪ᩥ᭩ࢳ࢙ࢵࢡࢶ࣮ࣝ࡜ే⏝ࡋ࡚㸪඲ᩥ᳨⣴ࡸ඲ᩥ⨨. Ⓨࡋࡓせồ௙ᵝࡢ୍㈏ᛶᨭ᥼ࢶ࣮ࣝࢆ㐺⏝ࡋ㸪௙ᵝ᭩ࡢ୍. ᥮࡞࡝ࢆ⾜࠺ࡇ࡜࡛㸪ࡉࡽ࡟᭷ຠ࠿ࡘຠ⋡ⓗ࡞せồ௙ᵝ᭩. ㈏ᛶࢆࢳ࢙ࢵࢡࡍࡿ࡜࡜ࡶ࡟㸪ᮏࢶ࣮ࣝࡀᣦ᦬ࡋࡓෆᐜࡢ. ࡢᨵၿࡀ⾜࠼ࡿ࡜⪃࠼ࡽࢀࡿ㸬. ᭷ຠᛶࢆ☜ㄆࡋࡓ㸬ࡉࡽ࡟㸪ᮏࢶ࣮ࣝࢆ⏝࠸୍࡚㈏ᛶ᳨ド. 5.2 せồ௙ᵝ᭩ࡢᨵၿ࡟ᑐࡋ࡚ᚓࡽࢀࡓᩍカ. ࡢほⅬ࡛せồ௙ᵝ᭩ࢆศᯒࡋ㸪ࢻ࣓࢟ࣗࣥࢺရ㉁ࡢᨵၿ࡟. せồ௙ᵝࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࢆ⏝࠸࡚㸪せồရ㉁ࡢ. 㛵ࡍࡿࣀ࢘ࣁ࢘ࢆᩚ⌮ࡋࡓ㸬ලయⓗ࡟ࡣ㸪ࢩࢫࢸ࣒ࡢ㛤Ⓨ. ࢻ࣓࢟ࣗࣥࢺရ㉁ࢆศᯒࡍࡿࡇ࡜ࢆ㏻ࡋ࡚㸪せồ௙ᵝ᭩ࡢ. ⠊ᅖ࡟኱ࡁࡃᙳ㡪ࡍࡿ࢔ࢡࢱ࣮ࡢ௙ᵝ໬᪉ἲ࡟ࡘ࠸࡚㸪⌮. ᨵၿ࡟㛵ࡋ࡚ᚓࡽࢀࡓᩍカࢆ௨ୗ࡟ࡲ࡜ࡵࡿ㸬. ゎࡢጉࡆࡢࣜࢫࢡࢆ㍍ῶࡍࡿࡓࡵࡢ㸪࢔ࢡࢱ࣮ᐃ⩏ࡢ௙ᵝ. ࣭ ኱つᶍࢩࢫࢸ࣒ࡸ」㞧࡞ᴗົࢆᨭ᥼ࡍࡿࢩࢫࢸ࣒࡛. ໬ࡢ᪉ἲࡸ㸪࢔ࢡࢱ࣮⏝ㄒࡢᐃ⩏᪉ἲࢆᥦ᱌ࡋࡓ㸬. ⓒ 2017 Information Processing Society of Japan. 7.

(8) ᝟ሗฎ⌮Ꮫ఍◊✲ሗ࿌ IPSJ SIG Technical Report ௒ᚋࡶᘬࡁ⥆ࡁ㸪ྠࢶ࣮ࣝ࡟ࡼࡿせồ௙ᵝࡢ୍㈏ᛶ᳨ド㐺⏝ࢆ⥅⥆ࡋ㸪௙ᵝ᭩ࡢ㧗ရ㉁໬࡟㛵ࡍࡿࣀ࢘ࣁ࢘ࢆ᫂ࡽ ࠿࡟ࡋ㸪せồᐃ⩏ࡢ㧗ရ㉁໬࡟㈉⊩ࡋ࡚࠸ࡃ㸬 ㅰ㎡ ᮏࢶ࣮ࣝ㛤Ⓨࡣ㸪⊂❧⾜ᨻἲே᝟ሗฎ⌮᥎㐍ᶵᵓ ᢏ⾡ᮏ㒊ࢯࣇࢺ࢙࢘࢔㧗ಙ㢗໬ࢭࣥࢱ࣮㸦SEC: Software Reliability Enhancement Center㸧ࡀᐇ᪋ࡋࡓࠕ2015 ᖺᗘࢯࣇ ࢺ࢙࢘࢔ᕤᏛศ㔝ࡢඛᑟⓗ◊✲ᨭ᥼஦ᴗࠖࡢᨭ᥼ࢆཷࡅࡓ ࡶࡢ࡛࠶ࡿ㸬ࡲࡓ㸪ᮏ◊✲㛤Ⓨࡢ୍㒊ࡣ㸪2016 ᖺᗘ⛉◊㈝ ࠕせồᐃ⩏ࡢ㧗ရ㉁໬ࡢࡓࡵࡢࢩࢼࣜ࢜ࡢ୍㈏ᛶ᳨ド࣭ࢩ ࢼࣜ࢜⏕ᡂᡭἲࠖJSPS ⛉◊㈝ JP16K00105 ࡢຓᡂࢆཷࡅ ࡚ᐇ᪋ࡋࡓ㸬. ཧ⪃ᩥ⊩ [1]. [2] [3] [4]. [5]. [6] [7] [8] [9] [10]. [11]. Cockburn, A.. Writing Effective Use Case, Addison Wesley, 2000㸪 ࢘ࣝࢩࢫࢸ࣒ࢬᰴᘧ఍♫ (┘ヂ)㸪ᒣᓊ⪔஧㸪▮ᓮ༤ⱥ㸪Ỉ㇂㞞ᏹ㸪⠛ཎ᫂Ꮚ(ヂ)㸪࣮ࣘࢫࢣ࣮ࢫᐇ㊶࢞࢖ࢻ̿ຠᯝⓗ࡞ࣘ ࣮ࢫࢣ࣮ࢫࡢ᭩ࡁ᪉ (OOP Foundations)㸪⩧Ὃ♫㸪2001. Cohn, M.. User Stories Applied: for Agile Software Development. Redwood City, CA, USA: Addison Wesley, 2004. ᵽཱྀ⪔୍. ♫఍ㄪᰝࡢࡓࡵࡢィ㔞ࢸ࢟ࢫࢺศᯒ̿ෆᐜศᯒࡢ ⥅ᢎ࡜Ⓨᒎࢆ┠ᣦࡋ࡚㸪ࢼ࢝ࢽࢩࣖฟ∧㸪2014㸬 ᖹ㘠೺ඣ㸪㔝୰㑳ḟ㑻. ࢔ࢪࣕ࢖ࣝ㛤Ⓨ࡜ࢫࢡ࣒ࣛ㹼㢳ᐈ࣭ ᢏ⾡࣭⤒Ⴀࢆࡘ࡞ࡄ༠ㄪⓗࢯࣇࢺ࢙࢘࢔㛤Ⓨ࣐ࢿࢪ࣓ࣥࢺ㸪 ⩧Ὃ♫㸪2013㸬 ఩㔝ᮌ୓㔛. せồᐃ⩏ࡢ㧗ရ㉁໬ࡢࡓࡵࡢせồ௙ᵝࡢᩚྜᛶ ࡢ᳨ド▱㆑ࡢᙧᘧ▱໬࡜୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࡢ㛤Ⓨ, ⊂❧ ⾜ᨻἲே᝟ሗฎ⌮᥎㐍ᶵᵓ, ࢯࣇࢺ࢙࢘࢔ᕤᏛศ㔝ࡢඛᑟⓗ ◊✲ᨭ᥼஦ᴗ, http://www.ipa.go.jp/sec/rise/#01-9, (ཧ↷ 2016-06-01). ఩㔝ᮌ୓㔛. ࢩࢼࣜ࢜ࡢ୍㈏ᛶ᳨ドᨭ᥼ࢶ࣮ࣝࡢ⤂௓, http://www.ns.kogakuin.ac.jp/~wwa1076, (ཧ↷ 2016-06-01). ISO/IEC/IEEE 29148:2011, Systems and software engineering -Life cycle processes -- Requirements engineering, 2011. ୍⯡♫ᅋἲே ᝟ሗࢧ࣮ࣅࢫ⏘ᴗ༠఍ REBOK ௻⏬ WG. せồ ᕤᏛ▱㆑య⣔㸪㏆௦⛉Ꮫ♫㸪2011㸬 ୍⯡♫ᅋἲே ᝟ሗࢧ࣮ࣅࢫ⏘ᴗ༠఍ REBOK ௻⏬ WG. せồ ᕤᏛᐇ㊶࢞࢖ࢻ REBOK ࢩ࣮ࣜࢬ 2㸪㏆௦⛉Ꮫ♫㸪2014㸬 ᰴᘧ఍♫ࢪࣕࢫࢺࢩࢫࢸ࣒. ᩥ❶ᰯṇᨭ᥼ࢶ࣮ࣝ Just Right!6 Pro, https://www.justsystems.com/jp/products/justright/?w=plst, (ཧ↷ 2017-02-03). KHCoder, http://khc.sourceforge.net/, (ཧ↷ 2017-01-03).. ⓒ 2017 Information Processing Society of Japan. Vol.2017-SE-195 No.6 2017/3/12. [12] ᮌᮧ㞙ே㸪໭ᕝ㈗அ㸪఩㔝ᮌ୓㔛. せồ௙ᵝ᭩ࡢရ㉁ྥୖ࡟ ྥࡅࡓάືሗ࿌㹼 ୍㈏ᛶ᳨ドࡢᙧᘧ▱໬࠾ࡼࡧ⮬ື໬㹼㸪᝟ ሗࢧ࣮ࣅࢫ⏘ᴗ༠఍ ᢏ⾡ࢩ࣏ࣥࢪ࣒࢘ SPES2014 SPES ஦ ౛◊✲㸦⤒㦂ሗ࿌㸧2014 ᖺ 10 せồᕤᏛ S4a, 2014. [13] Ἑ㔝ဴஓ㸪⊦ሯಟ㸪⸨᳃㯞⣖Ꮚ㸪ᮏ㛫࿘஧㸪ⱱ୰⩏඾. ࣮࢟ ࣮࣡ࢻ࣮࣋ࢫࢻࣞࣅ࣮ࣗ㸪㸫ࢻ࣓࢟ࣗࣥࢺࡢ࠶࠸ࡲ࠸ࡉࡸ୙ ഛ࡟╔┠ࡋࡓࣞࣅ࣮ࣗᡭἲ㸫㸪ࢯࣇࢺ࢙࢘࢔ࢸࢫࢺࢩ࣏ࣥࢪ ࣒࢘ JaSST 2010㸪http://jasst.jp/archives/jasst10e/pdf/C2-3.pdf㸪 2010㸬 [14] ཌ⏕ປാ┬. ᖺ㔠ᴗົࢩࢫࢸ࣒㸦ಶே␒ྕ⟶⌮ࢧࣈࢩࢫࢸ࣒ ➼㸦2 ḟ㛤Ⓨ᝟ሗ㐃ᦠศ㸧㸧࡟ಀࡿタィ࣭㛤Ⓨ➼ᴗົཬࡧ࢔ࣉ ࣜࢣ࣮ࢩࣙࣥࢯࣇࢺ࢙࢘࢔ಖᏲᴗົ, http://www.mhlw.go.jp/sinsei/chotatu/chotatu/shiyousho-an/16042 8-1.html, (ཧ↷ 2016-10-12㸧㸬 [15] ཌ⏕ປാ┬. ປാಖ㝤㐺⏝ᚩ཰ࢩࢫࢸ࣒࡟ಀࡿࢩࢫࢸ࣒㐠⏝ ᴗົ୍ᘧㄪ㐩௙ᵝ᭩(᱌)㸪 http://www.mhlw.go.jp/sinsei/chotatu/chotatu/shiyousho-an/16041 3-1.html, (ཧ↷ 2016-10-12㸧㸬 [16] ཌ⏕ປാ┬. ປാᇶ‽⾜ᨻ᝟ሗࢩࢫࢸ࣒࡟ಀࡿ࢔ࣉࣜࢣ࣮ࢩ ࣙࣥࣉࣟࢢ࣒ࣛᨵಟ➼ᴗົ୍ᘧ㸦ᖹᡂ 28 ᖺᗘ㸧ㄪ㐩௙ᵝ᭩ 㸦᱌㸧㸪 http://www.mhlw.go.jp/sinsei/chotatu/chotatu/shiyousho-an/15120 4-1.html, (ཧ↷ 2016-10-12㸧㸬 [17] ஂ㔝⥤Ꮚ㸪ᖹᑿⱥྖ㸪஬⸨ᬛஂ. ௙ᵝ᭩ࡢ᭕᫕ᛶࢆ᳨ฟࡍࡿ ࢶ࣮ࣝࡢヨస࡜ホ౯㸪୍⯡♫ᅋἲே㟁Ꮚ᝟ሗ㏻ಙᏛ఍㸪㟁Ꮚ ᝟ሗ㏻ಙᏛ఍⥲ྜ኱఍ㅮ₇ㄽᩥ㞟 2012 ᖺ_᝟ሗ࣭ࢩࢫࢸ࣒(1), 27, 2012-03-06㸪2012㸬 [18] Lucassen, G., Dalpiaz, F., Werf, J. and Brinkkemper, S.. Forging High-Quality User Stories: Towards a Discipline for Agile Requirements, Proc. of IEEE 23rd International Requirements Engineering Conference, pp. 126-135, 2015. [19] MeCab, Yet Another Part-of-Speech and Morphological Analyzer, http://taku910.github.io/mecab/#download, (ཧ↷ 2017-2-3). [20] Pohl, K. and Rupp, C.. Requirements Engineering Fundamentals: A Study Guide for the Certified Professional for Requirements Engineering Exam - Foundation Level - IREB compliant, 2nd Edition, Rocky Nook, 2015. [21] Rasmusson, J., すᮧ┤ே(┘ヂ), ゅ㇂ಙኴ㑻(┘ヂ), ㏆⸨ಟᖹ (ヂ), ゅ᥃ᣅᮍ (ヂ)㸪࢔ࢪࣕ࢖ࣝࢨ࣒ࣛ࢖̿㐩ே㛤Ⓨ⪅࡬ࡢ㐨㸪 ࣮࣒࢜♫㸪2011㸬 [22] Ruby, https://www.ruby-lang.org/ja/about/, (ཧ↷ 2017-2-3). [23] Wang, X., Zhao, L, Wang, Y. and Sun, J.. The Role of Requirements Engineering Practices in Agile Development: An Empirical Study, Proc. of the Asia Pacific Requirements Engineering Symposium, ser.CCIS. Springer, vol.432, pp. 195–209, 2014.. 8.

(9)