exec_validator.cpp

Go to the documentation of this file.

// Copyright 2025-2026 ExoSpaceLabs
// SPDX-License-Identifier: Apache-2.0
 
 
#include <unordered_map>
#include <string>
#include <vector>
#include <iostream>
#include <chrono>
#include <fstream>
#include <sstream>
#include "CCSDSPack.h"
#include "exec_utils.h"
#include "../test/inc/TestManager.h"
 
 
void printHelp() {
  // ascii art generated on https://www.asciiart.eu/text-to-ascii-art
  // with ANSI SHADOW Font, with 80 and Block frame
  std::cout << std::endl <<
  "▐▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▌\n"
  "▐         ██████╗ ██████╗███████╗██████╗ ███████╗                          ▌\n"
  "▐        ██╔════╝██╔════╝██╔════╝██╔══██╗██╔════╝                          ▌\n"
  "▐        ██║     ██║     ███████╗██║  ██║███████╗                          ▌\n"
  "▐        ██║     ██║     ╚════██║██║  ██║╚════██║   █▀█░█▀█░█▀▀░█░█░       ▌\n"
  "▐        ╚██████╗╚██████╗███████║██████╔╝███████║   █▀▀░█▀█░█░░░█▀▄░       ▌\n"
  "▐         ╚═════╝ ╚═════╝╚══════╝╚═════╝ ╚══════╝   ▀░░░▀░▀░▀▀▀░▀░▀░       ▌\n"
  "▐  ██╗   ██╗ █████╗ ██╗     ██╗██████╗  █████╗ ████████╗ ██████╗ ██████╗   ▌\n"
  "▐  ██║   ██║██╔══██╗██║     ██║██╔══██╗██╔══██╗╚══██╔══╝██╔═══██╗██╔══██╗  ▌\n"
  "▐  ██║   ██║███████║██║     ██║██║  ██║███████║   ██║   ██║   ██║██████╔╝  ▌\n"
  "▐  ╚██╗ ██╔╝██╔══██║██║     ██║██║  ██║██╔══██║   ██║   ██║   ██║██╔══██╗  ▌\n"
  "▐   ╚████╔╝ ██║  ██║███████╗██║██████╔╝██║  ██║   ██║   ╚██████╔╝██║  ██║  ▌\n"
  "▐    ╚═══╝  ╚═╝  ╚═╝╚══════╝╚═╝╚═════╝ ╚═╝  ╚═╝   ╚═╝    ╚═════╝ ╚═╝  ╚═╝  ▌\n"
  "▐▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▌\n"
  << std::endl;
  std::cout << "Usage: ccsds_validator [OPTIONS] - take a binary file holding CCSDS packets and validates it." << std::endl;
  std::cout << "Mandatory parameters:" << std::endl;
  std::cout << " -i or --input <filename>  : input file to be encoded" << std::endl;;
  std::cout << std::endl;
  std::cout << "Optionals:" << std::endl;
  std::cout << " -c or --config <filename> : Configuration file" << std::endl;
  std::cout << " -h or --help              : Show this help and message" << std::endl;
  std::cout << " -v or --verbose           : Show packet specific report" << std::endl;
  std::cout << " -p or --print-packets     : Show generated packets information" << std::endl;
  std::cout << std::endl;
  std::cout << "Note : If config file is provided, the loaded packets are validated against the the template packet." << std::endl;
  std::cout << std::endl;
  std::cout << "For further information please visit: https://github.com/ExoSpaceLabs/CCSDSPack" << std::endl;
}
 
