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.
An unconventional software testing method, fault injection based on fault model, is enhanced to improve the software reliability testing and measurements. Dynamic fault models for injecting faults through software are investigated and reported in this paper including memory faults, CPU faults and communication fault models. Dynamic fault models can be used to simulate influences which are caused by...
As a key aspect of product development, usability of a product is needed to be assessed by conducting usability evaluation. Within the usability evaluation methods, there are several usability assessment questionnaires; one of the most commonly used is the System Usability Scale (SUS). However, the SUS is originally developed in English and there had not been any study conducted to develop the Indonesian...
After briefly discussing the strength and weakness of the major techniques for verification of software, such as formal proof, model checking, program analysis, software review, and software testing, we put forward a testing-based formal verification (TBFV) technique to check algorithmic function theorems that represent software properties. An algorithmic function theorem is a first-order logic theorem...
Security problem of a software mainly comes from the interaction between software and its environment. In this study, the quantification modeling of the interaction between software and its environment will be established based on process calculus theory. The refinement relations of the software are proposed to compare the ability of interaction between software and its environment. The pre-congruences...
During testing process of any SDLC, efforts are made to successfully find out flaws and make the system bug free, but at times while removing the existing limitations some new bugs might embed into the software system. In order to have a competitive advantage, a firm has to quickly come up with its offering despite the presence of some issues in the software. Therefore, it cannot be assured that the...
In order to verify whether the functions have been rightly implemented into the software, the developer is involved with the task of developing a set of test cases thereby influencing the set of functions and modules present in the software so that the developer can judge upon the defects laid into the implemented functions. The set of functions which these test cases influence comprises what in common...
Computer interlocking software is a real-time and safety-critical software, which can ensure the traveling safety and improve the transportation efficiency in the railway signal computer control systems. It is of great significance to evaluate the reliability of the interlocking software before putting them into operation. Most of the existing Non-Homogeneous Poisson Process (NHPP) models did not...
With the ever-increasing dependence of our civil and social infrastructures to the correct functioning of software systems, the need for approaches to engineer reliable and validated software systems grows rapidly. Traceability is the ability to trace the influence of one software artifact on another by linking dependencies. Test-to-code traceability (relationships between test and system code) plays...
This paper shows an extended mutation score to evaluate a test suite for concurrent software in model-driven development. It is calculated based on a weighted PN (place/transition net) that consists of two elements. One is a PN that is constructed based on specifications of SUT (software under test), and another is the weights that are calculated based on software metrics.
The modern world is highly engaged with software systems. Determining the quality of a software system is a challenging task. Software reliability plays a vital role in the quality estimation of a software system and highly helped in achieving high-quality software. This paper proposes a hybrid method for estimating the parameters of Software Reliability Growth Model (SRGM) using Modified Genetic...
From the five aspects of software nature's reliability, analyzing and designing phase's reliability, encoding phase's reliability, testing phase's reliability and hardware environment's reliability, software reliability comprehensive assessment indicator system has been established, and based on method of fuzzy comprehensive evaluation, software reliability comprehensive assessment model has been...
As the complexity of software applications are growing rapidly day by day, traditional software reliability methods are insufficient to analyze inter-component interactions of modular software systems. For this the number of test cases may be extremely large, so that it is hard to extensively test each software component in a given resource limitations. This review discuss various reliability estimation...
The aim of any company is to deliver reliable product in dynamic and competitive environment. Measuring Testing efficiency and effectiveness is done by proper identification of test attributes and defect origin at various levels of software development phase and removal of these errors becoming an important influencing factor for the invention of quality software. This paper provides an experimental...
In today's fast moving day to day life almost everything is more or less dependent on software. This dependence on software has increased the demand of reliable software in no time. Hence software firms are now a days releasing multiple versions of the software instead of providing a software with less number of bugs and removing the bugs of the previous version in the next up-gradation Firms remove...
The competitive essence of market and rapid change in human's requirement in technology is shrinking the age of softwares. Increasing demand of reliable software and stiff competition in the market has forced software companies for releasing their softwares in multiple versions. Software reliability is a major and leading factor for measuring the software quality, which is essential for consumer satisfaction...
Every failure in a software system demands for a repair or fixation process so as to deliver an intact system. In terms of IT industry, a patch intercepts users from getting exploited by the unknown complex defects which are termed as vulnerabilities. Many of the cyber attacks are due to the vulnerabilities and unacceptable management of the patches. One of the management issues is when one should...
In today's technology driven world, not all technologies could be adopted easily. There are many factors that affect its level of adoption; the most common factors are the perception of usefulness and perceived ease of use. Instagram is a picture-based social media tools or applications which also offer a photo-editing features to create a better desirable results. The theory that is appropriate to...
Decreasing device sizes in integrated circuits lead to increasing vulnerability of hardware to errors resulting from radiation, crosstalk or power-supply disturbances. Especially in the automotive domain many tasks of electronics are safety relevant, so that solid error detection and correction is imperative. However, completely safe hardware is too expensive for the cost sensitive automotive market...
Internal and external factors that influence reliability of CPSs are analyzed in this paper. A strategy for reliability testing and evaluation of CPSs is put forward in the consideration of these factors, including the technology framework and processes. The main work comprises the testing and evaluation of component reliability covering hardware, software, and architecture, as well as the performance...
This paper presents an effective reliability model for multi-release open source software (OSS), which derived based on software lifecycle development process (SDLC) proposed by Jørgensen [1]. Most of OSS reliability models do not consider the unique characteristic of OSS in the model. This model, combine bugs removed from pre-commit test and parallel debugging test phases. Furthermore, the proposed...
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.