Filters








1,816 Hits in 4.4 sec

Structural Coverage for Lotos [chapter]

Daniel Amyot, Luigi Logrippo
2000 IFIP Advances in Information and Communication Technology  
We are indebted to the U. of Ottawa LOTOS Group for their collaboration, and in particular to H. Ben Fredj, L. Charfi, P. Forhan, N. Gorse, D. Petriu and J.  ...  Using control flow information, the number of times that statement3 is executed is computed from Probe [1]-Probe [ 2 ] .  ...  For instance, the SPEc-VALUE methodology (Specification-Validation Approach with LOTOS and UCMs) promotes the use of scenarios, which capture informal functional requirements from a behavioural perspective  ... 
doi:10.1007/978-0-387-35516-0_2 fatcat:vss63ocxijhb3imw4ftdj3tgta

Formal support for design techniques: a Timethreads-LOTOS approach [chapter]

D. Amyot, F. Bordeleau, R. J. A. Buhr, L. Logrippo
1996 IFIP Advances in Information and Communication Technology  
Being executable, a LOTOS specification produces a prototype of the entity specified, prototype which can be analyzed and tested (design-level testing).  ...  Tools used include LOLA for analysis and design testing, LMC for checking temporal logic properties, and GOAL for checking reachability of actions.  ...  tout *) [ 1] -i; (* enddial *) [ 1] -errordial; Figure 6 Acceptance Test 1, derived from Map 1. Test cases can also be generated by hand in LOTOS.  ... 
doi:10.1007/978-0-387-34945-9_5 fatcat:2x2fzjqcvzdopd5vjgl5eqiiqm

Application of a LOTOS based Test Environment on AAL5 [chapter]

J. Burmeister, A. Rennoch
1996 Protocol Test Systems VIII  
The generation (creation) of the LOTOS test cases is not addressed here.  ...  As a prerequisite, a formalized, but simplified, protocol or service specification is expected, which will be also used for the analysis of the test execution.  ...  We would like to thank J. de Meer, technical leader of the TOPIC project, who invented and discussed with us the basic ideas of the distributed test system, and also B.  ... 
doi:10.1007/978-0-387-34988-6_4 fatcat:6fwejtbhcvfiddynqmalvyt2qy

Formal user-centred models [chapter]

