diff --git a/apps/emqx/test/emqx_proper_types.erl b/apps/emqx/test/emqx_proper_types.erl
index 4b072e2d7..6462fffed 100644
--- a/apps/emqx/test/emqx_proper_types.erl
+++ b/apps/emqx/test/emqx_proper_types.erl
@@ -100,6 +100,8 @@ clientinfo() ->
 %% See emqx_session:session() type define
 sessioninfo() ->
     ?LET(Session, {session,
+                    sessionid(),        % id
+                    boolean(),          % is_persistent
                     subscriptions(),    % subscriptions
                     non_neg_integer(),  % max_subscriptions
                     boolean(),          % upgrade_qos
@@ -114,6 +116,9 @@ sessioninfo() ->
                   },
          emqx_session:info(Session)).
 
+sessionid() ->
+    emqx_guid:gen().
+
 subscriptions() ->
     ?LET(L, list({topic(), subopts()}), maps:from_list(L)).