Testing Java Components based on Algebraic Specifications

Yu, Bo; Kong, Liang; Zhang, Yufeng; Zhu, Hong

doi:10.1109/icst.2008.39

Cited by 32 publications

(33 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other approaches exist that deal with the problem of the implementation of architectural specifications including parameterized specifications as, for example [2], but the target are ML programs. Relationships between algebraic specification and OO programs that we are aware of, namely those that address runtime conformance checking or testing, exclusively consider flat and non-parameterized specifications (e.g., [1,12,18]). …”

Section: Discussionmentioning

confidence: 99%

Runtime Verification for Generic Classes with ConGu 2

Crispim

Lopes

Vasconcelos

2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Even though generics became quite popular in mainstream objectoriented (OO) languages, approaches for checking at runtime the conformance of such programs against formal specifications still lack appropriate support. In order to overcome this limitation within CONGU, a tool-based approach we have been developing to support runtime conformance checking of Java programs against algebraic specifications, we recently proposed a notion of refinement mapping that allows to define correspondences between parametric specifications and generic classes. Based on such mappings, we also put forward a notion of conformance between the two concepts. In this paper we present how the new notion of conformance is supported by version 2 of the CONGU tool.

show abstract

Section: Discussionmentioning

confidence: 99%

Runtime Verification for Generic Classes with ConGu 2

Crispim

Lopes

Vasconcelos

2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…They are independent of any implementation details. One attractive feature they have is that they can be used directly in automated software testing (Chen et al, 1998;Chen, Tse, & Chen, 2001;Gaudel & Gall, 2008;Kong, Zhu, & Zhou, 2007;Yu et al, 2008). This feature is particularly important for service engineering, because, when services compose together dynamically, testing must be performed automatically on-the-fly.…”

Section: Existing Work and The Open Problemmentioning

confidence: 99%

“…Zhu and Yu (2010) originally applied the algebraic specification language CASOCC to define traditional software entities, such as abstract data types, classes and components (Kong, Zhu, & Zhou, 2007;Yu et al, 2008). They then extended the language to form CASSOC-WS and applied that to Big Web Services (Zhu & Yu, 2010).…”

Section: Existing Work and The Open Problemmentioning

confidence: 99%

Transformation of Algebraic Specifications Into Ontological Semantic Descriptions of Web Services

Li¹,

Zhu²,

Bayley³

2014

STSC

Self Cite

View full text Add to dashboard Cite

The accurate description of service semantics plays a crucial role in service discovery, composition and interaction. Most work in this area has been focused on ontological descriptions, which are searchable and machineunderstandable. However, they do not define service functionality in a verifiable and testable manner. In contrast, formal specification techniques, having evolved over the past 30 years, can define semantics in such a manner, but they have not yet been widely applied to service computing because the specifications produced are not searchable. There is a huge gap between these two methods of semantics description. This paper bridges the gap by advancing a transformation technique. It specifies services formally in an algebraic specification language, and then, extractsan ontological description of domain knowledge and service semantics as profiles in an ontology description language such as OWL-S. This brings the desired searchability benefits. The paper presents a prototype tool for performing this transformation and reports a case study to demonstrate the feasibility of our approach.

show abstract

“…A limitation of existing approaches, including our own work [20], is the lack of support to check generic components. Despite the popularity of generics in mainstream object-oriented languages, available approaches, such as [14,17,2,18,5,22,8], are not applicable to programs that include generic classes.…”

Section: Introductionmentioning

confidence: 99%

“…What is lacking is to bridge the gap between parameterized specifications and generic classes.The conformance relations of specifications with object-oriented programs that have been established so far (e.g. [2,12,1,11,4,9,22]) only consider simple, non-parameterized, specifications.…”

Section: Introductionmentioning

confidence: 99%

Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming

Nunes

Lopes

Vasconcelos

2009

Runtime Verification

View full text Add to dashboard Cite

Abstract. Although generics became quite popular in mainstream objectoriented languages and several specification languages exist that support the description of generic components, conformance relations between object-oriented programs and formal specifications that have been established so far do not address genericity. In this paper we propose a notion of refinement mapping that allows to define correspondences between parameterized specifications and generic Java classes. Based on such mappings, we put forward a conformance notion useful for the extension of CONGU, a tool-based approach we have been developing to support runtime conformance checking of Java programs against algebraic specifications, so that it becomes applicable to a more comprehensive range of situations, namely those that appear in the context of a typical Algorithms and Data Structures course.

show abstract

Testing Java Components based on Algebraic Specifications

Cited by 32 publications

References 26 publications

Runtime Verification for Generic Classes with ConGu 2

Runtime Verification for Generic Classes with ConGu 2

Transformation of Algebraic Specifications Into Ontological Semantic Descriptions of Web Services

Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming

Contact Info

Product

Resources

About