×
古斯塔沃·卡瓦略;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约

根据自然语言要求对定时反应系统进行建模。 （英语） Zbl 1345.93024号

正式Asp。计算。 28，第5期，725-765（2016）.

MSC公司：

93A30型 系统数学建模（MSC2010）
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

自然语言要求;形式化模型;模型映射;钛钛合金

软件：

NuSMV公司;APTS公司;NAT2测试;拍打;PVS公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Carvalho}等人，《正式Asp》。计算。28，第5号，725--765（2016；Zbl 1345.93024）
全文： 内政部 链接

参考文献：

[1] Aichernig BK、Brandl H、Jöbstl E、Krenn W、Schlick R、Tiran S：基于模型的突变测试的杀伤策略。软件测试验证Reliab 25（8），716-748（2015）·doi:10.1002/stvr.1522
[2] Abrial J.-R.：B书：赋予程序意义。剑桥大学出版社，纽约（1996）·Zbl 0915.68015号 ·doi:10.1017/CBO9780511624162
[3] Aceituna D、Do H、Srinivasan S（2014）将系统需求转化为模型检查规范的系统方法。在：第36届国际软件工程会议配套论文集，ICSE配套2014。ACM，纽约，第165-174页
[4] Ambriola V，Gervasi V：关于与CIRC对自然语言需求进行系统分析。Autom Softw Eng 13（1），107-167（2006）·doi:10.1007/s10515-006-5468-2
[5] Allen J（1995）自然语言理解。本杰明/卡明斯，红木市·Zbl 0851.68106号
[6] Blackburn M、Busser R、Fontaine J（1997）SCR型规范测试向量的自动生成。参加：计算机保证年度会议
[7] Backes J、Cofer D、Miller S、Whalen MW（2015）四冗余飞行控制系统的需求分析。收录：Havelund K、Holzmann G、Joshi R（编辑）NASA形式方法，计算机科学讲稿，第9058卷。斯普林格国际出版公司，帕萨迪纳，第82-96页
[8] Bucchiarone A、Gnesi S、Fantechi A、Trentanni G（2010）使用工具评估大量自然语言需求的经验。摘自：2010年美国计算机学会应用计算研讨会论文集，SAC’10。ACM，纽约，第281-286页
[9] Boddu R，Guo L，Mukhopadhyay S，Cukic B（2004）RETNA：从需求到自然测试。In:IEEE国际需求工程会议，第262-271页
[10] Carvalho G（2016）NAT2TEST：基于CSP从自然语言需求生成测试用例。巴西伯南布哥联邦大学信息中心博士论文
[11] 卡瓦略G、巴罗斯F、卡瓦略A、卡瓦尔康蒂A、莫塔A、桑帕约A（2015）《NAT2TEST工具：从自然语言要求到基于CSP的测试用例》。参加：软件工程和正式方法国际会议。施普林格国际出版公司，Cham
[12] Carvalho G、Barros F、Lapschies F、Schulze U、Peleska J（2014）《受控自然语言要求的基于模型的测试》。收录于：Artho C，Ùlveczky PC（eds）《安全关键系统的形式技术》，《计算机和信息科学通信》，第419卷。施普林格国际出版公司，Cham，第19-35页
[13] Cimatti A，Clarke EM，Giunchiglia F，Roveri M（1999）NuSMV：一种新的符号模型验证器。摘自：第11届计算机辅助验证国际会议论文集，CAV’99。Springer Verlag，伦敦，第495-499页·Zbl 1046.68587号
[14] 卡瓦略G、卡瓦略A、罗查E、卡瓦尔康蒂A、桑帕约A（2014）反应系统自然语言时间需求的形式化模型。收录于：Merz S，Pang J（eds）形式方法和软件工程，国际形式工程方法会议ICFEM，计算机科学讲稿，第8829卷。Springer International Publishing，Cham，第43-58页
[15] Carvalho G、Cavalcanti A、Sampaio A（2015）《DFS:定义和证明》。伯南布哥联邦大学技术报告
[16] Carvalho G、Falcáo D、Barros F、Sampaio A、Mota A、Motta L、Blackburn M（2013）基于SCR规范的自然语言需求生成测试用例。In:应用计算研讨会，第2卷，第1217-1222页
[17] Carvalho G、Falcáo D、Barros F、Sampaio A、Mota A、Motta L、Blackburn M（2014）NAT2TESTSCR：基于SCR规范的自然语言需求生成测试用例。科学计算程序95（第3部分（0））：275-297
[18] Carvalho G，Sampaio A，Mota A（2013）CSP定时输入输出关系和机械化一致性验证策略。收录于：形式方法和软件工程，LNCS，第8144卷。施普林格，柏林，海德堡，第148-164页
[19] Esser M，Struss P（2007）从自然语言类功能规范中获取测试生成模型。摘自：诊断原理国际研讨会，第75-82页·Zbl 1038.68080号
[20] FAA（2009）《需求工程管理结果报告》。技术报告，美国运输部-联邦航空管理局
[21] Fillmore CJ（1968）案例对案例。收录于：巴赫，哈姆斯（编辑）《语言学理论的普遍性》。霍尔特、莱茵哈特和温斯顿，纽约，第1-88页·Zbl 1038.68080号
[22] Ferrari A，Lipari G，Gnesi S，Spagolo GO（2014）自然语言需求中的语用歧义检测。In:需求工程人工智能（AIRE），2014 IEEE第一届国际研讨会，第1-8页
[23] Ilic D（2007）从非正式需求中导出正式规范。参加：2007年计算机软件和应用会议。2007年COMPSAC。第31届国际年会，第1卷，第145-152页
[24] ISO（2002）Z正式规范符号（ISO/IEC 13568）。国际标准化组织技术报告
[25] Lee WJ，Cha SD，Kwon YR：在需求工程中使用模块化Petri网集成和分析用例。软件工程IEEE Trans 24（12），1115-1130（1998）·doi:10.1109/32.738342
[26] Leonard E，Heitmeyer C：使用APTS从正式需求规范进行程序合成。高阶符号计算16，63-92（2003）·Zbl 1038.68080号 ·doi:10.1023/A:1023072104553
[27] Leveson NG、PerErik Heimdahl M、Hildreth H、Reese JD：《过程控制系统需求规范》。IEEE Trans Softw Eng 20（9），684-707（1994）·doi:10.1009/32.317428
[28] Larsen K、Mikucionis M、Nielsen B（2004）《使用uppaal进行实时系统在线测试：现状和未来工作》。摘自：基于模型测试的观点——达格斯图尔研讨会，第04371卷·Zbl 1081.68574号
[29] Liu S，Sun J，Liu Y，Zhang Y，Wadhwa B，Dong JS，Wang X（2014）用例文档中的自动早期缺陷检测。摘自：第29届ACM/IEEE自动化软件工程国际会议论文集，ASE’14。ACM，纽约，第785-790页
[30] Miller SP、Tribble AC、Whalen MW、Heimdahl MPE（2006）《证明页岩》。国际J Softw Tools Technol Transf 8（4-5）：303-319
[31] Nogueira S、Sampaio A、Mota A：基于状态的用例模型的测试生成。形式方面计算26（3），441-490（2014）·Zbl 1342.68210号 ·doi:10.1007/s00165-012-0258-z
[32] Owre S、Rushby JM、Shankar N（1992）PVS：原型验证系统。收录于：Kapur D（ed）第11届自动演绎国际会议（CADE），人工智能课堂讲稿，第607卷。萨拉托加斯普林格·弗拉格，第748-752页
[33] Peleska J等人（2011）用于测试汽车领域并发实时系统的真实世界基准模型。摘自：ICTSS会议记录，ICTSS’11。斯普林格·弗拉格，柏林，海德堡，第146-161页
[34] Peleska J、Vorobev E、Lapschies F、Zahlten C（2011）《使用RT-Tester进行基于模型的自动化测试》。不来梅大学技术报告
[35] Roscoe AW（2010）了解并发系统。斯普林格，伦敦·Zbl 1211.68205号
[36] Schwitter R（2002）英语作为正式规范语言。附：第13届数据库和专家系统应用国际研讨会会议记录
[37] Schnelte M（2009）根据受控自然语言规范为定时系统生成测试用例。In：系统集成和可靠性改进国际会议，第348-353页
[38] Siegl S、Hielscher K-S、German R（2010），基于模型的需求分析和测试，采用定时使用模型。In:需求工程会议（RE），2010年第18届IEEE国际，第345-350页
[39] Junior VS，Vijaykumar NL：根据空间应用软件的自然语言需求生成基于模型的测试用例。Softw Qual J 20，77-143（2012年）·doi:10.1007/s11219-011-9155-6
[40] 39.孙杰、刘毅、董建生、彭建帕特：（2009）《公平下实现灵活验证》，《计算机科学讲义》，第5643卷。海德堡施普林格，第709-714页
[41] 40.Tretmans J（1999）《测试并发系统：一种形式化方法》。在：CONCUR会议记录中。Springer-Verlag，伦敦，第46-65页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。