小行星9517（聂海胜星）是一颗小行星，以中国航天员聂海胜命名的。
历史.小行星9517于1977年被发现，2005年命名。