Protocol-Inspired Hardware Testing

He, Ji; Turner, Kenneth J.

doi:10.1007/978-0-387-35567-2_9

Cited by 14 publications

(10 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Tools for this approach are, e.g., Tgv [20], TestComposer [21], TestGen [22], and TorX [23,24]. State-based tools concentrate on the control flow, and cannot usually cope with complicated data structures.…”

Section: Related Workmentioning

confidence: 99%

Gast: Generic Automated Software Testing

Koopman¹,

Alimarine²,

Tretmans³

et al. 2003

Implementation of Functional Languages

View full text Add to dashboard Cite

Abstract. Software testing is a labor-intensive and hence expensive, yet heavily used technique to control quality. In this paper we introduce Gast, a fully automatic test-tool. Properties from first order logic can be expressed in the system, Gast automatically generates appropriate test-data, evaluates the property for these values, and analyzes the test-results. In this way it becomes easier and cheaper to test software components. The distinguishing property of our system is that the test-data are generated in a systematic and generic way using generic programming techniques. This implies that there is no need for the user to indicate how data should be generated. Moreover, duplicated tests are avoided and for finite domains Gast is able to proof a property by testing it for all possible values. As an important side-effect, it also encourages stating formal properties of the software.

show abstract

Section: Related Workmentioning

confidence: 99%

Gast: Generic Automated Software Testing

Koopman¹,

Alimarine²,

Tretmans³

et al. 2003

Implementation of Functional Languages

View full text Add to dashboard Cite

show abstract

“…In future work, the author intends to apply techniques developed from protocol conformance testing [7] to derive use-case scenarios automatically. Another avenue to be explored is the use of model-checking to verify that service properties are preserved in the presence of other services.…”

Section: Formal Analysismentioning

confidence: 99%

Modelling SIP Services Using Cress

Turner

2002

Formal Techniques for Networked and Distributed Sytems — FORTE 2002

Self Cite

View full text Add to dashboard Cite

show abstract

“…Black-Jack is a card game also known as Pontoon or Vingt-et-Un. For brevity the specifications and formal analysis are not given here, but can be found in [11,12].…”

Section: Black-jack Dealermentioning

confidence: 99%

Correct Hardware Design and Verification Methods

Turner¹,

He²

2001

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. This paper investigates specification, verification and test generation for synchronous and asynchronous circuits. The approach is called DILL (Digital Logic in LOTOS). DILL models are discussed for synchronous and asynchronous circuits. Relations for (strong) conformance are defined for verifying a design specification against a high-level specification. An algorithm is also outlined for generating and applying implementation tests based on a specification. Tools have been developed for automated test generation and verification of conformance between an implementation and its specification. The approach is illustrated with various benchmark circuits as case studies.

show abstract

Protocol-Inspired Hardware Testing

Cited by 14 publications

References 14 publications

Gast: Generic Automated Software Testing

Gast: Generic Automated Software Testing

Modelling SIP Services Using Cress

Correct Hardware Design and Verification Methods

Contact Info

Product

Resources

About