A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Formal specification-based conformance testing
1986
Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols - SIGCOMM '86
Preserved Fulltext
The test design technique used to derive a conformance test suite is semi-forma.1 based in part on the formal specification and also the informal specification. ...
The paper discusses the "se of formal specifications for conformance testing of OS1 protocols and divides the discussion in two parts: test design and tester design. ...
The test design is based on the informal specification [IS 80731, although some information derived from the formal specification is used to supplement it. ...
doi:10.1145/18172.18199
dblp:conf/sigcomm/Sarikaya86
fatcat:4yiwlmjvb5e2xiukvcyupkl62e
Formal specification-based conformance testing
1986
Computer communication review
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 2017; you can also visit the original URL.
The file type is application/pdf.
The test design technique used to derive a conformance test suite is semi-forma.1 based in part on the formal specification and also the informal specification. ...
The paper discusses the "se of formal specifications for conformance testing of OS1 protocols and divides the discussion in two parts: test design and tester design. ...
The test design is based on the informal specification [IS 80731, although some information derived from the formal specification is used to supplement it. ...
doi:10.1145/1013812.18199
fatcat:iadptcylsvcsdot45nnto26a7m
A Conformance Testing Framework for Applying Test Purposes
[chapter]
1995
Protocol Test Systems
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 2018; you can also visit the original URL.
The file type is application/pdf.
Since the generating test cases from the specification is a difficult work, formal methods of generating test cases are being discussed in the Formal Methods in Conformance Testing(FMCT) groups. ...
In this paper, we suggest a framework for applying test purposes in various stages of formal specification represesentation, which eventually reduces the problem size of a protocol. ...
FMCT(Formal Methods in Conformance Testing) group, which was organized in 1989 within ISO SC21IWG I, is one of the groups which performs such efforts by formalizing the process of conformance testing based ...
doi:10.1007/978-0-387-34883-4_20
fatcat:fkeclvcnrzaepkdopvqro5vgti
Testing Concurrent Systems: A Formal Approach
[chapter]
1999
Lecture Notes in Computer Science
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 2017; you can also visit the original URL.
The file type is application/pdf.
A framework for testing based on formal specifications is presented. ...
This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation. ...
Acknowledgement Numerous people, in particular the participants in the ISO/ITU-T standardization group on "Formal Methods in Conformance Testing", the partners in the Côte de Resyste research project, ...
doi:10.1007/3-540-48320-9_6
fatcat:p5immsyol5gkxhcndk7tlb7wnq
Enabling verification and conformance testing for access control model
2008
Proceedings of the 13th ACM symposium on Access control models and technologies - SACMAT '08
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 2017; you can also visit the original URL.
The file type is application/pdf.
Also, we systematically articulate testing cases from formal specifications and validate conformance to the system design and implementation using those cases. ...
Our methodology attempts to verify formal specifications of a role-based access control model and corresponding policies with selected security properties. ...
Furthermore, the generated test cases are used to check conformance to the formal specification. ...
doi:10.1145/1377836.1377867
dblp:conf/sacmat/HuA08
fatcat:kf5noufm2fgxdnw4awxlrd2nmq
A Formal Model of Conformity Testing of Inheritance for Object Oriented Constraint Programming
2013
International Journal of Software Engineering and Its Applications
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 2015; you can also visit the original URL.
The file type is application/pdf.
The implementation of this approach is based on a random generation of test data and analysis by formal proof. , ,and the relation (R) form the theoretical basis that will be used to test the conformity ...
This paper presents an approach for extending the constraint model defined for conformity testing of a given method of class to its overriding method in subclass using inheritance principle. ...
The second test concerns the conformity testing of withdraw (2) that is based on the conformity testing of withdraw (1 ) (Figure 5 ): Conformity Testing for withdraw (1) : In order to test the ...
doi:10.14257/ijseia.2013.7.5.19
fatcat:itvrk3ctmrcznjcubl6lpxtqfi
A Formal Model of Robustness Testing for an Object-Oriented Specification
2016
International Journal of Software Engineering and Its Applications
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 2018; you can also visit the original URL.
The file type is application/pdf.
The work presented in this paper proposes a formal model of constraints for testing the conformity of an implementation from its specification. ...
In an OO testing, the test data generation is based on the valid input data that satisfy the precondition constraints, and is used to testing the conformity of a class implementation from its specification ...
In [17] the paper gives a description of testing methods based on algebraic specifications, and a brief presentation of some tools and case studies, and presents some applications to other formal methods ...
doi:10.14257/ijseia.2016.10.3.15
fatcat:amuhgffd7ves3lfe2olrkvjpf4
Specification Based Conformance Testing for Email Protocols
[chapter]
2010
Lecture Notes in Computer Science
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 2014; you can also visit the original URL.
The file type is application/pdf.
The method is based on formal specification of the standards following the approach of the contract specification, and designing tests as traversal of a state machine. ...
The paper presents a method for conformance testing of Internet electronic mail protocols. ...
The approach belongs to model-based testing domain, it uses contract specifications to formalize protocol specification and on-the-fly test sequence generation. ...
doi:10.1007/978-3-642-16561-0_35
fatcat:dwd2xgwhlbhnxdh4lmlrczz4fu
Conformance Testing for OSEK/VDX Operating System Using Model Checking
2011
2011 18th Asia-Pacific Software Engineering Conference
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 2020; you can also visit the original URL.
The file type is application/pdf.
Test model is constructed based on the formalized conformance requirements. ...
The extracted conformance requirements are described in a precise and unambiguous manner by using a formal specification language. ...
generation process, test model should be constructed based on the formal test specification. ...
doi:10.1109/apsec.2011.26
dblp:conf/apsec/ChenA11
fatcat:u76cvrk3qjbn3bv7qgmfswfeoi
Report on the standardization project "Formal methods in conformance testing"
[chapter]
1996
Testing of Communicating Systems
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 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents the latest developments in the "Formal Methods in Conformance Testing" (FMCT) project of ISO and ITU-T. ...
The project has been initiated to study the role of formal description techniques in the conformance testing process. ...
Given a formal specification, how can one find out whether an implementation conforms to this specification? ...
doi:10.1007/978-0-387-35062-2_21
fatcat:tt6algrlanhjhcarnslsq224ty
Specification-Based Testing of User Interfaces
[chapter]
2003
Lecture Notes in Computer Science
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 2007; you can also visit the original URL.
The file type is application/pdf.
The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user interface implementation with respect to the specification ...
These conformity tests are described in detail through a state transition model with an abstraction function mapping concrete (implementation) to abstract (specification) states and operations. ...
Specification-based testing, also known as black-box tests, uses a (formal) specification for determining appropriate inputs and expected outputs. ...
doi:10.1007/978-3-540-39929-2_10
fatcat:e23vmmcdlzdynnnfuwrbcqbjwm
I/O Conformance Test Generation with Colored Petri Nets
2014
Applied Mathematics & Information Sciences
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 2017; you can also visit the original URL.
The file type is application/pdf.
This paper explores Input-Output Conformance (IOCO) test generation with Colored Petri Nets (CPN). A test generation oriented CPN model and CPN based IOCO relation is proposed. ...
Since the model simulation based test generation process is irrespective with the model size, the effectiveness of the method is enhanced with scalability. ...
Implementation modeling Since IOCO relation is a formal conformance relation between system specification and implementation, they both need to be formal object for formal reasoning. ...
doi:10.12785/amis/080605
fatcat:gh66myjcanforf4s7vvbazv2ia
Towards Property Oriented Testing
2007
Electronical Notes in Theoretical Computer Science
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 2017; you can also visit the original URL.
The file type is application/pdf.
Conformance testing is a kind of functional testing where a formally verified specification is considered and test cases are generated so that conclusions can be established regarding the possibility of ...
If the focus is on a complete specification, test suites may be impractical and even infinite with unclear relations between test cases and the specification. ...
However, in the formal methods community, conformance testing is more often used, where a formally verified specification is considered and test cases are generated so that important properties can be ...
doi:10.1016/j.entcs.2007.06.001
fatcat:iiwtiesta5f45jmbiihmjxdbcy
Toward credible IT testing and certification
1999
IEEE Software
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 2004; you can also visit the original URL.
The file type is application/pdf.
J u l y / A u g u s t 1 9 9 9 0 7 4 0 -7 4 5 9 / 9 9 / $ 1 0 . 0 0 © 1 9 9 9 I E E E Dependability Testing Cryptographic modules and algorithms (specifications, http://csrc.nist.gov/cryptval tests, and ...
The open availability of credible measurement and test methods is an important step toward assuring the quality of software-based systems and promoting competitiveness in the information technology (IT ...
In practice, developers sometimes use formal specifications to show system conformance to formal requirements. The specification can also be used to implement the system in code. ...
doi:10.1109/52.776947
fatcat:6k57zk4wefan7bkkglxl2b46b4
Practical Approach to Specification and Conformance Testing of Distributed Network Applications
[chapter]
2005
Lecture Notes in Computer Science
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 2017; you can also visit the original URL.
The file type is application/pdf.
The resulting method was used to specify distributed applications and to develop conformance test suites for them in automated manner. ...
Specifications are developed in an extension of C language that makes them clear and useful for industrial developers and decreases greatly test construction effort. ...
standards, and automated development of conformance test suites based on the stated specification. ...
doi:10.1007/11560333_6
fatcat:hicqas3ij5e3zp3xgqk553vrte
« Previous
Showing results 1 — 15 out of 306,896 results