抽象内存建模相关硕士博士期刊学术论文 - 搜论网

抽象内存建模相关论文

支持非数值型测试用例自动生成的抽象内存建模技术研究

软件测试按测试的执行阶段可划分为单元测试、集成测试、系统测试和验收测试。作为软件测试的第一阶段,单元测试只对软件中的最小......

学位

单元测试抽象内存建模语义分析约束提取测试用例

面向位域的区间运算方法及应用

嵌入式系统在当代社会经济生产生活的各个领域,小到游戏机,大到航空航天电子设备,都有着广泛的应用。对于嵌入式系统来讲,内存是极......

学位

符号执行抽象内存建模区间运算缺陷检测

看过本文同时还关注