Ensuring Correctness at the Application Level: a Software Framework Approach

Details Ensuring Correctness at the Application Level: a Software Framework Approach Ensuring Correctness at the Application Level: a Software Framework Approach

2011-01-17

arxiv.org/abs/1101.3161v1

Computer Science

Software Engineering

11 pages, 5 figures, presented at the 2009 Workshop on Component-Based High Performance Computing (CBHPC 2009)

Scientific paper

As scientific applications extend to the simulation of more and more complex systems, they involve an increasing number of abstraction levels, at each of which errors can emerge and across which they can propagate; tools for correctness evaluation and enforcement at every level (from the code level to the application level) are therefore necessary. Whilst code-level debugging tools are already a well established standard, application-level tools are lagging behind, possibly due to their stronger dependence on the application's details. In this paper, we describe the programming model introduced by the Cactus framework, review the High Performance Computing (HPC) challenges that Cactus is designed to address, and illustrate the correctness strategies that are currently available in Cactus at the code, component, and application level.

Affiliated with

Also associated with

No associations

Rating

Ensuring Correctness at the Application Level: a Software Framework Approach does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Ensuring Correctness at the Application Level: a Software Framework Approach, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Ensuring Correctness at the Application Level: a Software Framework Approach will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-285529