{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,3,14]]，“日期时间”：“2024-03-14T12:20:34Z”，“时间戳”：1710418834809}，“引用计数”：27，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2010]]}，“DOI”：“10.1109\/icst.2010.37”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2010,6,15]]，“date-time”：“2010-06-15T14:37:44Z”，“timestamp”：1276612664000}，“source”：”Crossref“，“is-referenced-by-count”：12，“title”：[“软件验证和验证活动在航天工业中的挑战”]，“prefix”：“10.1108”，“author”：[{“given”：，“family”：“Feldt”，“sequence”：“first”，“affiliation”：[]}，{“given”：“R.”，“failment”：“Torkar”，“序列”：“additional”，“从属关系”：[]}，“reference”：[{“key”：“ref10”，“author”：“schwaber”，“year”：“2001”，“journal-title”：“Agile Software Development with Serum”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TEST.1999.805621”}“}，{”key“：”ref14“，”year“：”2009“，”journal-title“：“ECSS-QST-80C航天产品保障-软件产品保障”}，{“key”：“ref15”，“year”：“2004”，“journal-title”：“Galileo Software Standard（GSWS）-GAL-SPE-GLI-SYST-A\/0092”}、{“key”：”ref16“，“first page”：：“144”，“article-title“：”软件项目与利益相关者之间使用实施建议的握手“，”volume“：”4542“，”author“fricker”，“年份”：“2007”，“新闻标题”：“REFSQ”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s00766-005-0020-7”}p.253“}，{“key”：“ref4”，“author”：“rakitin”，“year”：“2001”，“journal-title”：“从业者和管理者的软件验证与确认”}，{“key”：“ref27”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/WOSQ.2007.4”}、{“key”：”ref3“，“year”：“1991”，“journal-title”：“ECSS PSS-05–0-ESA软件工程标准”}：“比较和组合软件缺陷检测技术：一项重复的实证研究”，“author”：“wood”，“year”：“1997”，“journal-title”：“ESEC’97”，“FSE-5第六届欧洲软件工程会议论文集-NEERING，与第五届ACM SIGSOFT国际软件工程基础研讨会联合举行”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/359588.359602”}，{“key”：“ref8”，“author”：“astels”，“year”：“2003”，“journal-title”：“Test-Driven Development A Practical Guide”}：“10.1109\/SESS.1997.595952”}，{“键”：“参考9”，“article-title”：“敏捷软件开发宣言”，“author”：“beck”，“year”：“2001”}，{“key”：“ref1”，“年份”：“2008”，“日志标题”：“ECSS-S-ST-OOC系统描述实现和一般要求”}：“Goldratt’s Theory of Constraints a Systems Approach to Continuous Improvement”}，{“key”：“ref22”，“author”：“hollander”，“year”：“1999”，“journal-title”：“Non-parameter Statistical Methods”}、{“key”：”ref21“author:”leffingwell“，“year:”1999“，”journal-title“：”“Managing Software Requirements a Unified Approachs”}；{“密钥”：“参考24”，“作者”：“torkar”：“2009”}，{“key”：“ref23”，“year”：“2009年”，“journal-title”：“R A Language and Environment for Statistical Computing”}：“2010年第三届软件测试、验证和确认国际会议”，“地点”：“法国巴黎”，“开始”：{“日期部分”：[[2010,4,6]]}，“结束”：{-“日期部分“：[[20104,10]]}}，”container-title“：[”2010第三届国际软件测试、检验和确认会议“]，”原文标题“：[]，”链接“：[{”URL“：“http://explorestaging.ieee.org/ielx5\/55477032\/55477034\/05477800.pdf？arnumber=55477080”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2017,3,19]]，“日期时间”：“2017-03-19T01:48:34Z”，“时间戳”：1489888114000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http://\/ieeexplore.iee.org\/document\/5477080\/”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2010]]}，”引用计数“：27，”URL“：”http://\/dx.doi.org\/10.109\/icst.2010.37“，”关系“：{}