断言测试相关硕士博士期刊学术论文 - 信丰网

断言测试相关论文

一个新的断言语言ALC及其实现

本文提出了一个新的断言语言ALC,它主要用于对C 语言书写的系统程序的测试。ALC 吸收了现有断言语言的优点,首次引入了控制流检测......

期刊

软件测试断言语言 ALC 断言测试

形式化的软件测试模型研究

传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模......

期刊

软件测试模型形式化方法断言测试 UML RSL

看过本文同时还关注