Brandon Bailey Dan Nawrocki Shawn Carroll David Soto Ivv-Itc
Total Page:16
File Type:pdf, Size:1020Kb
Project JSTAR NASA IV&V Independent Test Capability Support Lab ITC 2011 Framework Project Support AFSS GPM MPCV JUNO JWST Acquire and setup AFSS test GPM Operational Simulator Socrrates-Heavy Simulation JUNO IV&V SUROM Investigation ISIM Software configuration Components Components Science Instrument Development Unit - AFSS spare flight chassis ASIST Ground System Interface Objective: (SIDU) Selected COTS test coverage software Wind River Simics Increase assurance through independent Hardware-in-the-Loop Test Developed reusable mechanism to Instrument Simulations (DPR, GMI) stress testing of SUROM process. Environment generate system test coverage using ITC Synchronous Bus Approach: Components socket - 1553 communications - COTS PowerPC Board - LDRA Funnel ( VxWorks task) - Spacewire Communications Systematically explore combinations of page faults and image corruption. - 1553 Cards - LDRA Converter GDS - Spacewire Test Set (SWST) - LDRA Receptor Wind River Simics (RAD750) Socrrates-Lite Simulation Components Facilities: - ASIST / Eclipse Ground System Wind River Workbench Debugging - Wind River Simics Test Configuration (HWIL) - Juno SUROM - Juno FSW Image Files Test Configuration (Software-Only) Test Setup: Nominal - No image corruption Spacecraft Flight Software - No page faults Socrrates Features Scoping development of software-only 1. Run nominal boot, find setup of MMU test environment Software-only flight simulator and BAT registers, verify values in IBAT Utilizes flight software binary In -house Simics model development and DBAT - JPIM Provides mechanism to test MPCV 2. Verify image in SDRAM at boot flight software for IV&V - SBC completion Successfully loaded SBC code onto Test Coverage Results RUN 1 GO-SIM Features Kedalion 08/01/11 13:03:10 1,000 Monte Carlo Simulations Simics and see basic kernel scheduling Load and run unmodified flight binary Provide a hands -on environment to Memory modifications: Statement Coverage 60% Index orig_val mod_val and idle calls – requesting additional Execute flight scripts allow early and sustained engineering 0x25C04B 0xF0 0x18 information from spacecraft developer The number of executable lines: 21,413 0x17B22F6 0xFF 0xBD Single-step debugging analysis and risk mitigation of space Test Output The number executed by all runs: 12,804 … Inject errors via ground system vehicle avionics and software (Log File) Image modifications: Stress system under test Index orig_val mod_val Branch/Decision Coverage 53% 0x11AA9 0x18 0xAB Validate findings from other IV&V Number of Branches/Decisions: 5,469 … analyses Orig_data_crc mod_data_crc Number executed by all runs: 2,895 Orig_head_crc mod_head_crc ITC Framework Current Features Simulation and Testing Common User Interface Launch and monitor simulations (GOSIM; JUNO) Track and view data Watch Window Inject Fault Data Data logging Visualization Software Integration Back-end Breakpoints Jon McBride Software Testing and Research “JSTAR” Laboratory Objectives Lab Foundation = Server and Desktop Virtualization Tools Virtual Images Software and test environment Wind River Workbench 3.2 GPM FSW Tool Chain / Build development by ITC Engineers Environment Wind River Simics 4.4 GPM Ground System (Sammi lic req.) Testing by IV&V analysts ASIST Ground System PITS - Using ITC developed test environments - Using various tools MSDN Subscription Solaris 10 (x86) Tornado CentOS version 5 (i386 & x86_64) Tools support (SWAT) - Perform evaluations test tools LDRA TestBed RedHat Enterprise 5 (x86_64) (new, upgrades) IBM Rational Synergy Ubuntu 10_4 - Perform acceptance testing of tools IBM Rhapsody ISS MADE Training Environment MagicDraw UML Windows (XP SP3 (32 bit), 7 (32/64 bit), Server 2003 R2, Server 2008 R2 Understand for C/C++ Socrrates Lite & Heavy (April 2011 ver) Become Experts in Validate Other IV&V Establish Jon Simulation for IV&V Support Every Findings McBride Software Program and NASA Project in the IV&V Testing and Program in Five Research (JSTAR) Measureable Repeatable Years Laboratory Independent Testing Value Enable IV&V Projects to Unbiased Q2 and Q3 Perform Dynamic Remain on the Infuse the ITC Analysis Leading Edge in Develop Core Expertise Framework into the New Simulation and IV&V Program Testing Tools in Testing Team Members Justin Morris Jeff Joltes Steven Seeger Justin McCarty Brandon Bailey Dan Nawrocki http://itc.ivv.nasa.gov Shawn Carroll David Soto [email protected].