АИСТ-С
АИСТ-С — анализатор исходных текстов программ на C и C++ для проверок на отсутствие недекларированных возможностей. Счёт юрлицу и документы для тендера. Программа в автоматическом режиме собирает перечень подпрограмм и их связей, строит возможные маршруты вызовов и блок-схемы алгоритмов, ищет критические маршруты, неиспользуемые переменные и подпрограммы и потенциально опасные конструкции языка, а затем даёт эксперту работать с полученной информацией в интерактивном режиме с привязкой к самим исходным текстам. Инструмент для испытательных лабораторий и организаций-разработчиков ПО.
Дополнительные опции
1.1 Установочный комплект АИСТ-С
| Позиция | Цена за ед. | Кол-во | Сумма | |
|---|---|---|---|---|
|
Анализатор исходных текстов АИСТ-С Установочный комплект
CBI-AIST-KIT
|
|
Об АИСТ-С
Проверка на отсутствие недекларированных возможностей — самая трудоёмкая часть сертификационных испытаний программного обеспечения: эксперту нужно понять структуру чужого кода, найти в нём неочевидные пути исполнения и объяснить каждый из них. Вручную это делается неделями и плохо повторяется.
АИСТ-С автоматически строит по исходным текстам картину программного комплекса: перечень используемых подпрограмм и их связи по управлению и по информации, возможные маршруты вызовов при отработке запросов, блок-схемы алгоритмов подпрограмм. Отдельными функциями идут поиск критических маршрутов вызовов, поиск неиспользуемых переменных и подпрограмм и поиск потенциально опасных конструкций языка программирования.
Дальше работает эксперт: интерактивный режим показывает найденное рядом с тем местом кода, откуда оно взялось. Всё, что нужно для запуска и эксплуатации, описано в документации, которая идёт вместе с дистрибутивом.
Что делает АИСТ-С
Характеристики
| Анализ | |
| Языки | C и C++ |
| Назначение | Проверки исходных текстов на отсутствие недекларированных возможностей |
| Кому | Организациям-разработчикам ПО и испытательным лабораториям |
| Режим работы | Автоматический сбор информации и интерактивный анализ экспертом |
| Условия применения | |
| Процессор | Intel Pentium и выше |
| Оперативная память | 64 МБ, рекомендуется 128 МБ |
| Место на диске | Не менее 600 МБ плюс объём под исходные тексты исследуемых программ |
| Привод | Требуется CD-ROM |
| Операционная система | Windows 8, 8.1, 10 |
| Документация | Руководство администратора в составе дистрибутива |
| Лицензия | |
| Единый реестр российских программ | № 7056 от 07.10.2020 |
| Тип лицензии | Простая (неисключительная), на 1 год |
| Актуальная версия | от 06.08.2020 |
| Срок технической поддержки | до 31.12.2030 |
Как лицензируется
Лицензия годовая; диск с дистрибутивом и документацией оформляется отдельной строкой заказа.
| Срок | Лицензия оформляется на один год. |
| Документация | Порядок установки и работы описан в руководстве администратора; оно идёт вместе с дистрибутивом и может быть предоставлено по запросу до покупки. |
| Требования к рабочему месту | Под исходные тексты исследуемых программ нужно предусмотреть место сверх 600 МБ, занимаемых самой программой. |
Реестр российского ПО
| Запись в реестре | № 7056 от 07.10.2020 — программа внесена в единый реестр российских программ для электронных вычислительных машин и баз данных. |
| Что это даёт | Право использования такой программы НДС не облагается, а сама она подходит для проектов, где требуется отечественное программное обеспечение. |
НДС и документы
Работаем по лицензионному договору-оферте АО «ЦБИ-сервис»: выставляем счёт и передаём права на использование по спецификации.
| Кто покупает | Юридические лица и индивидуальные предприниматели: счёт, договор и закрывающие документы оформляем на организацию. |
| Ставка НДС | Вознаграждение за передачу прав на программы из единого реестра российского ПО НДС не облагается — пп. 26 п. 2 ст. 149 НК РФ. На установочный комплект НДС начисляется по общей ставке. |
| Налог на прибыль: расходы × 2 | Расходы на лицензии программ из реестра российского ПО можно учесть в налоге на прибыль с коэффициентом 2 (подп. 26 п. 1 ст. 264 НК РФ). Условие — лицензия покупается для своей работы и договор не даёт права передавать её другим. Подробнее — в статье о коэффициенте 2. Как отразить это в учёте, подскажет ваш бухгалтер. |
| Как передаются права | Права считаются предоставленными с даты, указанной в лицензии; перечень программ и срок фиксируются в спецификации или счёте. |
Другие версии
Другие продукты «ЦБИ-сервис»
Частые вопросы
C и C++. Программа разбирает исходные тексты и строит по ним перечень подпрограмм и их связей, маршруты вызовов, блок-схемы алгоритмов, находит критические маршруты, неиспользуемые переменные и подпрограммы и потенциально опасные конструкции языка.
Автоматически собирается информация о структуре и характеристиках исследуемого программного комплекса. Выводы делает эксперт: в интерактивном режиме он разбирает найденное рядом с соответствующим фрагментом кода. То есть АИСТ-С экономит время на разборе, но не заменяет специалиста.
Организациям-разработчикам программного обеспечения и испытательным лабораториям. Первым — чтобы заранее увидеть в своём коде то, что найдёт проверяющий; вторым — чтобы проводить проверки на отсутствие недекларированных возможностей повторяемой процедурой.
Компьютер с процессором Intel Pentium и выше, 64 МБ оперативной памяти (рекомендуется 128 МБ), привод CD-ROM и Windows 8, 8.1 или 10. На диске нужно не менее 600 МБ плюс место под исходные тексты исследуемых программ. Пошаговый порядок установки приведён в документации к продукту.