Advances on testing safety-critical software goal-driven approach, prototype-tool and comparative evaluation.
Guido PennellaChristian Di BiagioGianfranco PesceGiovanni CantonePublished in: ICSOFT (1) (2006)
Keyphrases
- comparative evaluation
- safety critical
- goal driven
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- software intensive systems
- agent architecture
- software product line
- support systems
- test cases
- service composition
- artificial intelligence
- test suite
- software systems
- adaptive systems
- life cycle
- software development
- fault model
- decision making