{“id”：“https://openalex.org/W2121649425“，”doi“：”https://doi.org/10.1007/978-3-540-88387-6_36“，”title“：”定时系统的被动测试“，”display_name“：”计时系统的被动检测“，”publication_year“：2008，”publiation_date“：”2008-01-01“，”ids“：{”openalex“：”https://openalex.org/W2121649425“，”doi“：”https://doi.org/10.1007/978-3-540-88387-6_36“，”mag“：”2121649425“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-88387-6_36“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://eprints.ucm.es/15726/116.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5091479872“，”display_name“：”C\u00e9sar Andr\u00e9“，”orcid“：”https://orcid.org/0000-0003-2221-6913}，“机构”：[{“id”：https://openalex.org/I121748325“，”display_name“：”马德里Complutense大学“，”ror“：”https://ror.org/02p0gd045“，”country_code“：”ES“，”type“：”教育“，”血统“：[”https://openalex.org/I121748325“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”C\u00e9sar Andr\u00e9“，”raw _ afiliation_strings“：[“西班牙马德里Complutense大学科学院信息部\u00e ticos y Computaci\u00f3n，28040”]，”从属关系“：[{”raw_ afiliation _string“：”部门。Sistemas Inform\u00e1ticos y Computaci\u00f3n，马德里Complutense大学，28040，西班牙马德里“，“institution_ids”：[“https://openalex.org/I121748325“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5076119369“，”display_name“：”Mercedes G.Merayo“，”orcid“：”https://orcid.org/0000-0002-4634-4082}，“机构”：[{“id”：https://openalex.org/I121748325“，”display_name“：”马德里Complutense大学“，”ror“：”https://ror.org/02p0gd045“，”country_code“：”ES“，”type“：”教育“，”血统“：[”https://openalex.org/I121748325“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Mercedes G.Merayo“，”raw _ afiliation_strings“：[“西班牙马德里Complutense大学科学系信息\u00e1ticos y Computaci\u00f3n”]，”affiliations“：[{”raw _affiliation_string“：”部门。Sistemas Inform\u00e1ticos y Computaci\u00f3n，马德里Complutense大学，28040，西班牙马德里“，“institution_ids”：[“https://openalex.org/I121748325“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5024107021“，”display_name“：”Manuel N\u00fa\u00f1ez“，”orcid“：”https://orcid.org/0009-0007-5223-0333}，“机构”：[{“id”：https://openalex.org/I121748325“，”display_name“：”马德里Complutense大学“，”ror“：”https://ror.org/02p0gd045“，”country_code“：”ES“，”type“：”教育“，”血统“：[”https://openalex.org/I121748325“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Manuel N\u00fa\u00f1ez“，”raw _ afiliation_strings“：[“西班牙马德里，28040，马德里Complutense大学，Sistemas Inform \u00e1ticos y Computaci \u00f3n系”，“afliations”：[{“raw _ ffiliation_string”：“系”。Sistemas Inform\u00e1ticos y Computaci\u00f3n，马德里Complutense大学，28040，西班牙马德里“，“institution_ids”：[“https://openalex.org/I121748325“]｝]｝]，”countries_destict_count“：1，”institutions_disict_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”apc_payed“：null，”fwci“：3.995，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：23，”cited_by_percentle__年份”：｛“分钟”：90，“max“：91}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”418“，”last_page“：”427“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9992，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9974，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/delay-fault测试“，”display_name“：”延迟故障测试“，”score“：0.554318}，{”id“：”https://openalex.org/keywords/低功耗测试“，”display_name“：”低功耗测试“，”score“：0.544776}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.529403}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时间逻辑“，”score“：0.528167｝，｛”id“：”https://openalex.org/keywords/system-on-a-chip-test“，”display_name“：”系统芯片测试“，”score“：0.524847}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.868572}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3217742}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-88387-6_36“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://eprints.ucm.es/15726/116.pdf，“pdf_url”：https://eprints.ucm.es/155726/1.6.pdf，“源”：{“id”：https://openalex.org/S4306400298“，”“display_name”“：”“Library Open Repository（Universidad Complutense Madrid）”“，”https://openalex.org/I121748325“，”“host_organization_name”：“马德里Complutense大学”，“host_organization_lineage”：[“https://openalex.org/I121748325“]，”host_organization_lineage_names“：[”马德里Complutense大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://eprints.ucm.es/id/eprint/15726/116.pdf，“pdf_url”：https://eprints.ucm.es/id/eprint/15726/116.pdf，“源”：{“id”：https://openalex.org/S4306402641“，”display_name“：”LA Referencia（Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4383465926“，”“host_organization_name”：“LA参考”，“host_ordanization_lineage”：[“https://openalex.org/I4383465926“]，”host_organization_lineage_names“：[”LA Referencia“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://eprints.ucm.es/15726/116.pdf，“pdf_url”：https://eprints.ucm.es/15726/116.pdf，“源”：{“id”：https://openalex.org/S4306400298“，”“display_name”“：”“Library Open Repository（Universidad Complutense Madrid）”“，”https://openalex.org/I121748325“，”“host_organization_name”：“马德里Complutense大学”，“host_organization_lineage”：[“https://openalex.org/I121748325“]，”host_organization_lineage_names“：[”马德里Complutense大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W2026774266","https://openalex.org/W2132616926","https://openalex.org/W2142840138","https://openalex.org/W4244693874“]，”related_works“：[”https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890","https://openalex.org/W1596801655“]，”ngrams_url“：”https://api.openalex.org/works/W2121649425/ngrams网站“，”“abstract_inverted_index”：{“This”：[0]，“paper”：[1,71]，“presents”：[2]，“a”：[3,44,53,56]，“methodology”：[4]，“to”：[5]，“perform”：[6]，“passive”：[7]，“testing”：+8]，“based”：[9]，“on”：[10]，“不变量”：[11]，“for”：[12]，“systems”：[13]，“that”：[14,36]，“prosent”：[15]，”“：[16]，”限制。“：[17]，”不变量“：[18]，”表示“：[19]，”the“：[20,26,34,39,62,66]，“most”：[21]，“relevant”：[22]，“expected”：[23]，“properties”：[24]，“of”：[25,47,58]，“implementation”：[27,40]，“under”：[28,41]，“test.”：[2]，“Intuitive”：[30]，“an”：[31]，“invariant”：[32]，“expresses”：[33]，“fact”：[35]，“each”：[37]，“time”：[38,59]，“测试”：[42]，“performs”：[43]，“给定”：[45]，“序列”：[46]，“动作”：[48]，“然后”：[49]，“它”：[50]，“必须”：[51]，“展示”：[52]，“行为”：[54]，“in”：[55,61,69]，“失效”：[57]，“反射”：[60]，“不变。”：[63]，“in”：[64]，“特定”：[65]，“算法”：[67]，“呈现”：[68]，“此”：[70]，“为”：[72]，“完全”：[73]，“实现。”：%74]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2121649425”，“counts_by_year”：[｛“year”：2018，“cited_by_count”：1｝，｛“year”：2015，“cited_by_count”：1｝，｛“year”：2013，“cited_by_count”：3｝，｛“year”：2012，“cited_by_count”：4｝]，“updated_date”：“2024-06-28T03:47:47.761353”，“created_date”：“2016-06-24”｝