Technology Aspects of State Explosion Problem Resolving for Industrial Software Design

Pavel Drobintsev, Vsevolod Kotlyarov, Igor Nikiforov
2013 unpublished
The paper describes technology aspects of proposed solution for resolving of state explosion problem. The main point is in usage of guides which can be created both manually and automatically and allow to reduce state space during trace generation process. The following techniques is described: traceability tracking of requirements, guides generation based on selected criterion, guides analysis in case of problems with traces generation. Usage of described techniques in verification and testing
more » ... ication and testing phases of software development allow to resolve problem of state exposure for industrial projects.
doi:10.15514/syrcose-2013-7-7 fatcat:ig3hlvv3qbd45ot2khrftx5lka