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.
We are developing a test case generation service that uses symbolic execution technique, to support testing of Java programs. In addition to program under test, we need drivers and stubs to execute the service. However, preparing drivers and stubs manually is a time-consuming and sometimes difficult task. In order to reduce the cost of such manual effort, we developed a tool that automates not only...
At a time when software products are taking on increasingly critical functions, and are growing increasingly large and complex, the need to ensure their quality also increases significantly. Yet, despite several decades of research, the verification of software products of industrial size and complexity remains an unfulfilled challenge. In this paper, we discuss a hybrid approach to the verification...
Program slicing is widely used as an aid in program analysis. In several cases, it is observed that the static slices contain a large number of program statements. Due to this increased size of the static slice, they are of little use in many practical applications. Moreover, the static slices may be less precise compared to dynamic slices. Partial slicing is suggested as a method for program testing...
Drawing on wide experience over many years, BitWise has evolved a SOFTWARE TEST MATURITY MODEL. This is of particular value in the testing of safety critical software. This brings significant benefits in terms of cost and effective quality. This paper explains the Model and enables development groups to assess their current capabilities and plan any required improvements.
This paper describes initial work towards building an explicit assurance case for DO-178C / ED-12C. Two specific questions are explored: (1) What are some of the assumptions upon which the guidance in the document relies, and (2) What claims are made concerning test coverage analysis?
Nowadays people pay attention to automated test as well as to test system. It has become the important question that how to use the test system convenient. Therefore, the software automated testing system based on step is proposed, which include test case, test execution, log analyzer. It is capable of producing the useful "step" abstracted in the test requirement and enhancing testing efficiency...
Software testing is the primary approach to support software quality assurance. Many novel software testing methods have been proposed to achieve various tasks in recent years. It is a challenge to teach these new testing methods and classical testing methods within limited time. This paper reports our work in progress on the new teaching approach to software testing methods based on diversity principles.
The need for better software continues to rise, as do expectations. This, in turn, puts more emphasis on finding problems before software is released. Industry is responding by testing more, but many test engineers in industry lack a practical, yet theoretically sound, understanding of testing. Software engineering educators must respond by teaching students to test better. An essential testing skill...
State Machines (ASM) are mathematically defined environment for high-level system design, verification and analysis. This paper presents a definition of the hybrid approach to the specification, analysis and testing of stateful grid services using ASM. This approach allows an easy integration of created specification of developed middle ware with existing components of grid systems. The important...
Ant colony algorithm is a bionic optimization algorithm, it can solve combinatorial problems effectively. For the problem of the test suite reduction, this algorithm could find the balance point between the speed and the accuracy of solution. Unlike other existing algorithms, this algorithm used test cost criteria, as well as the test coverage criteria. Finally, the paper presented the results, the...
Checking the conformance between implementation and design rules is an important activity to guarantee quality on architecture and source code. To address the current needs of dependable systems it is also important to define design rules related to the exception handling behavior. The current approaches to automatically check design rules, however, do not provide suitable ways to define design rules...
Web services are widely used as software components that must provide a robust interface to client applications. Robustness testing is an approach particularly suitable for detecting robustness issues in web services. In fact, several research works have been conducted in the past leading to the proposal of different robustness testing techniques for such environments. However, although of utmost...
Software faults are known as a major cause of computational systems' defects. Even when these systems are tested exhaustively they can present some failures due to the activation of residual software faults in the source code. Software fault injection tools are useful to emulate the presence of software faults and to monitor the system allowing one to observe if the system continues to operate as...
The complexity of the technologies involved in the Future Internet makes testing extremely challenging and demands for novel approaches and major advancement in the field. The overall aim of the FITTEST project is to address these testing challenges, by developing an integrated environment for automated testing, which can monitor the Future Internet application under test and adapt to the dynamic...
By means of analysis of software's usage, it can be known that the software's actual usage is just like a stochastic process, whose series of usage events are extended according to some probability distribution. If the statistical characteristics of software reliability test suite is that of the implementation in practice when customers actually use the software product, that is to say, the test process...
Because debugging is notoriously time-consuming and laborious, fault localization becomes a major activity in software testing researches. This paper proposes a novel fault localization approach which utilizes intersection of control-flow based execution traces. It reports all program points, which are executed in every failed test case, as suspect of bugs and ranks them based on the frequency they...
The size and complexity of large-scale distributed embedded systems such as automotive and process controls have increased recently. Sophisticated systems that are safe and environmentally friendly require numerous types of sensor data, which are collected from various devices and sent to computers through networks. To develop such large-scale distributed embedded systems with high dependability and...
CARS (Computational Architecture for Reflective Systems) is a low-cost test bed for studying self-organization and real-time distributed behavior, using cars with on-board computers as autonomous agents, in an uncontrolled and largely unpredictable environment. This paper describes the software infrastructure for CARS, based on our Wrapping approach to knowledge-based integration. It allows us to...
DisCaRia is a distributed case-based reasoning system used for fault resolution. This system features peer-to-peer and case-based reasoning approaches that provide the capability of exploring various fault data sources and exploiting fault solving knowledge from these distributed sources. This paper focuses on the prototype implementation and the performance evaluation of DisCaRia. The prototype system...
Safety critical control systems, especially flight control systems, have failed in trials and actual flights sometimes killing people. Independence is a key word in the verification and validation activity of such systems. Model based testing is used today in all flight control programs. Test cases are generated using qualified automated tools or manually to ensure code and requirements coverage....
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.