10、Praspel：用于PHP基于契约测试的规范语言

最新推荐文章于 2025-11-10 12:52:03 发布

omega

最新推荐文章于 2025-11-10 12:52:03 发布

阅读量7

点赞数

CC 4.0 BY-SA版权

分类专栏：软件测试前沿探秘文章标签： Praspel PHP 契约式设计

本文链接：https://blog.youkuaiyun.com/omega/article/details/155286217

软件测试前沿探秘专栏收录该内容

28 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

Praspel：用于PHP基于契约测试的规范语言

1. 现实域基础

1.1 现实域类示例

在PHP中，我们可以定义现实域类。例如， EmailAddress 类继承自 String 类，用于处理电子邮件地址：

class EmailAddress extends String {
    public function predicate($q) {
        // regular expression for email addresses
        // see. RFC 2822, 3.4.1. address specs.
        $regexp = ’. . .’;
        if(false === parent::predicate($q))
            return false;
        return preg_match($regexp,$q);
    }
    public function sample() {
        // string of authorized chars
        $chars = ’ABCDEFGHIJKL. . .’;
        // array of possible domain extensions
        $doms = array(’net’,’org’,’edu’,’com’);
        $q = ’’;
        $nbparts = rand(2, 4);
        for($i = 0; $i &l