×
史密斯，S。;Yu，W。

用于开发高质量并行网格生成工具箱的文档驱动方法。 （英语） Zbl 1173.65072号

高级工程师软件。 40，第11期，1155-1167（2009）.
摘要：本文通过演示并行网格生成工具箱（PMGT）的设计和文档，激发了使用文档驱动方法来提高科学计算应用程序质量的价值。为了编写明确的需求，提出了形式化的数学规范，可用于判断PMGT的正确性，从而判断其可靠性。数学还表明，通过将软件模块建模为有限状态机，可以提高可理解性、可重用性和可维护性。
建议的方法包括需求、设计、实现和测试用例之间的明确可追溯性。可追溯性改进了完整性和一致性的验证，并允许进行适当的更改管理。为了提高PMGT的可靠性，考虑到正确解先验未知的挑战，采用了一种自动测试方法来验证正确解的已知属性，如保角性和逆时针顶点编号。

MSC公司：

65牛顿50 涉及偏微分方程的边值问题的网格生成、细化和自适应方法
65D18天 计算机图形、图像分析和计算几何的数值方面
68瓦30 符号计算和代数计算
68号30 软件工程的数学方面（规范、验证、度量、需求等）
65日元 数值算法的封装方法

关键词：

网格生成;软件工程;软件质量;科学计算

软件：

可控硅;CalcCheck（计算检查）
PDF格式BibTeX公司 XML格式引用
\textit{S.Smith}和\textit{W.Yu}，高级工程师软件。40，第11号，1155--1167（2009；Zbl 1173.65072）
全文： 内政部

参考文献：