std::string printReport(const std::vector<bool>& report, bool& result, const bool validateAgainstTemplate) {
 
  std::string packetReport = "  [REPORT] Data Field Length and Primary Header       : ";
  packetReport += (report[0]) ? GREEN  + "Passed\n" +  RESET : RED +  "failed\n" + RESET;
  packetReport += "  [REPORT] CRC15 value coherence                      : " ;
  packetReport += (report[1]) ? GREEN  + "Passed\n" +  RESET : RED +  "failed\n" + RESET;
  packetReport += "  [REPORT] Sequence Control flags and count coherence : " ;
  packetReport += (report[2]) ? GREEN  + "Passed\n" +  RESET : RED +  "failed\n" + RESET;
  packetReport += "  [REPORT] Sequence Control count coherence           : " ;
  packetReport += (report[3]) ? GREEN  + "Passed\n" +  RESET : RED +  "failed\n" + RESET;
 
  result = report[0] && report[1] && report[2] && report[3];
  if (validateAgainstTemplate){
    packetReport += "  [REPORT] Identification and Version                 : " ;
    packetReport += (report[4]) ? GREEN  + "Passed\n" +  RESET : RED +  "failed\n" + RESET;
    packetReport += "  [REPORT] Template Sequence Control                  : " ;
    packetReport += (report[5]) ? GREEN  + "Passed\n" +  RESET : RED +  "failed\n" + RESET;
    result = result && report[4] && report[5];
  }
  return packetReport;
}
 
void stripAnsiCodes(std::string& input) {
  std::string output;
  output.reserve(input.size());  // Avoids reallocations
 
  for (size_t i = 0; i < input.size(); ) {
    if (input[i] == '\033' && i + 1 < input.size() && input[i + 1] == '[') {
      // Skip ANSI escape sequence
      i += 2;
      while (i < input.size() && (input[i] < '@' || input[i] > '~')) {
        ++i;
      }
      if (i < input.size()) ++i; // skip final 'm' or other final char
    } else {
      output += input[i++];
    }
  }
 
  input = std::move(output);
}
 
