{"entities":{"Q2336614":{"pageid":2347357,"ns":120,"title":"Item:Q2336614","lastrevid":57314421,"modified":"2026-03-30T09:36:38Z","type":"item","id":"Q2336614","labels":{"en":{"language":"en","value":"Test purpose oriented I/O conformance test selection with colored Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131763"}},"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":"Q2336614$A37A0287-8C6B-47D5-A602-6D7D5CAA2938","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb5b66ae5869315accc444599dec5b2b2ddfbc11","datavalue":{"value":{"text":"Test purpose oriented I/O conformance test selection with colored Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2336614$A643D002-FBDD-4405-8254-48D391256CDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f836a18fe7d50cc6903f70770e71be838303bc04","datavalue":{"value":"1442.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336614$29A590BA-CCE1-456A-9BCB-24938D1E48BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0b9be2c4e750c9e912a40df222b6125bc11afa3","datavalue":{"value":"10.1155/2014/645235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336614$0C4568B9-A10B-4CE2-A29B-39FBF27B0841","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336614$C12D0938-E3BD-4968-B491-E3D8714000D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336614$064AD941-7F8F-4FAF-880A-2063AE2D328A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2336614$09CB8949-A079-4775-8491-273C986CADD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83f105ca208bc7bd948614c2bcd2ed8e4d2c3bc0","datavalue":{"value":"Summary: This paper proposes an input-output conformance (IOCO) test selection method directed by test purpose model specified with colored Petri nets (CPN). Based on conformance testing oriented CPN models for specifying software functional behaviors and specific test purposes, respectively, feasible test cases are generated, guided by the CPN based IOCO relation, using synchronized model simulation with the proof of the soundness of test generation and the coverage towards test purposes. This test selection method integrates the merits the IOCO testing theory and the CPN modeling synergistically and is applied as a novel and applicable test selection method for actual testing practice of large-scale software systems. As the synchronized model simulation with two CPN models is irrespective of their model scale, the effectiveness and practicability of our test selection method are enhanced with scalability.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2336614$D94D673F-C60B-4B47-B55A-DFADCD8623F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336614$8D739352-0873-4377-9D8B-1DF65AE9CB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336614$3FF0AE5B-3881-4464-AD14-FD327BF4F0E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ea2a3b03aa48a13377c810ca4deaba77f1e3584","datavalue":{"value":"7131763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336614$6481BA03-0F1C-4664-92FE-3DE860BD3139","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":"Q2336614$BC7C0E3F-9B5F-4C88-B0B2-834307ECBD89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94aba032abe872998a2474f47ff3b2dabd5b59d8","datavalue":{"value":"https://doi.org/10.1155/2014/645235","type":"string"},"datatype":"url"},"type":"statement","id":"Q2336614$FFC73184-94BE-4AA9-B7BD-3BD9BF7EA685","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2a9dcab7b0d151c5e6e588ff5df4b86ea23d48c","datavalue":{"value":"W2150346951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336614$BBFDC88C-B86E-4AC2-B95B-2B0F9FD0D310","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1b4a96f8990386a2bec3db8f5d50ec8a33345dde","datavalue":{"value":"Q59053924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336614$199B550B-95FE-4F78-8FC3-11EEDEF88243","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336614$4A1214F2-7096-436F-AE9B-D23C701E1433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336614$3CA4BDB0-AF70-41D4-9076-DCF500A6EAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a99f310947f3fc6d764435e871fb3790fd14d9d","datavalue":{"value":{"entity-type":"item","numeric-id":3617245,"id":"Q3617245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336614$F7E4EA4C-25E7-47B1-BFC2-102607698E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e01880d38949a69b079dfea2323e7c4fd56c6be","datavalue":{"value":{"entity-type":"item","numeric-id":5179362,"id":"Q5179362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336614$108BF6A3-85AE-4365-835F-74FEE4553D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6accf9f1ff472066651f3f3baac4ded84ae92054","datavalue":{"value":{"entity-type":"item","numeric-id":5902016,"id":"Q5902016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336614$809CA978-8AEF-462D-9E54-62A941ED2D70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9efe8fbf03798aadfc9cfdc8b8c1bc9f59367ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5179362,"id":"Q5179362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef3ad8a9c849e7d6f922b4f938cac4bbd08f558","datavalue":{"value":{"amount":"+0.7235373854637146","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":"Q2336614$A9F775F5-6378-4230-8B03-869B2F2C4810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fd033c58c1ea945955c6b87cc71244725eab62","datavalue":{"value":{"entity-type":"item","numeric-id":3525109,"id":"Q3525109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd14b47820fca0dda9c13dc3ef9b1c9a50068d4","datavalue":{"value":{"amount":"+0.7054663896560669","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":"Q2336614$6526DF03-0776-44E4-BF17-F9D7B764034F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b32f284862c27dd64db5f675b858eb48594dfe3","datavalue":{"value":{"entity-type":"item","numeric-id":364436,"id":"Q364436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b04c8b62f9aa4b49720757851c177dd215809c","datavalue":{"value":{"amount":"+0.6929728984832764","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":"Q2336614$061F4111-AA11-4C2B-9072-534CF02573EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ba29b4a9504baba7d2e12d66c32f5efca9b37e","datavalue":{"value":{"entity-type":"item","numeric-id":3585031,"id":"Q3585031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a58eb4872246757ed6f4601a9d77f1b176850b","datavalue":{"value":{"amount":"+0.6927410960197449","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":"Q2336614$A0EFE850-2D31-4CC4-9DDC-423551D3326E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6533117966008665894c769f229f168a85d9cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1865844,"id":"Q1865844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efaea06c71c6bdec171aa9a8a26af1c1fb049a87","datavalue":{"value":{"amount":"+0.6856381893157959","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":"Q2336614$2CE47A77-BF16-4F13-9B01-7F62645D7F3F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336614$32BEE559-E092-41A8-8ED0-DF92DF7F755A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2336614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2336614"}}}}}