00000cab a22000003a 4500 UP-99796217608823618 Buklod 20231007234842.0 m |o d | ta 090511s xx d | ||r ||||| || DENGII eng Blundell, Colin Assume-guarantee testing. pp. 26 Verification techniques for component-based systems should ideally be able to predict properties of the assembled system through analysis of individual components before assembly. This work introduces such a modular technique in the context of testing. Assume-guarantee testing relies on the (automated) decomposition of key system-level requirements into local component requirements at design time. Developers can verify the local requirements by checking components in isolation; failed checks may indicate violations of system requirements, while valid traces from different components compose via the assume-guarantee proof rule to potentially provide system coverage. These local requirements also form the foundation of a technique for efficient predictive testing of assembled systems: given a correct system run, this technique can predict violations by alternative system runs without constructing those runs. We discuss the application of our approach to testing a multi-threaded NASA application, where we treat threads as components. Software. Software Engineering. Software / Program Verification. Requirements / Specifications. Testing and Debugging. Management. Software quality assurance (SQA). Verification. Software engineering notes. 31, 2 (2006). FO UPD DENG-II Article