The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper considers the reliability modeling and evaluation of the two-phase Gamma degradation process. We assume the degradation paths of the device in the first and second phases follow the Gamma process with different parameters. And we also suppose the change point and the parameters of this two-phase Gamma process model vary from device to device. For each device, the Akaike information criterion...
In digital health communication domain, the software is usually offered as a service (SaaS) which mandates attracting customers' satisfaction within each use of service. We report a case study in this domain which provides secure web based mail services that establish a secure bridge between patients and medical personnel. In this context, we explore service usage to guide value prediction for existing...
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...
Context: Software has become more complicated, dynamic, and asynchronous than ever, making testing more challenging. With the increasing interest in the development of cloud computing, and increasing demand for cloud-based services, it has become essential to systematically review the research in the area of software testing in the context of cloud environments. Objective: The purpose of this systematic...
A number of research efforts have focused in the area of programming style. However, to the best of our knowledge, there is little sound and solid evidence of how and to what extent can stylistic inconsistency impact the readability and maintainability of the source code. To bridge the research gap, we design an empirical experiment in which eye tracking technology is introduced to quantitatively...
As an effective software testing technique, combinatorial testing has been gradually applied in various types of test practice. In this case, it is necessary to provide useful combinatorial testing tools to support the application of combinatorial testing technique on industrial scenarios, as well as the academic research for combinatorial testing technique. To this end, on the basis of the research...
Software build integrates modules developed and maintained by different developers in parallel, tests the result of integration, and serves as a crucial step in cooperatiive software development. Predicting the result of build has drawn the interest of academia and industry. In spite of many previous researches, the generalizability of build failure prediction over a wide range of open-source projects...
Increasing interest in cyber-physical systems with integrated computational and physical capabilities that can interact with humans can be identified in research and practice. Since these systems can be classified as safety- and security-critical systems the need for safety and security assurance and certification will grow. Moreover, these systems are typically characterized by fragmentation, interconnectedness,...
Customers need to know how reliable a new release is, and whether or not the new release has substantially different, either better or worse, reliability than the one currently in production. Customers are demanding quantitative evidence, based on pre-release metrics, to help them decide whether or not to upgrade (and thereby offer new features and capabilities to their customers). Finding ways to...
Maintainability and easy-to-customisation are some quality properties that most application software in software-as-a-service (SaaS) should posses. These quality attributes are the pre requisite for most application software running on cloud and serving several clients with diverse requirements. It is a challenge on how to implement, manage, and monitor client-specific customisation of functions of...
REConvertor is a tool that supports thetransformation from software requirements specified bytextual use cases to the high-level message sequencechart (HMSC) model. It is able to handle textual usecases involving various sentence styles, resulting in thecorresponding HMSC model that can visually depictthe information of software requirements. Moreover,REConvertor is capable of detecting a certain...
To enable fast and reliable delivery of mobile text messages (SMS), special bidirectional protocols are often used. Measuring the achieved throughput and involved latency is however non-trivial, due to the complexity of these protocols. Modifying an existing system would incur too much of a risk, so instead a new tool was created to analyse the log files containing information about this traffic in...
This paper discusses a security approach for IoT fingerprinting. We start with revisiting the general security challenges related with the using of IoT, then discuss how IoT fingerprinting can overcome several of these challenges. We also discuss a proposed approach for the establishment of IoT fingerprinting and to maintain a secure communication between IoT devices. The proposed approach is lightweight...
Software Software Reliability Classes (SRCs) have beendeveloped in order to compare the field reliabilityperformance of a sequence of software releases for a clusterof similar hardware products. A specific cluster ischaracterized by the type of market the hardware supports,and the software releases for the cluster have similarfunctionality, complexity, size, and customer expectations
With the development of software reliability research and machine learning, many machine learning models have been used in software reliability prediction. A long short term memory network (LSTM) modeling approach for software reliability prediction is proposed. Profit from its particular data flow control structure, the model overcomes the vanishing and exploding sensitivity of simple recursive neural...
A new Software Reliability Model based on a Mixed Poisson process where the failure rate follows an Inverse Gaussian distribution is proposed. By using the Empirical Bayes estimate of the failure rate, our estimate depends just on the number of failures and the total past time, it is not necessary to know the exact instants of time were the failures have occurred. We simulate the failure detection...
Regression testing research has received significant focus during the past decades, acknowledging the benefits it can provide to organisations in terms of reduced development and maintenance costs, as well as sustained end-user satisfaction. There are several challenges left to overcome before the industry can fully take advantage of the available research results in this area. To get a better overview...
This paper discusses the reality of the state-of-theartof existing information security systems that often providesenseless functions based on “buzz-words”. It points out real-liferequirements that these systems tend to ignore. It proposes thatdynamically changing understandable use cases should becreated in collaboration with corporate management to addressobjectives that are essential for the businesses...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.