Slide 1

Slide 1 text

ςετͰ
 ఺औΔํ๏ QVEEJOH 

Slide 2

Slide 2 text

ςετͯ͠·͔͢ʁʁʁ

Slide 3

Slide 3 text

ؔ਺"

Slide 4

Slide 4 text

ؔ਺" def A(number: int) -> bool: if number > 0: return True if number < 0: return False ਺ࣈͷਖ਼ෛΛ൑ఆ͢Δؔ਺ ༩͑ΒΕͨ਺ࣈ͕ਖ਼ͳΒ5SVFɼෛͳΒ'BMTFΛฦ͢ ੍໿ɿOVNCFS

Slide 5

Slide 5 text

A(0)

Slide 6

Slide 6 text

def A(number: int) -> bool: if number > 0: return True if number < 0: return False OVNCFSͷͱ͖ɼԿ΋஋ΛSFUVSO͠ͳ͍ ʢ/POFʢ/VMMΈ͍ͨͳͷʣ͕ฦΔʣ όάͷݩ

Slide 7

Slide 7 text

ʮςετ͠ͱ͚Αʂʯ

Slide 8

Slide 8 text

୯ମςετʢϢχοτςετʣ ˔ ϓϩάϥϜΛߏ੒͢Δൺֱతখ͞ͳ୯ҐʢϢχοτʣ͕
 ݸʑͷػೳΛਖ਼͘͠Ռ͍ͨͯ͠Δ͔Ͳ͏͔Λݕূ͢Δ Ὂ ΫϥεɾϞδϡʔϧɾؔ਺ͳͲ͕ର৅ ˔ ֤ݴޠʹϑϨʔϜϫʔΫ͕ଘࡏ Ὂ $$6OJU Ὂ +BWB+6OJU Ὂ 1ZUIPOVOJUUFTUʢඪ४Ϟδϡʔϧʣ QZUFTU OPTF

Slide 9

Slide 9 text

VOJUUFTUΛॻ͍ͯΈΔ import unittest class ATestCase(unittest.TestCase): def test_positive(self): numbers = [1, 20, 300] for number in numbers: self.assertTrue(A(number)) def test_negative(self): numbers = [-1, -20, -300] for number in numbers: self.assertFalse(A(number)) def test_zero(self): self.assertTrue(A(0)) 5SVF͕ฦΔ͸ͣ 'BMTF͕ฦΔ͸ͣ ʁʁʁʁʁ

Slide 10

Slide 10 text

ςετΛ࣮ߦͯ͠ΈΔ FAIL: test_zero (hoge.ATestCase) --------------------------------------------------- Traceback (most recent call last): File "/path/to/hoge.py", line 21, in test_zero self.assertTrue(A(0)) AssertionError: None is not true --------------------------------------------------- Ran 3 tests in 0.001s FAILED (failures=1) ݁Ռ͕A5SVFA
 ͡Όͳ͍Αʂ ˔ ςετʹࣦഊ͢Δ
 ࣗ෼͕༧ظͨ͠΋ͷͱҧ͏݁Ռ͕ฦ͖ͬͯͨ ˔ ςετέʔεΛਖ਼͘͠ઃఆ͢Δ͜ͱ͕ॏཁ

Slide 11

Slide 11 text

ؔ਺#

Slide 12

Slide 12 text

ؔ਺# Πϯλʔωοτ 63- (&5 )5.- )5.-

Slide 13

Slide 13 text

ؔ਺# Πϯλʔωοτ 63- (&5 )5.- )5.-

Slide 14

Slide 14 text

֎෦ͱͷґଘ͕͋Δίʔυͷςετ ˔ Ϣχοτςετதʹґଘ͍ͯ͠Δ֎෦ͷԿ͔ʹ
 ো֐͕ى͖ΔՄೳੑ͕͋Δ Ὂ Πϯλʔωοτ్͕ઈ͑Δ Ὂ 8FCαΠτ͕མͪΔʜFUD ˔ Ϣχοτςετͷ݁Ռ͕֎෦ཁҼʹΑͬͯࠨӈ
 ͞Εͯ͠·͏ .PDLΛ࢖͓͏ʂ

Slide 15

Slide 15 text

.PDL  ϝλ˓ϯ

Slide 16

Slide 16 text

ؔ਺# 63- (&5 )5.- )5.- .PDL

Slide 17

Slide 17 text

ؔ਺# 63- (&5     ɾ ɾ ɾ )5.- .PDL

Slide 18

Slide 18 text

͑ɼͰ΋Ͳ͏΍ͬͯ .PDLΛ࢖͏ͷʁ

Slide 19

Slide 19 text

ଓ͖͸͍͔ͭ΍Γ·͢ʂ

Slide 20

Slide 20 text

ςετͰຬ఺औΔํ๏ import unittest class ATestCase(unittest.TestCase): def test_positive(self): self.assertTrue(True) def test_negative(self): self.assertTrue(True) def test_zero(self): self.assertTrue(True) શͯͷςετʹ͍ͭͯ5SVFͰ௨͢

Slide 21

Slide 21 text

·ͱΊ ˔ Ϣχοτςετͯ͠ͳ͍ͷ͸࣌୅஗Ε ˔ ֎෦ґଘͷ͋ΔίʔυͷςετΛ.PDL࢖Θͣʹ ΍ͬͯڐ͞ΕΔͷ͸খֶੜ·Ͱ ˔ ͍͔ͭͪΌΜͱͨ͠VOJUUFTUͷߨ࠲͠·͢ ˔ ςετΛ௨͢͜ͱ͕໨తͰ͸ͳ͘ɼࣗ෼ͷࢥͬͨ ஋͕ͪΌΜͱฦͬͯ͘Δ͔Λ͔֬ΊΔͷ͕໨త Ὂ ߨٛͷςετ΋ҰॹͩΑʂ