A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
IFIP Advances in Information and Communication Technology
In this paper we present the tool iATS (integrated Automatic Iest §.equence generator) for generation of conformance tests in development of digital switching systems SI2000. ... The tool generates test cases in TTCN form from an SDL specification of the service or protocol under test. Test cases are derived by implemented FSM-based methods. ... Stojsavljevic from IskraTEL for constructive comments and provision of a platform for test scenario execution on the real system. ...doi:10.1007/978-0-387-35567-2_22 fatcat:rzb5rm45z5hunajy6p4omygbqe
Each change in the specification of the product should be immediately checked formally against the requirements' specification. ... We demonstrate the applicability of our approach on ISDN User adaptation protocol from SI3000 Softswitch. The extracted Promela model is the largest one ever processed by Spin. ... It extracts verification models automatically from implementation level C code under the guidance of a test-harness, specified by a user in a separate file. ...doi:10.1109/access.2017.2685238 fatcat:ijprig363ncsjgrkxgobdfalym