TUGEN: A TOOL FOR AUTOMATIC TEST SUITE GENERATION
郝瑞兵 - Journal of Software - jos.org.cn
面向对象逻辑语言SCKE中的限制推理” Page 1 第5卷第5期 软 徽 学 报 Vol.5,No.5 年5月
JOURNALOFSOFTWARE May1994 面向对象逻辑语言SCKE中的限制推理” 金 芝 胡守仁 (长沙工 …
JOURNALOFSOFTWARE May1994 面向对象逻辑语言SCKE中的限制推理” 金 芝 胡守仁 (长沙工 …
A trust evaluation model of electricity customers based on cloud model
S Zhang, S Yang, B Wang - 2010 International Conference on …, 2010 - ieeexplore.ieee.org
In the competitive electricity market, large power customers who consume a large quantity of
electricity through the behaviors of malicious arrears of electricity fee and evasion of …
electricity through the behaviors of malicious arrears of electricity fee and evasion of …
[PDF][PDF] 基于合约的构件易测试性设计支撑工具的设计与实现
单锦辉， 姜瑛， 刘江红， 辛国茂， 侯姗姗 - 2005 - researchgate.net
摘要构件技术的新特点为构件测试带来挑战. 合约式设计是一种重要的软件易测试性设计方法.
基于合约的构件易测试性设计为构件测试提供了一种有效的手段. 设计并实现了一种新的合约式 …
基于合约的构件易测试性设计为构件测试提供了一种有效的手段. 设计并实现了一种新的合约式 …
[PDF][PDF] 抽象解释技术在嵌入式软件测试中的应用
常硕， 赵彬， 辛文逵 - 2007 - chinamtt.cn
随着人们对软件地位的重视程度提高, 软件测试也成为软件工程中必不可少的一部分[1],
软件测试技术的发展也日新月异, 抽象解释技术的出现无疑是一个大的变革 …
软件测试技术的发展也日新月异, 抽象解释技术的出现无疑是一个大的变革 …