745,927 Hits in 4.0 sec

Testing for a conformance relation based on acceptance [chapter]

Ming Yu Yao, Gregor Bochmann
1993 Lecture Notes in Computer Science  
The conformance relation that can be tested by this method is based on a modified version of the acceptance tree model and takes into account the special requirements imposed by the inheritance mechanism  ...  The proposed method allows us to test, under certain assumptions, whether an object instance implementation conforms to a given class specification by applying to the implementation the test cases derived  ...  Test Derivation for <--A Here we propose a test derivation method for testing the conformance relation <A-This test derivation method will allow us to generate, from a given class definition C, a set of  ... 
doi:10.1007/3-540-56610-4_86 fatcat:alvphbyf4rb4dlf6ae27pevvc4

Testing of Relationships in an OSI Management Information Base [chapter]

Brigitte Baer, Alexander Clemm
1995 Integrated Network Management IV  
In open distributed environments such as in OSI network management, a procedure of conformance testing is essential for increasing the level of confidence that component implementations from different  ...  Using the OSI General Relationship Model as a basis, we discuss how respective conformance requirements can be identified which serve as a starting point for the development of test cases.  ...  Hegering, and IBM ENC's system and network management department.  ... 
doi:10.1007/978-0-387-34890-2_49 fatcat:islrkjlnufe2hhtqs5i6xc3vm4

Testing Concurrent Systems: A Formal Approach [chapter]

Jan Tretmans
1999 Lecture Notes in Computer Science  
This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation.  ...  A test derivation algorithm is given and its tool implementation is briefly discussed.  ...  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

Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography [chapter]

Alexandre Petrenko
2001 Lecture Notes in Computer Science  
A test suite is complete with respect to a given fault model when each implementation from the fault domain passes it if and only if the postulated conformance relation holds between the implementation  ...  A fault model is understood as a triple, comprising a nite state speci cation, conformance relation and fault domain that is the set of possible implementations.  ...  ., and Dssouli, R.: Conformance Relation and Test Derivation. In: Proceedings of IFIP Fifth International Workshop on Protocol Test Systems, 1993.  ... 
doi:10.1007/3-540-45510-8_10 fatcat:u3v5e4762bctznu4zcvfm5t7e4


F.A. van Eeuwijk, C.P. Baril
2001 Acta Horticulturae  
An exhibition is given of old and new statistical procedures for dealing with marker information in the context of distinctness testing and assessing genetic conformity for essential derivation purposes  ...  For conformity testing, null and alternative hypothesis are non-equivalence and equivalence, respectively.  ...  Acknowledgement Work of the first author was funded by the EU project 'Molecular and other markers for establishing essential derivation (EDV) in crop plants' (QLRT-1999.  ... 
doi:10.17660/actahortic.2001.546.1 fatcat:fiqvhwkxtrfgpmvq64savhiaou

Automation of test case derivation in respect to test purposes [chapter]

A. Guerrouat, H. König
1996 Testing of Communicating Systems  
Test case derivation and test verdicts specification in respect to given test purposes are an important issue in conformance testing.  ...  Our approach is founded on a partial formalization of the test purposes that permits an automated derivation of test cases and the deduction of test verdicts.  ...  Section 2 introduces basic elements related to test purposes and describes the problem of the test case derivation w.r.t. test purposes.  ... 
doi:10.1007/978-0-387-35062-2_15 fatcat:ozcld2epfvghhm7mo4wl6lzyde

Deriving complete finite tests based on state machines

Igor Burdonov, Alexander Kossatchev, Nina Yevtushenko
2014 Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2014)  
In this paper, we summarize some results on deriving complete test suites w.r.t. infinite fault domains against proper types of the specification machines.  ...  Many state machine based strategies return complete but infinite test suites. One solution for getting complete finite tests is to limit the number of faults, i.e., to consider a finite fault domain.  ...  When we are concerned about deriving complete test suites, the verdict should correspond to a considered conformance relation.  ... 
doi:10.1109/ewdts.2014.7027082 dblp:conf/ewdts/BurdonovKY14 fatcat:lhyubzibdzgnbey5m2baqfneaq

Formal Method to Derive Interoperability Requirements and Guarantees

