Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.
Alessio FerrariGianluca MagnaniDaniele GrassoAlessandro FantechiMatteo TempestiniPublished in: Int. J. Embed. Real Time Commun. Syst. (2011)
Keyphrases
- abstract interpretation
- model based testing
- test cases
- termination analysis
- static analysis
- software development
- software design
- model checking
- active rules
- reasoning engine
- security policies
- sequence diagrams
- dynamic analysis
- software testing
- active databases
- information technology
- testing process
- test suite
- e government
- regression testing
- database
- reverse engineering
- integrity constraints