Abstract
AbstractThe testing exercises comprise designing test cases that are sequences of inputs, executing the program with test cases, and examining the outcomes created by this execution. Model-based testing (MBT) has better approach than code-based testing as test case generation from source code proves to be inadequate to detect state-based faults. This chapter presents our work concerning MBT, state-based test case generation using state chart diagram. In this chapter, we first review the main concepts and techniques in MBT. Then in the next step, we review the most common modeling formalisms for state chart diagram, focusing on various state-based coverage criteria. We address two case studies to implement the models. Subsequently, we propose methods for synchronous state-based testing approach to generate test cases.KeywordsState-based testing (SBT)State-based faultsCoverage criteriaState chart diagram
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