Hazem El-, Magdi Amer, Ihab Talkhan
2013 International Journal of Advanced Computer Science and Applications  
Interoperability testing is very costly, as it has a complexity of (n**2) for n systems, and somewhat informal.  ...  In this paper, we develop a 'Conformance Testing (CT)'-based formal technique to determine interoperability requirements/guarantees.  ...  From BS, it is possible (in principle) to derive all possible traces (BSeq) as follows: Let -S be the set of syntactically allowed orderings of interactions as derived from BS; -R : Constraints relation  ... 
doi:10.14569/ijacsa.2013.040102 fatcat:xkbisu5jmjedronslzvvkm3pye

Testing in context: framework and test derivation

Alexandre Petrenko, Nina Yevtushenko, Gregor v. Bochmann, Rachida Dssouli
1996 Computer Communications  
A conformance relation used for test derivation is shown to be the reduction relation between an implementation and the approximation of the given specification.  ...  The approximation assures executability of tests and fault propagation through the context and serves as a base for test derivation.  ...  The introduced relations serve as the conformance relations between implementations and their specifications for deriving test suites.  ... 
doi:10.1016/s0140-3664(96)01157-7 fatcat:fmdirefobzb6vmmzi23s2jg6pi

Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata

Lars Luthmann, Stephan Mennicke, Malte Lochau
2015 Electronic Proceedings in Theoretical Computer Science  
The resulting modal-ioco relation defined on MIA is preserved under MIA refinement, which serves as variant derivation mechanism in our product line testing theory.  ...  Based on this result, a family-based product line conformance testing framework can be established.  ...  I/O-conformance testing based on IOLTS.  ... 
doi:10.4204/eptcs.182.1 fatcat:2h4nwocitnfo7bpmeb3z5owhfq

Protocol testing

Gregor V. Bochmann, Alexandre Petrenko
1994 Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94  
Finally, we review the practice of protocol conformance testing and state our conclusions. 1.1.  ...  Since protocols are implemented in software and/or hardware, the question arises whether the existing hardware and software testing methods would be adequate for the testing of communication protocols.  ...  It seems to us that test hypotheses deeply influence the choice of a conformance relation among this hierarchy of the preorder relations and the associated equivalence relations.  ... 
doi:10.1145/186258.187153 dblp:conf/issta/BochmannP94 fatcat:cidcy7q36nfhte7sthilvgbw3y

Framework for formal methods in conformance testing [chapter]

Dieter Hogrefe
1995 Protocol Test Systems  
This paper presents the latest developments in the Fonnal Methods in Confonnance Testing (FMCT) project of ITU and ISO.  ...  (eds.), Protocol Test Systems  ...  Therefore to test for dynamic conformance a representation of the observable behavior derived from the SDL specification is needed.  ... 
doi:10.1007/978-0-387-34883-4_12 fatcat:qfuazjew4ndtlfpcdnqhezzg2q

On-the-fly conformance testing using SPIN

René G. de Vries, Jan Tretmans
2000 International Journal on Software Tools for Technology Transfer (STTT)  
These primitives support the on-the-fly conformance testing process. Traditional derivation of tests from formal specifications suffers from the state-space explosion problem and from complexity.  ...  This Primer derives test primitives from a model of a system according to a well defined and complete testing theory.  ...  Acknowledgement The authors would like to acknowledge Axel Belinfante for his effort to interface Trojka with the Côte de Resyste tester and his constructive comment.  ... 
doi:10.1007/s100090050044 fatcat:dx3p7qk5zjeslgbkzm2nx5oy7u

Decomposability in Input Output Conformance Testing

Neda Noroozi, Mohammad Reza Mousavi, Tim A.C. Willemse
2013 Electronic Proceedings in Theoretical Computer Science  
Particularly, we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing.  ...  We propose and prove sufficient criteria for decompositionality, i.e., that components conforming to the derived specification will always compose to produce a correct system with respect to the system  ...  The latter conformance relation is known to admit a sound and complete test case generation algorithm, see, e.g., [12, 13] .  ... 
doi:10.4204/eptcs.111.5 fatcat:kcam22dqxbfj3lysl5rtjiebny

Interoperability testing of Web Services for e-learning

A. Polini
2005 e & i Elektrotechnik und Informationstechnik  
This paper discusses current approaches standardise Web Service specification and implementation and outlines an approach to conformance verification of services through testing, aiming at reducing the  ...  Particularly appealing is the possibility of defining and standardizing Services that when implemented and composed, will result in complex e-learning applications.  ...  of test cases for conformance verification.  ... 
doi:10.1007/bf03054387 fatcat:qmfom2woybhf3nytajl3k3wc2q
« Previous Showing results 1 — 15 out of 745,927 results