Uncertainty-wise Testing

There have been intensive discussion on uncertainty in software engineering as more and more systems operate deeply in the real world [1]. In the context of software engineering, uncertainty refers to aspects that make it impossible to fix everything at development time. There has been various classifications of uncertainty, 26 types of uncertainty were discussed in [5] in the context of dynamically adaptive systems. One example of uncertainty type is unpredictable environment where events and conditions relevant with the state transition cannot be fully predicted and fixed beforehand. This chapter presents an approach to explicitly handle the uncertain aspects through the development process from requirement models to executable tests.