2 Hits in 3.9 sec

Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in Iskratel [chapter]

Marjeta Frey-Pučko, Monika Kapus-Kolar, Roman Novak
1999 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

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik
2017 IEEE Access  
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