Patents by Inventor Xiaofen Wang

Xiaofen Wang has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20170369836
    Abstract: The present invention discloses a serum-free medium for full suspension culture of MDCK cells and a preparation method of the serum-free medium. The serum-free medium for full suspension culture of the MDCK cells comprises basic metabolic nutrients, nucleotide, vitamins, inorganic salts, a shear force protective agent, a cell clustering resisting agent, a pH buffer agent, a pH indicator, an influenza virus proliferation accelerant and other additives. The preparation method of the serum-free medium for the full suspension culture of the MDCK cells comprises the following steps: 1) preparing a mixed solution: dissolving and mixing raw materials; and 2) regulating pH: regulating the pH of the mixed solution to 6.3 to 6.7, and setting a constant volume to obtain the serum-free medium for the full suspension culture of the MDCK cells.
    Type: Application
    Filed: June 11, 2017
    Publication date: December 28, 2017
    Inventors: RUIAI CHEN, Hanzhang Lai, Wensong Tan, Xuanzi Zhan, Xuping Liu, Kangcong MAI, Weilan Pan, Xiaofen Wang, Huajian Chen, Peijun Chen, Jiahua Xu, Qin Tang, Wenyan Zhang, Yan Gao
  • Publication number: 20170010956
    Abstract: A device and a method are provided to automatically generate test case for embedded software. This invention is in software test field, including symbolic execution kernel module, path selection module, solver, debugger, concrete execution kernel module and debugger agent module. The tested software and test cases are uploaded from the host system to the embedded system through debugger and debugger agent. The concrete execution kernel module starts the tested software. The symbolic execution kernel module captures the run-time information of the tested software through the debugger. When the tested software operates on the symbol source, the symbolic execution kernel module marks the symbol source, tracks the symbol propagation, generates path condition and sends the path condition to path selection module. This invention can automatically generate test cases for embedded software, which doesn't need the source code of the tested software and can be conveniently used for commercial software.
    Type: Application
    Filed: July 30, 2014
    Publication date: January 12, 2017
    Inventors: Ting Chen, Xiaosong Zhang, Dong Wang, Ruidong Chen, Weina Niu, Xiaofen Wang