{"entities":{"Q1060837":{"pageid":1071589,"ns":120,"title":"Item:Q1060837","lastrevid":69537642,"modified":"2026-04-13T07:40:51Z","type":"item","id":"Q1060837","labels":{"en":{"language":"en","value":"A contribution to the theory of program testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3909715"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$19A32BD2-61E4-45DA-8954-33ECF4F8FF8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c14e28fde539a8c09b8c0a367f05d59b3c75a75","datavalue":{"value":{"text":"A contribution to the theory of program testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060837$E465EA5E-B65A-4A66-8EAF-8EA05108C629","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9098cf69a7f8262b2cfddf8536ab6aa1b4acf05f","datavalue":{"value":"0569.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060837$F9BF2F97-D089-48B9-8A47-A6760E5DF2AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c6bbdd132c34e92392d1d65a69f12ec98961487","datavalue":{"value":"10.1016/0304-3975(85)90090-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060837$E276829C-E976-4400-9302-3056651A9E1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8c87bbeae8b6bea4f7ced9717f3e861af033eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1060836,"id":"Q1060836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$7F3130B7-627A-4420-A821-7C86473CC27A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$5220D57C-6C3E-4CA4-A7AE-1E5D2AB4D0F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1060837$DD01E576-5007-4F85-B4EE-B962BAD92D3D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"005389fab0d7343419c09a11acc469e9e4d16ef6","datavalue":{"value":"We propose an abstract formalism for program testing which extends a previous paper of Goodenough and Gerhart. We define the notion of a battery of tests for a given testing context. Its properties are studied: reliability, validity, bias and acceptability. A preorder is defined and studied, which yields an equivalence relation among batteries of tests. This equivalence turns out to be of great interest, both theoretical and practical.    We study the application of this model to some classical questions: effective (automatic) test generation, test optimization, quality assessment of the testing process, and relationships between program proving and program testing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060837$CD588A68-1850-45F3-B8D9-5867EF6A651D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060837$B82DBD51-1198-4EDF-8EC1-E066561320F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67786110ed3ad557e9fe8a79be212f2acb44db76","datavalue":{"value":"3909715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060837$889417CA-9A2E-4F57-A7D3-0134A63526E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9174ee3c5c04d5169bdead173ede16cf3755d8","datavalue":{"value":"program testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060837$293178D7-9C8F-42AD-B6E4-43BD945D19DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfc79edf190778c24fdbd9385cfe925d57fbdd6","datavalue":{"value":"reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060837$08BE4635-27F4-4BE2-9437-8791C430B563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060837$D1EFA88E-819F-4637-81E3-59E052AF9330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3be363011e757688bc3ab15a5a3cb6a1040173f","datavalue":{"value":"bias","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060837$3882FF2F-78E9-4DED-9E6A-6D6491829934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f81f09ef9481f33c0f1d35ff5997fb5baa46f8","datavalue":{"value":"acceptability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060837$1A22C78B-C334-4CEA-B4EF-83A332356159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f22c6cbdae72013d64c0f2fe7e62b059e29c410","datavalue":{"value":"test optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060837$D4F8A84B-5785-4D31-B8EE-35EFBEC3452B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae9160ab6ebf0e806fbfec0faad1a85a9eca617","datavalue":{"value":"program proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060837$C320643B-8177-4808-9C0D-13083A7F076D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$088A274C-2F47-439F-9FB5-9EF0A64B2138","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49ea21c47243419f1f2e0a0563e63d24388eaf8a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90090-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1060837$3A4E90ED-E655-4463-8A20-FCA54DCBAA25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"181580c2159392ed2892280a1a3daccda22dc48f","datavalue":{"value":"W2074304694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060837$31623EFA-95B4-443F-B430-69D0FFAFA339","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d8b3cdac03b1c4e3b31c5b2acc70b029f2415b","datavalue":{"value":{"entity-type":"item","numeric-id":1090104,"id":"Q1090104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$DF792C5F-FBB2-4BB6-A548-05DAF11D110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4476514300c25b76f5a275be2d5904e290017d9b","datavalue":{"value":{"entity-type":"item","numeric-id":3959392,"id":"Q3959392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$D0325B36-DFEE-46AD-8955-4E6152407E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f0ac9ec7cdd8ec71e01d4b0265e6fab9625c3","datavalue":{"value":{"entity-type":"item","numeric-id":4148934,"id":"Q4148934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$43CEC29E-8DFF-42D0-BDA9-6E6EB12257F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f783d41c662378ecd6b8fa4298349d572a14a8","datavalue":{"value":{"entity-type":"item","numeric-id":3668857,"id":"Q3668857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$40DFD8CD-832B-451E-A827-5357BBF49B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$B8D8375D-39C1-42E2-B0E4-2F493AE51B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5b7ad0c488281ad4bc430fae9cab650a1a76206","datavalue":{"value":{"entity-type":"item","numeric-id":3870281,"id":"Q3870281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060837$25728AE2-D4F4-4FFA-93F4-77F2AB3E714C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee449fd857ee2717807d080611cca80311e5707","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261776aa48340ce40e688805f073ec6d1a0cf0b7","datavalue":{"value":{"amount":"+0.8132911920547485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1060837$BCAADD3A-57C6-40BF-A6A7-3392F60F7FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb28e1571288e34f441e21d95585587cf9ab680","datavalue":{"value":{"entity-type":"item","numeric-id":3700814,"id":"Q3700814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf779945e08c9cd0d2fc672dc5a6689661b3c9e","datavalue":{"value":{"amount":"+0.7963032722473145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1060837$69587021-5382-432D-9B3B-9EC707767190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21d7a8d44a83d63f12387b4c8b9401d01d87a77","datavalue":{"value":{"entity-type":"item","numeric-id":3323251,"id":"Q3323251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b78b35bad900c3dbc19c511528b6e01b0b87cf","datavalue":{"value":{"amount":"+0.7882200479507446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1060837$7AD80C2C-82EA-49E8-A019-A88330A9CDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baadf4c874ed9cd49cd34559a28a2f80acf74d20","datavalue":{"value":{"entity-type":"item","numeric-id":3700816,"id":"Q3700816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd6181c986dd41529da1163d57425bce4453b9b","datavalue":{"value":{"amount":"+0.7811810970306396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1060837$C6B360C5-CD98-4DCA-AD69-F3823FC191D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da55b4285176fac881a66bac33c66b462b58d04d","datavalue":{"value":{"entity-type":"item","numeric-id":4727403,"id":"Q4727403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6cc5fcac3afe8699cd2441fbaa91cbb014c65a","datavalue":{"value":{"amount":"+0.7557230591773987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1060837$3197160B-BF64-4557-AC64-56BD1638DE13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A contribution to the theory of program testing","badges":[]}}}}}