Algorithm for stochastic variations generation of a vector with specified constraints

Аuthors

Lyapin A. A.

Company State Rocket Centre Academician V.P.Makeyev, 1, Turgoyakskoye shosse, Miass, Chelyabinsk Region, 456300, Russia

e-mail: lyapin-sasha@mail.ru

Abstract

Software for flight task analysis and control consists of a variety of interrelated components (program modules) [1]. A program module is a functionally completed software implementation of a specific task (algorithm) of a software for analysis and control of a flight task. To ensure quality and reliability, each program module should be debugged, verified and tested in autonomous mode [2, 3, 4].

The above-mentioned program modules are verified and tested using special software tools (program complex BTTesting [5, 6]).

The paper covers a method of automatic variations generation of a vector with specified constraints (imposed on the vector length and ranges of its components variation) while forming a computational grid for verification.

There are methods for constructing random vectors with dependent components [16], such as the method of conditional distributions, elimination method (von Neumann), etc. To apply the method of conditional distributions, it is necessary to determine the distribution density of the vector components, and the von Neumann method allows construct random variations of the vector components and restrictions on its length. The algorithm proposed in the article represents a simple mathematical formulation as well as easy software implementation.

An application program [17-22] integrated in the BTTesting program complex is designed based on the algorithm. The article presents user’s interface and an example of the algorithm utilization.

The presented algorithm allows to replace manual entering of initial vector parameters by their automatic generation while forming a computational grid for verification. This lowers labor efforts of a white-collar operator and prevents a human factor impact.

Keywords:

flight task computation and control, algorithm, block diagram, vector variations, automation

References

1. Lyapin A.A., Golunov M.S. V Ezhegodnyi forum “Informatsionnye tekhnologii na sluzhbe oboronno-promyshlennogo kompleksa – 2016”. Tezisy dokladov. (Chelyabinsk, 17-20 May 2016), Chelyabinsk, Izdatel’skii dom Connect, 2016, pp. 62.

2. Lyapin A.A. XX Yubileinaya Mezhdunarodnaya konferentsiya po vychislitel’noi mekhanike i sovremennym prikladnym programmnym sistemam. VMSPPS’2017. Sbornik trudov. (Alushta, 24-31 May 2017), Moscow, Izd-vo MAI, 2017, pp. 154 – 156.

3. Lyapin A.A. Trudy MAI, 2017, no. 97, available at: http://trudymai.ru/eng/published.php?ID=87359

4. Tyugashev A.A., Il’in I.A., Ermakov I.E. Upravlenie bol’shimi sistemami, 2012, no. 39, pp. 288 – 299.

5. Lyapin A.A. Programma BTTesting: programma dlya EVM № 2017664117. Aktsionernoe Obshchestvo “Gosudarstvennyi raketnyi tsentr imeni akademika V.P. Makeeva” (RU), 18.12.2017.

6. Lyapin A.A., Tyul’kin B.M. Nauchnye vedomosti Belgorodskogo gosudarstvennogo universiteta. Matematika. Fizika, 2018, vol. 50, no. 1, pp. 88 – 96.

7. James Bach. What is Exploratory Testing? available at: http://www.satisfice.com/articles/what_is_et.shtml

8. Savin R. Testirovanie Dot Kom ili posobie po zhestokomu obrashcheniyu s bagami v internet-startapakh (Testing Dot Com or Handbook on cruel bugs treatment in Internet start-ups), Moscow, Delo, 2007, 312 p.

9. Kulikov S.C. Testirovanie programmnogo obespecheniya (Software testing. Basic course: practical manual), Minsk, Chetyre chetverti, 2015, 294 p.

10. Dustin E. Effective software testing: 50 specific ways to improve your testing. Copyright © 2003 by Pearson Education, Inc., 2003, 203 p.

11. Beizer B. Testirovanie chernogo yashchika. Tekhnologii funktsional’nogo testirovaniya programmnogo obespecheniya i system (Blackbox testing. Technologies for software and systems functional testing), Saint Petersburg, Piter, 2004, 318 p.

12. Kotlyarov V.P. Kolikova T.V. Osnovy testirovanie programmnogo obespecheniya (Software testing fundamentals: Training manual), Moscow, Internet-Universitet Informatsionnykh Tekhnologii; BINOM. Laboratoriya znanii, 2006, 285 p.

13. Black. R. Critical Testing Processes: Plan, Prepare, Perform, Perfect, Copyright, ©2004 by Addison-Wesley, 2004, 608 p.

14. Nikolaev M.A., Yuferov A.G. Nauchno-tekhnicheskii vestnik Povolzh’ya, 2013, no. 6, pp. 388 – 393.

15. Polonik E.N., Surenskii E.A., Fedotov A.A. Trudy MAI, 2017, no. 92, available at: http://trudymai.ru/eng/published.php?ID=76755

16. Utkin V.B., Baldin K.V. Informatsionnye sistemy v ekonomike (Information systems in economics), Moscow, Izdatel’skii tsentr “Akademiya”, 2004, 288 p.

17. Sommerville I. Software Engineering, Sixth Edition, Pearson Education Limited publ., 2001, 624 p.

18. Blanchette J., Summerfield M. C++ GUI Programming with Qt 4, Prentice Hall publ., 2006, 560 p.

19. Zemskov Yu.V. Qt 4 na primerakh (Qt4 in examples), Saint Petersburg, BKhV-Peterburg, 2008, 608 p.

20. Shlee M. Qt 4.5. Professional’noe programmirovanie na S++ (Qt 4.5. С++ Professional Programming), Saint Petersburg, BKhV-Peterburg, 2010, 896 p.

21. Kosova A.S. Trudy FGUP “NPTsAP”. Sistemy i pribory upravleniya, 2017, no. 2, pp. 27 – 36.

22. McConnell S. Code Complete: Second Edition, Mictosoft Press, 2004, 896 p.

Download