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.
Previous work has demonstrated that property-based testing (PBT) is a flexible random testing technique that facilitates the generation of complex form data. For example, it has been shown that PBT can be applied to web-service applications that require various inputs for web-forms. We want to exploit this data generation feature of PBT and combine it with an external test-case generator that can...
Software application is insufficient when it does not meet both functional and non functional requirement. Usually we check the validation of non functional requirement after functional testing and any correction made after functional testing requires lots of cost and success rate becomes minimum. If a model or methodology helps to predict attributes of non-functional early in the phase of software...
Business applications are more and more collaborative (cross-domains, cross-devices, service composition). Security shall focus on the overall application scenario including the interplay between its entities/devices/services, not only on the isolated systems within it. In this paper we propose the Security Threat Identification And TEsting (STIATE) toolkit to support development teams toward security...
Powerful development frameworks and adoption of agile development methods are continuously increasing release frequency, thus compress test cycles. Test automation, often relying on model based approaches, helps to reduce test time, however the introduction of related heavy weight processes is often quite challenging. In order to tackle this problem, we propose a bottom up testing approach, which...
We present a novel technique for static slicing of SoaML Service Interface Diagram. In this technique, a Service Interface Diagram is converted into an intermediate representation which we have named as Service Interface Dependency Graph(SIDG). The SIDG identifies Service Call Dependency and Composite Dependency from Service Interface Diagram. Giving slicing criterion as input, our aglorithm traverses...
Management application of Tabungan Kurban is an application that integrates business process of data management clients are involved in a business process, specifically in the process of saving sacrifice or kurban. The objective of developing the application is to replace manual activities in managing kurban savings, including deposits and records of savings. The inefficiency of having a manual booking...
During acceptance testing different areas of delivered software system are reviewed. Usually these are functionality, business domain logic, non-functional characteristics, user interface. Although they are related to the same particular functional area, they are verified separately. This paper presents the concept and the Requirements Driven Software Testing (ReDSeT) tool, which allows for automatic...
In a testing process, the design, selection, creation and execution of test cases is a very time-consuming and error-prone task when done manually, since suitable and effective test cases must be obtained from the requirements. This paper presents a model-driven testing approach for conceptual schemas that automatically generates a set of abstract test cases, from requirements models. In this way,...
Service-Oriented Architecture (SOA) supports loose-coupling and interoperability, where services communicate with each-other through message exchanging protocol and interfaces. SOA supports vendor diversity. In order to full-fill the vendor need, service composition is considered as a key process. Regression testing is inevitable to assure the quality of SOA based applications during their evolution...
The following paper proposes a structured, natural language specification of web service behavior based on keywords in context. The advantage of this type of document is that it can be automatically analyzed in order to extract test cases for testing the web service. The test cases define not only what to test, i.e. what operations to invoke in what order, but also how to test, i.e. with what test...
This paper presents Smartesting CertifyIt, a general-purpose model-based testing solution dedicated to the IT domain. In the process supported by this model-based testing solution, test generation models are developed using a subset of UML and BPMN notations. The automated test generation phase is led by several kinds of test selection criteria such as requirements coverage or scenario-based criteria...
This industrial contribution describes a tool support approach to assessing the quality of relational databases. The approach combines two separate audits - an audit of the database structure as described in the schema and an audit of the database content at a given point in time. The audit of the database schema checks for design weaknesses, data rule violations and deviations from the original data...
Applications are increasingly constructed by orchestrating Web services. Ensuring the reliability of such loosely coupled service compositions is a challenging task. In this paper, we propose an automatic scenario-oriented testing approach for service compositions specified by Business Process Execution Language (BPEL). In our approach, an abstract test model (BGM) is first defined to represent the...
In the practice of process-centric systems implementations, business process modeling is becoming more crucial. This paper introduces an approach to automatically generate test suites for the process paths to check the consistency, which is very important, between the business process model and the implementation of Enterprise System. The paper also presents a supporting tool to apply this approach...
Transactions are a fundamental technology for building efficient and reliable web service based applications. Various models and protocols have been developed by academic and industrial research community in order to effectively manage web services transactions. We propose a novel abstract model for dynamically modeling distinct web services transaction protocols. Model-based testing techniques can...
Re-engineering a legacy software system to support new, modern technologies instead of old ones is not an easy task, especially for large systems with a complex architecture. The use of reverse engineering tools is crucial for different subtasks of the full process, such as re-documenting the old code or recovering its design. There are many tools available to assist developers, but most of these...
This paper proposes a novel approach to generating test cases from UML 2.0 activity diagrams and prioritizing those test cases using model information encapsulated in the activity diagrams. The test cases generated according to our approach are suitable for system level testing of the application. For prioritization of test cases, we propose a method based on coverage of all transitions in the activity...
Today, alone with the CBSE (Component Based Software Engineering) development, the component test is always a headache problem for software integrators. From software integration point of view, as components may be same or similar and may from different components providers, how to determine and select the suitable components is not an easy job. Normally they need some component test system to help...
This paper presents a case study for the modeling and model-based testing (MBT) of enterprise service choreographies. Our proposed MBT approach uses proprietary models called Message Choreography Models (MCM) as test models. The case study illustrates how MCM-based service integration testing allows to formalize design decisions and enables full integration into an existing industrial test infrastructure...
Test-driven development (TDD) - an established approach in business IT software development - enables test case generation based on models early in the development process. Applying TDD and models in automation systems engineering (ASE) can increase testing effectiveness and efficiency. A key question is which models are suitable for ASE application. UML models support software and systems engineering...
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.