What type of issue is this?
Prerequisites
Description
Umbrella tracker for expanding SysML2.NET.Serializer.TextualNotation.Tests.Writers.TextualNotationValidationTestFixture to cover the full set of validation models distributed with the OMG SysML v2 Pilot Implementation.
Today only the three files of 01-Parts Tree (1a, 1c, 1d) are exercised by the fixture (added in #272 / #283). The Pilot Implementation ships with 17 validation folders covering every major SST module — Parts Tree, Parts Interconnection, Function-based Behavior, Functional Allocation, State-based Behavior, Individuals & Snapshots, Variant Configuration, Requirements, Verification, Analysis & Trades, View & Viewpoint, Dependency Relationships, Model Containment, Language Extensions, Properties/Values/Expressions, Sequence Modeling, and Use Case.
Bringing every Pilot validation file under the round-trip test (XMI deserialize → textual-notation build → assert non-empty output, with extension of the existing harness to also diff against a reference rendering where appropriate) is the single best regression net we can build for the textual notation writer. Every grammar bug fixed in the writer should at minimum trip one of these files; conversely, any file that builds clean here is a high-confidence signal that the corresponding SST module is covered end-to-end.
Scope per folder
For each Pilot validation folder:
- Convert each
*.sysml source from https://github.com/Systems-Modeling/SysML-v2-Pilot-Implementation/tree/master/sysml/src/validation/<folder>/ into the *.sysmlx (XMI) representation consumed by the DeSerializer, and add it under SysML2.NET.Serializer.TextualNotation.Tests/Validation/<folder>/.
- Mark each new resource with
CopyToOutputDirectory in the test project so it lands under the Validation/<folder>/ test-context directory.
- Add a
[TestCase("<folder>", "<file>.sysmlx")] line per file to VerifyValidationTextualNotationXmi in SysML2.NET.Serializer.TextualNotation.Tests/Writers/TextualNotationValidationTestFixture.cs.
- If the writer throws or produces obviously wrong output for any file, log it on the per-folder issue and either fix it directly or open a focused follow-up (do not silence the test).
Sub-issues (one per folder)
Folder 01-Parts Tree is already covered, but is listed here for completeness. Each child issue tracks the work for one folder and references this umbrella issue.
(Folder 16 is not present in the Pilot validation tree.)
Acceptance
- All Pilot validation folders are represented in
SysML2.NET.Serializer.TextualNotation.Tests/Validation/.
TextualNotationValidationTestFixture.VerifyValidationTextualNotationXmi runs at least one [TestCase] per file and the suite passes green.
- Any writer/grammar defects surfaced by a folder are either fixed in the same PR or filed as a focused follow-up issue and linked back to the relevant per-folder issue.
Steps to Reproduce
System Configuration
- SysML2.NET version: 0.22.0 (in progress on
feat/bump-deps)
- Environment (Operating system, version and so on): Windows 11
- .NET Framework version: .NET 10 / netstandard2.1
- Additional information: source models live in
https://github.com/Systems-Modeling/SysML-v2-Pilot-Implementation/tree/master/sysml/src/validation
What type of issue is this?
Prerequisites
Description
Umbrella tracker for expanding
SysML2.NET.Serializer.TextualNotation.Tests.Writers.TextualNotationValidationTestFixtureto cover the full set of validation models distributed with the OMG SysML v2 Pilot Implementation.Today only the three files of
01-Parts Tree(1a,1c,1d) are exercised by the fixture (added in #272 / #283). The Pilot Implementation ships with 17 validation folders covering every major SST module — Parts Tree, Parts Interconnection, Function-based Behavior, Functional Allocation, State-based Behavior, Individuals & Snapshots, Variant Configuration, Requirements, Verification, Analysis & Trades, View & Viewpoint, Dependency Relationships, Model Containment, Language Extensions, Properties/Values/Expressions, Sequence Modeling, and Use Case.Bringing every Pilot validation file under the round-trip test (XMI deserialize → textual-notation build → assert non-empty output, with extension of the existing harness to also diff against a reference rendering where appropriate) is the single best regression net we can build for the textual notation writer. Every grammar bug fixed in the writer should at minimum trip one of these files; conversely, any file that builds clean here is a high-confidence signal that the corresponding SST module is covered end-to-end.
Scope per folder
For each Pilot validation folder:
*.sysmlsource fromhttps://github.com/Systems-Modeling/SysML-v2-Pilot-Implementation/tree/master/sysml/src/validation/<folder>/into the*.sysmlx(XMI) representation consumed by theDeSerializer, and add it underSysML2.NET.Serializer.TextualNotation.Tests/Validation/<folder>/.CopyToOutputDirectoryin the test project so it lands under theValidation/<folder>/test-context directory.[TestCase("<folder>", "<file>.sysmlx")]line per file toVerifyValidationTextualNotationXmiinSysML2.NET.Serializer.TextualNotation.Tests/Writers/TextualNotationValidationTestFixture.cs.Sub-issues (one per folder)
Folder
01-Parts Treeis already covered, but is listed here for completeness. Each child issue tracks the work for one folder and references this umbrella issue.01-Parts Tree— already covered (1a, 1c, 1d)02-Parts Interconnection— see 28903-Function-based Behavior— see 29004-Functional Allocation— see 29105-State-based Behavior— see 29206-Individual and Snapshots— see 29307-Variant Configuration— see 29408-Requirements— see 29509-Verification— see 29610-Analysis and Trades— see 29711-View and Viewpoint— see 29812-Dependency Relationships— see 29913-Model Containment— see 30014-Language Extensions— see 30115-Properties-Values-Expressions— see 30217-Sequence Modeling— see 30318-Use Case— see 304(Folder
16is not present in the Pilot validation tree.)Acceptance
SysML2.NET.Serializer.TextualNotation.Tests/Validation/.TextualNotationValidationTestFixture.VerifyValidationTextualNotationXmiruns at least one[TestCase]per file and the suite passes green.Steps to Reproduce
System Configuration
feat/bump-deps)https://github.com/Systems-Modeling/SysML-v2-Pilot-Implementation/tree/master/sysml/src/validation