模型驱动测试相关论文
列车运行控制系统是确保列车运行安全、提高运输效率的铁路基础设备。车载设备是列车运行控制系统中的重要组成部分,具有很高的安......
移动应用数量的快速增长,以及移动应用开发周期短、迭代速度快等特点,使得移动应用的测试面临挑战,许多应用没有经过充分测试就被......
随着Web的发展,多应用Web系统成为一种主流形式,它能够为用户提供综合便捷的服务。Web系统中各应用间的交互直接影响着Web系统的功......
基于对Web系统的特点研究，提出了一个全面测试Web系统的框架．并基于模型驱动的软件测试思想（MDT），重点研究了此框架中的中间业务逻辑层......
TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户......
随着应用系统规模增大,功能复杂性增强,对于用于保证软件质量的现有软件测试技术显得越来越力不从心。特别是近几年兴起的基于模型......
在模型驱动测试中，针对测试模型的存储测试问题，提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则，并通过实例化的方法生......
随着分布式应用在商业领域中的普及，对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。提出了一种模型驱动......
软件测试是保证软件可靠性的一种最重要的手段，而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测......
网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性......
测试系统建模是将模型驱动的思想引入测试领域，实现了测试资源的重利用，有效的缩短了测试周期，更好地适应需求或设计规格的变更。测试......
形式化方法被认为是高可信软件工程必不可少的工具，但是软件测试依然是提高软件质量最有效的方法．为此基于TTCN-3的测试集成环境，提出......
