论文部分内容阅读
传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。
形式化的软件测试模型研究
【摘 要】
：
传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设
【机 构】
：
西南师范大学计算机与信息科学学院
【出 处】
：
计算机科学
【发表日期】
：
2004年11期
【基金项目】
：
教育部和重庆市“软件工程可视形式化”项目
其他文献
河道景观是现代城市的重要组成部分,它是城市景观环境的重要依托。但随着城市范围的不断扩张和人口数量的不断增加,土地利用方式发生改变。大量的河道空间被城市用地挤占,不
<正> 1 引言近年来,计算机的性能、价格、体积在不断发生巨大的变化,对此人们思维中的概念也不断更新:从单一的符号处理、数字计算演变为代表个人组织行使职能,且具有和外界
2017年6月,长江干线集装箱运输行情小幅上涨,集装箱综合运价指数为984.62点,环比上升0.12%,同比上升0.50%。见表1和图1。上游地区随着三峡北线船闸检修期间积压船舶逐渐消散,
<正> 1 引言逻辑程序是一种知识表示的方法,是逻辑公式的有限集合,它起源于逻辑和定理自动证明。1974年,逻辑程序的概念首次出现在Kowalski的一篇文章中,然后在定理自动证明
采用热压缩和热拉伸试验方法,对00Cr22Ni5Mo3N双相不锈钢的高温变形抗力、高温塑性以及在高温变形时的奥氏体相的数量进行了研究。试验结果表明,00Cr22Ni5Mo3N双相不锈钢的高
<正>镜头回放:前段时间,段塘街道华兴社区一位临街房业主准备装修开宾馆,为了通过消防安全验收,他把后墙敲开做安全通道。楼上居民认为他敲的是承重墙,存在安全隐患,就把情况
近年来,虽然我国铁路、高速公路资产规模扩张到万亿元级别,但管理体制上的弊端使其经营处于亏损状态,盈利能力低成为交通行业面临的突出问题。本文通过剖析铁路与高速公路亏
<正> 1.引言 Internet自诞生以来不断成长,尤其是最近几年更是得到长足发展,功能不断扩展,信息容量呈爆炸性趋势增长,仅Internet Archive收集的1996年以来的Web内容就达到四