CubeSat Flight Mode State Machine Unit Test Generation and Repair Dataset

#unit test generation #assertion repair #state machine testing #CubeSat flight software testing #satellite flight mode validation #spacecraft software reliability
Records
5000
Size
0.4GB
Format
JSON
Provider
MOBIUSI INCMOBIUSI INC
Updated
v1.02026-11-04
AI Analysis & Value Prop

Designed for small-satellite and CubeSat flight software, this dataset provides state machine source code, test task instructions, transition scenarios, expected behavior, and corresponding Python unit tests and assertion examples. It covers normal transitions, invalid transitions, and safety-mode paths, with tasks for both test generation and assertion repair. The dataset supports code SFT and evaluation of models that generate or repair tests based on spacecraft operating-mode logic; the number of examples depends on the supplied package.

Overview

Dataset Insights

Preview

Sample Examples

sample.json
{}

Schema

Technical Specifications

file_namestringFile name
task_typestringThe target task type inferred from the task instructions.
task_promptstringThe original instructions for test generation or assertion repair.
unit_test_codestringTarget unit test code in Python format, expressing the test scenarios and assertions.
repair_rationalestringFor assertion repair tasks, explains the issue with the original assertion and the basis for the correction; may be an empty string for generation tasks.
transition_casesarrayState transitions, trigger conditions, and expected behavior organized from the state machine logic for testing.
expected_behaviorstringA brief description of expected behavior on the test path, including state changes, rejection of invalid requests, or safety protections.
expected_assertionsarrayKey conditions or assertions that the unit test should verify.
implementation_sourcestringOriginal source code for the state machine, preserving the programming language and code content in the example.

Trust

Compliance Statement

Authorization Type

Proprietary - Commercial AI Training License (No Redistribution)

Commercial Use

Requires exclusive subscription or authorization contract (monthly or per-invocation charging)

Privacy and Anonymization

No PII, no real company names, simulated scenarios follow industry standards

Compliance System

Compliant with China's Data Security Law / EU GDPR / supports enterprise data access logs

FAQ

Frequently Asked Questions

What does the dataset contain?
Examples include state machine source code, test task instructions, task types, state transition scenarios, expected behavior, Python unit test code, expected assertions, and assertion repair rationale. The exact records depend on the supplied package.
Which test scenarios are covered?
The examples focus on flight mode state machines and cover normal transitions, invalid transition requests, and safety-mode behavior. They can support training or evaluation of test generation for state changes, error handling, and safety protections.
Which training tasks is it suited for?
It is suited to code SFT, unit test generation, test assertion repair, and state transition testing. The test code field uses Python test code format and may need adaptation to a target project's language, framework, and interfaces.
How can I obtain the data, and what are the licensing terms?
Refer to the product page or data provider for the delivery method. Before use, confirm the applicable license scope, permitted use cases, and redistribution restrictions; no specific license terms are provided here.

Can't find the data you need?

Post a request and let data providers reach out to you.

Get this Dataset

High-quality data, ready for your next AI breakthrough.

Cite this Work

@dataset{Mobiusi2026,
  title={CubeSat Flight Mode State Machine Unit Test Generation and Repair Dataset},
  author={MOBIUSI INC},
  year={2026},
  url={https://www.mobiusi.com/datasets/d1a189d4f77c2d644ff51c1ff4288095?dataset_scene_id=20},
  urldate={2026-10-19},
  keywords={CubeSat test data,flight mode state machine,spacecraft unit tests,code SFT dataset,test generation dataset,assertion repair,state transition testing,small satellite flight software},
  version={1.0}
}

Using this in research? Please cite us.

placeholder
placeholder
placeholder
placeholder
placeholder
placeholder
placeholder

Popular Dataset Searches