2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE)最新文献

Towards flexible automated support to improve the quality of computational science and engineering software 向灵活的自动化支持，以提高计算科学和工程软件的质量

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615104

D. Falessi, F. Shull

引用次数: 2

Practical formal correctness checking of million-core problem solving environments for HPC 用于高性能计算的百万核问题解决环境的实用形式正确性检查

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615102

D. C. B. D. Oliveira, Zvonimir Rakamaric, G. Gopalakrishnan, A. Humphrey, Qingyu Meng, M. Berzins

{"title":"Practical formal correctness checking of million-core problem solving environments for HPC","authors":"D. C. B. D. Oliveira, Zvonimir Rakamaric, G. Gopalakrishnan, A. Humphrey, Qingyu Meng, M. Berzins","doi":"10.1109/SECSE.2013.6615102","DOIUrl":"https://doi.org/10.1109/SECSE.2013.6615102","url":null,"abstract":"While formal correctness checking methods have been deployed at scale in a number of important practical domains, we believe that such an experiment has yet to occur in the domain of high performance computing at the scale of a million CPU cores. This paper presents preliminary results from the Uintah Runtime Verification (URV) project that has been launched with this objective. Uintah is an asynchronous task-graph based problem-solving environment that has shown promising results on problems as diverse as fluid-structure interaction and turbulent combustion at well over 200K cores to date. Uintah has been tested on leading platforms such as Kraken, Keenland, and Titan consisting of multicore CPUs and GPUs, incorporates several innovative design features, and is following a roadmap for development well into the million core regime. The main results from the URV project to date are crystallized in two observations: (1) A diverse array of well-known ideas from lightweight formal methods and testing/observing HPC systems at scale have an excellent chance of succeeding. The real challenges are in finding out exactly which combinations of ideas to deploy, and where. (2) Large-scale problem solving environments for HPC must be designed such that they can be “crashed early” (at smaller scales of deployment) and “crashed often” (have effective ways of input generation and schedule perturbation that cause vulnerabilities to be attacked with higher probability). Furthermore, following each crash, one must “explain well” (given the extremely obscure ways in which an error finally manifests itself, we must develop ways to record information leading up to the crash in informative ways, to minimize offsite debugging burden). Our plans to achieve these goals and to measure our success are described. We also highlight some of the broadly applicable concepts and approaches.","PeriodicalId":133144,"journal":{"name":"2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125689368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

Design and rationale of a quality assurance process for a scientific framework 科学框架的质量保证过程的设计和基本原理

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615100

H. Remmel, B. Paech, C. Engwer, P. Bastian

{"title":"Design and rationale of a quality assurance process for a scientific framework","authors":"H. Remmel, B. Paech, C. Engwer, P. Bastian","doi":"10.1109/SECSE.2013.6615100","DOIUrl":"https://doi.org/10.1109/SECSE.2013.6615100","url":null,"abstract":"The testing of scientific frameworks is a challenging task. The special characteristics of scientific software e.g. missing test oracle, the need for high performance parallel computing, and high priority of non-functional requirements, need to be accounted for as well as the large variability in a framework. In our previous research, we have shown how software product line engineering can be applied to support the testing of scientific frameworks. We developed a process for handling the variability of a framework using software product line (SPL) variability modeling. From the variability models, we derive test applications and use them for system tests for the framework. In this paper we examine the overall quality assurance for a scientific framework. First, we propose a SPL test strategy for scientific frameworks called Variable test Application strategy for Frameworks (VAF). This test strategy tests both, commonality and variability, of the framework and supports the framework's users in testing their applications by creating reusable test artifacts. We operationalize VAF with test activities that are combined with other quality assurance activities to form the design of a quality assurance process for scientific frameworks. We introduce a list of special characteristics for scientific software that we use as rationale for the design of this process.","PeriodicalId":133144,"journal":{"name":"2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121036446","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Implementing continuous integration software in an established computational chemistry software package 在已建立的计算化学软件包中实现持续集成软件

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615101

Robin M. Betz, R. Walker

{"title":"Implementing continuous integration software in an established computational chemistry software package","authors":"Robin M. Betz, R. Walker","doi":"10.1109/SECSE.2013.6615101","DOIUrl":"https://doi.org/10.1109/SECSE.2013.6615101","url":null,"abstract":"Continuous integration is the software engineering principle of rapid and automated development and testing. We identify several key points of continuous integration and demonstrate how they relate to the needs of computational science projects by discussing the implementation and relevance of these principles to AMBER, a large and widely used molecular dynamics software package. The use of a continuous integration server has both improved collaboration and communication between AMBER developers, who are globally distributed, as well as making failure and benchmark information that would be time consuming for individual developers to obtain by themselves, available in real time. Continuous integration servers currently available are aimed at the software engineering community and can be difficult to adapt to the needs of computational science projects, however as demonstrated in this paper the effort payoff can be rapid since uncommon errors are found and contributions from geographically separated researchers are unified into one easily-accessible web-based interface.","PeriodicalId":133144,"journal":{"name":"2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116084101","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Water Science Software Institute: An open source engagement process 水科学软件研究所:一个开源的参与过程

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615098

S. Ahalt, B. Minsker, M. Tiemann, L. Band, M. Palmer, R. Idaszak, C. Lenhardt, M. Whitton

引用次数: 8

Exploring issues in software systems used and developed by domain experts 探索领域专家使用和开发的软件系统中的问题

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615106

Jette Henderson, D. Perry

引用次数: 1

Binary instrumentation support for measuring performance in OpenMP programs 二进制仪器支持测量OpenMP程序中的性能

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615095

Mustafa Elfituri, Jeanine E. Cook, Jonathan J. Cook

引用次数: 1

Implicit provenance gathering through configuration management 通过配置管理进行隐式的来源收集

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615105

Vitor C. Neves, V. Braganholo, Leonardo Gresta Paulino Murta

引用次数: 5

A case study: Agile development in the community laser-induced incandescence modeling environment (CLiiME) 案例研究:社区激光诱导白炽建模环境(clime)中的敏捷开发

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615094

Aziz Nanthaamornphong, Karla Morris, D. Rouson, H. Michelsen

引用次数: 16

DSLs, DLA, DxT, and MDE in CSE

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE) Pub Date : 2013-05-18 DOI: 10.1109/SECSE.2013.6615103

Bryan Marker, R. V. D. Geijn, D. Batory

引用次数: 3