论文部分内容阅读
随着中国软件产业和信息化建设的快速发展,软件产业呈现出多元化的趋势,各种软件产品的开发无一不迫切需要建立规范、有效的软件测试体系,以保证其软件产品的质量和开发效率.
可信软件结构及代码的审查和综合评估及支持工具
【摘 要】
：
随着中国软件产业和信息化建设的快速发展,软件产业呈现出多元化的趋势,各种软件产品的开发无一不迫切需要建立规范、有效的软件测试体系,以保证其软件产品的质量和开发效率.
【出 处】
：
中国科技成果
【发表日期】
：
2010年16期
其他文献
徐先生39岁，月收入2.1万元，年奖金5万元。徐太太35岁，月收入1.6万元，年奖金3万元。徐先生月生活支出5500元，徐太太月生活支出6000元，孩子8岁，生活支出2000元。两人几年前购买的自住房目前市值260万元，尚余房贷62.2万元，月还款4550元。现金和活期存款12.5万元，定期存款15万元。徐太太2013年开始为孩子做了每月3000元的基金定投作为教育基金，目前市值4.5万元。两人都
随着我国科学技术的飞速发展,地理信息技术在产业中得到了广泛的应用,在技术研究和测绘中发挥着不可替代的作用.实践分析表明,传统的土地测绘技术已不能满足土地测绘工程的具
近年来，中国石化集团西南石油局地质录井公司在公司领导的高度重视下。坚持把创建企业和谐劳动关系放在全局工作之首，先后建立了《职工代表大会实施办法》、《厂务公开民主管理
随着社会经济科技的进一步发展,暖通技术也有一定的发展,人们对于暖通需求不断扩大.然而暖通技术慢慢渗透到人们生活中的时候,它的问题越来越凸显出来,如何将暖通技术进一步
随着我国经济的飞速发展,行政事业单位的内部控制存在的问题日益显露,建立健全有效的内部控制制度对现代行政事业单位具有重要的意义,因此,为了加强行政事业单位的内部控制,
世博会被誉为世界经济、科技、文化的奥林匹克盛会,它是对举办国从经济到社会、政治,文化进步的一次全面检验.2010年上海世博园有246个国家、地区和国际组织参展,预计将吸引
近年来,随着国家一路一带的提出,地方政府引入各类社会资金进行区域内公路项目投资,在建或新建公路项目增多,区域内经济得到了很好的发展。因此,公路投资项目也越来越受到大
随着机械加工业的迅速发展,焊接技术得到了广泛的应用,但是在焊接过程中产生了大量对人体健康有害的污染物质,会对工人的健康造成严重的威胁.由于焊接厂房的工艺设备布置较密
随着煤炭行业步入市场化、多元化、煤价涨幅也相对较快.为降低白城发电公司燃料成本,提高公司盈利水平,本公司决定牤引进附近低价牛海烟煤,为确保锅炉本体、燃烧器、制粉系统