Transmission Diagnostic State Machine Code Verification Dataset

#code verification #state transition validation #defect localization #root-cause analysis #automotive transmission diagnostics #state machine validation #automotive software debugging

5000
0.2GB
JSON
CATL
MOBIUSI INC

Updated:2026-11-04

AI Analysis & Value Prop

Focused on transmission control unit diagnostics, this dataset provides state machine Python source code, transition constraints, verification results, and annotations for defects and their root causes. It covers fault detection, diagnostic state transitions, and fault recovery, and supports evaluation of constraint compliance, defect localization, and root-cause analysis for automotive software verification and domain-specific model assessment.

Dataset Insights

Sample Examples

{}

Technical Specifications

Field	Type	Description
file_name	string	File name
source_code	string	Python source code for the transmission diagnostic state machine to be verified.
defect_count	integer	Total number of state machine defects identified during validation.
validation_passed	boolean	Indicates whether the state machine code satisfies the given state transition constraints.
diagnostic_defects	array	Defects identified during validation, including their locations, causes, and suggested fixes.
root_cause_summary	string	Summary of the main causes of state machine defects and their effects on diagnostics or fault recovery.
transition_constraints	string	JSON text specifying permitted diagnostic states, transition conditions, and related constraints.
verified_transition_count	integer	Number of state transitions checked during validation.

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?: It includes Python source code for transmission diagnostic state machines, transition constraints recorded as JSON text, pass or fail results, and verification counts. Defect annotations describe locations, causes, suggested fixes, and summarized root causes.

Which verification tasks does it support?: Use it to evaluate compliance with state transition constraints, identify diagnostic state machine defects, analyze root causes in fault detection or recovery logic, and assess model debugging capabilities for automotive control software.

Does it include dataset size or quality metrics?: Each record provides the number of verified transitions, the defect count, and a validation result for sample-level analysis. Check the product details or accompanying documentation for the total sample count, coverage, and quality review process.

How can I obtain the data, and what licensing applies?: Refer to the dataset product page for available access methods, file formats, and license terms. Before use, confirm whether the license covers your intended activities, such as training, evaluation, commercial use, or code redistribution.

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={Transmission Diagnostic State Machine Code Verification Dataset},
  author={MOBIUSI INC},
  year={2026},
  url={https://www.mobiusi.com/datasets/4b26968e42f60c5411f642b8bae8e582?dataset_scene_id=1},
  urldate={2026-10-20},
  keywords={transmission diagnostic dataset,state machine code verification,automotive software testing,transmission control unit,fault diagnosis logic,state transition verification,code defect detection,root cause analysis},
  version={1.0}
}

Using this in research? Please cite us.

placeholder

Scene

Domain

Modality

Task