• Проекты
  • Услуги
  • Блог
  • Доклады
  • Разработка ПО
  • Книги
  • Жизнь
  • На английском
  • Rewriting Jepsen to Lua language

    опубликовано 22 May 2022 с метками en
    There is a popular framework for distributed systems verification - Jepsen. Unfortunately, it is written in Clojure, the language that is not popular in software development industry in common and in software testing particulary. About half year ago I have started a project with implementation of similar framework written in Lua programming language.

    Читать →

  • Git as a storage

    опубликовано 07 October 2021 с метками softwareopensourcetestingfeeden
    Git becomes quite popular SCM and everyone knows it a system for tracking source code changes. It's a true, but many people doesn't know that Git is an abstract storage that store data as binary pieces named blobs. It allows to store other artifacts useful during software development process. I'll describe another scenarios where Git can be useful and what tools make it possible.

    Читать →

  • Idiomatic TLA+

    опубликовано 11 April 2021 с метками softwaretlafeeden
    Usually programming idiom is a pattern, algorithm or a way of structuring code. To talk about programming idioms is to talk about those patterns that recur frequently in code or to propose new ones.

    Читать →

  • Conformance and compliance testing

    опубликовано 10 April 2021 с метками softwaretestingfeeden
    When I participated in a software project where we develop operating system I was responsible to testing different parts of operating system and applications that worked on that operating system. And I want to say that operating system must conform many standards to be compatible with exited software applications: TCP/IP, POSIX.1-2017, USB 1.1/2.0/3.0, IEEE 754, OpenGL etc. I spend a lot of time to find and build a list of existed opensource test suites that can help with conformance testing.

    Читать →

  • Проект Аполлон с точки зрения разработки ПО

    опубликовано 13 July 2020 с метками softwaretestingfeeden
    Год назад, 20 июля 2019 года, исполнилось 50 лет с момента первой в истории высадки на Луну. Нил Армстронг и Эдвин Олдрин оставались на Луне 21,5 часов, и на 2,5 часа выходили на поверхность. Программа «Аполлон» и высадка на Луну часто упоминаются как одни из величайших достижений в истории человечества. Мне интересно было посмотреть на это событие с точки зрения разработки и тестирования ПО. Я попробовал заняться археологией и найти материалы о разработке ПО для лунного аппарата, чтобы понять как это выглядело и были ли отличия от современной разработки ПО.

    Читать →

  • Support OpenBSD's pledge(2), unveil(2) in programming languages

    опубликовано 13 July 2020 с метками softwareopensourceopenbsdopenbsd-enfeedprogrammingen
    Some years ago OpenBSD 5.9 bring support of pledge(2) and later OpenBSD 6.4 bring support of unveil(2) system calls. Initially only C/C++ applications had possibility to use these system calls. Later people from community added support to many other programming languages that allows to use pledge(2) and uneil(2) in the most popular languages. Table below helps to understand status of it's support in these languages.

    Читать →

  • TLA+ on OpenBSD

    опубликовано 14 May 2020 с метками softwareopensourcetlaopenbsdopenbsd-enfeeden
    Couple years ago I decide to know more about TLA+. TLA+ is a tool for writing formal specifications, it allows to find errors in system's design before writing source code. Unfortunately maintainers builds packages for MacOS and Linux only and there is no packages for OpenBSD. TLA+ components written in Java programming language and in fact all of them should run on any platform where JVM is availaible. However TLA+ Toolbox built on top of Eclipse and OpenBSD port for it is outdated for a long time. This post about using TLA+ on OpenBSD without IDE.

    Читать →

  • Your own repository with OpenBSD packages

    опубликовано 17 September 2017 с метками softwareopensourceopenbsdopenbsd-enfeeden

    Читать →

  • Where is the OpenBSD community?

    опубликовано 03 July 2017 с метками softwareopensourceopenbsdopenbsd-enfeeden

    Читать →

  • Interview with Stéphane Graber, LXC project

    опубликовано 10 March 2015 с метками softwareopensourceinterviewtestingfeeden

    Читать →

  • Interview with Will Lachance, Mozilla

    опубликовано 11 February 2015 с метками softwareopensourceinterviewtestingfeeden
    Один из разработчиков Mozilla Foundation ответил на вопросы о тестировании их продуктов.

    Читать →

  • Interview with Roman Grigoryev, LustreFS project

    опубликовано 26 January 2015 с метками softwareopensourceinterviewtestingfeeden

    Читать →

  • Interview with Nicholas Skaggs, Ubuntu Linux project

    опубликовано 21 January 2015 с метками softwareopensourceinterviewtestingfeeden
    В этом году исполняется 10 лет такому Linux дистрибутиву как Ubuntu. Я задал несколько вопросов человеку, который непосредственно отвечает за качество этой ОС - Nicholas Skaggs.

    Читать →

  • Interview with Alexandre Julliard, Wine project

    опубликовано 23 September 2014 с метками softwareopensourceinterviewtestingfeeden

    Читать →

  • Interview with Stefano Sabatini, FFmpeg project

    опубликовано 14 September 2014 с метками softwareopensourceinterviewtestingfeeden

    Читать →

  • Interview with Brett Cannon, Python project

    опубликовано 01 September 2014 с метками softwareopensourceinterviewtestingfeeden

    Читать →

  • Interview with Steven Morgan, ClamAV project

    опубликовано 21 August 2014 с метками softwareopensourceinterviewtestingfeeden

    Читать →

  • Interview with Todd Miller, sudo(8)

    опубликовано 14 August 2014 с метками softwareopensourceopenbsdinterviewtestingopenbsd-enfeeden
    На этот раз я проинтервьюировал создателя и единственного разработчика программы sudo - Todd C. Miller. Если вы хотя бы раз сталкивались с Mac OS, Linux или BSD, то знаете, что утилита sudo позволяет делегировать права одного пользователя другому для запуска программ.

    Читать →

  • Interview with Matthieu Herrb, X.Org project

    опубликовано 06 August 2014 с метками softwareopensourceopenbsdinterviewtestingopenbsd-enfeeden
    В этом году Xorg, свободной реализации X Window System, исполняется 30 лет. Несмотря на существование и развитие альтернатив в виде Xorg остаётся живее всех живых. По случаю юбилея я задал несколько вопросов человеку, который 23(!) года работает над развитием этого проекта. Зовут его Matthieu Herrb. Помимо своего участия в проекте X.Org он также стоит у истоков создания отдельной версии Xorg для проекта OpenBSD - Xenocara.

    Читать →

  • Interview with Gilles Chehade, OpenSMTPD project

    опубликовано 29 July 2014 с метками softwareopensourceopenbsdinterviewtestingopenbsd-enfeeden
    Я нахожу интересным узнавать о том, как тестируются открытые проекты. Частично это можно узнать из слайдов конференций (таких как FOSDEM), про некоторые можно узнать только пообщавшись с непосредственными участниками проекта. Я решил начать публикации интервью с разработчиками открытых проектов о тестировании. Пилотное интервью будет с разработчиком OpenSMTPD - Gilles Chehade.

    Читать →

Новые

  • Видео доклада "О чём я говорю, когда говорю о тестировании корректности работы компилятора" (30 Dec 2022)
  • Литературные часы (28 Dec 2022)
  • Тулинг для разработки на Lua (19 Aug 2022)
  • Вы можете тестировать быстрее (03 Jun 2022)
  • Печатаем документы, сгенерированные на Портале Госуслуг (18 May 2022)
  • Бекап для Github (28 Apr 2022)
  • Контроль качества в Open Source: опыт проекта CRIU (26 Apr 2022)
  • Всё, что вам нужно знать о форматах отчётов в тестировании ПО (25 Apr 2022)
  • Книга Олега Антонова "Десять раз сначала" (04 Mar 2022)
  • Использование формальных методов в работе (21 Jan 2022)
Все посты →
© 2013–2023, Сергей Бронников