Effective test suites for mixed discrete-continuous stateflow controllers

@inproceedings{Matinnejad2015EffectiveTS,
  title={Effective test suites for mixed discrete-continuous stateflow controllers},
  author={Reza Matinnejad and Shiva Nejati and Lionel C. Briand and Thomas Bruckmann},
  booktitle={ESEC/SIGSOFT FSE},
  year={2015}
}

• Reza Matinnejad, Shiva Nejati, +1 author Thomas Bruckmann
• Published 2015 in ESEC/SIGSOFT FSE
• DOI:10.1145/2786805.2786818

Modeling mixed discrete-continuous controllers using Stateflow is common practice and has a long tradition in the embedded software system industry. Testing Stateflow models is complicated by expensive and manual test oracles that are not amenable to full automation due to the complex continuous behaviors of such models. In this paper, we reduce the cost of manual test oracles by providing test case selection algorithms that help engineers develop small test suites with high fault revealing… CONTINUE READING

Save

Create Alert

Cite

View on ACM