Coverage verification by tests of program branches and conditions of software in environments of automatic testing

Software verification is a discipline of software engineering that focuses on compliance of software requirements. In critical areas such as the aviation industry, the quality of military software is subject to strict control. Covering the requirements allows you to assess the completeness of a set...

Full description

Saved in:
Bibliographic Details
Published in:IOP conference series. Materials Science and Engineering 2018-11, Vol.450 (5), p.52008
Main Authors: Li, A H, Lyapunova, I A, Fomenko, N A
Format: Article
Language:English
Subjects:
Algorithms
Completeness
Program verification (computers)
Software engineering
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Software verification is a discipline of software engineering that focuses on compliance of software requirements. In critical areas such as the aviation industry, the quality of military software is subject to strict control. Covering the requirements allows you to assess the completeness of a set of tests in relation to the functionality of the system, but does not allow you to assess the completeness in relation to its software implementation. The same function can be implemented using completely different algorithms that require a different approach to the organization of testing. Our approach uses "concolic" testing to automatically generate test cases.
ISSN:1757-8981
1757-899X
1757-899X
DOI:10.1088/1757-899X/450/5/052008