Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Good planning and managing software test process require accurate estimation of software test effort. This becomes particularly significant when validation and verification activities are to be performed by an independent organization. This study presents a systematic literature review and a follow up industrial survey, which was performed to investigate the state of the art on software test effort...
One argument in the discussion about the adoption of UML in industry is the supposedly large effort it takes to do modeling. Our study explores how the creation of UML models can be understood to consist of different cognitive activities: (i) designing: thinking about the design (ideation, key-design decision making), (ii) notation expression: expressing a design in a modeling notation and (iii) layouting:...
The transition from a model-driven to a requirements-driven approach in the software development for programmable logic controllers will allow the developers to focus on the proper definition of the problem which needs to be solved and let the computer find a suitable solution for it automatically. This article presents a domain specific language intended to support this transition. The main focus...
The demand for commodities of houseplant in the world are indeed enormous, especially the kind aglonema, bromille, anthorium. The relatively large volume of national production and harvest area — compared with other crops — has placed the aglonema, bromille, anthorium a main houseplant in Indonesia, especially in West Java. But, unfortunately, the marketing system of houseplant needs some improvement...
The condition in difficulty for capture software product line (SPL) requirement in e-government system is critical in the government domain. It cause of the multiple business processes are highly dynamic and at even during execution require changes are needed. In order to response it, the mechanism and systematic approach for capture software requirement, called conceptual approach is needed. Besides...
This paper presents the work performed at (removed for blind review) to automate the integration of virtual systems development (VSD) and simulation in its embedded software development process. The approach is based on a combination of metamodels, model transformations and design patterns, the SysML standard and the use of the open source Eclipse framework. The purpose is to derive all the design...
Creating new software or software-intensive systems is still a challenge and far removed from a traditional engineering domain. The increasing size of software deployed in typical systems and the emergence of very large highly distributed systems necessitates additional techniques to assure the systems' quality. Using the example of the German automatic toll system we introduce and discuss a simulation...
As Cyber-Physical Systems (CPS) operate in open, dynamic and diverse environments, they need to be self-adaptive to address the uncertainty challenges. And it is urgent to study self-adaptive software intensive Cyber-Physical Systems (self-adaptive CPS). As self-adaptive CPS interact closely with the environments and users, their requirements analysis is particularly challenging. General requirement...
Traceability provides a mean for Software Engineers to track system artifacts at different levels of abstraction to verify and validate system requirements. This paper provides a systematic literature review about modeling traceability in computer systems, particularly, systems that involve artifacts that come from different domains of expertise (i.e., heterogeneous artifacts). Our findings show that...
Software reliability is a major attribute for software product and can be considered as one of the major performance parameters. Software Reliability unlike hardware reliability cannot be considered merely as function of time, although researchers have come up with models relating the two. In literature, numerous models on software reliability have been proposed but they seem to have limitations in...
It is very convenience to use the combination of design patterns as a key participant when on programming. However, in the methods of combination design patterns at present, there are several existing description methods often apply to one or several simple patterns. They are weak in supporting the combination of design patterns and the application tools; In this paper we use a new extension technology...
The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analysis. The appropriate representation of the failure propagation of the software is a pressing need in order to increase the accuracy of safety analyses...
Modern Cyber-Physical Systems are often driven bya plethora of controllers that are connected with each other andtheir environment. To guarantee a safe and robust execution ofthe systems, their control units have to strictly fulfill certainproperties which calls for the use of formal analysis methods inthe software development process. We present the combinationof the model-based engineering technique...
This publication presents a novel concept for autonomous and decentralised M2M application service provision. The functional architecture of the approach is introduced as well as a detailed description of the system structure and process for application creation. Furthermore, this publication describes details about the proposed process for decentralised M2M application service management and formal...
State diagrams are widely used to model software artifacts, making state-based testing an interesting research topic. When conducting research on state-based testing for evaluating different testing criteria, often there is a need to devise numerous test suites in a systematic way according to selection criteria such as all-edges, all-transition-pairs, or the transition tree (W-method). Moreover,...
The bidirectional model transformation (BX) comprises a forward transformation get and a backward transformation put. Given that get may be an information-loss transformation, the behavior of put may be uncertain. An uncertain put produces many valid outputs that fit different application scenarios. This paper proposes an approach to variability management in BX to enable put to generate an output...
In software development, requirements, normally written in natural language, are documents that specify what users want in software products. Software developers then analyze these requirements to create domain models represented in UML diagrams in an attempt to comprehend what users need in the software products. These domain models are usually converted into design models and finally carried over...
Signal software for high-speed railways is safetycritical, controlling communications between trains, tracks, stations, and signals. It is necessary to test railway signal software rigorously. However, ad-hoc approaches still dominate in practice. We proposed a hybrid approach that uses combinatorial testing (CT) and model-based testing (MBT). We applied this systematic approach to testing track circuit...
Software modelling deals with multiple problems such as defect detection, synchronization and authorship assessment. These problems are obviously solved by complex tools for static and manual analysis of models. But an origin of these problems is in dynamical part of software modelling process - activities of developers, that can be incrementally processed right in developers' environments. So, methods...
Software metrics are widely used to measure the quality of software and to give an early indication of the efficiency of the development process in industry. There are many well-established frameworks for measuring the quality of source code through metrics, but limited attention has been paid to the quality of software models. In this article, we evaluate the quality of state machine models specified...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.