This repository was archived by the owner on Oct 7, 2025. It is now read-only.
Commit bd2e67f
authored
Add framework for structuring expected results for Example Models (#17)
* feat(models): begin work on model integration testing framework
* feat: add preliminary result containers for each example model and most case studies
* fix: fix reference to misnamed model
* feat: remove dependency on unique ids
* feat(pcm-models): implement and add all violations and corresponding constraints
* feat(dfd-models): implement expected violations for dfd models
* feat: add pcm extension test models
* refactor: rename casestudies to scenarios
* refactor(models): move pcm models with real constraint to scenarios
* refactor(models): move dfd models with real constraint to scenarios
* refactor(results): move results to their respective package (e.g. models or scenarios)
* feat(bankbranches): update to nodecharacteristics and data dictionary
* feat(bankbranches): add constraint and expected violations
* feat(scenarios): remove scenarios without updated characteristic files
* ci(targetplatform): add analysis to targetplatform
* feat(scenarios): add second constraint of the bank branches scenario model1 parent bcd7190 commit bd2e67f
File tree
492 files changed
+28790
-4650
lines changed- bundles/org.dataflowanalysis.examplemodels
- META-INF
- casestudies/CoCarNextGen_Base
- .settings
- models
- DFDTestModels
- OnlineShopDFDsimple
- OnlineShopDFD
- dfd
- Branching
- ComplexPseudoCycle
- DeadOutPin
- Minimal
- SimpleLoop
- UnusedInput
- WrongFlowName
- pcm
- CompositeCharacteristics
- IgnoredNodes
- MultipleDeployments
- NodeCharacteristics
- VariableReturn
- scenarios
- dfd
- OnlineShop
- SimpleOnlineShop
- TUHH-Models
- anilallewar
- apssouza22
- callistaenterprise
- ewolff-kafka
- ewolff
- fernandoabcampos
- georgwittberger
- jferrater
- koushikkothagal
- mdeket
- mudigal-technologies
- rohitghatol
- spring-petclinic
- sqshq
- yidongnan
- pcm
- BankBranches
- BranchingOnlineShop
- CoCarNextGen
- CoronaWarnApp
- InternationalOnlineShop
- MaaSTicketSystem
- TravelPlanner
- src/org/dataflowanalysis/examplemodels/results
- dfd
- models
- scenarios
- pcm
- models
- scenarios
- releng/org.dataflowanalysis.examplemodels.targetplatform
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
492 files changed
+28790
-4650
lines changedLines changed: 13 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | | - | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
8 | 12 | | |
9 | 13 | | |
10 | | - | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
11 | 22 | | |
Lines changed: 0 additions & 2 deletions
This file was deleted.
Lines changed: 0 additions & 129 deletions
This file was deleted.
0 commit comments