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.
Filters
Structural Coverage for Lotos
[chapter]
2000
IFIP Advances in Information and Communication Technology
Preserved Fulltext
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]
1996
IFIP Advances in Information and Communication Technology
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.
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]
1996
Protocol Test Systems VIII
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.
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]
1997
IFIP Advances in Information and Communication Technology
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.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
1999
IFIP Advances in Information and Communication Technology
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 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]
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 2018; you can also visit the original URL.
The file type is application/pdf.
(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
1991
Computer networks and ISDN 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.
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
1992
Computer journal
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 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
2005
Computer Networks
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.
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]
1995
IFIP Advances in Information and Communication Technology
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.
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
2019
eLife
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.
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]
1994
The OSI95 Transport Service with Multimedia Support
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.
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
2017
MedChemComm
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.
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
1994
IEEE Transactions on Software Engineering
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.
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