Researcher profile

Dandan Ji

Dandan Ji contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2022arXiv

Morest: Model-based RESTful API Testing with Execution Feedback

RESTful APIs are arguably the most popular endpoints for accessing Web services. Blackbox testing is one of the emerging techniques for ensuring the reliability of RESTful APIs. The major challenge in testing RESTful APIs is the need for correct sequences of API operation calls for in-depth testing. To build meaningful operation call sequences, researchers have proposed techniques to learn and utilize the API dependencies based on OpenAPI specifications. However, these techniques either lack the overall awareness of how all the APIs are connected or the flexibility of adaptively fixing the learned knowledge. In this paper, we propose Morest, a model-based RESTful API testing technique that builds and maintains a dynamically updating RESTful-service Property Graph (RPG) to model the behaviors of RESTful-services and guide the call sequence generation. We empirically evaluated Morest and the results demonstrate that Morest can successfully request an average of 152.66%-232.45% more API operations, cover 26.16%-103.24% more lines of code, and detect 40.64%-215.94% more bugs than state-of-the-art techniques. In total, we applied Morest to 6 real-world projects and found 44 bugs (13 of them cannot be detected by existing approaches). Specifically, 2 of the confirmed bugs are from Bitbucket, a famous code management service with more than 6 million users.

preprint2020arXiv

Effects of tilt on the orientation dynamics of the large-scale circulation in turbulent Rayleigh-B{é}nard convection

We experimentally test the effects of tilting a turbulent Rayleigh-B{é}nard convection cell on the dynamics of the large-scale circulation (LSC) orientation $θ_0$. The probability distribution of $θ_0$ is measured, and used to obtain a tilt-induced potential acting on $θ_0$, which is used in a low-dimensional model of diffusion of $θ_0$ in a potential. The form of the potential is sinusoidal in $θ_0$, and linear in tilt angle for small tilt angles, which is explained by a simple geometric model of the vector direction of the mean buoyancy force acting on the LSC. However, the magnitude of the tilt-induced forcing is found to be two orders of magnitude larger than previously predicted. When this parameter is adjusted to match values obtained from the probability distribution of $θ_0$, the diffusive model can quantitatively predict effects of tilt on $θ_0$. In particular, tilt causes a change in potential barrier height between neighboring corners of a cubic cell, and changes in the barrier-crossing rate for $θ_0$ to escape a corner are predicted with an accuracy of $\pm30\%$. As a cylindrical cell is tilted, the tilt-induced potential provides a restoring force which induces oscillations when it exceeds the strength of damping; this critical tilt angle is predicted within 20\%, and the prediction is consistent with measured oscillation frequencies. These observations show that a self-consistent low-dimensional model can be extended to include the dynamics of $θ_0$ due to tilt. However, the underprediction of the effect of tilt on $θ_0$ warrants revisiting the predicted magnitude.

preprint2020arXiv

Low-dimensional model of the large-scale circulation of turbulent Rayleigh-B{é}nard convection in a cubic container

We test the ability of a low-dimensional turbulence model to predict how dynamics of large-scale coherent structures such as convection rolls change in different cell geometries. We performed Rayleigh-Bénard convection experiments in a cubic container, in which there is a single convection roll known as the large-scale circulation (LSC). The model describes the motion of the orientation $θ_0$ of the LSC as diffusion in a potential which is predicted as a function of the shape of the cell from an approximate solutions of the Navier-Stokes equations. The model predicts advected oscillation modes, driven by a restoring force created by the non-circular cell cross-section. We observe the predicted lowest-wavenumber mode in which the LSC orientation $θ_0$ oscillates around a corner, and a slosh angle $α$ rocks back and forth, which is distinct from the higher-wavenumber advected twisting and sloshing oscillations found in cylindrical cells. The potential has quadratic minima near each corner with the same curvature in both the LSC orientation $θ_0$ and slosh angle $α$, as predicted. The new oscillation mode around corners is found above a critical Ra $=4\times10^8$, which appears in the model as a crossing of an underdamped-overdamped transition. The natural frequency of the potential, oscillation period, power spectrum, and critical Ra for oscillations are all within a factor of 3 of model predictions for the Rayleigh number range $8\times10^7 \le Ra \le 3\times 10^9$. However, these uncertainties in model parameters are too large to correctly predict whether the system is in the underdamped or overdamped state at a given Ra. The success of the model at predicting the potential and flow modes for a cubic cell suggests that such a modeling approach could be applied more generally to different cell geometries that support a single convection roll.

preprint2020arXiv

Oscillation in the temperature profile of the large-scale circulation of turbulent convection induced by a cubic container

We present observations of oscillations in the shape of the temperature profile of the large-scale circulation (LSC) of turbulent Rayleigh-B{é}nard convection. Temperature measurements are broken down into Fourier moments as a function of $θ-θ_0$, where $θ$ is the azimuthal angle in a horizontal plane at mid-height, and $θ_0$ is the LSC orientation. The oscillation structure is dominated by a 3rd order sine moment and 3rd order cosine moment in a cubic cell. In contrast, these moments are not found to oscillate in a cylindrical cell. This geometry-dependent behavior can be explained by a model that assumes that the heat transported by the LSC is conducted from the thermal boundary layers, and is proportional to pathlength of the LSC along boundary layers at the top and bottom plates. In a non-circular cross-section cell, oscillations of the LSC orientation $θ_0$ result in an oscillation in the container shape in the reference frame of the LSC, resulting in an oscillation in the pathlength of the LSC at a given $θ-θ_0$. In a square-cross-section cell, this model predicts the dominant 3rd order sine moment and 3rd order cosine moment with magnitudes within 50\% of measured values, when using the amplitude of the oscillation of $θ_0$ as input. A cylindrical cell is special in that the pathlength is independent of $θ_0$, and so these oscillating moments are not induced. In a cylindrical cell, the model reproduces the sinusoidal mean temperature profile with a sloshing oscillation dominated by the 2nd order sine moment, consistent with previous observations in that geometry.