Model checking of the reliability of publish/subscribe structure based system

Jia, Yue; Bodanese, Eliane; Bigham, John

doi:10.1109/iccchina.2012.6356870

Cited by 2 publications

(2 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Model checking is another principal testing technique, whose adoptions and applications are present in the analyzed sample. As underlying models, we can find formal specification languages [61] or Computation Tree Logic (CTL) [62].…”

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

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

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

“…Closely related to the Model-Based Testing, the Model Checking discipline has its representatives in the specific IoT context. To detect possible inconsistencies and defects in IoT models, Computation Tree Logic, CTL [25], δ-Calculus [26] or Temporal Logic of Actions (TLA) formal specification language, based on temporal logic [27] are used. The first representatives of the runtime verification of the IoT solutions can be found [28].…”

Section: Iot Testbeds 38mentioning

confidence: 99%

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

Bureš

Černý

Ahmed

2018

Information Science and Applications 2018

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

Model checking of the reliability of publish/subscribe structure based system

Cited by 2 publications

References 8 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

Contact Info

Product

Resources

About