论文部分内容阅读
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试.面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中.
面向安全需求的测试用例自动生成技术研究
【摘 要】
：
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试.面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
【基金项目】
：
国家自然科学基金;
其他文献
提出了一种面向空间通信不平等差错保护的联合信源信道编解码方法.该方法采用一种可逆编解码方法对直流系数进行重点保护,即对直流系数编码输出码流进行二进制游程编码,并采
目的 了解本区境内的心肌梗死患者的发病规律,探讨与其患病的可能相关因素,为该病在本区域内的防治提供参考。方法 对近10年经ECG检出的心肌梗死患者,按就诊日期、年龄、性别
目的:探讨胸段、胸腰段脊柱结核的治疗方法.方法:我们采用一次病灶清除植骨脊柱钢板内固定胸段、胸腰段脊柱结核共12例.其中胸椎结核7例,胸腰段结核5例.均经一次手术治疗,其
背景:国外有学者把热疗作为肿瘤综合治疗的新途径,进行高热联合化学药物放射治疗腹膜内侵润转移或中晚期肿瘤的疗效研究.特别是热生物学、热剂量学模式的建立,是肿瘤热放、热
尽管经颅多普勒(TCD)临床应用的适应证不断被拓宽,但各机构之间的扫描方案和报告质量却存在很大差异.根据文献分析和广泛的个人经验,一个国际专家小组开始制定TCD检测步骤、
目的探讨EB病毒(EBV)抗体检测在诊断EBV相关性传染性单核细胞增多症(IM)中的意义。方法北京儿童医院2005年1月至2006年12月住院治疗诊断为IM的患儿220例,人院后采集单份血清
目的 探讨用后路单节段椎弓根钉复位固定治疗胸腰椎骨折的可行性和疗效.方法 2003年9月-2006年10月,我科共行单节段椎弓根钉骨折椎固定复位治疗胸腰骨折患者70例,其中男50例,
目的建立大鼠MODS模型,将IκB通过腺病毒载体导入体内,以了解其对MODS大鼠炎性反应的影响。方法50只大鼠随机分为五组:A组(正常对照组),B组(MODS损伤1d组),C组(MODS损伤7d组)