4.7 Article

A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox

Journal

ADVANCES IN ENGINEERING SOFTWARE
Volume 40, Issue 11, Pages 1155-1167

Publisher

ELSEVIER SCI LTD
DOI: 10.1016/j.advengsoft.2009.05.003

Keywords

Mesh generation; Software engineering; Software quality; Scientific computing

Funding

  1. SHARCNET
  2. Natural Sciences and Engineering Research Council (NSERC)

Ask authors/readers for more resources

This paper motivates the value of using a document driven 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. (C) 2009 Elsevier Ltd. All rights reserved.

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.7
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available