A Modular Approach to Specify and Test anElectrical Flight Control

@inproceedings{DOCHE1999AMA,
  title={A Modular Approach to Specify and Test anElectrical Flight Control},
  author={SystemMarielle DOCHE and Christel Seguin},
  year={1999}
}
The goal of this paper is to describe how to apply a rigorous framework for modular speciication and validation to a real-time critical system. We are especially interested in generation of functional test sets from a structured speciication of the system. We adopt a theoretical framework for black-box testing from formal spec-iications. Thanks to our… CONTINUE READING