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 application/pdf.
Filters
Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in Iskratel
[chapter]
1999
IFIP Advances in Information and Communication Technology
Preserved Fulltext
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
2017
IEEE Access
Preserved Fulltext
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 application/pdf.
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