首页> 中国专利> 一种在高阶布尔规格测试中测试用例集筛选和约简的方法

一种在高阶布尔规格测试中测试用例集筛选和约简的方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种在高阶布尔规格测试中测试用例集筛选和约简的方法，包括以下内容：1)根据变异体生成规则计算出非f(x)+g(x)类型变异体的公式。2)通过删除非f(x)+g(x)类型变异体，从f(g(x))类型的变异体中筛选出f(x)+g(x)类型变异体。3)针对某个表达式，读取某一二阶变异类型下的所有失败测试用例集，每次选择出现次数最高的测试用例，并删除该测试用例和已覆盖的变异体，直到这一变异类型所有变异体都被覆盖为止，最终得到该变异类型的最简失败测试用例集。本发明为高阶布尔规格测试提供了一种高执行效率的测试用例集筛选和约简的方法，希望通过这种方法来减少未来对测试用例集处理以及高阶变异测试中的工作开销，使得研究工作者获得更精确的研究结果。

著录项

公开/公告号CN112346971A

专利类型发明专利
公开/公告日2021-02-09

原文格式PDF
申请/专利权人戴雨晴;
展开▼

申请/专利号CN202011199823.3
发明设计人戴雨晴;
展开▼

申请日2020-10-30
分类号G06F11/36(20060101);
代理机构
代理人
地址 210023 江苏省南京市栖霞区文苑路9号
入库时间 2023-06-19 09:51:02

法律信息

法律状态公告日

法律状态信息

法律状态
2022-08-05

发明专利申请公布后的撤回 IPC(主分类):G06F11/36 专利申请号:2020111998233 申请公布日:20210209

发明专利申请公布后的撤回

相似文献

专利
中文文献
外文文献

1. 一种在高阶布尔规格测试中测试用例集筛选和约简的方法 [P] . 中国专利： CN112346971A . 2021-02-09
2. 基于Wp测试用例约简集的无线传感器网络系统测试方法 [P] . 中国专利： CN104572458A . 2015-04-29
3. methods for modulating biological functions, for treating an animal suffering from a disorder or disease, for altering the expression of at least one peptide in a mammal, and for screening one or more test compounds for the ability to alter the expression of at least one gene. of interest in a mammal [P] . BRPI0915974A2 . 2017-05-30

机译：调节生物学功能，治疗患有疾病或疾病的动物，改变哺乳动物中至少一种肽的表达以及筛选一种或多种测试化合物改变至少一种基因的表达能力的方法。对哺乳动物感兴趣的
4. A method to identify interactions between two Drugs and the provision of screening Libraries to determine the interaction of a drug test with a member of a library in a drug test [P] . AR037141A1 . 2004-10-27

机译：一种识别两种药物之间相互作用的方法，并提供筛选库来确定药物测试与药物测试中库成员的相互作用
5. A method of identifying a molecule and a protein involved in lipid regulation, testing a substance as a therapeutic agent for modulating lipid levels, treating lipid-mediated disorders and a patient suffering from a lipid-mediated condition, lipid levels in a host, to treat or prevent a lipid-mediated disorder, to treat or prevent atherosclerosis or a condition associated with atherosclerosis, to screen for diagnosis of a genetic predisposition to atherosclerosis or a condition associated with atherosclerosis or a lipid-mediated disorder, expressing hbm protein in tissue and modulating lipid levels in a patient, diagnostic assay to determine a predisposition to a lipid-mediated disorder, composition for treating a lipid-mediated condition, and, Combination therapy to treat a patient suffering from a disease or lipid-mediated condition [P] . BR0111057A . 2003-04-15

机译：一种鉴定参与脂质调节的分子和蛋白质的方法，测试一种物质作为调节脂质水平的治疗剂，治疗脂质介导的疾病和患有脂质介导的疾病的患者，治疗宿主的脂质水平或预防脂质介导的疾病，治疗或预防动脉粥样硬化或与动脉粥样硬化有关的疾病，筛选诊断动脉粥样硬化的遗传易感性或与动脉粥样硬化或脂质介导的疾病有关的疾病，在组织中表达hbm蛋白并调节患者中的脂质水平，确定脂质介导疾病易感性的诊断测定法，用于治疗脂质介导疾病的组合物以及用于治疗患有疾病或脂质介导疾病的患者的联合疗法