基于RM的数据类型软件测试方法研究

来源 :全国抗恶劣环境计算机第二十三届学术年会 | 被引量 : 0次 | 上传用户:gumozaoshi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
军用软件的高可靠性要求,对软件测试工作提出了更高的要求,数据处理测试过程中对数据类型使用正确性的测试,显得尤为重要.本文提出一种基于RM的数据类型测试方法,并举例通过分析TMS320C6713芯片中数据类型的使用,有针对性的进行用例设计,避免由于使用错误数据类型所导致的非预期性错误.对于软件测试工作而言提供了一个不可忽视的测试角度,可以有效地提高软件编程质量,并有利于软件测试工作的质量提升.
其他文献
目的:分析抗菌药物专项整治和药学干预的实施意义.方法:以我院收入的使用抗菌药物治疗的患者作为分析对象,随机分为参照组采取基础治疗,研究组开展专项整治以及药学干预治疗.
Rijndael作为高级加密标准(AES),已经取代DES在各个领域得到广泛的应用.本文分析了AES算法基本工作流程,对算法中的AES-128、AES-192、AES-256三种不同的加密解密模式进行了
目的:解析盆底超声对产后早期压力性尿失禁的诊断作用.方法:纳入我院2017年2月-2019年3月间30例产后早期压力性尿失禁患者(观察组),选取同期健康体检妇女30例作为对照组,均接
他们在“文革”期间曾叱咤风云,独领风骚,是不可一世的学生“领袖”。他们的名字,对于从那个年代走过的人来说,也是耳熟能详。当他们为过去的行为付出了惨痛代价后,如今,又
毛泽东曾说过,在他之前,中国共产党有5朝领袖。其中的第五朝,即是洛甫(张闻天)。人们有理由相信,作为一朝领袖,张闻天的贡献和作用,是难以泯灭的。2000年8月,当新世纪悄然将
本文介绍了基于CPCI-E架构的自主可控计算机中系统模块的设计原理及实现方案,并详细阐述了相关关键技术的设计方法,为机动指挥控制应用领域提供了良好的解决方案.
本文通过对基于国产化龙芯处理器实现自主可控军用加固计算机的理论和方法的研究,完成了国产龙芯处理器主模块、开关量输入模块、开关量输出模块、AD调理模块、AD转换模块的
文章针对一款自我设计研制的基于国产龙芯1A嵌入式SOC处理器的主板系统,全面介绍了其软硬件设计和实现技术,对高密度高速率PCB的信号完整性设计、电源完整性以及在开源Pmon固
目的:探讨腹部侵袭性纤维瘤病的CT与MRI诊断价值.方法:选取自2010年1月至2020年1月在我院接受治疗且被确诊为腹部侵袭性纤维瘤的60例患者作为本次研究的实验对象,分别采用CT
目的:探讨利奈唑胺与万古霉素治疗神经外科术后革兰阳性菌引起的继发颅内感染的疗效.方法:将(2019年3月~2020年7月)我院收治的神经外科在术后继发性颅内感染患者47例随机分为