Example #1
0
//=============================================================================
// General test for the SP3EphemerisStore
// Makes sure SP3EphemerisStore can be instantiated and can load
// a file; also ensures that nonexistent files throw an exception
//=============================================================================
   int SP3ESTest(void)
   {
      TUDEF( "SP3EphemerisStore", "Constructor" );

         // Verify the consturctor builds the SP3EphemerisStore object
      try
      {
         SP3EphemerisStore store;
         TUPASS("SP3EphemerisStore object successfully created");
      }
      catch (...)
      {
         TUFAIL("SP3EphemerisStore object could not be created");
      }

      SP3EphemerisStore store;

         // Verify opening an empty file throws an error
      try
      {
         store.loadFile(inputNotaFile);
         TUFAIL("Opening an empty file did not throw an exception");
      }
      catch (Exception& e)
      {
         TUPASS("Opening an empty file threw the correct exception");
      }
      catch (...)
      {
         TUFAIL("Opening an empty file caused an unexpected exception");
      }

         // Verify opening a file works with no errors
      try
      {
/*
  fstream smoo;
  smoo.open(inputSP3Data.c_str(),std::ios::in);
  testFramework.assert(smoo, "plain file open fail", __LINE__);
  smoo.close();
  cerr << "-------------------------" << endl;
*/
         store.loadFile(inputSP3Data);
//         cerr << "-------------------------" << endl;
         TUPASS("Opening a valid file works with no exceptions");
      }
      catch (...)
      {
//         cerr << "-------------------------" << endl;
         TUFAIL("Exception thrown when opening a valid file");
      }

         // Write the dump of the loaded file
      ofstream DumpData;
      DumpData.open (outputDataDump.c_str());
      store.dump(DumpData,1);
      DumpData.close();

      return testFramework.countFails();
   }
