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.
Several methods for automatic test case generation have been proposed in the past. But most of these techniques are structural testing techniques that require the understanding of the internal working of the program. We propose a generic framework for automating test suite generation based on decision tables which is a black-box testing technique. Although, decision table is an old technique for testing,...
Guaranteeing timing properties is an important issue as we develop safety-critical real-time systems such as cardiac pacemakers. We present a safety assured development approach of real-time software using a pacemaker as our case study. Following the model-driven development techniques, measurement-based timing analysis is used to guarantee timing properties in implementation as well as in the formal...
In designing real time software, system designers need to find out the time budget to allocate to each action of real time tasks so that the tasks can meet their deadlines. Our solution to this problem involves representing the execution time of the actions as parameters, then analyzing the collaborative behavior of those real time tasks. This paper proposes parametric timed models of real time tasks...
Measuring software quality in terms of fault proneness of data can help the tomorrow's programmers to predict the fault prone areas in the projects before development. Knowing the faulty areas early from previous developed projects can be used to allocate experienced professionals for development of fault prone modules. Experienced persons can emphasize the faulty areas and can get the solutions in...
Formal specification and verification of complex realtime component systems' behavior can efficiently improve the systems' correctness and reliability. This paper analyzed the formal specification and verification languages of components' timed behavior. Based on the analysis we extended behavior protocol (BP) used in SOFA component model by incorporating timing constraint information and new operations...
In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions that these services must fulfill, such as real-time constraints. In this work we present a visual model that allows us to specify e-contracts in a user friendly way, including conditional behavior and realtime constraints. A case study...
During a standard software development process, organizations create text-based documents that describe software requirements, design, and implementation. These text-based specifications describe the functionality of future applications as they relate to an existing IT infrastructure. We suggest that these documents also implicitly describe core underlying service-based capabilities of the organization...
This paper presents an algebraic specification language for the formal specification of the semantics of web services. A set of rules for transforming WSDL into algebraic structures is proposed. Its practical usability is also demonstrated by an example.
Software automation has been viewed as a revolutionary way to improve the dependability and productivity of software. The paper takes the sorting algorithms as study cases, employs PAR method and generic techniques, and derives two abstract generic sorting algorithmic programs, from which a class of concrete sorting algorithmic programs can be generated automatically through operation replacement...
Change management or configuration management is becoming necessity for every facet of software system development. Traceability of objects i.e. artifacts or information units becomes core talent for authentic determination of the parametric information over the explicit instance of time. This paper presents the evolving and useful concept of traceability management wrapped in change management paradigm...
Model-based testing helps test engineers automate their testing tasks so that they can be more cost-effective. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient, is still frequently used in practice. To handle specification...
Assessment plays an essential role in the educational activity, not only to verify the knowledge acquisition of learners, but also as a motivation factor. In this paper we consider the IMS/QTI specification. We first propose a formalization of the question structure in his specification based on ontology, representing its information model. Then we enhance this specification by adding new types of...
Facing changing environments and evolving business, service composition happens all time. However, services do not always interact properly because of mismatches between their interfaces. In this paper, we use labelled interface automata, an extension of interface automata, to illustrate mismatching interfaces and resolution approaches. We model service interfaces with labelled interface automata...
Business processes describe business operations of an organization and capture business requirements. Business applications provide automated support for an organization to achieve business objectives. Software architecture represents the gross structure of a business application and shows the distribution of business requirements among software components. However, mainstream design approaches rely...
Consistency checking needs to be done from the earliest phase of requirements capture as requirements captured by requirement engineers are often vague, error-prone and inconsistent with users' needs. To improve such consistency checking we have applied a traceability approach with visualization capability. We have embedded this into a light-weight automated tracing tool in order to allow users to...
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure systems and secure services modeling.
Previous works on formal development for component-based systems usually equate refinement relations as behaviors containment. This setting facilitates verifying safety properties, but can't capture the intuition that a refined component should more easily react to the environment and is not convenient from a point view of design. To address this issue, we argue in favor of defining refinement of...
We present a pattern-based method to express time specifications in the language TLA+. A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used time patterns. We present a general framework to differentiate the temporal characterizations from system functionality with time constraints. The temporal specification is concise and provably as a refinement of its corresponding...
Aimed at the large amount of test cases in handset's software testing and tremendous manual work, this paper adopted orthogonal experiment to generate test cases after comparing three algorithms which are genetic algorithm, formal specification and orthogonal experiment. By constructing the experiment and analysing their difficulties, maneuverability, coverage rate and rigour, etc, it is concluded...
The state-of-the-art object-oriented modeling language UML does not offer any possibilities for model based analysis of functional or non-functional properties of a future solution. Reasons therefore are the semi-formality of its specification, the fact that it is not an executable language (yet) as well as the existence of informational gaps in the data, required for the desired analysis. This disadvantage...
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.