Index: trunk/Lib/test/test_socket.py
===================================================================
--- trunk/Lib/test/test_socket.py	(revision 70188)
+++ trunk/Lib/test/test_socket.py	(working copy)
@@ -401,17 +401,30 @@
             return # No inet_pton() on this platform
         from socket import inet_aton as f, inet_pton, AF_INET
         g = lambda a: inet_pton(AF_INET, a)
+        assertInvalid = lambda func,a: self.assertRaises(
+            (socket.error, ValueError), func, a
+        )
 
         self.assertEquals('\x00\x00\x00\x00', f('0.0.0.0'))
         self.assertEquals('\xff\x00\xff\x00', f('255.0.255.0'))
         self.assertEquals('\xaa\xaa\xaa\xaa', f('170.170.170.170'))
         self.assertEquals('\x01\x02\x03\x04', f('1.2.3.4'))
         self.assertEquals('\xff\xff\xff\xff', f('255.255.255.255'))
+        assertInvalid(f, '0.0.0.')
+        assertInvalid(f, '300.0.0.0')
+        assertInvalid(f, 'a.0.0.0')
+        assertInvalid(f, '1.2.3.4.5')
+        assertInvalid(f, '::1')
 
         self.assertEquals('\x00\x00\x00\x00', g('0.0.0.0'))
         self.assertEquals('\xff\x00\xff\x00', g('255.0.255.0'))
         self.assertEquals('\xaa\xaa\xaa\xaa', g('170.170.170.170'))
         self.assertEquals('\xff\xff\xff\xff', g('255.255.255.255'))
+        assertInvalid(g, '0.0.0.')
+        assertInvalid(g, '300.0.0.0')
+        assertInvalid(g, 'a.0.0.0')
+        assertInvalid(g, '1.2.3.4.5')
+        assertInvalid(g, '::1')
 
     def testIPv6toString(self):
         if not hasattr(socket, 'inet_pton'):
@@ -423,29 +436,74 @@
         except ImportError:
             return
         f = lambda a: inet_pton(AF_INET6, a)
+        assertInvalid = lambda a: self.assertRaises(
+            (socket.error, ValueError), f, a
+        )
 
+        self.assertEquals(
+            '\x45\xef\x76\xcb\x00\x1a\x56\xef\xaf\xeb\x0b\xac\x19\x24\xae\xae',
+            f('45ef:76cb:1a:56ef:afeb:bac:1924:aeae')
+        )
+
         self.assertEquals('\x00' * 16, f('::'))
         self.assertEquals('\x00' * 16, f('0::0'))
         self.assertEquals('\x00\x01' + '\x00' * 14, f('1::'))
         self.assertEquals(
-            '\x45\xef\x76\xcb\x00\x1a\x56\xef\xaf\xeb\x0b\xac\x19\x24\xae\xae',
-            f('45ef:76cb:1a:56ef:afeb:bac:1924:aeae')
+            '\xad\x42\x0a\xbc' + '\x00' * 4 + '\x01\x27\x00\x00\x02\x54\x00\x02',
+            f('ad42:abc::127:0:254:2')
         )
+        self.assertEquals('\x00\x12\x00\x0a' + '\x00' * 12, f('12:a::'))
+        assertInvalid('0x20::')
+        assertInvalid(':::')
+        assertInvalid('::0::')
+        assertInvalid('1::abc::')
+        assertInvalid('1::abc::def')
+        assertInvalid('1:2:3:4:5:6:')
+        assertInvalid('1:2:3:4:5:6')
+        assertInvalid('1:2:3:4:5:6:7:8:')
+        assertInvalid('1:2:3:4:5:6:7:8:0')
 
+        self.assertEquals('\x00' * 12 + '\xfe\x2a\x17\x40',
+            f('::254.42.23.64')
+        )
+        self.assertEquals(
+            '\x00\x42' + '\x00' * 8 + '\xa2\x9b\xfe\x2a\x17\x40',
+            f('42::a29b:254.42.23.64')
+        )
+        self.assertEquals(
+            '\x00\x42\xa8\xb9\x00\x00\x00\x02\xff\xff\xa2\x9b\xfe\x2a\x17\x40',
+            f('42:a8b9:0:2:ffff:a29b:254.42.23.64')
+        )
+        assertInvalid('255.254.253.252')
+        assertInvalid('1::260.2.3.0')
+        assertInvalid('1::0.be.e.0')
+        assertInvalid('1:2:3:4:5:6:7:1.2.3.4')
+        assertInvalid('::1.2.3.4:0')
+        assertInvalid('0.100.200.0:3:4:5:6:7:8')
+
     def testStringToIPv4(self):
         if not hasattr(socket, 'inet_ntop'):
             return # No inet_ntop() on this platform
         from socket import inet_ntoa as f, inet_ntop, AF_INET
         g = lambda a: inet_ntop(AF_INET, a)
+        assertInvalid = lambda func,a: self.assertRaises(
+            (socket.error, ValueError), func, a
+        )
 
         self.assertEquals('1.0.1.0', f('\x01\x00\x01\x00'))
         self.assertEquals('170.85.170.85', f('\xaa\x55\xaa\x55'))
         self.assertEquals('255.255.255.255', f('\xff\xff\xff\xff'))
         self.assertEquals('1.2.3.4', f('\x01\x02\x03\x04'))
+        assertInvalid(f, '\x00' * 3)
+        assertInvalid(f, '\x00' * 5)
+        assertInvalid(f, '\x00' * 16)
 
         self.assertEquals('1.0.1.0', g('\x01\x00\x01\x00'))
         self.assertEquals('170.85.170.85', g('\xaa\x55\xaa\x55'))
         self.assertEquals('255.255.255.255', g('\xff\xff\xff\xff'))
+        assertInvalid(g, '\x00' * 3)
+        assertInvalid(g, '\x00' * 5)
+        assertInvalid(g, '\x00' * 16)
 
     def testStringToIPv6(self):
         if not hasattr(socket, 'inet_ntop'):
@@ -457,6 +515,9 @@
         except ImportError:
             return
         f = lambda a: inet_ntop(AF_INET6, a)
+        assertInvalid = lambda a: self.assertRaises(
+            (socket.error, ValueError), f, a
+        )
 
         self.assertEquals('::', f('\x00' * 16))
         self.assertEquals('::1', f('\x00' * 15 + '\x01'))
@@ -465,6 +526,10 @@
             f('\x0a\xef\x0b\x01\x05\x06\x10\x01\xff\xff\x99\x97\x00\x55\x01\x70')
         )
 
+        assertInvalid('\x12' * 15)
+        assertInvalid('\x12' * 17)
+        assertInvalid('\x12' * 4)
+
     # XXX The following don't test module-level functionality...
 
     def _get_unused_port(self, bind_address='0.0.0.0'):