{"id":"https://openalex.org/W1963854996","doi":"https://doi.org/10.1134/s0361768807050015","title":"Formalization of test experiments","display_name":"Formalization of test experiments","publication_year":2007,"publication_date":"2007-09-01","ids":{"openalex":"https://openalex.org/W1963854996","doi":"https://doi.org/10.1134/s0361768807050015","mag":"1963854996"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768807050015","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768807050015","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025016186","display_name":"I. B. Bourdonov","orcid":"https://orcid.org/0000-0001-9539-7853"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"I. B. Bourdonov","raw_affiliation_strings":["Institute for System Programming, Russian Academy of Sciences, Bol\u2019shaya Kommunisticheskaya ul. 25, Moscow, 109004, Russia","Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming, Russian Academy of Sciences, Bol\u2019shaya Kommunisticheskaya ul. 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052011212","display_name":"A. S. Kossatchev","orcid":"https://orcid.org/0000-0001-5316-3813"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A. S. Kossatchev","raw_affiliation_strings":["Institute for System Programming, Russian Academy of Sciences, Bol\u2019shaya Kommunisticheskaya ul. 25, Moscow, 109004, Russia","Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming, Russian Academy of Sciences, Bol\u2019shaya Kommunisticheskaya ul. 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025737715","display_name":"\u0412. \u0412. \u041a\u0443\u043b\u044f\u043c\u0438\u043d","orcid":"https://orcid.org/0000-0003-3439-9534"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V. V. Kuliamin","raw_affiliation_strings":["Institute for System Programming, Russian Academy of Sciences, Bol\u2019shaya Kommunisticheskaya ul. 25, Moscow, 109004, Russia","Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming, Russian Academy of Sciences, Bol\u2019shaya Kommunisticheskaya ul. 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5025016186"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"],"apc_list":null,"apc_paid":null,"fwci":1.1232,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.77029846,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"33","issue":"5","first_page":"239","last_page":"260"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.979200005531311,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9764000177383423,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6734811067581177},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6661912202835083},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6547906398773193},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.6408727169036865},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5444707274436951},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5322449207305908},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4978911876678467},{"id":"https://openalex.org/keywords/divergence","display_name":"Divergence (linguistics)","score":0.4975142776966095},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.49606308341026306},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.4382582902908325},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4278649687767029},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3968527019023895},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.22501042485237122},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19772401452064514}],"concepts":[{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6734811067581177},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6661912202835083},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6547906398773193},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.6408727169036865},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5444707274436951},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5322449207305908},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4978911876678467},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.4975142776966095},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.49606308341026306},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.4382582902908325},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4278649687767029},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3968527019023895},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.22501042485237122},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19772401452064514},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768807050015","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768807050015","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.75}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1481077073","https://openalex.org/W1498203526","https://openalex.org/W1504797356","https://openalex.org/W1524013979","https://openalex.org/W1530935046","https://openalex.org/W1577937387","https://openalex.org/W1583702921","https://openalex.org/W1586966546","https://openalex.org/W1600141249","https://openalex.org/W1815927496","https://openalex.org/W1885303164","https://openalex.org/W1973784481","https://openalex.org/W1989167654","https://openalex.org/W1992286012","https://openalex.org/W2000302396","https://openalex.org/W2004929506","https://openalex.org/W2005150099","https://openalex.org/W2033840466","https://openalex.org/W2059882809","https://openalex.org/W2098981343","https://openalex.org/W2108796478","https://openalex.org/W2108980444","https://openalex.org/W2111706174","https://openalex.org/W2112640524","https://openalex.org/W2120743705","https://openalex.org/W2132622501","https://openalex.org/W2134038996","https://openalex.org/W2137865376","https://openalex.org/W2145505903","https://openalex.org/W2157144873","https://openalex.org/W2765906234","https://openalex.org/W2987907651","https://openalex.org/W3000511677","https://openalex.org/W3146075203","https://openalex.org/W4239721096"],"related_works":["https://openalex.org/W1994680671","https://openalex.org/W2002320543","https://openalex.org/W2000283393","https://openalex.org/W2150232912","https://openalex.org/W2889012151","https://openalex.org/W2061947244","https://openalex.org/W4321855183","https://openalex.org/W15793755","https://openalex.org/W3106170641","https://openalex.org/W4298316935"],"abstract_inverted_index":{"Formal":[0],"methods":[1],"for":[2],"testing":[3,24,30],"conformance":[4,152,158,206,215,231,246],"of":[5,34,50,57,67,73,110,116,130,137,142,164,169,177,187,191,229,244],"the":[6,29,48,68,71,90,108,117,120,128,135,140,145,150,162,192,196,204,211,214,227,230,240,245],"system":[7],"under":[8,217,247],"examination":[9],"to":[10,47,83,161],"its":[11,178],"specification":[12],"are":[13,62,154,220,249],"examined.":[14],"The":[15,60,156,222],"operational":[16],"interaction":[17],"semantics":[18,69,193,219],"is":[19,41,100,172],"specified":[20],"by":[21,70,119],"a":[22,96,111,131,167,183,235],"special":[23],"machine":[25],"that":[26,43,225,238],"formally":[27],"determines":[28],"capabilities.":[31],"A":[32],"set":[33],"theoretically":[35],"powerful":[36],"and":[37,53,75,149,234],"practically":[38],"important":[39],"capabilities":[40],"distinguished":[42],"can":[44],"be":[45,105,125,200],"reduced":[46],"observation":[49],"external":[51,58],"actions":[52],"refusals":[54],"(the":[55],"absence":[56],"actions).":[59],"novelties":[61],"as":[63,95],"follows.":[64],"(1)":[65],"Parameterization":[66],"families":[72],"observable":[74,77],"not":[76,104],"refusals,":[78],"which":[79,99,122],"makes":[80],"it":[81],"possible":[82,101,180],"take":[84],"into":[85],"account":[86],"various":[87,218],"constraints":[88],"on":[89,195],"(correct)":[91],"interactions.":[92],"(2)":[93],"Destruction":[94],"forbidden":[97],"action,":[98],"but":[102],"should":[103,124],"performed":[106],"in":[107,127],"case":[109,129],"correct":[112,132,173],"interaction.":[113,133],"(3)":[114],"Modeling":[115],"divergence":[118],"\u0394-action,":[121],"also":[123],"avoided":[126],"On":[134],"basis":[136],"this":[138],"semantics,":[139],"concept":[141],"safe":[143,151,157],"testing,":[144],"implementation":[146,171],"safety":[147],"hypothesis,":[148],"relation":[153,159,232],"proposed.":[155],"corresponds":[160],"principle":[163],"independent":[165],"observations:":[166],"behavior":[168],"an":[170],"or":[174],"incorrect":[175],"independently":[176],"other":[179],"behaviors.":[181],"For":[182],"more":[184],"narrow":[185],"class":[186],"interactions,":[188],"another":[189],"version":[190],"based":[194],"ready":[197],"traces":[198],"may":[199],"used":[201],"along":[202],"with":[203],"corresponding":[205],"relation.":[207],"Some":[208],"propositions":[209],"concerning":[210],"relationships":[212],"between":[213],"relations":[216],"formulated.":[221],"completion":[223],"transformation":[224,237],"solves":[226,239],"problem":[228,242],"reflexivity":[233],"monotone":[236],"monotonicity":[241],"(preservation":[243],"composition)":[248],"defined.":[250]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}