کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
567729 876141 2009 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نرم افزار
پیش نمایش صفحه اول مقاله
A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Advances in Engineering Software - Volume 40, Issue 11, November 2009, Pages 1155–1167
نویسندگان
, ,