-
公开(公告)号:CN102508770B
公开(公告)日:2015-02-11
申请号:CN201110306943.3
申请日:2011-10-10
Applicant: 南京大学
IPC: G06F11/36
Abstract: 一种基于谓词自适应随机测试的测试用例集扩增方法,程序中的分支条件表达式称为分支,由分支条件回溯至输入域的表达式称为谓词,用于回归测试,结合软件修改分析的白盒测试技术与自适应随机测试ART的黑盒测试技术,首先进行谓词提取,然后通过谓词距离引导ART进行测试用例集扩增。本发明方法结合软件修改分析的白盒测试技术与ART的黑盒测试技术,从而达到较低成本的测试用例集的有效扩增。
-
公开(公告)号:CN102452916A
公开(公告)日:2012-05-16
申请号:CN201010517805.5
申请日:2010-10-25
Applicant: 南京大学
IPC: C07C49/747 , C07D311/78 , C07C39/17 , C12P15/00 , C12P17/06 , A61K31/122 , A61K31/352 , A61K31/05 , A61P39/06 , A61P37/06 , C12R1/645
Abstract: 本发明属于微生物工程技术领域,具体涉及从大刀螳螂(Tenoderaaridifolia)肠道菌光轮层炭壳菌(Daldiniaeschscholzii)液体发酵物中提取的一类新炭壳菌芳香聚酮化合物及其制法和应用。本发明所述炭壳菌芳香聚酮,具有下述结构式:炭壳菌芳香聚酮1具有很强的抗氧化活性;炭壳菌芳香聚酮化合物2-5具有较强的免疫抑制活性,因此炭壳菌芳香聚酮1-5作为具有抗氧化或免疫抑制作用的化合物,可制备成相关新型药物。
-