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.
Software productivity is influenced by how efficiently programmers execute tasks assigned to them. For executing a task, programmers execute several steps. How the execution of these steps is organized by a programmer is referred to as task process. While overall software process has been well studied, the impact of task processes has not been studied much. In this work, we study the impact of task...
The automated testing of Web-based software can drastically improve the quality and reduce the costs of software development and testing. To make it more efficient we should analyze the habits and preferences of end-users. Here we analyze the known approaches to users' social habits analysis, and their applications for improving the efficiency of testing of Web applications, taking as an example the...
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,...
The global trend of Future Internet related experimentally driven research has gained a strong momentum. In this context sustainability and the best use of developed infrastructures are highly critical. While many facilities have reached a level of maturity that allows them to be opened up to a wider use, mainly the academic sectors have been targeted. The Fanning out Testbeds-as-a-Service for the...
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...
We describe the SPaCIoS project, illustrating its main objectives, the results obtained so far and those that we expect to achieve, in particular, the development of the SPaCIoS Tool, an integrated platform that takes as input a formal description of the system under validation, the expected security goals, and a description of the capabilities of the attacker, and automatically generates and executes...
To achieve the maximum productivity using minimum resource is the aim of any software industry. Software engineering provides an abstraction process to develop software product. It has introduced various methodologies, principles and concepts. Most of them are the software process models which are also known as software life cycle models. In the software industry different-different types of projects...
With the large-scale distributed system plays an increasingly important role in such fields as national security, critical infrastructure and social life, its vulnerability analysis problem has become a growing focus nowadays. As a vulnerability analysis object, a multi-layer model is put forward firstly, and then a multi-dimension vulnerability analysis framework of large-scale distributed system...
This paper reports on ongoing work on SWAT, a new toolkit for security workflow analysis. SWAT provides a platform for the realization and testing of well-founded methods to detect information leaks in workflows, both for the workflow certification and for audit based upon the execution traces. Besides presenting the SWAT's functionality and high-level architecture, an example illustrates its operation.
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...
Keynesian consumption function, Duesenberry's consumption function, Modigliani's life-cycle consumption function, Friedman's permanent income hypothesis and the “ramble walk consumption function” are fitted on Chinese rural household data from 1978–2009. The results show that only the “ramble walk consumption function” past the test and the permanent income hypothesis reluctantly past the test. So...
This paper proposes a method of detecting troublesome defects in the Java source codes for enterprise systems using a model checking technique. A supporting tool also provides a function to automatically translate source code into a model which is simulated by UPPAAL model checker.
The modularity and customer centric approach of use cases make them the preferred methods for requirement elicitation, especially in iterative software development processes as in agile programming. Numerous guidelines exist for use case style and content, but enforcing compliance to such guidelines in the industry currently requires specialized training and a strongly managed requirement elicitation...
Technique for analysis models of a web application is proposed for easy and effective development. The use case diagram and web page list are generated. The page diagram and logical/physical database models are created based on the web page list and extracted data fields. Test cases for the web application are generated from call messages of the UML sequence diagram. The effectiveness of these techniques...
The difficulties of e-commerce protocol security are mainly reflected in two aspects: First, the industry has not yet come to a uniform conclusion for the requirements of the security properties of e-commerce, while new properties are continually proposed and updated. The second is the difficulty of the protocol design and verification. This paper makes a new explanation of the protection of individual's...
In this paper we present the results of a two day workshop - a set of functional roles performed by software engineers during their first year and the knowledge and skill requirements that enable them in playing these roles. An effective curriculum that is aligned with needs of our business units is designed (for our entry level training program) based on the results of the workshop.
The theoretical basis and implementation solution of business process simulation and analysis system (BPSAS) is put forward in this paper. With workflow technology, Petri net theory and simulation technology, the workflow engine independent business process analyzing system is realized to provide Petri net based business process analysis. Further more, an example is illustrated to demonstrate how...
Cross-organizational workflow appears to be more and more important in global business. It is a better solution to the problem of cross-organizational collaboration that state machine workflow is able to model business processes based on discrete points. Data will be transferred among different organizations in their collaborations and more human interactivities are needed. Further more, the event...
Service level agreements (SLAs) impose many non-functional requirements on services. Business analysts specify and check these requirements in business process models using tools such as IBM WebSphere Business Modeler. System integrators on the other hand use service composition tools such as IBM WebSphere Integration Developer to create service composition models, which specify the integration of...
Developing sustainable urban environments is complex as it requires consideration of interacting social, economic and environmental sustain ability factors. The task is made even more difficult by the wide variety of stakeholders (e.g. planners, architects, businesses and the public) that may be involved in the process and the lack of a common language for all to understand. This paper describes a...
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.