Архив рубрики: Инструменты

Методы верификации программного обеспечения

Программное обеспечение в настоящее время используются практически во всех сферах жизни. Однако, разработка программного обеспечения — это сложный и трудоемкий процесс, который может содержать ошибки. Ошибки программного обеспечения могут привести к критическим последствиям, таким как потеря данных или даже опасность для жизни людей. Для того чтобы минимизировать риски и обеспечить надежность программного обеспечения, используются методы верификации.

В данной статье мы рассмотрим различные методы верификации программного обеспечения, такие как методы на основе спецификации, тестирования и проверки модели. Мы также обсудим инструменты, которые используются для верификации, стратегии разработки верификации, а также применение методов верификации в индустрии.

Методы на основе спецификации

Методы верификации на основе спецификации — это методы, которые используют формальную спецификацию программного обеспечения для доказательства его корректности. Спецификация программного обеспечения — это описание его поведения и свойств на формальном языке.

Читать далее Методы верификации программного обеспечения

Автоматизация тестирования мобильных приложений

Добро пожаловать, в небольшой цикл статей посвященных автоматизации тестирования мобильных приложений. В этом цикле мы установим все необходимое окружение для написание тестов. Попробуем некоторые конфигурации, включающие также виртуальные и реальные мобильные девайсы.

Немного вводной информации о мобильном тестировании без элементов автоматизации

В этом курсе /цикле представлена автоматизация тестирования мобильных приложений для андроид. Стек технологий следующий: язык программирования JAVA, с использование Maven, естественно Android Studio и Node.js. В будущем планируется добавить автоматизацию тестированя мобильных приложений для Ios в связке с js и Appium, там мы еще познакомимся с Xcode.

  1. Установка и настройка окружений;
  2. Создание первого проекта;
  3. Создание виртуальных девайсов;
  4. Базовые настройки и конфигурация нативных приложений;
  5. Подключение реального девайса и настройка тестов для запуска;
  6. Поиск элементов в нативном приложении;
  7. Автоматизация тач действий и работы физических кнопок;
  8. Автоматизация тестирования мобильных тестов для веба на девайсе;
  9. Автоматизированные мобильные тесты для гибридных устройств;
  10. Настройка подключения Android через Wi-fi.

Статья носит кроме информативного, цель, дать возможность повторить по шагам. И непосредственно на практике попробовать автоматизацию тестирования мобильного приложения. Очень вероятно, что некоторые пункты потеряют свою актуальность, будем поправлять находу. Пробуйте повторить у себя и задавайте вопросы!

Популярные таск-менеджеры (багтрекер)

Багтрекер — прикладная браузерная или десктопная программа, разработанная с целью помочь разработчикам ПО учитывать и контролировать ошибки, найденные в программах, пожелания пользователей, а также следить за процессом устранения этих ошибок и выполнения или невыполнения пожеланий.

 

Багтрекеров много, но самые популярные из них у всех на слуху: JIRA, Redmine, Bugzilla. Пройдемся по каждому из них в отдельности.

Читать далее Популярные таск-менеджеры (багтрекер)

Инструкция по работе с виртуальными машинами

  1. Открываем браузер(1) и набираем в адресной строке https://hwser01:8006 или /
  2. Открывается окно виртуального окружения Proxmox, как это показано на рис.2.1

рис.2.1
рис.2.1

Рис.2.1. Окно виртуального окружения PROXMOX

Читать далее Инструкция по работе с виртуальными машинами

Полезные горячие клавиши Windows, MacOs, Chrome

 

Горячие клавиши Windows

 

Win + X — вызов меню системных утилит Windows

Win + L — блокировка рабочей станции

Ctrl + Alt + Delete — блокировка экрана

Win + PrtScr — сделать скриншот экрана и автоматически сохранить его в папке Pictures

Win + T — переключение между элементами Панели задач Читать далее Полезные горячие клавиши Windows, MacOs, Chrome

Переменные среды

Переменные среды

Переменная среды́ (англ. environment variable) — текстовая переменная операционной системы, хранящая какую-либо информацию — например, данные о настройках системы.

Переменные окружения («Переменные среды», «environment variables») — текстовые переменные, наследуемые дочерниними процессами от родительского. Это означает, что переменные заданные для всей операционной системы будут доступны во всех запущенных приложениях; для пользователя – всех приложениям, запущенным этим пользователем; для какого-нибудь другой программы – только в запущенных через нее. Читать далее Переменные среды

Командная строка в Windows

Командная строка в Windows является программной оболочкой, позволяющей в текстовом виде вводить компьютеру различные команды. Ранее  привычного всем графического интерфейса в операционных системах не было. Все делалось в командной строке и именно благодаря появлению графического интерфейса в виде окон, Windows завоевала огромную популярность во всем мире, а потом постепенно исчезла.

Командная строка в Windows
Командная строка в Windows

Читать далее Командная строка в Windows

Консоль в браузере Chrome

В каждом браузере есть свой инструмент разработчика – это то, что многие называют просто «консолью», рассмотрим Консоль в браузере Chrome. Выглядит вот так:

Консоль в браузере Chrome
Консоль в браузере Chrome

На самом деле Консоль в браузере Chrome — это инструмент, с помощью которого можно не только посмотреть наполнение страницы, выводимой браузером, а также существующие ошибки (что чаще всего и делают тестировщики), но и исправить эти ошибки намного проще и быстрее (что чаще всего делают девелоперы), замерять различные показатели и манипулировать страницей.

Читать далее Консоль в браузере Chrome