mcDC相关论文
随着计算机行业的不断发展,软件系统规模不断增加,人类工作生活的各个方面都越来越依赖于各种软件系统。然而软件安全问题长期困扰......
软件测试是保证软件质量的重要环节。设计测试用例是测试的重要步骤。现有的自动化测试工具,例如c++test、Testbed并不能生成满足......
第一部分1型糖尿病模型DC亚型分化及致病性研究实验背景目前研究认为大多数1型糖尿病是由患者自身免疫系统异常导致胰岛β细胞特异......
RTCA/DO-178以软件质量为核心目标,严格规定了民用飞机软件设计的各个保障等级的目标和活动.然而由于标准本身的定位,DO-178对目标......