Analytical models were prepared and results from these models were compared with experimental results to confirm the adequate modeling of steel-reinforced concrete members used in rockfall-protection galleries or rock-sheds. Static loading tests of steel-reinforced concrete members (a girder and a slab) were conducted on a simply supported beam. The analytical models have different contact conditions to verify which condition can express a semi-composite behavior and shear slide. Three types of contact conditions were applied: normal, tied, and tiebreak contact. Tiebreak contact can express the occurrence of gaps by defining shear bond strength. Consequently, analytical models that applied tiebreak contact showed comparatively good agreement with experimental results. Analytical models that applied the tiebreak contact condition showed a correlation of 97% (girder) and 101% (slab) with the experimental results for the maximum load-carrying capacity. Therefore, considering that slippage occurs between different materials, the model is good for expressing the behavior of complicated structures such as steel-reinforced concrete members that are used as a rock-shed.