Statistical Verification of Process Conformance Based on Log Equality Test

Bae, Hyerim; Sim, Sunghyun; Choi, Yongki; Liu, Ling

doi:10.1109/cic.2016.040

Cited by 3 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The methods are varying here. For instance, statistical verification [75], formal verification [76], conformance testing [77], or randomness testing [78].…”

Section: Principal Testing Techniques Have Been Previously Studied (Rq4)mentioning

confidence: 99%

See 1 more Smart Citation

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

et al. 2019

View full text Add to dashboard Cite

Internet of Things (IoT) is an emerging technology that has the promising power to change our future. Due to the market pressure, IoT systems may be released without sufficient testing. However, it is no longer acceptable to release IoT systems to the market without assuring the quality. As in the case of new technologies, the quality assurance process is a challenging task. This paper shows the results of the first comprehensive and systematic mapping study to structure and categories the research evidence in the literature starting in 2009 when the early publication of IoT papers for IoT quality assurance appeared. The conducted research is based on the most recent guidelines on how to perform systematic mapping studies. A set of research questions is defined carefully regarding the quality aspects of the IoT. Based on these questions, a large number of evidence and research papers is considered in the study (478 papers). We have extracted and analyzed different levels of information from those considered papers. Also, we have classified the topics addressed in those papers into categories based on the quality aspects. The study results carry out different areas that require more work and investigation in the context of IoT quality assurance. The results of the study can help in a further understanding of the research gaps. Moreover, the results show a roadmap for future research directions.

show abstract

“…The methods are varying here. For instance, statistical verification [75], formal verification [76], conformance testing [77], or randomness testing [78].…”

Section: Principal Testing Techniques Have Been Previously Studied (Rq4)mentioning

confidence: 99%

“…Bae et al proposed a statistical verification of process conformance in an IoT system based on log equality test [75]. The concept seems promising and is experimentally verified by an application on data from a system supporting steel manufacturing processes.…”

Section: Principal Testing Techniques Have Been Previously Studied (Rq4)mentioning

confidence: 99%

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

et al. 2019

View full text Add to dashboard Cite

show abstract

“…As a standalone area, the IoT protocol testing can be identified. Variety of the methods is used here, for instance, conformance testing [32], randomness testing [33], statistical verification [34], or formal verification [35]. Previous work related to IoT usability testing can be also identified, for instance, an IoT-specific usability testing framework [36].…”

Section: Iot Testbeds 38mentioning

confidence: 99%

Internet of Things: Current Challenges in the Quality Assurance and Testing Methods

Bureš

Černý

Ahmed

2018

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

Contemporary development of the Internet of Things (IoT) technology brings a number of challenges in the Quality Assurance area. Current issues related to security, user's privacy, the reliability of the service, interoperability, and integration are discussed. All these create a demand for specific Quality Assurance methodology for the IoT solutions. In the paper, we present the state of the art of this domain and we discuss particular areas of system testing discipline, which is not covered by related work sufficiently so far. This analysis is supported by results of a recent survey we performed among ten IoT solutions providers, covering various areas of IoT applications.

show abstract

A Software Verification Method for the Internet of Things and Cyber-Physical Systems

Manzhos

Sokolova

2023

Computation

View full text Add to dashboard Cite

With the proliferation of the Internet of Things devices and cyber-physical systems, there is a growing demand for highly functional and high-quality software. To address this demand, it is crucial to employ effective software verification methods. The proposed method is based on the use of physical quantities defined by the International System of Units, which have specific physical dimensions. Additionally, a transformation of the physical value orientation introduced by Siano is utilized. To evaluate the effectiveness of this method, specialized software defect models have been developed. These models are based on the statistical characteristics of the open-source C/C++ code used in drone applications. The advantages of the proposed method include early detection of software defects during compile-time, reduced testing duration, cost savings by identifying a significant portion of latent defects, improved software quality by enhancing reliability, robustness, and performance, as well as complementing existing verification techniques by focusing on latent defects based on software characteristics. By implementing this method, significant reductions in testing time and improvements in both reliability and software quality can be achieved. The method aims to detect 90% of incorrect uses of software variables and over 50% of incorrect uses of operations at both compile-time and run-time.

show abstract

Statistical Verification of Process Conformance Based on Log Equality Test

Cited by 3 publications

References 6 publications

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

Internet of Things: Current Challenges in the Quality Assurance and Testing Methods

A Software Verification Method for the Internet of Things and Cyber-Physical Systems

Contact Info

Product

Resources

About