Robert G. Clark, Ana M. D. Moreira
1997 IFIP Advances in Information and Communication Technology  
As informal requirements are usually expressed in terms of the behaviour which the environment expects from a system, we propose that the construction of a formal and executable user-centred model should  ...  Rapid prototyping can be used to validate the user-centred model with respect to the requirements and the informal task of validating the objectoriented specification can be replaced by the formal task  ...  The user-centred model must therefore be composed in parallel with a Test process with the following structure (Quemada et al. 1995 The agent scenario in a test process is derived directly from a single  ... 
doi:10.1007/978-0-387-35261-9_15 fatcat:otsnjq44wjas5e67snbhwmxelq

Page 6 of Journal of Research and Practice in Information Technology Vol. 27, Issue 1 [page]

1995 Journal of Research and Practice in Information Technology  
on LOTOS and using an automated tool, LOLA, have been presented.  ...  Testing a LOTOS specification has been shown as an efficient way of detecting errors in a specification.  ... 

Formal Test Automation: A Simple Experiment [chapter]

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe Feijs, Sjouke Mauw, Lex Heerink
1999 IFIP Advances in Information and Communication Technology  
The test scenarios are derived from multiple specification languages: LOTOS, Promela and SDL. A central theme of this study is the usability of batch-oriented and on-the-fly testing approaches.  ...  To facilitate the derivation from multiple formal description techniques and the different test execution approaches, an open, generic environment called TorX is introduced.  ...  Using observations during the test execution we can reduce the effort in deriving test information from the specification compared with batch derivation; see also [13] .  ... 
doi:10.1007/978-0-387-35567-2_12 fatcat:bnbwpazevbb2jg7anb2ryhchea

The specification and testing of conformance in ODP systems [chapter]

P. F. Linington, J. Derrick, H. Bowman
1996 Testing of Communicating Systems  
(eds.), Testing of Communicating Systems © Springer Science+Business Media Dordrecht 1996 Part Four ODP Testing number of larger examples of ODP use.  ...  Requirements and specifications of an ODP system can be made from any of these viewpoints.  ...  So, an alternative approach is to first unify the viewpoint specifications and then derive tests from this unification using classic test case generation techniques.  ... 
doi:10.1007/978-0-387-35062-2_8 fatcat:xigepdmifncfzlb736r5vcu5u4

Introduction to the PSTV-IX

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
1991 Computer networks and ISDN systems  
Feasibility and usefulness of automatically deriving an implementation from a given specification.  ...  Formal is the definition of the G-LOTOS subset that is chosen for the implementation target. Formal is the specification of the graphical editor that is derived from that definition.  ... 
doi:10.1016/0169-7552(91)90078-q fatcat:abmyrcfipbhprdrlrgvlcjbxwa

Protocol Design and Implementation Using Formal Methods

M. van Sinderen, L. F. Pires, C. A. Vissers
1992 Computer journal  
The paper focuses on design methods for synthesizing protocols by successive application of correctness-preserving LOTOS transformations.  ...  Testing a protocol against the service, according to the formal notion of test equivalence ([Abr87]), consists of defining test sequences derived from the service specification and applying them to the  ...  Conformance testing methods can be used for both validation and certification of protocol implementations. Conformance testing methods using LOTOS have been discussed in [B+90] .  ... 
doi:10.1093/comjnl/35.5.478 fatcat:ycfa2jsn5vewdfxykbxseuhpg4

Generation of test purposes from Use Case Maps

Daniel Amyot, Luigi Logrippo, Michael Weiss
2005 Computer Networks  
It is therefore a natural candidate for use in the process of generating requirementsdirected test suites. We survey several approaches for deriving test purposes from UCM models.  ...  Therefore, they are inappropriate as the only source of information for the direct derivation of implementation-level test cases.  ...  The testing patterns were used to derive test purposes for all these applications. Table 1 presents several characteristics of these experiments, as an indication of their structure and size.  ... 
doi:10.1016/j.comnet.2005.05.006 fatcat:bie36tsy3zc5xj7xv7efr3btxa

Towards a Formal Computational Model for Distributed Multimedia Applications [chapter]

Andreas Vogel
1995 IFIP Advances in Information and Communication Technology  
A formal computational model for distributed systems and in particular for distributed multimedia applications derived frorn the Reference Model on Open Distributed Processing is defined and presented.  ...  The formal definition is based on the standardized formal description technique LOTOS introducing the LOTOS sub-language approach.  ...  However, they seem to be mostly ad-hoc solutions implemented in a particular environment This paper aims a more general approach: distributed multimedia applications are derived from standardized framework  ... 
doi:10.1007/978-0-387-34878-0_29 fatcat:hev4wwixh5bhtety5bqe56vmty

Leave-One-Trial-Out, LOTO, a general approach to link single-trial parameters of cognitive models to neural data

Sebastian Gluth, Nachshon Meiran
2019 eLife  
We show that LOTO is superior to estimating parameter values from single trials and compare it to previously proposed approaches.  ...  Furthermore, the method allows distinguishing true variability in a parameter from noise and from other sources of variability.  ...  This work was supported by a grant from the Swiss National Science Foundation (#100014_172761) to SG and by a grant from the Israel Science Foundation (#381-15) to NM.  ... 
doi:10.7554/elife.42607 pmid:30735125 pmcid:PMC6392499 fatcat:gbuym2scbvgwxfyqoyrqtdy6ua

A Method for Applying LOTOS at an Early Design Stage and Its Application to the ISO Transport Protocol [chapter]

Guy Leduc
1994 The OSI95 Transport Service with Multimedia Support  
We propose a method applicable to the design of large and abstract LOTOS specifications.  ...  Having proved the feasibility of the method on this protocol, it was then used to specify (parts of) the new transport protocol TPX of OSI95.  ...  Ideally, these test suites should be derived from the formal specification of the standard. If the tests succeed, the implementation is claimed to conform to the standard.  ... 
doi:10.1007/978-3-642-85165-0_9 fatcat:c6hgrnjs35ea5nyw5v67cfn5mi

3D proteochemometrics: using three-dimensional information of proteins and ligands to address aspects of the selectivity of serine proteases

Vigneshwari Subramanian, Qurrat Ul Ain, Helena Henno, Lars-Olof Pietilä, Julian E. Fuchs, Peteris Prusis, Andreas Bender, Gerd Wohlfahrt
2017 MedChemComm  
S. acknowledges funding from the 3i project (TEKES).  ...  Therefore, generating proteochemometric models that rely on more informative field-based protein descriptors derived from 3D structural information would support visual interpretation.  ...  Ligand binding pockets of proteases were described by knowledge-based 16 and Watermap-derived fields. 21 Knowledge-based contact potentials, which are derived from the structural information available  ... 
doi:10.1039/c6md00701e pmid:30108817 pmcid:PMC6072133 fatcat:dlwkejrilvfq7gfapejb6djsze

Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters

T. Higashino, G.v. Bochmann
1994 IEEE Transactions on Software Engineering  
In this paper, we propose an automatic analysis and test case derivation method for LOTOS expressions with data values.  ...  For this class, we give an algorithm for deriving a set of test cases (a test suite). The algorithm is carried out by using a decision procedure for integer linear programming problems.  ...  1" is a test case leading to a deadlock state for the P-LOTOS expression "t 1 " in Example 2.1. We have also implemented a tester to test a given IUT using the derived test suite.  ... 
doi:10.1109/32.263753 fatcat:6dwxswcbiremlgzmsiqmvdv34i
« Previous Showing results 1 — 15 out of 1,816 results