Automated Formal Testing of C API Using T2C Framework

Хорошилов, А. В.; Rubanov, Vladimir; Shatokhin, Eugene A.

doi:10.1007/978-3-540-88479-8_5

Cited by 7 publications

(4 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The first method [13] is based on manual test case development with further parameterization making a test case a template. For test execution each template is supplemented with several arrays of arguments that are put in place of corresponding parameters.…”

Section: Informal Approachesmentioning

confidence: 99%

Verification of Operating System Components

Kuliamin¹,

Petrenko²,

Хорошилов³

2017

View full text Add to dashboard Cite

The paper concerns recent advances in reaching the goal of industrial operating system (OS) verification. By industrial OS we mean a system actively used in some industrial domain, elaborated and maintained for a significant time, not a proof-of-concept OS developed with mostly research intentions. We consider decomposition of this goal into tasks related with various functional components of OS and various properties under verification, and application of different verification methods to those tasks. This is a trial to explicate and summarize the experience of several projects on various OS components and different OS features verification conducted in ISP RAS.

show abstract

Section: Informal Approachesmentioning

confidence: 99%

Verification of Operating System Components

Kuliamin¹,

Petrenko²,

Хорошилов³

2017

View full text Add to dashboard Cite

show abstract

“…There are frameworks for automated development of run-time tests (e.g., [3]- [8]). But the main problem is that run-time tests have to be specifically developed for every API in the target software component.…”

Section: B Run-time Testingmentioning

confidence: 99%

“…"Ease of use" constraint causes us to consider only changes that affect structure of binary interfaces that can be detected statically, so changes that affect backward compatibility through changing function's semantics are outside the scope of this paper. For detecting backward compatibility problems related with changes in semantics it is recommended to use run-time verification techniques (e.g., see [3]- [8] for Linux domain specific run-time testing frameworks).…”

Section: Introductionmentioning

confidence: 99%

Automatic backward compatibility analysis of software component binary interfaces

Ponomarenko

Rubanov

2011

2011 IEEE International Conference on Computer Science and Automation Engineering

View full text Add to dashboard Cite

This paper discusses a problem of ensuring backward compatibility when developing software components (e.g., libraries) and their consistent combinations (software platforms). Linux environment is considered as the main example. Breakage of the compatibility may result in crashing or incorrect behavior (at binary level) or inability to build (at source level) of applications targeted at an old version of a dependent software component when the applications are used with a new version of the component. The paper describes typical issues that cause compatibility problems (focusing on binary level problems) and presents a new method for automated verification for such issues (focusing on changes in structure of interfaces) for components developed in C/C++. Existing means can detect only a small fraction of all possible backward compatibility problems while the suggested methodcan verify a broad spectrum of them. The method is based on comparison of function signatures and type definitions obtained from library header files in addition to analyzing symbols in library binaries. This paper also describes an automated verification tool that implements the suggested method and presents some results of its practical usage.

show abstract

“…Working with good testing applications can allow users to reduce bugs in new and existing features, render tests suitable for documentation, improve designs, and activate refactoring. Among such tests, CUnit [18] is a system test for writing and running unit tests developed with the programming language C. Another testing framework, JUnit [19], focuses on unit testing developed with Java. Meanwhile, Cactus [20] is a test framework for unit testing server-side Java code, the cost of which it aims to reduce.…”

Section: Testing Methods For Nosql Databasesmentioning

confidence: 99%

Automated testing for distributed databases with fuzzy fragment reallocation

Akbulut¹,

Karataş²

2018

Turk J Elec Eng & Comp Sci

View full text Add to dashboard Cite

Abstract:As the Internet and big data become more widespread, relational database management systems (RDBMSs) become increasingly inadequate for web applications. To provide what RDBMSs cannot, during the past 15 years distributed database systems (DDBSs) have thus emerged. However, given the complicated structure of these systems, the methods used to validate the efficiency of databases, all towards ensuring quality and security, have become diversified.In response, this paper demonstrates a system for performing automated testing with DDBSs, given that testing is significant in software verification and that accredited systems are more productive in business environments. The proposed system applies several tests to MongoDB-based NoSQL databases to evaluate their instantaneous conditions, such as average query response times and fragment utilizations, and, if necessary, suggest improvements for indexes and fragment deployment. Within this context, autogenerated data, replica, meta, system, fragment, and index tests are applied. Clearly, the system's most important feature is its fuzzy logic-enabled fragment reallocation module, which allows the creation and application of reallocation strategies that account for data changes in query frequency.

show abstract

Automated Formal Testing of C API Using T2C Framework

Cited by 7 publications

References 2 publications

Verification of Operating System Components

Verification of Operating System Components

Automatic backward compatibility analysis of software component binary interfaces

Automated testing for distributed databases with fuzzy fragment reallocation

Contact Info

Product

Resources

About