A Methodology of Model-Based Testing for AADL Flow Latency in CPS.

Yufeng Zhu Yunwei Dong Chunyan Ma Fan Zhang

Published in: SSIRI (Companion) (2011)

Keyphrases

model based testing
test cases
test case generation
software testing
software development
test data
test set
sequence diagrams
test sequences
software design
testing process
security policies
test generation
regression testing
real world
support vector
artificial intelligence