Random generation of fuzzy measures plays a pivotal role in large-scale decision-making and optimization. Random walks ensure uniform generation and adequate coverage. The Möbius representation of set functions is a valuable tool for establishing the sparse structure of fuzzy measures, with its non-negativity closely linked to monotonicity and convexity/supermodularity checking. We propose three efficient methods for monotonicity verification and convexity/supermodularity verification applicable to random walks in Möbius representations, specifically tailored for universal sets larger than ten inputs and k-order fuzzy measures. We first present the baseline methods by directly inspecting monotonicity and convexity constraints. Building on the observation that the majority of initially generated values exhibit non-negativity, we intentionally track negative Möbius values to enhance the computational performance of these baseline approaches. Further, we introduce the more agile methods that employ insertion and merge sorting techniques for both monotonicity and convexity checks in random walks that involve small perturbations of fuzzy measures. To address sparsity in large-scale scenarios, we focus on two major types of measures: k-additive and k-interactive measures, demonstrating their effectiveness through theoretical analysis and experimental results.