[1] 阿尔迪斯（Mark Ardis）；David M.Weiss：定义族：共性分析，649-650（1997）
[2] 巴斯塔里卡，M.塞西莉亚；希施费尔德·卡勒（Nancy Hitschfeld-Kahler）；Rossel，Pedro O.：网格工具系列的产品线体系结构，计算机科学课堂讲稿4039，403-406（2006）
[3] 巴西，玛丽亚·塞西莉亚；Hischfeld-Kahler，Nancy：设计啮合工具的产品系列，Adveng软件，1-10（2005）
[4] 巴里·博姆：《软件工程经济学》（1981）·Zbl 0525.90034号
[5] 保罗·克莱门茨（Paul Clements）；Northrop，Linda M.：《软件产品线：实践和模式》（2002）
[6] 大卫·A·库卡（David A.Cuka）。；David M.Weiss：工程领域：以可执行命令为例，26-34（1998）
[7] Dijkstra，E.W.：结构化编程，关于结构化编程的章节注释，（1972年）·兹标0267.68001
[8] Paul F.Dubois：《设计科学组件》，《计算机科学》第4期，第5期，84-90页（2002年）
[9] Einarsson Bo、Boisvert Ronald、Chaitin-Chatelin Françoise、Cools Ronald和Douglas Craig、Dritz Kenneth等人。科学计算的准确性和可靠性。软件环境工具中的编号0-89871-584-9。费城（PA）：SIAM；2005
[10] 艾哈迈德·埃尔谢赫。；Smith，W.Spencer；Chidiac，Samir E.：可靠网格生成系统的半形式设计，Adveng软件35，第12期，827-841（2004）
[11] 帕斯卡·让·弗雷（Pascal Jean Frey）；George，Paul-Louis：有限元网格生成应用，（2000）·Zbl 0968.65009号
[12] 卡洛·盖齐（Carlo Ghezzi）；贾萨耶里（Jazayeri）、迈赫迪（Mehdi）；Mandrioli，Dino：软件工程基础（2003）·Zbl 0827.68030号
[13] 戴维·格里斯（David Gries）；弗雷德·施耐德（Fred B.Schneider）：离散数学的逻辑方法（1993）·Zbl 0861.03001号
[14] 《软件质量的奇美拉》，《计算机40》，2007年第8期
[15] 莱斯·哈顿（Les Hatton）；安迪·罗伯茨：科学软件的准确性如何？，IEEE trans-software eng 20，No.10，785-797（1994）
[16] Heitmeyer，Constance：《软件成本降低》，《软件工程百科全书》（2002年）·Zbl 1034.68572号
[17] 丹尼尔·霍夫曼（Daniel M.Hoffman）。；Strooper，Paul A.：软件设计、自动化测试和维护：一种实用的方法，（1995）
[18] 黛安·凯利：《软件鸿沟：软件工程和科学计算》，IEEE软件24，第6期，119-120（2007）
[19] Kelly Diane F，Sanders Rebecca。评估科学软件的质量。摘自：德国莱比锡第一届计算科学与工程软件工程国际研讨会论文集（SECSE 2008）。结合第30届国际软件工程会议（ICSE）；2008
[20] McCall J、Richards P、Walters G.软件质量因素。NTIS AD-A049-014、015、055；1977年11月。
[21] 苏埃利·奥利维拉；David E.Stewart：《编写科学软件：良好风格指南》（2006）·Zbl 1108.68032号
[22] OpenMesh。Openmesh，计算机图形和多媒体小组，Rheinisch-Westfälische Technische Hochschule Aachen，&lt；http://www.openmesh.org/&gt；；2006
[23] Owen Steven J.非结构化网格生成技术综述。In:第七届国际啮合圆桌会议论文集，密歇根州迪尔伯恩；1998年10月。
[24] Parnas，D.L.：软件模块规范技术及示例，Cacm 15，No.5，330-336（1972）
[25] David Parnas：关于程序族的设计和开发，IEEE trans software eng 2，No.1，1-9（1976）·Zbl 0352.68032号
[26] David L.Parnas：《设计易于扩展和收缩的软件》，IEEE trans-software eng，No.March，128-138（1979）·Zbl 0395.68037号
[27] David L.Parnas：《一些软件工程原理》，INFOR，《操作人员可以通知流程22》，第4期，第303-316页（1984年）
[28] 大卫·L·帕纳斯（David L.Parnas）。；Clements，P.C.：《理性设计过程：如何和为什么伪造》，IEEE trans-software eng 12，No.2，251-257（1986）
[29] David Lorge，帕纳斯；Asmis，G.J.K。；Madey，J.：核电厂安全关键软件评估，Nucl安全32，第2期，189-198（1991）
[30] 波尔，K。；Böckle，G。；Van Der Linden，F.：《软件产品线工程：基础原理和技术》（2005）·Zbl 1075.68575号
[31] Remacle，Jean-Fancois；Shephard，Mark S.：面向算法的网格数据库，国际J数值方法工程58，349-374（2003）·Zbl 1035.68045号 ·doi:10.1002/nme.774
[32] Rivara，Maria-Celilia:改进和/或改进非结构化三角剖分的新最长边算法，国际J数值方法eng 40，3313-3324（1997）·兹伯利0980.65144 ·doi:10.1002/（SICI）1097-0207（19970930）40:18<3313:：AID-NME214>3.0.CO；2-#
[33] 苏珊娜·罗伯逊；詹姆斯·罗伯逊：《掌握需求过程》（1999）
[34] 丽贝卡·桑德斯；戴安·凯利：《科学软件开发中的风险应对》，IEEE软件4，21-28（2008）
[35] 西加尔·朱迪思。科学软件开发模型。摘自：德国莱比锡第一届计算科学与工程软件工程国际研讨会论文集（SECSE 2008）。结合第30届国际软件工程会议（ICSE）；2008
[36] Siegel Stephen F、Mironova Anastasia、Avrunin George S、Clarke Lori A.使用模型检查和符号执行来验证并行数值程序。In:波特兰（ME）软件测试与分析国际研讨会（ISSTA）；2006
[37] Spencer Smith W.通用科学计算软件需求文档的系统开发。摘自：第14届IEEE国际需求工程会议记录，RE 2006，明尼苏达州明尼阿波利斯/圣保罗；2006年，第209–18页。
[38] Spencer Smith W，陈建贤。网格生成系统的通用性分析。技术报告CAS-04-10-SS，麦克马斯特大学计算与软件系；2004
[39] Spencer Smith W，Lai Lei。科学计算的新需求模板。收件人：RalytéJ，A&dot；gerfalk P，Kraiem N，编辑。2005年，法国巴黎，SREP’05，情境需求工程过程第一次国际研讨会会议记录——支持情境特定需求工程过程的方法、技术和工具。配合第13届IEEE国际需求工程会议；2005年，第107–21页。
[40] Smith，W.Spencer；赖、雷；Khedri，Ridha：《工程计算的需求分析：提高软件可靠性的系统方法》，Reliable comput 13，83-107（2007）·Zbl 1106.68348号 ·doi:10.1007/s11155-006-9020-7
[41] Spencer Smith W、McCutchan John、Cao Fang。科学计算中的程序族。作者：Sprinkle Jonathan、Gray Jeff、Rossi Matti、Tolvanen Juha-Pekka，编辑。第七届OOPSLA领域特定建模研讨会（DSM'07），魁北克省蒙特利尔；2007年，第39–47页。
[42] Squires，S。；范德万特，M.L。；Votta，L.G.：《高性能计算中的软件生产力研究》，CT watch quart，No.November，52-61（2006）
[43] 唐进。开发科学计算软件：当前过程和未来方向。硕士论文，密歇根州汉密尔顿麦克马斯特大学；2008
[44] IEEE软件需求规范推荐规程（2000）
[45] 范·兰斯韦德·阿克塞尔。面向目标的需求工程：有向导的参观。摘自：第五届IEEE需求工程国际研讨会论文集IEEE。华盛顿（哥伦比亚特区，美国）：IEEE计算机学会；2001年，第249-63页【8月】。
[46] 韦斯，D。；Lai，C.T.R.：软件产品线工程（1999）
[47] David M.Weiss：共性分析：定义家族的系统过程，Lect notes comp sci 1429，214-222（1998）
[48] 格雷戈里·威尔逊：科学计算的真正瓶颈在哪里？科学家们最好选择一些在软件行业广泛使用的工具，Am sci 94，No.1（2006）
[49] 于文。用于提高并行网格生成工具箱质量的文档驱动方法。麦克马斯特大学硕士论文；2007
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。