The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Service Oriented Architectures (SOAs) are composed of distributed services that interact through standard interfaces, and evolve transparently to other services and users. Although such dynamicity makes SOA a promising architectural style, it prevents organizations from having complete knowledge of the SOA and of its (possibly untrusted) services. This constitutes an important restriction to the applicability...
Building large software systems is difficult. Maintaining large systems is equally hard. Making post-release changes requires not only thorough understanding of the architecture of a software component about to be changed but also its dependencies and interactions with other components in the system. Testing such changes in reasonable time and at a reasonable cost is a difficult problem as infinitely...
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is inefficient because hackers bypass these checks and directly send malicious data to the server. User input validation thus has to be duplicated from the client-side (HTML pages) to the server-side (PHP or JSP etc.). We present...
When explicitly considering the testability of software-centric systems, architects tend to be more conscious and thoughtful about their design decisions, be they related to modularization, interfaces, or design choices. The paper discusses how architects can use tests and test-driven development as a design tool. The goal is to avoid or discover architectural deficiencies before they're realized-when...
Path coverage technology in software architecture is a structural testing method that involves using the architecture elements to attempt to find every possible executable path. In this paper we present an approach together with an experimental tool for qualifying tests. Firstly, this method describes software architecture with linear temporal logic specification, secondly, transform the architecture...
Coverage criteria of verification techniques play an important role in software development and testing. The goal is to reduce the size of test suites to economize on time, and to ensure whether all conditions are covered. This paper presents formal testing criteria for architecture-level testing that are based on formal specifications of the software architecture. Firstly, this method describes software...
Software architecture testing is a technology on the connections and functions of system components. This paper presents a technology of software architecture testing based on LTL. Software architecture interface connectivity graph (ICG) is used to describe the connection relationship between components and connectors at first, and then generate testing coverage paths of the ICG according to three...
Software reliability refers to the probability of failure-free operation of a system. It is related to many aspects of software, including the testing process. Directly estimating software reliability by quantifying its related factors can be difficult. Testing is an effective sampling method to measure software reliability. Guided by the operational profile, software testing (usually black-box testing)...
Testing is essential to ensure software reliability and dependability. however, testing activities are very expensive and complex. Micro architectures, such as design patterns and anti-patterns, widely exist in object oriented systems and are recognized as influencing many software quality attributes. Our goal is to identify their impact on system testability and analyse how they can be leveraged...
Plug-in architectures enable developers to build extensible software products. Such products are assembled from plug-ins, and their functionality can be enriched by adding or configuring plug-ins. The plug-ins themselves consist also of multiple plug-ins, and offer dedicated points through which their functionality can be influenced. A well-known example of such an architecture is Eclipse, best known...
Testing Service Oriented Architecture applications is a challenging task due to the high dynamism, the low coupling and the low testability of services. Web services, a popular implementation of services, are usually provided as black box and using testing techniques based on implementation is limited. This paper presents an approach to support the use of the structural testing technique on web service...
Service Oriented Architecture (SOA) provides a new generation of software architectures that attracts attention as promising way for smooth integration of loose coupled software applications. In addition to all benefits, it adds new dimensions to the complexity of designing, building, testing, deploying and maintaining Service-based applications (SBA). Research in verification and validation applied...
Service Oriented Architecture (SOA) provides a new generation of software architectures which attracts attention as promising way for smooth integration of loosely coupled software applications. In addition to all benefits, it adds new dimensions to the complexity of designing, building, testing, deploying and maintaining Service-based applications. Research in verification and validation applied...
The paper reports a new testing method working with state pattern designed software systems. The tests are performed in terms of symbolic execution aiming to identify conditions and values of some input parameters that violate assertions at runtime. The state based architecture of such systems allows a direct mapping of the methods to the transitions of the underlying finite state machine (FSM). In...
Today's fast paced world of ever changing Commercial-Of-The-Shelf (COTS) hardware and software architectures creates a quandary in that the end-user must be cognizant of these effects on their own legacy based system when embracing a new design. The advantages of moving to a newer and sleeker system surely outweigh the complexities of attempting to maintain an older system especially when obsolescence...
Software architecture testing criteria help in defining test objectives or goals that are to be achieved while performing software architecture testing, and also be used to determine when testing should stop. In this paper a testing technique of software architecture models is described and the three testing criteria based on architecture interface connectivity graph (ICG) are proposed, and then generate...
Service Oriented Architectures (SOA) have emerged as a promising solution to develop interoperable and highly dynamic applications. In the domain of SOA, Service Level Agreements (SLAs) are used to specify the stipulated terms between the service provider and the consumer. Due to the unique features of this paradigm such as SLA management, testing SOA presents new challenges to researchers because...
Service-Oriented Computing allows building applications by reusing web-accessible services. However, current approaches still involve a large effort both at discovery of services and their successful integration. This paper presents a novel approach to help developers to easily deal with discovery, selection and integration of services, and it is based on two recent approaches addressing software...
As software services become the dominant platform for enterprise computing and B2B/B2C applications, testing their correctness and dependability assumes ever more importance. However, unlike the languages used to define and realize them, the languages used to test service-based systems have changed little over recent years. Today, tests for services and service-oriented architectures are still typically...
Methodology of automatic generation of test cases based on Model Driven Architecture is proposed, and its design and implementation have be done. The process of generating test cases is that a platform-independent model is converted into a platform-independent test model through level conversion, and the platform-independent test model is converted into the corresponding test cases through vertical...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.