int main(const int argc, char* argv[]) {
  std::string appName = "ccsds_validator";
 
  std::unordered_map<std::string, std::string> allowed;
  allowed.insert({"h", "help"});
  allowed.insert({"v", "verbose"});
  allowed.insert({"i", "input"});
  allowed.insert({"c", "config"});
  allowed.insert({"p", "print-packets"});
 
  const std::set<std::string> booleanArgs{"verbose", "help", "print-packets"};
 
  std::unordered_map<std::string, std::string> args;
  args.insert({"verbose", "false"});
  args.insert({"print", "false"});
  args.insert({"print-packets", "false"});
 
  const auto start = std::chrono::high_resolution_clock::now();
  if (const auto res = parseArguments(argc, argv, allowed, args, booleanArgs); !res.has_value()) {
    std::cerr << "[ Error " << res.error().code() << " ]: "<<  res.error().message() << std::endl ;
    return res.error().code();
  }
   // std::cout << "Parsed args:\n";
   //for (const auto& [k, v] : args) {
   //  std::cout << "  " << k << ": " << v << '\n';
   //}
  if (args["help"] == "true") {
    printHelp();
    return 0;
  }
  bool verbose{args["verbose"] == "true"};
 
  if (args.find("input") == args.end()) {
    std::cerr << "[ Error " << ARG_PARSE_ERROR << " ]: " << "Input file must be specified" << std::endl;
    printHelp();
    return ARG_PARSE_ERROR;
  }
 
  if (!fileExists(args["input"])) {
    std::cerr << "[ Error " << ARG_PARSE_ERROR << " ]: " << "Input \"" << args["input"] << "\" does not exist" << std::endl;
    return ARG_PARSE_ERROR;
  }
  const std::string input{args["input"]};
 
  CCSDS::Manager manager;
  CCSDS::Validator validator;
  std::vector<uint8_t> inputBytes;
  bool isConfigProvided{false};
 
  manager.setAutoValidateEnable(false);
  manager.setDataFieldSize(64*1023 ); // 1M Bytes * packet
  manager.setAutoUpdateEnable(false);
  customConsole(appName,"reading data from " + input);
  if (const auto res = readBinaryFile(input); !res.has_value()) {
    std::cerr << "[ Error " << res.error().code() << " ]: "<<  res.error().message() << std::endl ;
    return res.error().code();
  }else {
    inputBytes = res.value();
  }
 
  customConsole(appName, "deserializing CCSDS packets from file");
  if (const auto res = manager.load(inputBytes); !res.has_value()) {
    std::cerr << "[ Error " << res.error().code() << " ]: "<<  res.error().message() << std::endl ;
    return res.error().code();
  }
 
  // config argument specified
  if (args.find("config") != args.end()) {
    isConfigProvided = true;
    if (!fileExists(args["config"])) {
      std::cerr << "[ Error " << ARG_PARSE_ERROR << " ]: " << "Config \"" << args["config"] << "\" does not exist" << std::endl;
      return ARG_PARSE_ERROR;
    }
    const std::string configFile{args["config"]};
 
    // prepare template packet
    customConsole(appName,"reading CCSDS configuration file: " + configFile);
    Config cfg;
 
    {
      if (auto res = cfg.load(configFile); !res.has_value()) {
        std::cerr << "[ Error " << res.error().code() << " ]: "<<  res.error().message() << std::endl ;
        return res.error().code();
      }
    }
    CCSDS::Packet templatePacket;
    templatePacket.loadFromConfig(cfg);
    validator.setTemplatePacket(templatePacket);
    validator.configure(true,true,true);
  }// end if config provided
 
  validator.configure(true,true,false);
 
  if (verbose) customConsole(appName,"printing data to screen:");
 
  std::vector<std::vector<bool>> reports;
  std::string reportsStream;
  bool overallResult{true};
  std::int32_t packetIndex{1};
  std::vector<int> failedPackets;
  const bool printPackets{args["print-packets"] == "true"};
 
  for (auto &packet : manager.getPackets()) {
    if (verbose) std::cout << "[ CCSDS VALIDATOR ] Printing Packet [ " << packetIndex << " ]: " << std::endl;
    reportsStream += "[ CCSDS VALIDATOR ] Packet report for id: [ " + std::to_string(packetIndex) + " ]\n";
    if (printPackets) printPacket(packet);
    validator.validate(packet);
    auto report = validator.getReport();
    reports.emplace_back(report);
    bool currentResult{false};
    std::string appendReport = printReport(report,currentResult, isConfigProvided);
    overallResult = overallResult && currentResult;
    reportsStream += appendReport;
    if (verbose) std::cout << appendReport << std::endl;
    if (verbose) std::cout << "[ CCSDS VALIDATOR ] Packet Result [ ";
    if (verbose && currentResult) std::cout << GREEN;
    else if (verbose) {
      std::cout << RED;
    }
    if (verbose && currentResult) std::cout <<  "PASSED" ;
    else if (verbose) {
      std::cout << "FAILED";
    }
    if (verbose) std::cout << RESET << " ]" << std::endl;
    if (!currentResult) failedPackets.push_back(packetIndex);
    packetIndex++;
  }
 
  if (!failedPackets.empty() && verbose) {
    std::string failedPacketsStream;
    failedPacketsStream = "[ CCSDS VALIDATOR ] Packets failed validation: [ ";
    for (const auto& packetID : failedPackets) {
      failedPacketsStream += std::to_string(packetID) + " ";
    }
    failedPacketsStream += "]\n" ;
    std::cout << failedPacketsStream << std::endl;
    reportsStream += failedPacketsStream;
  }
  std::string resultString = (overallResult) ? GREEN + "PASSED" + RESET : RED + "FAILED" + RESET;
  reportsStream += "[ CCSDS VALIDATOR ] Packets validation [" + resultString + "]";
  customConsole(appName,"Packets validation [" + resultString + "]");
 
 
  const auto end = std::chrono::high_resolution_clock::now();
  const auto duration = std::chrono::duration_cast<std::chrono::microseconds>(end - start);
  customConsole(appName,"execution time: " + std::to_string(duration.count()) + " [us]");
  if (!overallResult) {
    customConsole(appName,"[ Exit code 18 ]");
    return PACKET_VALIDATION_FAILED;
  }
  customConsole(appName,"[ Exit code 0 ]");
  return 0;
}