Example #2
0
//------------------------------------------------------------------------------------
//------------------------------------------------------------------------------------
int FillEphemerisStore(const vector<string>& files, SP3EphemerisStore& PE,
                                                     GPSEphemerisStore& BCE)
{
   try
   {
      int nread = 0;
      Rinex3NavHeader rnh;
      Rinex3NavData rne;
      for(size_t nfile = 0; nfile < files.size(); nfile++) {
         if(files[nfile].empty()) {
            Exception e("File name is empty");
            GPSTK_THROW(e);
         }

         if(isRinex3NavFile(files[nfile]) || isRinexNavFile(files[nfile])) {
            Rinex3NavStream instrm(files[nfile].c_str());
            instrm.exceptions(fstream::failbit);
            try {
               instrm >> rnh;
               while (instrm >> rne) {
                  // check health...
                  if(rne.health == 0)
                     BCE.addEphemeris(rne);
               }
               nread++;
            }
            catch(Exception& e) {
               GPSTK_RETHROW(e);
            }
         }

         else if(isSP3File(files[nfile])) {
            try {
               PE.loadFile(files[nfile]);
               nread++;
            }
            catch(Exception& e) { GPSTK_RETHROW(e); }
         }
         else {
            Exception e("File " + files[nfile]
                  + " is neither Rinex Nav nor SP3 file.");
            GPSTK_THROW(e);
         }
      }
Example #3
0
//=============================================================================
// Test for getFinalTime
// Tests getFinalTime method in SP3EphemerisStore by ensuring that
// the method outputs the final time stamp in an SP3 file
//=============================================================================
   int getFinalTimeTest (void)
   {
      TUDEF( "SP3EphemerisStore", "getFinalTime" );

      try
      {
         SP3EphemerisStore store;
         store.loadFile(inputSP3Data);

         CommonTime computedFinalTime = store.getFinalTime();

         CivilTime knownFinalTime_civ(1997,4,6,23,45,0);
         CommonTime knownFinalTime = knownFinalTime_civ.convertToCommonTime();

            // Check that the function returns the initial time from the file
         TUASSERTE(CommonTime, knownFinalTime, computedFinalTime);
      }
      catch (...)
      {
         TUFAIL("Unexpected exception");
      }

      return testFramework.countFails();
   }
Example #4
0
//=============================================================================
// Test for getVelocity
// Tests getPosition method in SP3EphemerisStore by comparing the outputs
// of the method to known values in an SP3 files with position and
// velocity values
//=============================================================================
   int getVelocityTest (void)
   {
      TUDEF( "SP3EphemerisStore", "getVelocity" );

      try
      {
         SP3EphemerisStore Store;
         Store.loadFile(inputAPCData);

         const short PRN1 = 1;
         const short PRN31 = 31;

         CivilTime testTime_civ(2001,7,22,2,0,0);
         CommonTime testTime = testTime_civ.convertToCommonTime();

         SatID sid1(PRN1,SatID::systemGPS);
         SatID sid31(PRN31,SatID::systemGPS);

         Triple computedVelocity_1 = Store.getVelocity(sid1,testTime);
         Triple computedVelocity_31 = Store.getVelocity(sid31,testTime);

         Triple knownVelocity_1(1541.6040306,-2000.8516260,-1256.4479944);
         Triple knownVelocity_31(1165.3672035,-1344.4254143,2399.1497704);

         double relativeError;
         std::stringstream testMessageStream;
         std::string testMessageP2,
            testMessageP1 = "getVelocity obtained the wrong velocity in the ";
            //--------------------------------------------------------------------
            // Check that the computed position matches the known value for SatID 1
            //--------------------------------------------------------------------
         testMessageP2 = " direction for SatID 1";
         for (int i = 0; i < 3; i++)
         {
            testMessageStream << testMessageP1 << i << testMessageP2;
            relativeError = fabs(knownVelocity_1[i]  - computedVelocity_1[i]) /fabs(
               computedVelocity_1[i] );
            testFramework.assert( relativeError < epsilon , testMessageStream.str() ,
                                  __LINE__);
            testMessageStream.str(std::string());
         }

            //--------------------------------------------------------------------
            // Check that the computed position matches the known value for SatID 1
            //--------------------------------------------------------------------
         testMessageP2 = " direction for SatID 31";
         for (int i = 0; i < 3; i++)
         {
            testMessageStream << testMessageP1 << i << testMessageP2;
            relativeError = fabs(knownVelocity_31[i] - computedVelocity_31[i])/fabs(
               computedVelocity_31[i]);
            testFramework.assert( relativeError < epsilon , testMessageStream.str() ,
                                  __LINE__);
            testMessageStream.str(std::string());
         }
      }
      catch (...)
      {
         TUFAIL("Unexpected exception");
      }

      return testFramework.countFails();
   }
Example #5
0
//=============================================================================
// Test for getPosition
// Tests getPosition method in SP3EphemerisStore by comparing the outputs
// of the method to known values in two SP3 files--one with position and
// velocity values and one with only position values
//=============================================================================
   int getPositionTest (void)
   {
      TUDEF( "SP3EphemerisStore", "getPosition" );

      try
      {
         SP3EphemerisStore igsStore;
         igsStore.loadFile(inputSP3Data);

         const short PRN1 = 1;
         const short PRN31 = 31;

         CivilTime igsTime_civ(1997,4,6,2,0,0);
         CommonTime igsTime = igsTime_civ.convertToCommonTime();

         SatID sid1(PRN1,SatID::systemGPS);
         SatID sid31(PRN31,SatID::systemGPS);

         Triple computedPosition_igs1  = igsStore.getPosition(sid1,igsTime);
         Triple computedPosition_igs31 = igsStore.getPosition(sid31,igsTime);

         Triple knownPosition_igs1(-17432922.132,6688018.407,-18768291.053);
         Triple knownPosition_igs31(-5075919.490,25101160.691,-6633797.696);

         double relativeError;
         std::stringstream testMessageStream;
         std::string testMessageP1 = "getPosition obtained the wrong position in the ";
         std::string testMessageP2 = " direction for SatID 1";
            //--------------------------------------------------------------------
            // Check that the computed position matches the known value for SatID 1
            //--------------------------------------------------------------------
         for (int i = 0; i < 3; i++)
         {
            testMessageStream << testMessageP1 << i << testMessageP2;
            relativeError  = fabs(knownPosition_igs1[i]  - computedPosition_igs1[i]) /fabs(
               knownPosition_igs1[i] );
            testFramework.assert( relativeError < epsilon , testMessageStream.str() ,
                                  __LINE__);
            testMessageStream.str(std::string());
         }

            //--------------------------------------------------------------------
            // Check that the computed position matches the known value for SatID 31
            //--------------------------------------------------------------------
         testMessageP2 = " direction for SatID 31";
         for (int i = 0; i < 3; i++)
         {
            testMessageStream << testMessageP1 << i << testMessageP2;
            relativeError  = fabs(knownPosition_igs31[i]  -
                                  computedPosition_igs31[i]) /fabs(knownPosition_igs31[i] );
            testFramework.assert( relativeError < epsilon , testMessageStream.str() ,
                                  __LINE__);
            testMessageStream.str(std::string());
         }

         SP3EphemerisStore apcStore;
         apcStore.loadFile(inputAPCData);

         CivilTime apcTime_civ(2001,7,22,2,0,0);
         CommonTime apcTime = apcTime_civ.convertToCommonTime();

         Triple computedPosition_apc1 = apcStore.getPosition(sid1,apcTime);
         Triple computedPosition_apc31 = apcStore.getPosition(sid31,apcTime);

         Triple knownPosition_apc1(-5327654.053,-16633919.811,20164748.602);
         Triple knownPosition_apc31(2170451.938,-22428932.839,-14059088.503);

            //--------------------------------------------------------------------
            // Check that the computed position matches the known value for SatID 1
            //--------------------------------------------------------------------
         testMessageP2 = " direction for SatID 1";
         for (int i = 0; i < 3; i++)
         {
            testMessageStream << testMessageP1 << i << testMessageP2;
            relativeError = fabs(knownPosition_apc1[i]  - computedPosition_apc1[i]) /fabs(
               knownPosition_apc1[i] );
            testFramework.assert( relativeError < epsilon , testMessageStream.str() ,
                                  __LINE__);
            testMessageStream.str(std::string());
         }

            //--------------------------------------------------------------------
            // Check that the computed position matches the known value for SatID 31
            //--------------------------------------------------------------------
         testMessageP2 = " direction for SatID 31";
         for (int i = 0; i < 3; i++)
         {
            testMessageStream << testMessageP1 << i << testMessageP2;
            relativeError = fabs(knownPosition_apc31[i]  -
                                 computedPosition_apc31[i]) /fabs(knownPosition_apc31[i] );
            testFramework.assert( relativeError < epsilon , testMessageStream.str() ,
                                  __LINE__);
            testMessageStream.str(std::string());
         }
      }
      catch (...)
      {
         TUFAIL("Unexpected exception");
      }

      return testFramework.countFails();
   }
Example #6
0
//=============================================================================
// Test for getXvt.
// Tests the getXvt method in SP3EphemerisStore by comparing known
// results with the method's output for various time stamps in an
// SP3 file; also ensures nonexistent SatIDs throw an exception
//=============================================================================
   int getXvtTest (void)
   {
      TUDEF( "SP3EphemerisStore", "getXvt" );

      try
      {
         SP3EphemerisStore store;
         store.loadFile(inputSP3Data);

         stringstream outputStream1;
         stringstream outputStream15;
         stringstream outputStream31;

         const short PRN0 = 0; // Nonexistent in SP3 file
         const short PRN1 = 1;
         const short PRN15 = 15;
         const short PRN31 = 31;
         const short PRN32 = 32; // Nonexistent in SP3 file

         SatID sid0(PRN0,SatID::systemGPS);
         SatID sid1(PRN1,SatID::systemGPS);
         SatID sid15(PRN15,SatID::systemGPS);
         SatID sid31(PRN31,SatID::systemGPS);
         SatID sid32(PRN32,SatID::systemGPS);

         CivilTime eTime_civ(1997,4,6,6,15,0); // Time stamp of one epoch
         CommonTime eTime = eTime_civ.convertToCommonTime();
         CivilTime bTime_civ(1997,4,6,0,0,0); // Time stamp of first epoch
         CommonTime bTime = bTime_civ.convertToCommonTime();

         try
         {
               // Verify that an InvalidRequest exception is thrown when SatID is not in the data
            try
            {
               store.getXvt(sid0,bTime);
               TUFAIL("No exception thrown when getXvt looks for an invalid"
                      " SatID");
            }
            catch (InvalidRequest& e)
            {
               TUPASS("Expected exception thrown when getXvt looks for an invalid"
                      " SatID");
            }
            catch (...)
            {
               TUFAIL("Unexpected exception thrown when getXvt looks for an"
                      " invalid SatID");
            }

               // Verify that an InvalidRequest exception is thrown when SatID is not in the data
            try
            {
               store.getXvt(sid32,bTime);
               TUFAIL("No exception thrown when getXvt looks for an invalid"
                      " SatID");
            }
            catch (InvalidRequest& e)
            {
               TUPASS("Expected exception thrown when getXvt looks for an invalid"
                      " SatID");
            }
            catch (...)
            {
               TUFAIL("Unexpected exception thrown when getXvt looks for an"
                      " invalid SatID");
            }

               // Verify that no exception is thrown for SatID in the data set
            try
            {
               store.getXvt(sid1,eTime);
               TUPASS("No exception thrown when getXvt looks for a valid SatID");
            }
            catch (...)
            {
               TUFAIL("Exception thrown when getXvt looks for a valid SatID");
            }

            outputStream1 << store.getXvt(sid1,eTime);
            outputStream15 << store.getXvt(sid15,eTime);
            outputStream31 << store.getXvt(sid31,eTime);
         }

         catch (Exception& e)
         {
            cout << e;
         }

            //--------------------------------------------------------------------
            // Were the values set to expectation using the explicit constructor?
            //--------------------------------------------------------------------
         TUASSERTE(std::string, inputComparisonOutput1, outputStream1.str());
         TUASSERTE(std::string, inputComparisonOutput15, outputStream15.str());
         TUASSERTE(std::string, inputComparisonOutput31, outputStream31.str());
      }
      catch (...)
      {
         TUFAIL("Unexpected exception");
      }

      return testFramework.countFails();
   }
Example #7
0
int main(int argc, char *argv[])
{
   if (argc<2) {
      cout << "Usage: petest <SP3-format files ...>\n";
      return -1;
   }

   try
   {

      bool firstEpochFound=true;
      DayTime firstTime;
      DayTime lastTime;
      SatID firstSat;
         
      int i,ip,it,nf=0,np=0,nt=0;
      SP3EphemerisStore EphList;
      for(i=1; i<argc; i++) {
         SP3Header header;
         SP3Data data;
         
         // you can't open, close, and reopen a file w/o abort on second open...
         SP3Stream pefile;
         pefile.exceptions(ifstream::failbit);
         cout << "Reading SP3 file " << argv[i] << "." << endl;
         pefile.open(argv[i],ios::in);

         pefile >> header;
         data.version = header.version;
         
         //cout << "Dump header:\n";
         //header.dump(cout);
         //cout << endl;

         ip = it = 0;
         DayTime t(DayTime::BEGINNING_OF_TIME);

         while(pefile >> data) {
            if (firstEpochFound)
            {  
               firstSat = data.sat;
               firstTime = data.time;
               lastTime = firstTime;
               
               firstEpochFound=false;
            }

            if (data.time > lastTime) lastTime = data.time;
            
            if(data.time > t) {
               //cout << "Epoch " << data.time << endl;
               t = data.time;
               it++; nt++;
            }
            //data.dump(cout);
            ip++; np++;
         }
         cout << "\nDone with file " << argv[i] << ": read "
              << ip << " P/V records and " << it << " epochs." << endl;
         pefile.close();
         nf++;

         // add to store
         EphList.loadFile(string(argv[i]));
      }
      
      cout << "\nDone with " << nf << " files: read "
           << np << " P/V records and " << nt << " epochs." << endl;

      //EphList.dump(2);

      unsigned long ref;
      // choose a time tag within the data....
      DayTime tt = firstTime + (lastTime-firstTime)/2.;
      SatID tsat = firstSat;
      Xvt PVT;
      for(i=0; i<300; i++) {
         tt += 30.0;
         PVT = EphList.getXvt(tsat,tt);

         if (true) 
            cout << "LI " << tt << " P " << fixed
                 << setw(13) << setprecision(6) << PVT.x[0] << " "
                 << setw(13) << setprecision(6) << PVT.x[1] << " "
                 << setw(13) << setprecision(6) << PVT.x[2] << " "
                 << setw(13) << setprecision(6) << PVT.dtime
                 << " V "
                 << setw(13) << setprecision(6) << PVT.v[0] << " "
                 << setw(13) << setprecision(6) << PVT.v[1] << " "
                 << setw(13) << setprecision(6) << PVT.v[2] << " "
                 << setw(13) << setprecision(6) << PVT.ddtime
                 << endl;
      }
      
   }
   catch (Exception& e)
   {
      cout << e;
      exit(-1);
   }
   catch (...)
   {
      cout << "Caught an unknown exception" << endl;
      exit(-1);
   }

   return 0;
}