乐胖代购免代理版

{"id":"https://openalex.org/W2133518331","doi":"https://doi.org/10.1109/tse.1985.231892","title":"Partition Analysis: A Method Combining Testing and Verification","display_name":"Partition Analysis: A Method Combining Testing and Verification","publication_year":1985,"publication_date":"1985-12-01","ids":{"openalex":"https://openalex.org/W2133518331","doi":"https://doi.org/10.1109/tse.1985.231892","mag":"2133518331"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.1985.231892","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5057690857","display_name":"Debra J. Richardson","orcid":"https://orcid.org/0000-0002-8202-9274"},"institutions":[{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D.J. Richardson","raw_affiliation_strings":["Department of Computer and Information Science, University of Massachusetts, Amherst, MA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Massachusetts, Amherst, MA, USA","institution_ids":["https://openalex.org/I24603500"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111987936","display_name":"Lori A. Clarke","orcid":null},"institutions":[{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L.A. Clarke","raw_affiliation_strings":["Department of Computer and Information Science, University of Massachusetts, Amherst, MA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Massachusetts, Amherst, MA, USA","institution_ids":["https://openalex.org/I24603500"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.225,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":119,"citation_normalized_percentile":{"value":0.958746,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"SE-11","issue":"12","first_page":"1477","last_page":"1490"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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.9997,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/partition-problem","display_name":"Partition problem","score":0.48080125}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.80721045},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.79122716},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5813581},{"id":"https://openalex.org/C35995877","wikidata":"https://www.wikidata.org/wiki/Q1065968","display_name":"Partition problem","level":3,"score":0.48080125},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4408952},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.104008645},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.1985.231892","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":43,"referenced_works":["https://openalex.org/W1554502489","https://openalex.org/W1601593571","https://openalex.org/W1968245619","https://openalex.org/W1972894053","https://openalex.org/W1995109607","https://openalex.org/W2005973420","https://openalex.org/W2006159725","https://openalex.org/W2006578353","https://openalex.org/W2009853560","https://openalex.org/W2018229346","https://openalex.org/W2033072042","https://openalex.org/W2034758374","https://openalex.org/W2035886688","https://openalex.org/W2040832338","https://openalex.org/W2042981665","https://openalex.org/W2044599832","https://openalex.org/W2044942784","https://openalex.org/W2049695835","https://openalex.org/W2062713037","https://openalex.org/W2064147556","https://openalex.org/W2079036312","https://openalex.org/W2089268152","https://openalex.org/W2090247246","https://openalex.org/W2094382938","https://openalex.org/W2096536569","https://openalex.org/W2099645986","https://openalex.org/W2117963349","https://openalex.org/W2130274814","https://openalex.org/W2131354319","https://openalex.org/W2151541106","https://openalex.org/W2160363852","https://openalex.org/W2176959931","https://openalex.org/W2339337913","https://openalex.org/W2409882090","https://openalex.org/W2611698539","https://openalex.org/W2768526054","https://openalex.org/W2970800639","https://openalex.org/W3145693741","https://openalex.org/W4251912342","https://openalex.org/W4285719527","https://openalex.org/W4300993466","https://openalex.org/W50473453","https://openalex.org/W568851238"],"related_works":["https://openalex.org/W4240458717","https://openalex.org/W2767131998","https://openalex.org/W2497180562","https://openalex.org/W2379495598","https://openalex.org/W2351778335","https://openalex.org/W2047470742","https://openalex.org/W2025912669","https://openalex.org/W2014615094","https://openalex.org/W1977789739","https://openalex.org/W1549987457"],"abstract_inverted_index":{"The":[0],"partition":[1,27,75,102,132,207,220],"analysis":[2,28,60,76,103,208,221],"method":[3,209,222],"compares":[4],"a":[5,32,83,107],"procedure's":[6,84,108],"implementation":[7,202],"to":[8,12,19,31,50,56,143,148,157,174],"its":[9,96,232],"specification,":[10,205],"both":[11,41,82,200],"verify":[13,158],"consistency":[14,159],"between":[15,160],"the":[16,72,90,93,123,129,134,151,161,164,167,184,194,201,204,206,219,225],"two":[17],"and":[18,43,92,125,156,163,169,188,203,223],"derive":[20],"test":[21,78,154],"data.":[22],"Unlike":[23],"most":[24],"verification":[25,170],"methods,":[26],"is":[29,47,146,210],"applicable":[30,49],"number":[33],"of":[34,37,95,116,153,186,196,231],"different":[35],"types":[36],"specification":[38,124,162],"languages,":[39],"including":[40],"procedural":[42],"nonprocedural":[44],"languages.":[45],"It":[46],"thus":[48],"high-level":[51],"descriptions":[52],"as":[53,55,190,192],"well":[54,191],"low-level":[57],"designs.":[58],"Partition":[59],"also":[61],"improves":[62],"upon":[63],"existing":[64],"testing":[65,168,187],"criteria.":[66],"These":[67],"criteria":[68],"usually":[69],"consider":[70],"only":[71],"implementation,":[73],"but":[74],"selects":[77],"data":[79,155],"that":[80,182],"exercise":[81],"intended":[85],"behavior":[86],"(as":[87],"described":[88],"in":[89,112,150],"specifications)":[91],"structure":[94],"implementation.":[97,130,165],"To":[98],"accomplish":[99],"these":[100],"goals,":[101],"divides":[104,133],"or":[105],"partitions":[106],"domain":[109,136],"into":[110,137],"subdomains":[111],"which":[113],"all":[114],"elements":[115],"each":[117,144,176],"subdomain":[118,145],"are":[119,172],"treated":[120],"uniformly":[121,127],"by":[122,128],"processed":[126],"This":[131,216],"procedure":[135],"more":[138],"manageable":[139],"units.":[140],"Information":[141],"related":[142],"used":[147],"guide":[149],"selection":[152],"Moreover,":[166],"processes":[171],"designed":[173],"enhance":[175],"other.":[177],"Initial":[178],"experimentation":[179],"has":[180],"shown":[181],"through":[183,193],"integration":[185],"verification,":[189],"use":[195],"information":[197],"derived":[198],"from":[199,228],"effective":[211],"for":[212],"evaluating":[213],"program":[214],"reliability.":[215],"paper":[217],"describes":[218],"reports":[224],"results":[226],"obtained":[227],"an":[229],"evaluation":[230],"effectiveness.":[233]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2133518331","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2024-12-10T10:22:42.970894","created_date":"2016-06-24"}