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

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

    Читать →

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

    опубликовано 13 июля 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 мая 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 сентября 2017 с метками softwareopensourceopenbsdopenbsd-enfeeden

    Читать →

  • Where is the OpenBSD community?

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

    Читать →

  • Interview with Stéphane Graber, LXC project

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

    Читать →

  • Interview with Will Lachance, Mozilla

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

    Читать →

  • Interview with Roman Grigoryev, LustreFS project

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

    Читать →

  • Interview with Nicholas Skaggs, Ubuntu Linux project

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

    Читать →

  • Interview with Alexandre Julliard, Wine project

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

    Читать →

  • Interview with Stefano Sabatini, FFmpeg project

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

    Читать →

  • Interview with Brett Cannon, Python project

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

    Читать →

  • Interview with Steven Morgan, ClamAV project

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

    Читать →

  • Interview with Todd Miller, sudo(8)

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

    Читать →

  • Interview with Matthieu Herrb, X.Org project

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

    Читать →

  • Interview with Gilles Chehade, OpenSMTPD project

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

    Читать →

Новые

  • Бекап для Github (28 апр 2022)
  • Контроль качества в Open Source: опыт проекта CRIU (25 апр 2022)
  • Всё, что вам нужно знать о форматах отчётов в тестировании ПО (25 апр 2022)
  • Книга Олега Антонова “Десять раз сначала” (04 мар 2022)
  • Использование формальных методов в работе (21 янв 2022)
  • Фреймворк Jepsen и его минусы (29 окт 2021)
  • Тестирование СУБД: 10 лет опыта (26 окт 2021)
  • Git as a storage (07 окт 2021)
  • Электронные книги, которые я сделал (03 авг 2021)
  • Платные консультации (21 апр 2021)
Все посты →
© 2013–2022, Сергей Бронников