THE IV&V FACILITY HAS RECOGNIZED THE NEED FOR SOFTWARE DEVELOPMENT TO SUPPORT ASSERTION-BASED IV&V. AREAS O…

Public award description

THE IV&V FACILITY HAS RECOGNIZED THE NEED FOR SOFTWARE DEVELOPMENT TO SUPPORT ASSERTION-BASED IV&V. AREAS OF NEED SPAN FROM COMPUTER-BASED REQUIREMENT IDENTIFICATION AND EXTRACTION TOOLS, THROUGH EXECUTABLE-VALIDATION RELATED TOOLS, TO ASSERTION-BASED VERIFICATION RELATED SOFTWARE DEVELOPMENT SUPPORT. THE IV&V FACILITY IS CURRENTLY USING FUNDAMENTAL TECHNOLOGIES DEVELOPED AS PART OF SBIR PHASE 1/PHASE 2 CONTRACT MDA 2005 SBIR PHASE II, HQ0006-05-C-7236, EXECUTION OF HIGH LEVEL SPECIFICATIONS FOR SIMULATION BASED ACQUISITION. THE STATEROVER TOOL THAT WAS COMMERCIALIZED UNDER THIS CONTRACT IS NOW PART OF THE STANDARD IV&V WORKFLOW. TO EXTEND THE IV&V FACILITY CAPABILITIES, AND FURTHER ENHANCE ASSERTION-BASED IV&V, ADDITIONAL MODIFICATION, ENHANCEMENT, AND TOOL INTEGRATION IS NEEDED WITH THE STATEROVER TOOL. AN SBIR PHASE III IS INTENDED TO BE THE VEHICLE FOR THIS NATURAL FOLLOW-ON EFFORT. CONTRACTOR SHALL PERFORM THE FOLLOWING TASKS. THESE TASKS MAY REQUIRE COOPERATION AND COLLABORATION WITH OTHER NASA CONTRACTORS AND/OR CIVIL SERVANTS. THE NATURE AND EXTENT OF THAT COLLABORATION WILL BE DETERMINED FOR EACH TASK AS PLANS ARE DEVELOPED. 1. STATEROVER AND INCLUDED WHITE-BOX AUTOMATIC TEST GENERATOR TOOL SUPPORT. 2. MODELING AND VALIDATION TOOL DEVELOPMENT AS REQUESTED BY THE IV&V FACILITY. THESE TOOLS WILL EITHER BE EMBEDDED WITHIN THE STATEROVER TOOL OR DISTRIBUTED AS INDEPENDENT TOOLS. THESE TOOLS COULD BE IN THE AREAS OF PRODUCTIVITY ENHANCEMENT, MAPPING ENHANCEMENTS, VALIDATION ENHANCEMENT, AND IMPLEMENTATIONS OF ADVANCED IV&V CONCEPTS. 3. HANDS-ON DEVELOPMENT OF ASSERTION-BASED SPECIFICATION AND VALIDATION ARTIFACTS, SUCH AS THE DEVELOPMENT OF ASSERTIONS AND VALIDATION TEST SUITES. 4. ASSERTION-BASED VERIFICATION RELATED SUPPORT. THIS TASK WILL ASSIST THE IV&V FACILITY IN APPLYING (A.K.A HOOKING ) ASSERTIONS DEVELOPED BY THE SRMV GROUP TO THE VARIOUS SYSTEMS UNDER TEST (SUT).