Search

Your search keyword '"COMPUTER software testing"' showing total 1 results
Start Over Descriptor "COMPUTER software testing" Topic algebraic model Language russian Journal informatics & mathematical methods in simulation / informatika ta matematicni metodi v modeluvanni

Refine your results

1 results on '"COMPUTER software testing"'

1. STRUCTURAL TESTING OF SOFTWARE SYSTEMS USING ELEMENTS OF COMPUTER ALGEBRA.

Author

Lomakina, Lyubov S. and Vigura, Anton N.

Subjects
*COMPUTER software testing, *STRUCTURAL analysis (Engineering), *ALGEBRAIC codes, *MATHEMATICAL logic, *AUTOMATION, *PROGRAMMING languages
Abstract

A method of software system structural testing based on the program algebraic model and machine code-level dynamic symbolic execution is proposed. The method allows for unit testing automation for programs written in compiled languages. [ABSTRACT FROM AUTHOR]

Published
2013

Catalog

Books, media, physical & digital resources
See catalog results