Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.
1. Cover image - p. iv 2. Title page - p. iv 3. Table of Contents - p. iv 4. Copyright - p. iv 5. Preface - p. vii 6. Chapter One: Pitfalls and Countermeasures in Software Quality Measurements and Evaluations - p. ix 7. Chapter Two: Uncertainty-Wise Testing of Cyber-Physical Systems - p. 22 8. Chapter Three: Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey - p. 94 9. Chapter Four: Advances in Testing Software Product Lines - p. 155 10. Chapter Five: Advances in Model-Based Testing of Graphical User Interfaces - p. 217
Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.
1. Cover image - p. iv 2. Title page - p. iv 3. Table of Contents - p. iv 4. Copyright - p. iv 5. Preface - p. vii 6. Chapter One: Pitfalls and Countermeasures in Software Quality Measurements and Evaluations - p. ix 7. Chapter Two: Uncertainty-Wise Testing of Cyber-Physical Systems - p. 22 8. Chapter Three: Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey - p. 94 9. Chapter Four: Advances in Testing Software Product Lines - p. 155 10. Chapter Five: Advances in Model-Based Testing of Graphical User Interfaces - p. 217
