Filters








306,896 Hits in 3.0 sec

Formal specification-based conformance testing

B Sarikaya
1986 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols - SIGCOMM '86  
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

B Sarikaya
1986 Computer communication review  
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]

Jae Hong Park, Jai Yong Lee, Il Young Jung, Jin Pyo Hong
1995 Protocol Test Systems  
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]

Jan Tretmans
1999 Lecture Notes in Computer Science  
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

Hongxin Hu, GailJoon Ahn
2008 Proceedings of the 13th ACM symposium on Access control models and technologies - SACMAT '08  
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

Khalid Benlhachmi, Mohammed Benattou
2013 International Journal of Software Engineering and Its Applications  
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

Khadija Louzaoui, Khalid Benlhachmi
2016 International Journal of Software Engineering and Its Applications  
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]

Nikolay Pakulin, Anastasia Tugaenko
2010 Lecture Notes in Computer Science  
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

Jiang Chen, Toshiaki Aoki
2011 2011 18th Asia-Pacific Software Engineering Conference  
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]

Dieter Hogrefe, Stefan Heymer, Jan Tretmans
1996 Testing of Communicating Systems  
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]

Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal
2003 Lecture Notes in Computer Science  
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

Jing Liu, Xinming Ye, Jiantao Zhou, Xiaoyu Song
2014 Applied Mathematics & Information Sciences  
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

Patricia D.L. Machado, Daniel A. Silva, Alexandre C. Mota
2007 Electronical Notes in Theoretical Computer Science  
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

S.A. Wakid, D.R. Kuhn, D.R. Wallace
1999 IEEE Software  
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]

Victor V. Kuliamin, Nickolay V. Pakoulin, Alexander K. Petrenko
2005 Lecture Notes in Computer Science  
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