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

5000
0.4GB
JSON
CATL
MOBIUSI INC

Updated:2026-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.

Dataset Insights

Sample Examples

{}

Technical Specifications

Field	Type	Description
file_name	string	File name
task_type	string	The target task type inferred from the task instructions.
task_prompt	string	The original instructions for test generation or assertion repair.
unit_test_code	string	Target unit test code in Python format, expressing the test scenarios and assertions.
repair_rationale	string	For 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_cases	array	State transitions, trigger conditions, and expected behavior organized from the state machine logic for testing.
expected_behavior	string	A brief description of expected behavior on the test path, including state changes, rejection of invalid requests, or safety protections.
expected_assertions	array	Key conditions or assertions that the unit test should verify.
implementation_source	string	Original source code for the state machine, preserving the programming language and code content in the example.

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

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

Verified for Enterprise Use

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},
  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

Scene

Domain

Modality

Task