软件规范相关论文
针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用......
针对软件模块,本文提出了一种称为VSL的可视化规格说明语言.该语言模拟人的思维过程,将一个大规模复杂的问题分解为一系列较小规模......
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述，首先根据系统需求画出进......
举例说明了随着计算机的应用范围日益广泛,软件质量的重要性.介绍了国内外的软件质量管理概况及美国国防部制定的一系列软件规范.......
为了有效协调管理和配置结构健康监测的硬软件系统,初步研究了结构健康监测的软件主体协作规范。首先研究了健康监测目前已有的相......
随着软件系统的日趋庞大和复杂,软件可信性问题越来越得到人们的关注.软件的可信性是在软件的正确性、可靠性、安全性等众多属性基......
本文简要从机械、电气和软件三个方面介绍了PXI总线的系统总体结构,PXI总线与PCI、VME计算机总线、CompactPCI的插卡结构、VXI与GP......
进入90年代，面向对象范型（OO范型）受到了研究界和工业界的普遍重视并获得广泛应用。OO为软件测试提出了很多新问题，但当前对OO软件测试......
二进制翻译技术是解决软件移值问题的重要手段，在遗产代码移植、程序优化、系统安全等方面都有着重要的意义，已经成为现代编译技术研......
根据《关于印发会计从业资格考试大纲(修订)的通知(财办会〔2014〕13号)》的规定，2015年会计从业资格考试统一使用财政部根据新考试......
