Publication: A Document Driven Methodology for Improving the Quality of a Parallel Mesh Generation Toolbox

All || By Area || By Year

Title	A Document Driven Methodology for Improving the Quality of a Parallel Mesh Generation Toolbox
Authors/Editors*	W. Spencer Smith and Wen Yu
Where published*	Submitted to Advances in Engineering Software
How published*	Journal
Year*	2008
Volume
Number
Pages
Publisher
Keywords
Link
Abstract	This paper motivates the value of using a document driven SE methodology to improve the quality of scientific computing applications by illustrating the design and documentation of a Parallel Mesh Generation Toolbox (PMGT). Formal mathematical specification is promoted for writing unambiguous requirements, which can be used to judge the correctness and thus the reliability of PMGT. Mathematics is also shown to improve understandability, reusability and maintainability through modelling software modules as finite state machines. The proposed methodology includes explicit traceability between requirements, design, implementation and test cases. Traceability improves the verification of completeness and consistency and it allows for proper change management. To improve the reliability of PMGT, given the challenge that the correct solution is unknown a priori, an automated testing approach is adopted to verify the known properties of a correct solution, such as conformality and counterclockwise vertex numbering.