A Contracting System for Hierarchical Components

Collet, Philippe; Rousseau, Roger; Coupaye, Thierry; Rivierre, Nicolas

doi:10.1007/11424529_13

Cited by 23 publications

(19 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…By using a metamodel, ConFract also assigns, for each category of specifications, appropriate responsibilities to involved components, which can notably be guarantor, which acts to ensure the provision and must be notified in case of violation of the provision, and beneficiaries which can rely on the provision. More details about ConFract can be found in [7].…”

Section: The Contracting System Confractmentioning

confidence: 99%

Patterns for Integrating and Exploiting Some Non-Functional Properties in Hierarchical Software Components

Chang

Collet

2007

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)

Self Cite

View full text Add to dashboard Cite

Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. In this paper, we propose integration patterns for nonfunctional properties of hierarchical software components. These patterns are based on a classification of low-level non-functional properties, which takes into account their nature and lifecycle. They make explicit the implementation of these properties in relation with components and can be used to develop some forms of compositional reasoning. The proposals are exploited in non-functional contract negotiation by enabling a negotiation process to be precisely propagated down the component hierarchy.

show abstract

Section: The Contracting System Confractmentioning

confidence: 99%

Patterns for Integrating and Exploiting Some Non-Functional Properties in Hierarchical Software Components

Chang

Collet

2007

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)

Self Cite

View full text Add to dashboard Cite

show abstract

“…Interface signatures are not sufficient to validate the functional and non-functional, quality aspects of a software [14] that necessitates involving more sophisticated specification techniques [15]. Contracts, a technique describing behaviors and obligations of the participating objects [16], are candidates for this purpose.…”

Section: Related Workmentioning

confidence: 99%

Model-Based Contract Testing of Graphical User Interfaces

Tuğlular

Muftuoglu²,

Belli

et al. 2015

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYGraphical User Interfaces (GUIs) are critical for the security, safety and reliability of software systems. Injection attacks, for instance via SQL, succeed due to insufficient input validation and can be avoided if contract-based approaches, such as Design by Contract, are followed in the software development lifecycle of GUIs. This paper proposes a model-based testing approach for detecting GUI data contract violations, which may result in serious failures such as system crash. A contract-based model of GUI data specifications is used to develop test scenarios and to serve as test oracle. The technique introduced uses multi terminal binary decision diagrams, which are designed as an integral part of decision tableaugmented event sequence graphs, to implement a GUI testing process. A case study, which validates the presented approach on a port scanner written in Java programming language, is presented.

show abstract

“…Note that the inaccuracy always causes bigger response time measures 8 The threshold is commonly based on the response time mean value and standard deviation. Another common rejection algorithm consists in discarding a given percentage of the full set of measures, choosing among the greatest ones.…”

Section: The Influence Of Javamentioning

confidence: 99%

“…This is clearly a necessary part of the component type specification, and there should be a way to add it to, or at least associate it with, the ADL definition. This issue is tackled by a variety of works: let's mention [3] automata-based, [23] temporal logic, ConFract [8], and Fractal BPC [1] (a port from the SOFA platform) in the Fractal context, and, out of the scope of Fractal, [21] UML 2.0 perspective and [22] SOFA project.…”

Section: Effectiveness Of Fractal Supportmentioning

confidence: 99%

CLIF, a framework based on Fractal for flexible, distributed load testing

Dillenseger

2008

Ann. Telecommun.

View full text Add to dashboard Cite

The context of this work is performance evaluation of IT systems based on load testing. It typically consists in generating a flow of requests on a system under test, and to measure response times, request throughput, or computing resource usage. A quick overview of available load testing platforms shows that there exist hundreds of such platforms, including in the open source domain. However, many testers still tend to develop their own ad hoc load testing tooling. Why? This paper starts by looking for possible answers to this question, in order to introduce the CLIF load injection framework, which intends not to be yet another load testing platform. Based on the Fractal component model, the CLIF open source project aims at addressing key issues such as flexibility, adaptation, and scalability. We give here details about CLIF's architecture and associated tools as well as some feedback from a bunch of practical utilizations.

show abstract

A Contracting System for Hierarchical Components

Cited by 23 publications

References 16 publications

Patterns for Integrating and Exploiting Some Non-Functional Properties in Hierarchical Software Components

Patterns for Integrating and Exploiting Some Non-Functional Properties in Hierarchical Software Components

Model-Based Contract Testing of Graphical User Interfaces

CLIF, a framework based on Fractal for flexible, distributed load testing

Contact Info

Product

Resources

About