Advances in computers. Volume 108 / edited by Atif Memon.

Format:

Book

Author/Creator:

Memon, Atif, author.

Contributor:

Memon, Atif, editor.

Series:

Advances in computers ; 0065-2458 v. 108 (OCoLC)1461174

Advances in computers, 0065-2458 ; v. 108

Language:

English

Subjects (All):

Computers--Access control.

Computers.

Physical Description:

1 online resource (355 pages) : illustrations (some color)

Edition:

First edition.

Place of Publication:

Cambridge, Massachusetts : Academic Press, 2018.

System Details:

text file

Summary:

Volume 108 focuses on five topics. (1) "Model-Based Testing for Internet of Things Systems," posit that the Internet of Things (IoT) has become a means of innovation and transformation. Applications extend to a large number of domains, such as smart cities, smart homes, and healthcare. (2) "Advances in Software Model Checking," observe that society is becoming increasingly dependent on software which results in an increasing cost of software malfunction. At the same time, software is getting increasingly complex and testing and verification are becoming harder. Software model checking is a set of techniques to automatically check properties in a model of the software. (3) "Emerging Software Testing Technologies," provides a comprehensive overview of emerging software testing technologies. Beyond the basic concepts of software testing, the chapter addresses prominent test case generation approaches and focuses on more relevant challenges of testing activity as well as its role in recent development processes. (4) "Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts," presents two optimization techniques to direct successive runs of symbolic execution toward the impacted parts of an evolving state machine model using memoization (MSE) and dependency analysis (DSE), respectively. Model-driven engineering (MDE) is an iterative and incremental software development process. (5) "A Tutorial on Software Obfuscation," discusses the important problem of protecting a digital asset once it leaves the cyber trust boundary of its creator; this is a challenging security problem. The creator is an entity which can range from a single person to an entire organization. The trust boundary of an entity is represented by all the (virtual or physical) machines controlled by that entity.

Contents:

Chapter 1: Model-Based Testing for Internet of Things Systems

1. Introduction

2. Challenges of Testing IoT Systems

3. State of the Art

4. MBT for IoT Conformance Testing

5. MBT for IoT Security Testing

6. Online MBT for IoT Robustness Testing

7. Model-Based Testing as a Service

8. Lessons Learnt and Discussion

9. Conclusion

Acknowledgments

References

Chapter 2: Advances in Software Model Checking

2. Explicit-State Bounded Model Checking

3. Symbolic Execution

4. Abstraction-Based Model Checking

5. Conclusions

Chapter 3: Emerging Software Testing Technologies

2. Basic Concepts of Testing

3. Test Cases Generation

5. Testing Process

6. Domain-Specific Testing

7. Discussion and Conclusions

Chapter 4: Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts

2. Background

3. Related Work

4. Standard Symbolic Execution of Rhapsody Statecharts

5. Optimizing Symbolic Execution of Evolving Rhapsody Statecharts

6. Implementation

7. Evaluation

8. Conclusion: Summary, Future Work, and Perspective

Appendix 1. Ecore Meta-Model of CMLMs

Chapter 5: A Tutorial on Software Obfuscation

2. Classification of Code Obfuscation Transformations

3. Classification of MATE Attacks

4. Survey of Obfuscation Transformations

5. Discussion

6. Related Work

7. Conclusion

Index.

Notes:

Includes bibliographical references.

Description based on online resource; title from PDF title page (EBC, viewed March 11, 2018).

ISBN:

9780128151204

012815120X

9780128151198

0128151196

OCLC:

1082522845