
5
Automated Statistical Testing for Embedded
Systems
∗
Jesse H. Poore, Lan Lin, Robert Eschbach, and
Thomas Bauer
CONTENTS
5.1 Introduction .............................................................................. 112
5.2 Understanding the Software Intensive System and Its Use .............................. 114
5.2.1 First principles ................................................................... 114
5.2.2 Building usage models ............................................................ 115
5.2.3 Software architecture ............................................................. 119
5.2.4 Assigning transition probabilities ................................................ ...