Automatic Validation of Science Programs in the Observing Tool

被引:0
|
作者
Nunez, Arturo [1 ]
Walker, Shane [1 ]
机构
[1] Gemini Observ So Operat Ctr, La Serena, Chile
关键词
Phase; 2; validation; Observing Tool; Gemini;
D O I
10.1117/12.787712
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The key to a successful observing experience at Gemini is a well-prepared science program. The astronomer uses a software application called the Gemini Observing Tool (OT) to fill in the specifics of instrument and telescope configuration during the Phase 2 process. This task involves knowing several details about the Gemini instruments as well as particularities of the telescope and the best way to observe with them. Unfortunately, reviewing these programs can be tedious and error prone. Failure to catch a simple misconfiguration could lead to suboptimal science results or even lost time at the telescope. As part of an effort to make it easier for investigators to define the details of their programs and for the National Gemini Offices and Gemini contact scientists to check and validate them, we have included an automatic program-checking engine in the OT. The "Phase 2 Checker" continually examines the science program configuration as edits are made, finds significant problems, and reports them to the user along with suggested corrections. Since its introduction in the 2007B semester release of the Observing Tool, this feature has been very well received by the community. This paper describes the software (infrastructure and user interface) that supports the Phase 2 Checker, results of validating new and existing science programs, and future improvements we are currently considering.
引用
收藏
页数:9
相关论文
共 50 条
  • [21] Automatic property-based testing and path validation of XQuery programs
    Almendros-Jimenez, Jesus M.
    Becerra-Teron, Antonio
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2017, 27 (1-2): : 1 - 2
  • [22] A tool for automatic flow analysis of C-programs for WCET calculation
    Gustafsson, J
    Lisper, B
    Sandberg, C
    Bermudo, N
    EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2003, : 106 - 112
  • [23] Relevance of the NEO dedicated observing programs
    Thuillot, W
    Vaubaillon, J
    Scholl, H
    Colas, F
    Rocher, P
    Birlan, M
    Arlot, JE
    COMPTES RENDUS PHYSIQUE, 2005, 6 (03) : 327 - 335
  • [24] The observing programs at Kanzelhohe solar observatory
    Otruba, W
    Solar Magnetic Phenomena, 2005, 320 : 275 - 278
  • [25] Usability and transparency in the design of a tool for automatic support for web accessibility validation
    Iannuzzi, Nicola
    Manca, Marco
    Paterno, Fabio
    Santoro, Carmen
    UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, 2024, 23 (01) : 435 - 454
  • [26] Usability and transparency in the design of a tool for automatic support for web accessibility validation
    Nicola Iannuzzi
    Marco Manca
    Fabio Paternò
    Carmen Santoro
    Universal Access in the Information Society, 2024, 23 : 435 - 454
  • [27] ESC:: A tool for automatic composition of e-services based on logics of programs
    Berardi, D
    Calvanese, D
    De Giacomo, G
    Lenzerini, M
    Mecella, M
    TECHNOLOGIES FOR E-SERVICES, 2005, 3324 : 80 - 94
  • [28] autoObserver - automatic generation of observing schedules
    Cokina, M.
    Parimucha, S.
    Vanko, M.
    CONTRIBUTIONS OF THE ASTRONOMICAL OBSERVATORY SKALNATE PLESO, 2014, 43 (03): : 473 - 474
  • [29] Measuring assessment standards in undergraduate medical programs: Development and validation of AIM tool
    Sajjad, Madiha
    Khan, Rehan Ahmed
    Yasmeen, Rahila
    PAKISTAN JOURNAL OF MEDICAL SCIENCES, 2018, 34 (01) : 164 - 169
  • [30] INVERSE SIMULATION - A TOOL FOR THE VALIDATION OF SIMULATION PROGRAMS - 1ST RESULTS
    VONGRUNHAGEN, W
    ZEITSCHRIFT FUR FLUGWISSENSCHAFTEN UND WELTRAUMFORSCHUNG, 1993, 17 (03): : 211 - 219