Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 2,373 papers for “Conformance testing”

Conformance Testing of . . .

Ammar Masood, Arif Ghafoor, Aditya Mathur · 2006

Access control is a key security service at the foundation of information and system security. It has been extended with temporal constraints to support real-time considerations. Conformance testing of an access control implementation is crucial to ensure that it correctly enforces any required temporal and non-temporal policies for access control. We propose an approach for conformance testing of implementations required to enforce access control policies specified using Temporal Role Based Access Control (TRBAC) model. The proposed approach uses Timed Input Output Automata (TIOA) to model the behavior specified by a TRBAC policy. The TIOA model is then transformed to a deterministic se-FSA model that captures any temporal constraint by using two special events Set and Exp. Finally we adapt the W-method and use an integer programming based approach to construct a conformance test suite from the transformed model. The conformance test suite so generated provides complete fault coverage with respect to the proposed fault model for TRBAC specifications.

Cited by 0

Conformance testing ICT standards

David Arnold · StandardView · 1994

article Free Access Share on Conformance testing ICT standards: costly chore or valuable insurance? Author: David Arnold School of Information Systems, University of East Anglia School of Information Systems, University of East AngliaView Profile Authors Info & Claims StandardViewVolume 2Issue 4Dec. 1994 pp 182–187https://doi.org/10.1145/223282.223283Published:01 December 1994Publication History 2citation214DownloadsMetricsTotal Citations2Total Downloads214Last 12 Months3Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF

Cited by 4

Standard Module Conformance Testing

W.E. Lawrence · 2006

Current automobiles have made significant progress in increased safety and comfort, higher fuel eficiency less pollution, easier handling, etc. All this is due to the tremendous evolution in electronics, which offer higher peformance at lower cost at a very rapid pace. As such vehicle electronics have become very large and complex distributed systems, comprising up to 100 networked electronic control units - ECUs. Guaranteeing a high quality of these very complex systems is an urging requirement of current and future highly complex systems. This can be achieved by introducing more and more standard modules in hardware and/or software - AutoSar worldwide standardization efforts are showing the way. As these standard modules typically will be supplied by different suppliers - this will lead to additional cost cut - the problem of guaranteeing interoperahility between networked ECUs, containing mixed suppliers standard sub-modzrles. Experience shows that the specification of standard modules in most cases is not sufficiently precise. Therefore the interoperability of distributed ECUs is endangered. A proven means to reduce the risk of lacking interoperability of standard modules in cooperating ECUs are conformance tests. This paper discusses the interoperability problem referring to example of LIN network standard hardware/ software modules. The typical specification process for related conformance tests, the implementation architecture and some test experience is described.

Cited by 2

Raster graphics conformance testing

Frankie E Spielman · 1991

This publication is a report which evaluates the alternatives for identifying and selecting a conformance testing laboratory for raster graphics in support of the Department of Defense (DoD) Computer-aided Acquisition and Logistic Support (CALS) Program. It discusses and analyzes four different approaches to selecting a conformance testing laboratory. After discussing the approaches, it recommends an alternative for DoD to pursue in selecting a laboratory for conducting conformance testing of raster graphics implementations.

Cited by 0Open access

Conformance Testing for Statecharts

Dirk Seifert, Steffen Helke, Thomas Santen · 2008

Abstract. We describe an approach to automatically generate test cases from object-oriented statecharts as they are used in the UML and supported by development tools such as I-Logics Rhapsody. Applying Tretmans ’ approach to generate test cases for I/O automata from labeled transition systems, we consider a statechart as a specification of a system under test. Test cases generated from such a specification can be used to drive a test harness, creating stimuli for the system under test and observing the reactions of the system under test to produce a verdict. This work contributes in three respects to using statecharts for specifying and verifying systems. First, it provides a semantics of the features of object-oriented statecharts that go beyond labeled transition systems such as asynchronous sequential event processing, truly parallel event generation, and input-enabledness. Second, defining two variants of an implementation relation for statecharts it makes the notion of conformance testing for statecharts precise. Third, it introduces a compact data structure for representing the statechart semantics that allows for efficient generation of test cases and easily supports both variants of implementation relations. A prototypical implementation cooperating with the tool Rhapsody serves as a proof of concept. 1

Cited by 0

Relating interoperability testing with conformance testing

Sung Won Kang · 2002

Conventionally the term conformance testing has been used to indiscriminately denote different types of conformance testing in a broad sense and the term interoperability testing has been used without regard to possibly different interoperability test architectures. This study classifies conformance testing into interface conformance testing and entity conformance testing and investigates how they can be related to interoperability testing as interoperability test architecture varies. It also discusses how the result of the investigation can be put into practical use for development of test suites and real test systems.

Cited by 14

ISDN conformance testing guidelines

Leslie A Collica, Leslie A Collica, D. Hoffman · 1994

The National Institute of Standards and Technology (NIST) has a unique responsibility for computer systems technology within the Federal government. NIST's Computer Systems Laboratory (CSL) develops standards and guidelines, provides technical assistance, and conducts research for computers and related telecommunications systems to achieve more effective utilization of Federal information technol- ogy resources. CSL's responsibilities include development of technical, management, physical, and ad- ministrative standards and guidelines for the cost-effective security and privacy of sensitive unclassified information processed

Cited by 0Open access

Conformance Testing with TTCN

Ina Schieferdecker, Jens Grabowski · Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft) · 2000

Service Primitives (ASPs). Conceptually, IUT and LT provide their service by exchanging Protocol Data Units (PDUs). In practice, the PDUs are encoded in ASPs of the underlying service, i.e. PDUs will not be exchanged directly. However, CTMF allows to abstract from the encoding of PDUs, i.e. allows to specify the exchange of PDUs in abstract test cases. Therefore, it is not necessary to distinguish between ASP and PDU explicitly, and hence, only the term PDU is used. As shown in the figure, Test Coordination Procedures (TCP) can be used to coordinate the actions of LT and UT. This might be necessary if LT and UT are realized in separate tester processes. The figure presents the conceptual test architecture only. In practice, several variations of the conceptual test architecture are used. The test methods defined in CTMF are local, distributed, coordinated and remote test method. They differ in the possibilities to coordinate LT and UT and the ability to control and observe 2) Only a f...

Cited by 5Open access

Strategies for conformance testing

Solofo Ramangalahy · Max Planck Digital Library · 1998

A new test generation method and algorithm for conformance testing is proposed. It is based on the interpretation of testing concepts from the ISO standard ``Formal methods in conformance testing'' in a game theory setting. A testing game is defined with a specification given as an Input/Output State Machine and a test purpose for test selection. A winning strategy for this game define a tester for a class of implementations and a conformance relation. \\begin{keywords} formal methods in conformance testing, test purposes, games strategies, test assumptions, input-output state machines. \\end{keywords}

Cited by 0Open access

Regression Testing and Conformance Testing Interactive Programs

2010

Testing interactive programs, by its nature, requires interaction – usually by real people. Such testing is an expensive process and hence rarely done. Some interactive tools can be used non-interactively to a limited extent, and are often tested only this way. Purely interactive programs are rarely tested in any systematic way. This paper describes testing of interactive line and character-oriented programs via Expect. An immediate use of this is to build a test suite for automating standards conformance of all of the interactive programs in POSIX 1003.2a (interactive shells and tools), something which has not yet been accomplished by any means.

Cited by 0

Conformance Testing from UML Specifications

Lydie du Bousquet, Hugues Martin, Jean-Marc Jezequel · 2007

UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML).

Cited by 0