Как получить контрольные примеры

Question

Недавно я сосредоточился на программном обеспечении для статического анализа, особенно на платформах Java Indus и Soot .Я хочу проверить это программное обеспечение.Может ли кто-нибудь предоставить комплексные контрольные примеры?Я думаю, что тестовые примеры, которые я пишу, не достаточно типичны.

Answer 1

Мой стандартный совет при оценке инструментов статического анализа состоит в том, чтобы протестировать их на реальном программном обеспечении, для которого вы будете их использовать: “Pitfall II: Не покупайте инструмент, основанный на ошибках, обнаруженных в других народный код. Прежде чем использовать инструмент статического анализа, убедитесь, что он обнаруживает важные ошибки в вашем реальном коде. Ошибки, найденные в открытом коде или демо-коде, могут быть очень впечатляющими; но код вашей организации, пока он находится в стадии разработки (что является самым дешевым временем для поиска ошибок), будет сильно отличаться от кода, который уже был обнародован ». Дополнительные материалы 21-го Международного симпозиума IEEE по разработке программной надежности, http://pobox.com/~flash/Static_Analysis_Deployment_Pitfalls.pdf.

Answer 2

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

Answer 3

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