Graph Theory Techniques in ModelBased Testing基于模型测试的图论技术.pptVIP

Kumeel Alsmail COMP 587 Outline The traditional software testing. Modeling. Model Based-Testing. Graph Theory. Testing Example. Random Walk. Markov Chain. The Traditional Software Testing.  The TS suffer from pesticide paradox. Pesticide Paradox: Every method you use to prevent or find bugs leaves a residue of subtler bugs against which those methods are ineffectual. Test Scenarios are difficult to change. Solution: Model based-testing. Modeling “ Is a way of representing the behavior of a system”. Finite State Machine Model Based-Testing Constructing the behavioral models c